Release scope and review¶
Selected asymmetric formal reference: 2,502 contracts across nine families; bounded evidence and three separate teaching models
Release r1, dated 2026-10-29. Formal-reference status: qualified.
This status concerns the exact selected formal source and bounded evidence. It does not establish a universal theorem or executable implementation.
The bound inventory contains 2,502 top-level contracts, 4,849 candidate branch anchors, 16 roots and 9 subject families. An anchor inventory does not establish that every semantic branch was exercised.
Exact release envelope · Contract and branch dispositions