Evidence ceiling E3Proof boundary
SEMANTIC COMPATIBILITY
Version changes may change syntax. They may not silently change meaning.
Site 61 compares the declared Reality IR semantic projection across versions and classifies meaning changes as BREAKING rather than relying on version labels.
Reference migration
SEMANTICALLY_EQUIVALENT
A version/source-syntax change with an unchanged semantic projection remains equivalent; a changed predicate, source requirement or contradiction is breaking.
- OLD SEMANTIC HASH
- sha256:e2b1531ae7ac0f2b01ac301a510c47d83b235d78231fe9dffd1594dcc31e670f
- NEW SEMANTIC HASH
- sha256:e2b1531ae7ac0f2b01ac301a510c47d83b235d78231fe9dffd1594dcc31e670f
- PROOF-ASSISTANT THEOREM
- NOT CLAIMED