Add experimental inherited-384 unary NumPy selection checkpoint and authored holdout evidence

Publish retained autoformalization lane research snapshots

Archive explicit Intent code effect checks and learned abstention

Archive bounded source-derived state correspondence evidence

Archive explicit native interpretation checks and protocol counterexample

Archive scoped supplemental native Lean development checks

Archive candidate-bound native projection development checks

Record real source-bound Lean build for merged SecurityIR checkpoint

Record distributed384 reconstruction and projection evidence

Add immutable distributed384 checkpoint 0ce9f059eefa

Add immutable distributed384 checkpoint 328be2d878c0

Add immutable distributed384 update 436b57d9c55c

Add immutable distributed384 update 14342e544856

Add immutable distributed384 update 345815ac10e1

Add immutable distributed384 update 49a5628d17db

Add immutable distributed384 inputs a0a9206c25fb

Point release index to complete supervisor configuration example

Index verified experimental profiles and runtime release

Publish opt-in structured IR development checkpoint profiles

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

initial commit