|
R15(2): the gauntlet pins a harness MANIFEST, completing the R15 gate work
tests/HARNESS-MANIFEST (82 names) plus a drift gate in run-tests-all.sh, with --record-manifest for deliberate re-recording. The zero-floor already existed; what was missing was any pin on WHICH harnesses ran, so a renamed or deleted harness was neither run nor failed while the gauntlet still printed ALL GREEN. The figure 81 existed only as prose. Proven able to fail on both cases, including the one a bare count cannot catch: renaming a harness is reported, and renaming one WHILE adding a decoy -- so the count holds at exactly 82 -- is still caught, naming both the missing and the unpinned entry. That case is why the ruling chose a manifest over a count. Sequenced LAST of R15's three deliberately: the ruling warns a manifest must be seeded from a verified tree, not from whatever is on disk. Seeded here from a tree with the gauntlet ALL GREEN and repo-lint 0 fail in the same session. The gate runs only on a full gauntlet -- a filtered run legitimately executes a subset. A missing manifest is itself a FAIL, since ALL GREEN would otherwise be unfalsifiable. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01HvCyrwvYTTcDYnRErfMsNf |
|---|
|
|
| docs/changelog-20260727-stage5-phase0.md |
|---|
| scripts/run-tests-all.sh |
|---|
| tests/HARNESS-MANIFEST 0 → 100644 |
|---|