Last released Aug 17, 2026
The model proposes, deterministic code disposes, a human signs. Content-addressed envelopes, hash-chained audit, signed approval — for ledgers, Lean proofs, paper claims, reproductions, benchmarks, and peer review.