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
Clock demand: posted price lock · case 01
Rejected clock proposals overwrite the bidder binding price.
Clock demand: posted price lock · case 02
Rejected clock proposals overwrite the bidder binding price.
Clock demand: posted price lock · case 03
Rejected clock proposals overwrite the bidder binding price.
Clock demand: posted price lock · case 04
Rejected clock proposals overwrite the bidder binding price.
Clock demand: posted price lock · case 05
Rejected clock proposals overwrite the bidder binding price.
Clock demand: demand cap · case 01
A global cap substitutes for each lot demand cap.
Clock demand: demand cap · case 02
A global cap substitutes for each lot demand cap.
Clock demand: demand cap · case 03
A global cap substitutes for each lot demand cap.
Clock demand: demand cap · case 04
A global cap substitutes for each lot demand cap.
Clock demand: demand cap · case 05
A global cap substitutes for each lot demand cap.
Clock demand: excess demand · case 01
The clock treats spare supply as negative excess or reverses shortage.
Clock demand: excess demand · case 02
The clock treats spare supply as negative excess or reverses shortage.
Clock demand: excess demand · case 03
The clock treats spare supply as negative excess or reverses shortage.
Clock demand: excess demand · case 04
The clock treats spare supply as negative excess or reverses shortage.
Clock demand: excess demand · case 05
The clock treats spare supply as negative excess or reverses shortage.
Clock demand: clock step selection · case 01
Clock price increments apply to balanced lots.
Clock demand: clock step selection · case 02
Clock price increments apply to balanced lots.
Clock demand: clock step selection · case 03
Clock price increments apply to balanced lots.
Clock demand: clock step selection · case 04
Clock price increments apply to balanced lots.
Clock demand: clock step selection · case 05
Clock price increments apply to balanced lots.
Clock demand: deferred exit trigger · case 01
A queued withdrawal fires before its accepted trigger price.
Clock demand: deferred exit trigger · case 02
A queued withdrawal fires before its accepted trigger price.
Clock demand: deferred exit trigger · case 03
A queued withdrawal fires before its accepted trigger price.
Clock demand: deferred exit trigger · case 04
A queued withdrawal fires before its accepted trigger price.
Clock demand: deferred exit trigger · case 05
A queued withdrawal fires before its accepted trigger price.
Clock demand: round clearing quiescence · case 01
Surplus on one lot hides unmet demand on another at clock close.
Clock demand: round clearing quiescence · case 02
Surplus on one lot hides unmet demand on another at clock close.
Clock demand: round clearing quiescence · case 03
Surplus on one lot hides unmet demand on another at clock close.
Clock demand: round clearing quiescence · case 04
Surplus on one lot hides unmet demand on another at clock close.
Clock demand: round clearing quiescence · case 05
Surplus on one lot hides unmet demand on another at clock close.
Clock demand: price change ack · case 01
Clock acknowledgment reports a new price when no accepted change occurred.
Clock demand: price change ack · case 02
Clock acknowledgment reports a new price when no accepted change occurred.
Clock demand: price change ack · case 03
Clock acknowledgment reports a new price when no accepted change occurred.
Clock demand: price change ack · case 04
Clock acknowledgment reports a new price when no accepted change occurred.
Clock demand: price change ack · case 05
Clock acknowledgment reports a new price when no accepted change occurred.
Clock demand: round demand replay · case 01
Replayed clock-round submissions replace current demand again.
Clock demand: round demand replay · case 02
Replayed clock-round submissions replace current demand again.
Clock demand: round demand replay · case 03
Replayed clock-round submissions replace current demand again.
Clock demand: round demand replay · case 04
Replayed clock-round submissions replace current demand again.
Clock demand: round demand replay · case 05
Replayed clock-round submissions replace current demand again.
Proxy instructions: bounded next offer · case 01
Proxy steps jump past the authorized ceiling.
Proxy instructions: bounded next offer · case 02
Proxy steps jump past the authorized ceiling.
Proxy instructions: bounded next offer · case 03
Proxy steps jump past the authorized ceiling.
Proxy instructions: bounded next offer · case 04
Proxy steps jump past the authorized ceiling.
Proxy instructions: bounded next offer · case 05
Proxy steps jump past the authorized ceiling.
Proxy instructions: ceiling exhaustion · case 01
Proxy emits an offer after its authorization is exhausted.
Proxy instructions: ceiling exhaustion · case 02
Proxy emits an offer after its authorization is exhausted.
Proxy instructions: ceiling exhaustion · case 03
Proxy emits an offer after its authorization is exhausted.
Proxy instructions: ceiling exhaustion · case 04
Proxy emits an offer after its authorization is exhausted.
Proxy instructions: ceiling exhaustion · case 05
Proxy emits an offer after its authorization is exhausted.
Proxy instructions: remaining proxy size · case 01
A partially filled proxy resubmits its original full size.
Proxy instructions: remaining proxy size · case 02
A partially filled proxy resubmits its original full size.
Proxy instructions: remaining proxy size · case 03
A partially filled proxy resubmits its original full size.
Proxy instructions: remaining proxy size · case 04
A partially filled proxy resubmits its original full size.
Proxy instructions: remaining proxy size · case 05
A partially filled proxy resubmits its original full size.
Proxy instructions: manual control handoff · case 01
Proxy and present owner both submit after control handoff.
Proxy instructions: manual control handoff · case 02
Proxy and present owner both submit after control handoff.
Proxy instructions: manual control handoff · case 03
Proxy and present owner both submit after control handoff.
Proxy instructions: manual control handoff · case 04
Proxy and present owner both submit after control handoff.
Proxy instructions: manual control handoff · case 05
Proxy and present owner both submit after control handoff.
Proxy instructions: one trigger submission · case 01
One-use proxy trigger creates repeated auction offers.
Proxy instructions: one trigger submission · case 02
One-use proxy trigger creates repeated auction offers.
Proxy instructions: one trigger submission · case 03
One-use proxy trigger creates repeated auction offers.
Proxy instructions: one trigger submission · case 04
One-use proxy trigger creates repeated auction offers.
Proxy instructions: one trigger submission · case 05
One-use proxy trigger creates repeated auction offers.
Proxy instructions: lot mandate · case 01
Proxy acts on a lot outside its instruction mandate.
Proxy instructions: lot mandate · case 02
Proxy acts on a lot outside its instruction mandate.
Proxy instructions: lot mandate · case 03
Proxy acts on a lot outside its instruction mandate.
Proxy instructions: lot mandate · case 04
Proxy acts on a lot outside its instruction mandate.
Proxy instructions: lot mandate · case 05
Proxy acts on a lot outside its instruction mandate.
Proxy instructions: suspension resume · case 01
Proxy suspension is lost or enables an otherwise disabled instruction.
Proxy instructions: suspension resume · case 02
Proxy suspension is lost or enables an otherwise disabled instruction.
Proxy instructions: suspension resume · case 03
Proxy suspension is lost or enables an otherwise disabled instruction.
Proxy instructions: suspension resume · case 04
Proxy suspension is lost or enables an otherwise disabled instruction.
Proxy instructions: suspension resume · case 05
Proxy suspension is lost or enables an otherwise disabled instruction.
Proxy instructions: manual price precedence · case 01
Inactive manual overrides change the proxy starting price.
Proxy instructions: manual price precedence · case 02
Inactive manual overrides change the proxy starting price.
Proxy instructions: manual price precedence · case 03
Inactive manual overrides change the proxy starting price.
Proxy instructions: manual price precedence · case 04
Inactive manual overrides change the proxy starting price.
Proxy instructions: manual price precedence · case 05
Inactive manual overrides change the proxy starting price.
Proxy instructions: proxy collateral size · case 01
Proxy quantity ignores either remaining authorization or collateral.
Proxy instructions: proxy collateral size · case 02
Proxy quantity ignores either remaining authorization or collateral.
Proxy instructions: proxy collateral size · case 03
Proxy quantity ignores either remaining authorization or collateral.
Proxy instructions: proxy collateral size · case 04
Proxy quantity ignores either remaining authorization or collateral.
Proxy instructions: proxy collateral size · case 05
Proxy quantity ignores either remaining authorization or collateral.
Proxy instructions: closed auction trigger · case 01
Trigger routing continues proxy offers after auction closure.
Proxy instructions: closed auction trigger · case 02
Trigger routing continues proxy offers after auction closure.
Proxy instructions: closed auction trigger · case 03
Trigger routing continues proxy offers after auction closure.
Proxy instructions: closed auction trigger · case 04
Trigger routing continues proxy offers after auction closure.
Proxy instructions: closed auction trigger · case 05
Trigger routing continues proxy offers after auction closure.
Soft close: extension window · case 01
Late bids reopen an already closed soft-close window.
Soft close: extension window · case 02
Late bids reopen an already closed soft-close window.
Soft close: extension window · case 03
Late bids reopen an already closed soft-close window.
Soft close: extension window · case 04
Late bids reopen an already closed soft-close window.
Soft close: extension window · case 05
Late bids reopen an already closed soft-close window.
Soft close: extension base · case 01
Deadline extension shortens an auction or overextends from an old deadline.
Soft close: extension base · case 02
Deadline extension shortens an auction or overextends from an old deadline.
Soft close: extension base · case 03
Deadline extension shortens an auction or overextends from an old deadline.
Soft close: extension base · case 04
Deadline extension shortens an auction or overextends from an old deadline.
Soft close: extension base · case 05
Deadline extension shortens an auction or overextends from an old deadline.
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 ↗