OaSIs · spheres
The Twenty Checks
one parent, two outputs, twenty checks
LIT This page recomputes 1 + 2 = 3 and 3 × 6 + 2 = 20, then hashes lean/O3.lean after removing carriage returns. The witness must be the published blob hash. The Lean file is not rewritten.
AMBER The frozen checkpoint note is in architecture/o3. This page does not re-run Lean.
MODEL The gold sphere is the parent. The two sage spheres are the outputs. Twenty beads are the verification envelope.
proving…
Seal sha256(name|slug|blurb): 464c8a424418a79c8310f9bc8feceb2a3368f124e8125256b1aadc3ecaa3ff1c