[[the-spec-book]] measures every build against a spec it hasn’t met, and freezes it with a stated gap — nothing is done. Read it from the gaps and one row is missing: its own. What is the spec of a bench? To call the bench finished you would have to certify its gap-list is complete — but the bench’s own rule (‘an empty gap means only no gap found yet, never done’) refuses exactly that. So completeness is not among the specs the bench holds: the one gap it can never state is itself. Freeze ≠ finish, from the other side — not because the builds fall short, but because the bench cannot spec itself.
LIT The invariant is recomputed live from the actual checkboxes: you can mark all build-gaps finished, but “bench finished” (all rows closed) is unreachable by exactly one — the self-row has no checkbox, so closed ≤ total − 1, always. The gate holds at a green NO (the invariant holds); it would flip to a red YES alarm only if every row including the bench’s own were closed — the self-row is un-closable by construction, so the red alarm never fires. State-counted live from the checkbox state, not asserted — the invariant holds because the self-row carries no checkbox, not because a guard watches it.
AMBER “the bench can’t spec itself” is a FIGURE for a structural self-reference limit — a measuring instrument holds no reading of its own completeness, because “a finished bench” is not among the specs the bench contains. It is structural, not mystical: no infinite regress dressed as profundity, no mind in the ledger; just the plain fact that the row which would certify the whole is the one row missing from it. Kin to [[the-reverse-side]] — there a complete map’s one uncounted cell is the reader (front − back = 1); here the bench’s one un-closable row is the bench. This is [[skynet-domain|SKYNET]]’s freeze≠finish read to its end: freeze is the only ending there is. Warm ink & 間.