defect-reintroduction-proof

Validates regression guards by reintroducing each defect and confirming the test suite fails naming it.

Updated Jul 8, 2026
One-click install
npx skills add https://github.com/NarenKarthikBM/specseyal --skill defect-reintroduction-proof-narenkarthikbm
Or copy as Structured Prompt for Agent
Please help me install this Agent Skill.
Skill: defect-reintroduction-proof
Source: https://github.com/NarenKarthikBM/specseyal/tree/main/.claude/skills/defect-reintroduction-proof
Command: npx skills add https://github.com/NarenKarthikBM/specseyal --skill defect-reintroduction-proof-narenkarthikbm

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve? A regression guard that has never been observed failing is only a claim, not evidence. This Skill proves a guard actually catches the defects it claims to catch by deliberately reintroducing each defect one at a time, running the full test suite, and confirming the failure output names that specific defect before restoring the fix. ## Core Features & Use Cases - Per-Defect Reintroduction: Reverts exactly one fix at a time so each failure can be attributed to a single named defect, never a combined ambiguous breakage. - Observed Failure Evidence: Requires an actual captured suite run whose output names the reintroduced defect, rejecting predictions or unrelated failures as proof. - Restore-and-Repass Cycle: Restores each fix immediately after confirmation and re-runs the suite to a passing state before moving to the next defect. - Use Case: After fixing three token-capture bugs and adding regression tests, use this Skill to revert each fix individually, capture the failing output naming each bug, restore, and record durable per-defect evidence that the guard bites. ## Quick Start Prove my regression guard works by reintroducing each defect it claims to catch one at a time and confirming the suite fails naming that defect before restoring the fix.

Frequently Asked Questions about defect-reintroduction-proof

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I prove a regression test actually catches a bug?

Reintroduce the original defect by reverting the single change that fixed it, run the full test suite, and confirm the captured failure output names that specific defect. Then restore the fix and re-run the suite to confirm it passes again before testing the next defect.

How to verify a regression guard for multiple defects?

Demonstrate each defect individually with its own reintroduce-fail-restore-pass cycle. Never revert two fixes at once, because a combined failure cannot be attributed to either defect, and evidence for one defect does not extend to another.

Why is predicting a test failure not enough evidence?

A prediction that the suite would fail is not evidence; only an observed run counts. The captured output must also name the specific defect reintroduced, since a suite failing for an unrelated reason does not prove the guard catches that defect.

What should be recorded as regression guard evidence?

Record per defect the exact change reverted (commit, task, or code change), the captured failure output naming that defect, and the restore-and-repass confirmation. A summary claim that the guard was exercised is not durable evidence.

When should I not use defect reintroduction as proof?

Avoid it when fixes cannot be cleanly reverted in isolation or when the suite cannot reliably attribute failures to a specific defect. In those cases the reintroduce-fail-restore cycle produces ambiguous evidence rather than proof.