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