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
Replay cursor gap detection compares against the newest record · case 01
Replay cursor gap detection compares against the newest record; the returned lifecycle plan violates the stated transition contract.
Replay cursor gap detection compares against the newest record · case 02
Replay cursor gap detection compares against the newest record; the returned lifecycle plan violates the stated transition contract.
Replay cursor gap detection compares against the newest record · case 03
Replay cursor gap detection compares against the newest record; the returned lifecycle plan violates the stated transition contract.
Replay cursor gap detection compares against the newest record · case 04
Replay cursor gap detection compares against the newest record; the returned lifecycle plan violates the stated transition contract.
Replay cursor gap detection compares against the newest record · case 05
Replay cursor gap detection compares against the newest record; the returned lifecycle plan violates the stated transition contract.
Replay sends terminal notification to a cancelled subscriber · case 01
Replay sends terminal notification to a cancelled subscriber; the returned lifecycle plan violates the stated transition contract.
Replay sends terminal notification to a cancelled subscriber · case 02
Replay sends terminal notification to a cancelled subscriber; the returned lifecycle plan violates the stated transition contract.
Replay sends terminal notification to a cancelled subscriber · case 03
Replay sends terminal notification to a cancelled subscriber; the returned lifecycle plan violates the stated transition contract.
Replay sends terminal notification to a cancelled subscriber · case 04
Replay sends terminal notification to a cancelled subscriber; the returned lifecycle plan violates the stated transition contract.
Replay sends terminal notification to a cancelled subscriber · case 05
Replay sends terminal notification to a cancelled subscriber; the returned lifecycle plan violates the stated transition contract.
Live callback delivery overtakes subscription replay · case 01
Live callback delivery overtakes subscription replay; the returned lifecycle plan violates the stated transition contract.
Live callback delivery overtakes subscription replay · case 02
Live callback delivery overtakes subscription replay; the returned lifecycle plan violates the stated transition contract.
Live callback delivery overtakes subscription replay · case 03
Live callback delivery overtakes subscription replay; the returned lifecycle plan violates the stated transition contract.
Live callback delivery overtakes subscription replay · case 04
Live callback delivery overtakes subscription replay; the returned lifecycle plan violates the stated transition contract.
Live callback delivery overtakes subscription replay · case 05
Live callback delivery overtakes subscription replay; the returned lifecycle plan violates the stated transition contract.
Replay loses live events received while replay is active · case 01
Replay loses live events received while replay is active; the returned lifecycle plan violates the stated transition contract.
Replay loses live events received while replay is active · case 02
Replay loses live events received while replay is active; the returned lifecycle plan violates the stated transition contract.
Replay loses live events received while replay is active · case 03
Replay loses live events received while replay is active; the returned lifecycle plan violates the stated transition contract.
Replay loses live events received while replay is active · case 04
Replay loses live events received while replay is active; the returned lifecycle plan violates the stated transition contract.
Replay loses live events received while replay is active · case 05
Replay loses live events received while replay is active; the returned lifecycle plan violates the stated transition contract.
Replay resets the subscription cursor when history is empty · case 01
Replay resets the subscription cursor when history is empty; the returned lifecycle plan violates the stated transition contract.
Replay resets the subscription cursor when history is empty · case 02
Replay resets the subscription cursor when history is empty; the returned lifecycle plan violates the stated transition contract.
Replay resets the subscription cursor when history is empty · case 03
Replay resets the subscription cursor when history is empty; the returned lifecycle plan violates the stated transition contract.
Replay resets the subscription cursor when history is empty · case 04
Replay resets the subscription cursor when history is empty; the returned lifecycle plan violates the stated transition contract.
Replay resets the subscription cursor when history is empty · case 05
Replay resets the subscription cursor when history is empty; the returned lifecycle plan violates the stated transition contract.
Replay demand accounting subtracts filtered-out history · case 01
Replay demand accounting subtracts filtered-out history; the returned lifecycle plan violates the stated transition contract.
Replay demand accounting subtracts filtered-out history · case 02
Replay demand accounting subtracts filtered-out history; the returned lifecycle plan violates the stated transition contract.
Replay demand accounting subtracts filtered-out history · case 03
Replay demand accounting subtracts filtered-out history; the returned lifecycle plan violates the stated transition contract.
Replay demand accounting subtracts filtered-out history · case 04
Replay demand accounting subtracts filtered-out history; the returned lifecycle plan violates the stated transition contract.
Replay demand accounting subtracts filtered-out history · case 05
Replay demand accounting subtracts filtered-out history; the returned lifecycle plan violates the stated transition contract.
A terminated replay source acquires a live subscription · case 01
A terminated replay source acquires a live subscription; the returned lifecycle plan violates the stated transition contract.
A terminated replay source acquires a live subscription · case 02
A terminated replay source acquires a live subscription; the returned lifecycle plan violates the stated transition contract.
A terminated replay source acquires a live subscription · case 03
A terminated replay source acquires a live subscription; the returned lifecycle plan violates the stated transition contract.
A terminated replay source acquires a live subscription · case 04
A terminated replay source acquires a live subscription; the returned lifecycle plan violates the stated transition contract.
A terminated replay source acquires a live subscription · case 05
A terminated replay source acquires a live subscription; the returned lifecycle plan violates the stated transition contract.
Replay history is reversed during initial subscription · case 01
Replay history is reversed during initial subscription; the returned lifecycle plan violates the stated transition contract.
Replay history is reversed during initial subscription · case 02
Replay history is reversed during initial subscription; the returned lifecycle plan violates the stated transition contract.
Replay history is reversed during initial subscription · case 03
Replay history is reversed during initial subscription; the returned lifecycle plan violates the stated transition contract.
Replay history is reversed during initial subscription · case 04
Replay history is reversed during initial subscription; the returned lifecycle plan violates the stated transition contract.
Replay history is reversed during initial subscription · case 05
Replay history is reversed during initial subscription; the returned lifecycle plan violates the stated transition contract.
A negative observer demand request decreases existing credit · case 01
A negative observer demand request decreases existing credit; the returned lifecycle plan violates the stated transition contract.
A negative observer demand request decreases existing credit · case 02
A negative observer demand request decreases existing credit; the returned lifecycle plan violates the stated transition contract.
A negative observer demand request decreases existing credit · case 03
A negative observer demand request decreases existing credit; the returned lifecycle plan violates the stated transition contract.
A negative observer demand request decreases existing credit · case 04
A negative observer demand request decreases existing credit; the returned lifecycle plan violates the stated transition contract.
A negative observer demand request decreases existing credit · case 05
A negative observer demand request decreases existing credit; the returned lifecycle plan violates the stated transition contract.
Zero observer demand is accepted as a positive request · case 01
Zero observer demand is accepted as a positive request; the returned lifecycle plan violates the stated transition contract.
Zero observer demand is accepted as a positive request · case 02
Zero observer demand is accepted as a positive request; the returned lifecycle plan violates the stated transition contract.
Zero observer demand is accepted as a positive request · case 03
Zero observer demand is accepted as a positive request; the returned lifecycle plan violates the stated transition contract.
Zero observer demand is accepted as a positive request · case 04
Zero observer demand is accepted as a positive request; the returned lifecycle plan violates the stated transition contract.
Zero observer demand is accepted as a positive request · case 05
Zero observer demand is accepted as a positive request; the returned lifecycle plan violates the stated transition contract.
Unlimited demand bypasses subscription cancellation · case 01
Unlimited demand bypasses subscription cancellation; the returned lifecycle plan violates the stated transition contract.
Unlimited demand bypasses subscription cancellation · case 02
Unlimited demand bypasses subscription cancellation; the returned lifecycle plan violates the stated transition contract.
Unlimited demand bypasses subscription cancellation · case 03
Unlimited demand bypasses subscription cancellation; the returned lifecycle plan violates the stated transition contract.
Unlimited demand bypasses subscription cancellation · case 04
Unlimited demand bypasses subscription cancellation; the returned lifecycle plan violates the stated transition contract.
Unlimited demand bypasses subscription cancellation · case 05
Unlimited demand bypasses subscription cancellation; the returned lifecycle plan violates the stated transition contract.
Demand is consumed for callbacks that were never delivered · case 01
Demand is consumed for callbacks that were never delivered; the returned lifecycle plan violates the stated transition contract.
Demand is consumed for callbacks that were never delivered · case 02
Demand is consumed for callbacks that were never delivered; the returned lifecycle plan violates the stated transition contract.
Demand is consumed for callbacks that were never delivered · case 03
Demand is consumed for callbacks that were never delivered; the returned lifecycle plan violates the stated transition contract.
Demand is consumed for callbacks that were never delivered · case 04
Demand is consumed for callbacks that were never delivered; the returned lifecycle plan violates the stated transition contract.
Demand is consumed for callbacks that were never delivered · case 05
Demand is consumed for callbacks that were never delivered; the returned lifecycle plan violates the stated transition contract.
Unbounded observer demand is converted into finite request credit · case 01
Unbounded observer demand is converted into finite request credit; the returned lifecycle plan violates the stated transition contract.
Unbounded observer demand is converted into finite request credit · case 02
Unbounded observer demand is converted into finite request credit; the returned lifecycle plan violates the stated transition contract.
Unbounded observer demand is converted into finite request credit · case 03
Unbounded observer demand is converted into finite request credit; the returned lifecycle plan violates the stated transition contract.
Unbounded observer demand is converted into finite request credit · case 04
Unbounded observer demand is converted into finite request credit; the returned lifecycle plan violates the stated transition contract.
Unbounded observer demand is converted into finite request credit · case 05
Unbounded observer demand is converted into finite request credit; the returned lifecycle plan violates the stated transition contract.
Demand credit is mistaken for callback buffer space · case 01
Demand credit is mistaken for callback buffer space; the returned lifecycle plan violates the stated transition contract.
Demand credit is mistaken for callback buffer space · case 02
Demand credit is mistaken for callback buffer space; the returned lifecycle plan violates the stated transition contract.
Demand credit is mistaken for callback buffer space · case 03
Demand credit is mistaken for callback buffer space; the returned lifecycle plan violates the stated transition contract.
Demand credit is mistaken for callback buffer space · case 04
Demand credit is mistaken for callback buffer space; the returned lifecycle plan violates the stated transition contract.
Demand credit is mistaken for callback buffer space · case 05
Demand credit is mistaken for callback buffer space; the returned lifecycle plan violates the stated transition contract.
Empty input is misreported as blocked observer demand · case 01
Empty input is misreported as blocked observer demand; the returned lifecycle plan violates the stated transition contract.
Empty input is misreported as blocked observer demand · case 02
Empty input is misreported as blocked observer demand; the returned lifecycle plan violates the stated transition contract.
Empty input is misreported as blocked observer demand · case 03
Empty input is misreported as blocked observer demand; the returned lifecycle plan violates the stated transition contract.
Empty input is misreported as blocked observer demand · case 04
Empty input is misreported as blocked observer demand; the returned lifecycle plan violates the stated transition contract.
Empty input is misreported as blocked observer demand · case 05
Empty input is misreported as blocked observer demand; the returned lifecycle plan violates the stated transition contract.
Observer completion waits for unused demand credit · case 01
Observer completion waits for unused demand credit; the returned lifecycle plan violates the stated transition contract.
Observer completion waits for unused demand credit · case 02
Observer completion waits for unused demand credit; the returned lifecycle plan violates the stated transition contract.
Observer completion waits for unused demand credit · case 03
Observer completion waits for unused demand credit; the returned lifecycle plan violates the stated transition contract.
Observer completion waits for unused demand credit · case 04
Observer completion waits for unused demand credit; the returned lifecycle plan violates the stated transition contract.
Observer completion waits for unused demand credit · case 05
Observer completion waits for unused demand credit; the returned lifecycle plan violates the stated transition contract.
Cancelled observer forwards a new upstream demand request · case 01
Cancelled observer forwards a new upstream demand request; the returned lifecycle plan violates the stated transition contract.
Cancelled observer forwards a new upstream demand request · case 02
Cancelled observer forwards a new upstream demand request; the returned lifecycle plan violates the stated transition contract.
Cancelled observer forwards a new upstream demand request · case 03
Cancelled observer forwards a new upstream demand request; the returned lifecycle plan violates the stated transition contract.
Cancelled observer forwards a new upstream demand request · case 04
Cancelled observer forwards a new upstream demand request; the returned lifecycle plan violates the stated transition contract.
Cancelled observer forwards a new upstream demand request · case 05
Cancelled observer forwards a new upstream demand request; the returned lifecycle plan violates the stated transition contract.
An exactly full observer credit bucket is not marked saturated · case 01
An exactly full observer credit bucket is not marked saturated; the returned lifecycle plan violates the stated transition contract.
An exactly full observer credit bucket is not marked saturated · case 02
An exactly full observer credit bucket is not marked saturated; the returned lifecycle plan violates the stated transition contract.
An exactly full observer credit bucket is not marked saturated · case 03
An exactly full observer credit bucket is not marked saturated; the returned lifecycle plan violates the stated transition contract.
An exactly full observer credit bucket is not marked saturated · case 04
An exactly full observer credit bucket is not marked saturated; the returned lifecycle plan violates the stated transition contract.
An exactly full observer credit bucket is not marked saturated · case 05
An exactly full observer credit bucket is not marked saturated; the returned lifecycle plan violates the stated transition contract.
Drop-oldest listener buffering preserves stale callback payloads · case 01
Drop-oldest listener buffering preserves stale callback payloads; the returned lifecycle plan violates the stated transition contract.
Drop-oldest listener buffering preserves stale callback payloads · case 02
Drop-oldest listener buffering preserves stale callback payloads; the returned lifecycle plan violates the stated transition contract.
Drop-oldest listener buffering preserves stale callback payloads · case 03
Drop-oldest listener buffering preserves stale callback payloads; the returned lifecycle plan violates the stated transition contract.
Drop-oldest listener buffering preserves stale callback payloads · case 04
Drop-oldest listener buffering preserves stale callback payloads; the returned lifecycle plan violates the stated transition contract.
Drop-oldest listener buffering preserves stale callback payloads · case 05
Drop-oldest listener buffering preserves stale callback payloads; the returned lifecycle plan violates the stated transition contract.
Drop-newest listener buffering preserves newest overflow records · case 01
Drop-newest listener buffering preserves newest overflow records; the returned lifecycle plan violates the stated transition contract.
Drop-newest listener buffering preserves newest overflow records · case 02
Drop-newest listener buffering preserves newest overflow records; the returned lifecycle plan violates the stated transition contract.
Drop-newest listener buffering preserves newest overflow records · case 03
Drop-newest listener buffering preserves newest overflow records; the returned lifecycle plan violates the stated transition contract.
Drop-newest listener buffering preserves newest overflow records · case 04
Drop-newest listener buffering preserves newest overflow records; the returned lifecycle plan violates the stated transition contract.
Drop-newest listener buffering preserves newest overflow records · case 05
Drop-newest listener buffering preserves newest overflow records; the returned lifecycle plan violates the stated transition 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 ↗