Understand the failure.
Verify the repair.
Small, reproducible software failures. The broken implementation, the fix that didn’t work, and the one that passed—preserved together.
Explore the cases ↓How results are verified ↗WHAT THE ARCHIVE CONTAINS
100840 executable cases. 20168 are open.
Every case records the implementation that fails, the fix that did not work, and the repair that passed its checks—with recorded outputs and source hashes. This release adds 100840 cases across 20168 failure mechanisms and 254 domains.
The open tier gives you the failure and the unsuccessful fix for one case in every mechanism. The remaining 80672 cases, 5 variants per mechanism, are member-only: the verified repair, its recorded checks, and the full fixture suite are held in the member archive. Read the methodology ↗
A RECORD OF WHAT WENT WRONG
Browse the archive / 100840
Revoking one consent leaves it active · case 01
The announcement trace violates the stated confirmation-gate contract.
Revoking one consent leaves it active · case 02
The announcement trace violates the stated confirmation-gate contract.
Revoking one consent leaves it active · case 03
The announcement trace violates the stated confirmation-gate contract.
Revoking one consent leaves it active · case 04
The announcement trace violates the stated confirmation-gate contract.
Revoking one consent leaves it active · case 05
The announcement trace violates the stated confirmation-gate contract.
Deleting private speech retains its draft · case 01
The announcement trace violates the stated confirmation-gate contract.
Deleting private speech retains its draft · case 02
The announcement trace violates the stated confirmation-gate contract.
Deleting private speech retains its draft · case 03
The announcement trace violates the stated confirmation-gate contract.
Deleting private speech retains its draft · case 04
The announcement trace violates the stated confirmation-gate contract.
Deleting private speech retains its draft · case 05
The announcement trace violates the stated confirmation-gate contract.
Consent expiry also discards pending private messages · case 01
The announcement trace violates the stated confirmation-gate contract.
Consent expiry also discards pending private messages · case 02
The announcement trace violates the stated confirmation-gate contract.
Consent expiry also discards pending private messages · case 03
The announcement trace violates the stated confirmation-gate contract.
Consent expiry also discards pending private messages · case 04
The announcement trace violates the stated confirmation-gate contract.
Consent expiry also discards pending private messages · case 05
The announcement trace violates the stated confirmation-gate contract.
Preview speaks private text before consent · case 01
The announcement trace violates the stated confirmation-gate contract.
Preview speaks private text before consent · case 02
The announcement trace violates the stated confirmation-gate contract.
Preview speaks private text before consent · case 03
The announcement trace violates the stated confirmation-gate contract.
Preview speaks private text before consent · case 04
The announcement trace violates the stated confirmation-gate contract.
Preview speaks private text before consent · case 05
The announcement trace violates the stated confirmation-gate contract.
Unknown speak creates a phantom private draft · case 01
The announcement trace violates the stated confirmation-gate contract.
Unknown speak creates a phantom private draft · case 02
The announcement trace violates the stated confirmation-gate contract.
Unknown speak creates a phantom private draft · case 03
The announcement trace violates the stated confirmation-gate contract.
Unknown speak creates a phantom private draft · case 04
The announcement trace violates the stated confirmation-gate contract.
Unknown speak creates a phantom private draft · case 05
The announcement trace violates the stated confirmation-gate contract.
Consent for old revision authorizes edited private text · case 01
The announcement trace violates the stated confirmation-gate contract.
Consent for old revision authorizes edited private text · case 02
The announcement trace violates the stated confirmation-gate contract.
Consent for old revision authorizes edited private text · case 03
The announcement trace violates the stated confirmation-gate contract.
Consent for old revision authorizes edited private text · case 04
The announcement trace violates the stated confirmation-gate contract.
Consent for old revision authorizes edited private text · case 05
The announcement trace violates the stated confirmation-gate contract.
Authorized speech emits revision instead of private text · case 01
The announcement trace violates the stated confirmation-gate contract.
Authorized speech emits revision instead of private text · case 02
The announcement trace violates the stated confirmation-gate contract.
Authorized speech emits revision instead of private text · case 03
The announcement trace violates the stated confirmation-gate contract.
Authorized speech emits revision instead of private text · case 04
The announcement trace violates the stated confirmation-gate contract.
Authorized speech emits revision instead of private text · case 05
The announcement trace violates the stated confirmation-gate contract.
One-use consent permits repeated speech · case 01
The announcement trace violates the stated confirmation-gate contract.
One-use consent permits repeated speech · case 02
The announcement trace violates the stated confirmation-gate contract.
One-use consent permits repeated speech · case 03
The announcement trace violates the stated confirmation-gate contract.
One-use consent permits repeated speech · case 04
The announcement trace violates the stated confirmation-gate contract.
One-use consent permits repeated speech · case 05
The announcement trace violates the stated confirmation-gate contract.
Repeated quiet entry is treated as a single flag · case 01
The announcement trace violates the stated quiet-session contract.
Repeated quiet entry is treated as a single flag · case 02
The announcement trace violates the stated quiet-session contract.
Repeated quiet entry is treated as a single flag · case 03
The announcement trace violates the stated quiet-session contract.
Repeated quiet entry is treated as a single flag · case 04
The announcement trace violates the stated quiet-session contract.
Repeated quiet entry is treated as a single flag · case 05
The announcement trace violates the stated quiet-session contract.
Leaving inner quiet scope releases all speech · case 01
The announcement trace violates the stated quiet-session contract.
Leaving inner quiet scope releases all speech · case 02
The announcement trace violates the stated quiet-session contract.
Leaving inner quiet scope releases all speech · case 03
The announcement trace violates the stated quiet-session contract.
Leaving inner quiet scope releases all speech · case 04
The announcement trace violates the stated quiet-session contract.
Leaving inner quiet scope releases all speech · case 05
The announcement trace violates the stated quiet-session contract.
Quiet backlog is emitted when any nested scope leaves · case 01
The announcement trace violates the stated quiet-session contract.
Quiet backlog is emitted when any nested scope leaves · case 02
The announcement trace violates the stated quiet-session contract.
Quiet backlog is emitted when any nested scope leaves · case 03
The announcement trace violates the stated quiet-session contract.
Quiet backlog is emitted when any nested scope leaves · case 04
The announcement trace violates the stated quiet-session contract.
Quiet backlog is emitted when any nested scope leaves · case 05
The announcement trace violates the stated quiet-session contract.
Released topic summaries reverse their first-seen order · case 01
The announcement trace violates the stated quiet-session contract.
Released topic summaries reverse their first-seen order · case 02
The announcement trace violates the stated quiet-session contract.
Released topic summaries reverse their first-seen order · case 03
The announcement trace violates the stated quiet-session contract.
Released topic summaries reverse their first-seen order · case 04
The announcement trace violates the stated quiet-session contract.
Released topic summaries reverse their first-seen order · case 05
The announcement trace violates the stated quiet-session contract.
Released summaries survive into next quiet session · case 01
The announcement trace violates the stated quiet-session contract.
Released summaries survive into next quiet session · case 02
The announcement trace violates the stated quiet-session contract.
Released summaries survive into next quiet session · case 03
The announcement trace violates the stated quiet-session contract.
Released summaries survive into next quiet session · case 04
The announcement trace violates the stated quiet-session contract.
Released summaries survive into next quiet session · case 05
The announcement trace violates the stated quiet-session contract.
Reset quiet mode replays stale deferred summaries · case 01
The announcement trace violates the stated quiet-session contract.
Reset quiet mode replays stale deferred summaries · case 02
The announcement trace violates the stated quiet-session contract.
Reset quiet mode replays stale deferred summaries · case 03
The announcement trace violates the stated quiet-session contract.
Reset quiet mode replays stale deferred summaries · case 04
The announcement trace violates the stated quiet-session contract.
Reset quiet mode replays stale deferred summaries · case 05
The announcement trace violates the stated quiet-session contract.
Removing topic summary drops every quiet topic · case 01
The announcement trace violates the stated quiet-session contract.
Removing topic summary drops every quiet topic · case 02
The announcement trace violates the stated quiet-session contract.
Removing topic summary drops every quiet topic · case 03
The announcement trace violates the stated quiet-session contract.
Removing topic summary drops every quiet topic · case 04
The announcement trace violates the stated quiet-session contract.
Removing topic summary drops every quiet topic · case 05
The announcement trace violates the stated quiet-session contract.
Emergency message is lost while quiet is active · case 01
The announcement trace violates the stated quiet-session contract.
Emergency message is lost while quiet is active · case 02
The announcement trace violates the stated quiet-session contract.
Emergency message is lost while quiet is active · case 03
The announcement trace violates the stated quiet-session contract.
Emergency message is lost while quiet is active · case 04
The announcement trace violates the stated quiet-session contract.
Emergency message is lost while quiet is active · case 05
The announcement trace violates the stated quiet-session contract.
Quiet summary preserves stale initial topic text · case 01
The announcement trace violates the stated quiet-session contract.
Quiet summary preserves stale initial topic text · case 02
The announcement trace violates the stated quiet-session contract.
Quiet summary preserves stale initial topic text · case 03
The announcement trace violates the stated quiet-session contract.
Quiet summary preserves stale initial topic text · case 04
The announcement trace violates the stated quiet-session contract.
Quiet summary preserves stale initial topic text · case 05
The announcement trace violates the stated quiet-session contract.
Ordinary direct message carries a zero coalescing count · case 01
The announcement trace violates the stated quiet-session contract.
Ordinary direct message carries a zero coalescing count · case 02
The announcement trace violates the stated quiet-session contract.
Ordinary direct message carries a zero coalescing count · case 03
The announcement trace violates the stated quiet-session contract.
Ordinary direct message carries a zero coalescing count · case 04
The announcement trace violates the stated quiet-session contract.
Ordinary direct message carries a zero coalescing count · case 05
The announcement trace violates the stated quiet-session contract.
New notice escalates relative to startup instead of creation · case 01
The announcement trace violates the stated escalation-ladder contract.
New notice escalates relative to startup instead of creation · case 02
The announcement trace violates the stated escalation-ladder contract.
New notice escalates relative to startup instead of creation · case 03
The announcement trace violates the stated escalation-ladder contract.
New notice escalates relative to startup instead of creation · case 04
The announcement trace violates the stated escalation-ladder contract.
New notice escalates relative to startup instead of creation · case 05
The announcement trace violates the stated escalation-ladder contract.
Acknowledging one notice suppresses other escalation ladders · case 01
The announcement trace violates the stated escalation-ladder contract.
Acknowledging one notice suppresses other escalation ladders · case 02
The announcement trace violates the stated escalation-ladder contract.
Acknowledging one notice suppresses other escalation ladders · case 03
The announcement trace violates the stated escalation-ladder contract.
Acknowledging one notice suppresses other escalation ladders · case 04
The announcement trace violates the stated escalation-ladder contract.
Acknowledging one notice suppresses other escalation ladders · case 05
The announcement trace violates the stated escalation-ladder contract.
INSPECTABLE BY DESIGN
Every result has a runnable source.
Runnable implementations with recorded outputs, source hashes, and explicit contracts. Related variants share a failure mechanism and belong together in evaluation splits.
Read the methodology ↗