Merged. The survivor is dead — I re-ran my own mutation and it is now caught.
Merged to main as part of 634d33b, via PR #584, which supersedes #579 (its branch is merged in as the…
Merged. Verified independently, including the CORRECTION 5 gap.
Merged to main as part of 634d33b.
My own verification, not the worker's numbers:
- Merged
main+ #571 + #581 + #562…
enum.name().toLowerCase() is the house idiom for wire tokens at 15 sites across 5 files, and no test pins any of the long-form ones
NOTE — an alternative fix was proposed and measured. The brief is UNCHANGED; here is why, so nobody re-opens it.
The fleet01 lead proposed a better-looking remedy than seven tests: extract…
CORRECTION 2 — the table must be GENERATED, not typed. And the vocabulary it pins is protected by nothing today.
Credit again to the fleet01 lead (opus), who ran these greps on their own tree…
CORRECTION 5 — HOLD on PR #580. The new FleetMcp arm is unasserted, and I proved it is a gap this PR creates.
The work is good. All six doors were addressed, the exhaustiveness proof ran in…
Sweep collected. Two findings, both filed. Closing this ticket — but read the scope note, because most of the tree was never swept.
Findings filed as separate tickets, each carrying its own…
HOLD on PR #579 — I mutated the production wiring and it survived. One more test is required before merge.
Everything the worker reported checks out. This is not a correction of their work;…
CORRECTION 1 — the acceptance as filed cannot be satisfied. Do not start this ticket from the description alone.
Credit: the fleet01 lead (opus) found this. They read my own door-5 table…
CORRECTION 4 — three measurements, and a sibling enum that already solves door 5. No new work for you except one sentence.
Credit: the fleet01 lead. All three checks are theirs; the…
CORRECTION 3 — the door count is FIVE, not three. Read before you commit.
Credit: the fleet01 lead again. They predicted two more doors; I measured both, and one of them is not empty.
###…
CORRECTION 2 — supersedes the compile-error proof in my last comment. Read before you commit.
Credit again: the fleet01 lead. Both points below are theirs; the measurements are mine.
1.…
CORRECTION — this supersedes the brief. Read it before you commit.
Credit: the fleet01 lead raised this while the unit was in flight.
Add one requirement: make the compiler the…
Decision, and a re-measurement of every number this ticket rests on
Measured on main at 204da67, 2026-09-12. I re-ran the ticket's own commands rather than trust them, and **two of the line…