fix: normalize proof linkage keys for canonical finding mapping#74

Merged

davidahmann merged 1 commit intomainfrom

codex/fix-pr72-canonical-linkage

Feb 28, 2026

Commits on Feb 28, 2026

fix: normalize proof linkage keys and include docs update
davidahmann
committed