3 people 15d2439915 feat(794): witness a fix's test failing BEFORE the fix, and check the claim in CI (#801) ...

Mechanises the defect that took #776 and #793 six review rounds each: a fix's test
written to confirm the fix, not to discriminate against its absence.
testing.guard-ships-with-mutation-proof generalised from guards to fixes.

prove-fix.sh runs the selector at the commit (control, must be GREEN) and again in a
separate fresh worktree with the non-test files reverted (must be RED = pytest exit 1
exactly; 2/3/4/5/143 are refused, and --continue-on-collection-errors keeps add-a-file
fixes provable). pytest's status comes from a marker written only after it returns,
because ( cd X && pytest ); rc=$? returns the SUBSHELL's status. Opt-in by a Proves:
trailer; CI checks every commit that carries one and says out loud when a PR has none.

THE TOOL REJECTED ITS OWN AUTHOR. Three commits on the branch claimed
Proves: scripts/tests/test_prove_fix.py; the job returned UNPROVEN for all three,
because reverting the script restored a working earlier version the suite also passed.
Two had been "verified" against hand-written mutants that did not match the code that
actually shipped. The tests were rewritten until both go RED against 587edbecc — whose
script emits "red without it (pytest exit 2)", a witnessed false PROVEN.

This branch deliberately carries no Proves: trailer: the only one that would pass does
so because reverting deletes prove-fix.sh, an add-file smoke check rather than a proof
of its logic. The logic proof is a clause-level mutation that re-runs the unchanged
refusal test against a mutant and witnesses it red (graded MUTATION).

fixes #794

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Co-authored-by: Timothy <timothy@noreply.gitea.tblindustries.be>

2026-08-16 10:24:59 +00:00

..

ci-image.yml

ci(508): move both docker build jobs off the small lane

2026-07-20 22:24:12 +02:00

dependency-scan.yml

ci(406): disable swap on the capped mysql; fix peak-step placement and failure mode [decisions-edit]

2026-07-17 15:36:18 +02:00

docker-build.yml

fix(767): gate the release path on the delimiter ban with a prerequisite job (#770)

2026-08-13 18:04:52 +00:00

pr-checks.yml

feat(794): witness a fix's test failing BEFORE the fix, and check the claim in CI (#801)

2026-08-16 10:24:59 +00:00

renovate.yml

ci(renovate): enable Dockerfile manager for the HTTP Gitea registry

2026-06-27 00:18:47 +00:00

review-verdict.yml

fix(751): round-5 findings — a rationale that was itself vacuous, and a third regex round

2026-08-10 21:08:10 +02:00