2026-08-31
Proof Graph
How proof representation became a scaling boundary.
The 102-entity v0.1 compile recorded emit+materialize including proof at 276,370ms, with proofVerdict NO_SHIP and shipBenchmark “not run”. The 156-entity v0.2 path stopped after materialization on purpose.
That is the wall: proof work grows with the generated graph. Turning proofs back on is the next experiment, not a number to backfill.
We do not treat a faster emit clock as a Ship. Generation is not proof.