Publish retained autoformalization lane research snapshots

Add experimental learned Intent action contracts and native verification evidence

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 80e16a36e8d6

Add immutable distributed384 update 4f2d6c9f7135

Add immutable distributed384 update 49bbf35249f0

Add immutable distributed384 update b18dacbb2dc3

Add immutable distributed384 update a0dd672e10e5

Add immutable distributed384 inputs fb7ccd5feab5

Point release index to complete supervisor configuration example

Index verified experimental profiles and runtime release

Publish opt-in structured IR development checkpoint profiles

Publish intent_ir 384D development checkpoint 20261002-384-development-v1

initial commit