Entry facet
Formal IR & certificates
Canonical finite-object identities and the exact Lean Complete v1 certificate classes checked for each shipped instance.
Each shipped finite instance has one canonical Formal IR semantic identity and a Lean-checked structural certificate. Eligible small exact-distance certificates are additive; claims outside Lean Complete v1 keep their existing evidence origin.
| Instance | Native branch | Semantic hash | Certificates |
|---|---|---|---|
| bit_L3 | css-chain | 7fc2a9544ba3e46c… |
|
| bit_L5 | css-chain | b58694165b26398f… |
|
| phase_L5 | css-chain | 4319b4a92a2b167e… |
|