There was an error while loading. Please reload this page.
Document deterministic state graph construction
Document bounded recursion and retention lowering
Document profile-source lowering completion
Document capability graph completion
Document structural obligation graph completion
Record policy and waiver lowering completion
Audit extension lowering merge
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
Record the merged v0 completion contract
Reconcile completed evidence-generalization milestone
Publish the evidence study preregistration
Close the four-phase roadmap and separate future research
Record issue 26 multi-seed evidence
Document merged experiment controller
Document completed Pilot 006 benchmark
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
Reconcile adversarial profile conformance
Document profile-aware formatting
Document profile inheritance and overlays
Document profile token lowering