There was an error while loading. Please reload this page.
Reconcile cross-graph audit completion
Reconcile source-to-IR audit completion
Document deterministic state graph construction
Document bounded recursion and retention lowering
Document profile-source lowering completion
Reconcile graph builder feature negotiation
Document proof outcome precedence
Document complete obligation proof checking
Document capability graph completion
Document structural obligation graph completion
Record policy and waiver lowering completion
Audit extension lowering merge
Record shared graph foundation completion
Record effect and authority analysis completion
Document shared typed graph model review
Reconcile wiki after ownership analysis
Record function and predicate elaboration
Document completed expression calculus
Document completed v0 type checker
Record completed governance parser
Record completed goal parser
Record the completed definition parser
Close the four-phase roadmap and separate future research
Record issue 26 multi-seed evidence
Document merged experiment controller
Document completed scoped waiver milestone
Reconcile exact waiver decision contract
Publish Phase 1 completion conformance
Publish Phase 4 completion audit
Publish cross-layout identity conformance