Mutation testing is scheduled evidence over declared critical predicates, never a gate on every change

190. Mutation testing is scheduled evidence over declared critical predicates, never a gate on every change

Kontext

Coverage proves a line ran, not that a test would fail if it were wrong (docs/COVERAGE.md). The owner asked for mutation testing several times, and the CI pool judges one pull request at a time.

Rozhodnutí

Critical predicates are declared once in .ai/repo/ci. A scheduled or offloaded mutation run records its survivors in the ledger, and they are published. A survivor is a finding with an owner, never a red pull request.

Zamítnuté alternativy

• A blocking mutation-score gate per pull request (CI cost)
• Mutation over the whole crate

Důsledky

Mutation evidence is periodic and revision-stamped; claims about adversarial strength cite it.

Sources

Promoted on 2026-10-18 from the owner's ChatGPT project (workspace chatgpt-majordomus, issue I3100). The owner has not accepted it; it is proposed for the owner's decision.

• chatgpt-majordomus:c113#16
• chatgpt-majordomus:c139#5
• chatgpt-majordomus:c158#10
• chatgpt-majordomus:c158#20
• chatgpt-majordomus:c293#2