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
L3x3	measurement-schedule	`d5b4d9490b98a5d1…`	`structural-validity`
L6x6	measurement-schedule	`cd53c52c3bbfd56b…`	`structural-validity`