Evidence ceiling E3Proof boundary
SITE 61 · PORTABLE PROOF VERIFIER
Make semantic verification small enough to reimplement independently.
The current verifier reconstructs the structured-source and Reality IR semantic projections independently and requires identical semantic hashes. Reference implementations exist in JavaScript, Python and Go.
Current portable boundary
REFERENCE PORTABLE PROOF VERIFIES
Cross-language executable verification is materially stronger than one compiler implementation checking itself, but it is still not represented as a completed proof-assistant semantic-preservation theorem.
- IMPLEMENTATIONS
- JavaScript · Python · Go
- SOURCE SEMANTICS
- sha256:fba1b9d7f3d6dd1dd9afd00e6341eddfe20dec30dde7fcafae1eb18d1c380e57
- IR SEMANTICS
- sha256:fba1b9d7f3d6dd1dd9afd00e6341eddfe20dec30dde7fcafae1eb18d1c380e57
- PROOF HASH
- sha256:62b1a54664da5eabd0bec4664b4a47a159ffb809310bd244e6f583cfcabff05a
- BOUNDED PRESERVATION MATRIX
- 128/128 REFERENCE VARIANTS PASS
- PROOF-ASSISTANT THEOREM
- NOT CLAIMED