There was an error while loading. Please reload this page.
Add OpenAI Build Week demo links
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
Broaden graph feature claim follow-up
Document capability graph completion
Record obligation feature claim follow-up
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
Record the merged v0 completion contract
Document practical v0 implementation roadmap
Record fast protected test milestone
Reconcile completed evidence-generalization milestone
Publish the evidence study preregistration