tegwick
561facce43
Some checks failed
ci / check (push) Has been cancelled
T05. tools/design.py, make design, and the register in GroundRules.md --
14 rows, no new file, because ADR-0012 D2 made §Underdetermined the
register rather than building one beside it.
Backfill was the test and it caught two things the ADR did not have.
First, a `role` column. The first report alarmed on U2 and was wrong to:
U2's scenario is green BECAUSE the provisional default it documents is
implemented, which says nothing about whether ground-game agrees. GR-E01's
was a counterexample that went green. Same colour, opposite meaning -- a
register that cannot tell them apart either alarms constantly or never.
Only a green counterexample alarms. Folded back into GameDesign §1.3.
Second, it contradicted the survey. CB-RES-0007 said "six of the ten
already have provisional scenarios." Measured -- grep -lE "\bU<n>\b" over
scenarios/ground -- exactly ONE U-item names itself. Five provisional
scenarios exist and four probably encode U-item defaults, but the mapping
is not written down, so it is not checkable. Same defect class as the
wrong premises, found inside the survey that proposed the fix. Now a
reported debt: open, lacking a reproduction: 9, target 0.
design.py carries the control design-baseline.py never had, asserted
directly: a row citing a nonexistent file must not count as reproduced,
using the exact path
|
||
|---|---|---|
| .. | ||
| CB-WP-0001-inner-loop.md | ||
| CB-WP-0002-cost-accounting.md | ||
| CB-WP-0003-loop-hardening.md | ||
| CB-WP-0004-mechanical-work.md | ||
| CB-WP-0005-assertion-coverage.md | ||
| CB-WP-0006-instrument-the-table.md | ||
| CB-WP-0007-session-shape.md | ||
| CB-WP-0008-ship-stage-0.md | ||
| CB-WP-0009-adaptive-gates.md | ||
| CB-WP-0010-consolidation.md | ||
| CB-WP-0011-inspectable-table.md | ||
| CB-WP-0012-render-port.md | ||
| CB-WP-0013-instrument-corrections.md | ||
| CB-WP-0014-execute-the-javascript.md | ||
| CB-WP-0015-the-inert-clauses.md | ||
| CB-WP-0016-the-drop-target.md | ||
| CB-WP-0017-legible-interaction.md | ||
| CB-WP-0018-the-browser-is-a-client.md | ||
| CB-WP-0019-the-am4-family.md | ||
| CB-WP-0020-the-table-you-can-read.md | ||
| CB-WP-0021-import-the-edition.md | ||
| CB-WP-0022-the-design-instrument.md | ||
| CB-WP-0023-solve-legality.md | ||
| CB-WP-0024-the-table-you-can-watch.md | ||
| CB-WP-0025-could-we-have-won.md | ||