156 Entities
Compiler/materialization scaling experiment.
Unpublished
Surfaces that exist in the repo. Not public product doors. Not receipts. No download. No Open IDE.
Experiments
Development is not a highlight reel. These are the writeups behind the ladder.
Compiler/materialization scaling experiment.
Why more concurrency made verification slower.
How proof representation became a scaling boundary.
Small infrastructure change that improved TTPS.
156-entity full Ship experiment.