The curriculum

Five machines, and the order that makes them cumulative.

The factory is an arrangement of specialized machinery. These five pages teach the machines — one each — and they are ordered so that every page can assume the one before it. Every one ends in a falsification table: the claims it makes, the command that would disprove each one, and what that command should print. Run them.

01
teaches the BUILD cell

The New SDLC, Made Formal

"If the model is doing the work, what exactly am I building?"

The answer that the harness — not the model — is the product, and where each box of the old software lifecycle actually goes once agents are doing the typing. Start here if you have used a coding agent and found it fast but not compounding.

Agentic engineeringthe model is ~10%Read →
02
teaches the COMPOSE cell

Composition Is Not a List

"I have capabilities, skills, tools and agent cards. What happens when I combine them?"

Two operators, a zero, and a suite of property-tested laws — plus three counterexamples where the laws still do not hold, one of which you can reproduce in your browser tab by pressing a button. The runtime on that page is the real compose.mjs, inlined unmodified.

Capability compositionCP7 reproduces liveRead →
03
teaches the whole ARRANGEMENT

The Worldware Factory

"Everyone says AI factory. What would actually make one compound?"

The load-bearing page. What the term already means to three different industries, why parallel agents alone do not compound, and an arithmetic model showing that unboxing without checked joins is faster and wrong at exactly the same rate. Introduces Worldware as a category.

AI factoriesrun the line simulatorRead →
04
teaches the FALSIFY + CERTIFY cells

Proof as a Production Step

"Nobody can read all of this. What replaces the review queue?"

Property tests over 2000 trials, certificates that carry their reasons, and the arithmetic of what N random trials actually buys you — including the uncomfortable part, which is that a passing suite is evidence of rarity and never of absence.

Continuous verification3 laws print FALSIFIED by designRead →
05
teaches the WORLD cell

Worlds That Pay For Themselves

"What does a world cost, and what can you charge for once you ship one?"

Where a world beats a repository and a CI pipeline and where it does not — two of six shapes favour the incumbent. The bounded semantic layer that makes the differentiated part of a world nearly free. A sizing calculator with published formulas. And four line items that are hard to bill for when you ship a repo.

World economicsarguments from properties, no customers yetRead →
The contract every one of these pages signs. Each ends with a table naming the claims it makes, the command that exercises each claim, what you should see, and the specific observation that would kill it. Commands carry their directory — run them from the repository root and they fail with MODULE_NOT_FOUND, which on a page whose contract is run the command would be the worst available defect. Counts are derived by the suites that produce them and are never hand-typed, because a published count and a printed count drifted apart exactly once and that was enough.
Two figures were removed from a published draft for lacking a primary source, and the composition masterclass says so in its own text rather than quietly correcting them. A third page's hand-typed cell count disagreed with its own data array and now derives the number instead. These are not incidental — they are the same discipline the falsification tables enforce, applied to the pages themselves.

Which machine, which page

Every cell on the floor, and where it is taught.

the factory floor → the curriculum
SPECIFY
The [&] Protocol itself — the specification, with composition covered in 02.
BUILD
01 · Agentic Engineering — the harness argument.
COMPOSE
02 · Capability Composition — the operators, the zero, and the three open gaps.
GOVERN
The eight rungs on the homepage and the 210 laws; the verification discipline in 04.
FALSIFY · CERTIFY
04 · Continuous Verification — properties, trials, certificates and their limits.
WORLD
05 · World economics — and it is honest that this is the least-finished cell.
THE ARRANGEMENT
03 · The Worldware Factory — how the cells relate, and why the join is the whole problem.
RESEARCH · SPEC DISCIPLINE · MEMORY · AUTHORITY · PACKAGE · METROLOGY · DEPLOY · EVIDENCE · PROOF · OBSERVE · CONTROL ROOM
Not yet taught by a masterclass. Described on the factory floor with their real repositories and evidence rungs.

Eleven of the eighteen cells have no masterclass. That is stated rather than padded — a curriculum that claimed to cover the whole floor would be the first thing on this site to fail its own falsification test. The seven that are covered are the seven the join argument depends on.