proof surface
{ /t/0\| + n | t+n || }
start 0 .
├── 0.1 ..
└── 0.2 ...
1 + 2 = 3 nodes
3 × 6 + 2 verify = 20canonical · frozen · lean clean
O3
A frozen bounded symbolic checkpoint: one start node, two mitosis outputs, three total nodes, a six-wide isomorph, and two explicit verifies. The proof was user-confirmed silent 0e before freeze.
0e · IMMUTABLE CHECKPOINT
canonical identity
O3
The long historical module name remains provenance only. The frozen public name is simply O3.
source hash · sha-256
9ed23de7504fc284af95d4c39209a754d40886c0909d7d15c9121ff683e4d282
verified invariants
2outputs
3nodes
6isomorph width
2verifies
20envelope
freeze contract
O3 is frozen. new idea → descendant new proof → descendant new semantics → descendant do not mutate O3