Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
20 changes: 20 additions & 0 deletions scripts/measure-durability-swallow-family.mjs
Original file line number Diff line number Diff line change
Expand Up @@ -1029,6 +1029,26 @@ function staleLines(stale) {
* PR #15458 grew the gate's map from 18 names to 20 and this file went stale in
* four places the same afternoon (#15459, #15473), under a green farm the whole
* time, which is the cost of an uncross-checked copy stated as a measurement.
*
* ## The WORKLIST READINGS (#15503) are in both modes, for the same reason
*
* `WORKLIST_READING_CONTROLS` pins what the tier-1 worklist PRINTS, and the
* `--self-test` exercises those readings against a DECLARED population rather
* than against this tree: neither `(none …)` line has ever been printed by a run
* of this instrument, and an unreachable reading is a reading nobody proofreads.
* That does not weaken its claim to `gated`, it is the claim. The family passes
* the test the two sections above apply, and its own declaration states the
* answer in those words: can a successful repair destroy it? "No — the empty
* worklist it pins is the state the repair programme is trying to reach", so the
* day this family matters most is the day the programme succeeds. The self-test
* body says the mechanical half: it "compares a producer against a declared
* population and never touches membership", so no repair can destroy it.
*
* ⛔ That is the pattern and not a courtesy: A FAMILY THAT JOINS `gated` OWES A
* SECTION HERE, arguing on those terms why a successful repair cannot destroy
* it. This block is where the self-test body sends a reader asking that
* question, and a pointer landing on a block that names every family but the one
* asked about is how the next author learns the obligation is optional.
*/
const SELF_TEST_MODES = new Set(['all', 'gated']);

Expand Down
Loading