[CameronBrooks11]

conformance/run_cases.py accepted any non-empty string as a case's provisional tag. A tag naming a reading the owner has since settled passed silently. With "provisional": "Ids are ASCII letters, digits and _ (§4.4)." added to grammar/ids-ascii-forms (a settled reading), the old runner gives 322 passed … rc=0. This runner gives 321 passed, 1 malformed … rc=2.

Change

• Where the list is. The runner reads the provisional list from SPEC.md's ## <n>. Provisional… section (§12). The heading is found by its title, not its number. A SPEC.md with no such heading, or more than one, is no verdict (exit 2).
• What counts as a reading. A reading is a non-empty - bullet after that heading and before the next bold paragraph (**Settled by the owner…) or heading. Each bullet is stripped, and its two-space continuation lines are folded in with single spaces.
• When a case is malformed. Its tag is not a non-empty string, or is not one of those readings. Now that docs(spec): settle the last three provisional readings #22 has merged, the list is empty, so no tag is admitted.
• Docs. conformance/cases/README.md now says the list must keep that shape: plain - bullets with two-space continuation lines. Other shapes (a bold lead-in, a ### subheading, * bullets) give an empty list, which fails closed. Lazily wrapped or nested bullets would be misread, which is why the README states the constraint.

Tests

New tests in tests/test_run_cases.py:

• a tag naming a reading the real SPEC.md lists as settled;
• tags that are settled, truncated, unfolded or a bare section number;
• an empty list;
• an empty - bullet;
• a bullet that needs stripping;
• the list ending at the next heading;
• a renumbered section (another section is now ## 12.);
• a doubled section;
• a missing SPEC.md, or one with no Provisional section;
• load_expect refusing a non-string or blank tag even where the readings would admit it.

Each test that guards a fix failed before that fix:

• the first round failed 10 tests, the settled-reading one with assert 0 == 2;
• the second round failed 10 tests, on the empty bullet, the renumbered and doubled sections, and the restored non-empty check.

The stripping and heading-stop tests exist to kill mutants that used to survive.

Mutants added to just mutants, all killed:

• runner-provisional-tag-unchecked
• runner-settled-list-read-as-provisional
• runner-list-ends-only-at-bold
• runner-provisional-bullet-not-folded
• runner-provisional-continuation-dropped
• runner-provisional-bullet-not-stripped
• runner-empty-bullet-is-a-reading
• runner-provisional-heading-by-number
• runner-two-provisional-sections-allowed
• runner-no-section-12-is-a-pass
• runner-provisional-any-string (restored)

Gates (head of branch, after merging main)

just check          rc=0  All checks passed!
just test           rc=0  430 passed
just conform        rc=0  322 case(s): 322 passed, 0 failed, 0 malformed; 0 provisional, 0 of them failed
just conform-exact  rc=0  322 case(s): 322 passed, 0 failed, 0 malformed; 0 provisional, 0 of them failed
just mutants        rc=0  128 mutant(s), 2 equivalent, 0 problem(s)