25 days ago
-
Publish retained autoformalization lane research snapshots
Append-only pinned authorial assets; preserve defaults and prior releases. -
Publish pinned IR assets c15a95e16b18
-
Publish pinned IR assets 5402d1dc5b63
-
Publish pinned IR assets d669c760e572
28 days ago
-
Archive explicit native interpretation checks and protocol counterexample
-
Archive scoped supplemental native Lean development checks
-
Archive candidate-bound native projection development checks
-
Record distributed384 reconstruction and projection evidence
-
Add immutable distributed384 checkpoint 5c8404aa3f93
-
Add immutable distributed384 update d3e22b1d9325
-
Add immutable distributed384 update 6ca6e0c40646
-
Add immutable distributed384 inputs 771008c88949
-
Point release index to complete supervisor configuration example
-
Index verified experimental profiles and runtime release
-
Publish opt-in structured IR development checkpoint profiles
-
Publish ui_ux_ir 384D development checkpoint 20261002-384-development-v1
-
initial commit
