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
A destination-only road becomes a through-road shortcut · case 01
A destination-only road becomes a through-road shortcut in the controlled route-policy fixture.
A destination-only road becomes a through-road shortcut · case 02
A destination-only road becomes a through-road shortcut in the controlled route-policy fixture.
A destination-only road becomes a through-road shortcut · case 03
A destination-only road becomes a through-road shortcut in the controlled route-policy fixture.
A destination-only road becomes a through-road shortcut · case 04
A destination-only road becomes a through-road shortcut in the controlled route-policy fixture.
A destination-only road becomes a through-road shortcut · case 05
A destination-only road becomes a through-road shortcut in the controlled route-policy fixture.
A vehicle is admitted without sufficient surveyed clearance · case 01
A vehicle is admitted without sufficient surveyed clearance in the controlled route-policy fixture.
A vehicle is admitted without sufficient surveyed clearance · case 02
A vehicle is admitted without sufficient surveyed clearance in the controlled route-policy fixture.
A vehicle is admitted without sufficient surveyed clearance · case 03
A vehicle is admitted without sufficient surveyed clearance in the controlled route-policy fixture.
A vehicle is admitted without sufficient surveyed clearance · case 04
A vehicle is admitted without sufficient surveyed clearance in the controlled route-policy fixture.
A vehicle is admitted without sufficient surveyed clearance · case 05
A vehicle is admitted without sufficient surveyed clearance in the controlled route-policy fixture.
Lane guidance invents a connection to an exit lane · case 01
Lane guidance invents a connection to an exit lane in the controlled route-policy fixture.
Lane guidance invents a connection to an exit lane · case 02
Lane guidance invents a connection to an exit lane in the controlled route-policy fixture.
Lane guidance invents a connection to an exit lane · case 03
Lane guidance invents a connection to an exit lane in the controlled route-policy fixture.
Lane guidance invents a connection to an exit lane · case 04
Lane guidance invents a connection to an exit lane in the controlled route-policy fixture.
Lane guidance invents a connection to an exit lane · case 05
Lane guidance invents a connection to an exit lane in the controlled route-policy fixture.
Roundabout instructions count entrances as exits · case 01
Roundabout instructions count entrances as exits in the controlled route-policy fixture.
Roundabout instructions count entrances as exits · case 02
Roundabout instructions count entrances as exits in the controlled route-policy fixture.
Roundabout instructions count entrances as exits · case 03
Roundabout instructions count entrances as exits in the controlled route-policy fixture.
Roundabout instructions count entrances as exits · case 04
Roundabout instructions count entrances as exits in the controlled route-policy fixture.
Roundabout instructions count entrances as exits · case 05
Roundabout instructions count entrances as exits in the controlled route-policy fixture.
Toll avoidance checks only the route endpoints · case 01
Toll avoidance checks only the route endpoints in the controlled route-policy fixture.
Toll avoidance checks only the route endpoints · case 02
Toll avoidance checks only the route endpoints in the controlled route-policy fixture.
Toll avoidance checks only the route endpoints · case 03
Toll avoidance checks only the route endpoints in the controlled route-policy fixture.
Toll avoidance checks only the route endpoints · case 04
Toll avoidance checks only the route endpoints in the controlled route-policy fixture.
Toll avoidance checks only the route endpoints · case 05
Toll avoidance checks only the route endpoints in the controlled route-policy fixture.
A reversible lane is used after its direction changes · case 01
A reversible lane is used after its direction changes in the controlled route-policy fixture.
A reversible lane is used after its direction changes · case 02
A reversible lane is used after its direction changes in the controlled route-policy fixture.
A reversible lane is used after its direction changes · case 03
A reversible lane is used after its direction changes in the controlled route-policy fixture.
A reversible lane is used after its direction changes · case 04
A reversible lane is used after its direction changes in the controlled route-policy fixture.
A reversible lane is used after its direction changes · case 05
A reversible lane is used after its direction changes in the controlled route-policy fixture.
Map matching snaps a waypoint onto an inaccessible bridge deck · case 01
Map matching snaps a waypoint onto an inaccessible bridge deck in the controlled route-policy fixture.
Map matching snaps a waypoint onto an inaccessible bridge deck · case 02
Map matching snaps a waypoint onto an inaccessible bridge deck in the controlled route-policy fixture.
Map matching snaps a waypoint onto an inaccessible bridge deck · case 03
Map matching snaps a waypoint onto an inaccessible bridge deck in the controlled route-policy fixture.
Map matching snaps a waypoint onto an inaccessible bridge deck · case 04
Map matching snaps a waypoint onto an inaccessible bridge deck in the controlled route-policy fixture.
Map matching snaps a waypoint onto an inaccessible bridge deck · case 05
Map matching snaps a waypoint onto an inaccessible bridge deck in the controlled route-policy fixture.
A curbside waypoint accepts arrival from the wrong carriageway · case 01
A curbside waypoint accepts arrival from the wrong carriageway in the controlled route-policy fixture.
A curbside waypoint accepts arrival from the wrong carriageway · case 02
A curbside waypoint accepts arrival from the wrong carriageway in the controlled route-policy fixture.
A curbside waypoint accepts arrival from the wrong carriageway · case 03
A curbside waypoint accepts arrival from the wrong carriageway in the controlled route-policy fixture.
A curbside waypoint accepts arrival from the wrong carriageway · case 04
A curbside waypoint accepts arrival from the wrong carriageway in the controlled route-policy fixture.
A curbside waypoint accepts arrival from the wrong carriageway · case 05
A curbside waypoint accepts arrival from the wrong carriageway in the controlled route-policy fixture.
A register delta loses complete counter revolutions · case 01
A register delta loses complete counter revolutions.
A register delta loses complete counter revolutions · case 02
A register delta loses complete counter revolutions.
A register delta loses complete counter revolutions · case 03
A register delta loses complete counter revolutions.
A register delta loses complete counter revolutions · case 04
A register delta loses complete counter revolutions.
A register delta loses complete counter revolutions · case 05
A register delta loses complete counter revolutions.
Per-phase direction registers are collapsed before settlement · case 01
Per-phase direction registers are collapsed before settlement.
Per-phase direction registers are collapsed before settlement · case 02
Per-phase direction registers are collapsed before settlement.
Per-phase direction registers are collapsed before settlement · case 03
Per-phase direction registers are collapsed before settlement.
Per-phase direction registers are collapsed before settlement · case 04
Per-phase direction registers are collapsed before settlement.
Per-phase direction registers are collapsed before settlement · case 05
Per-phase direction registers are collapsed before settlement.
Export in one interval erases import from another · case 01
Export in one interval erases import from another.
Export in one interval erases import from another · case 02
Export in one interval erases import from another.
Export in one interval erases import from another · case 03
Export in one interval erases import from another.
Export in one interval erases import from another · case 04
Export in one interval erases import from another.
Export in one interval erases import from another · case 05
Export in one interval erases import from another.
An interval end label selects the next tariff period · case 01
An interval end label selects the next tariff period.
An interval end label selects the next tariff period · case 02
An interval end label selects the next tariff period.
An interval end label selects the next tariff period · case 03
An interval end label selects the next tariff period.
An interval end label selects the next tariff period · case 04
An interval end label selects the next tariff period.
An interval end label selects the next tariff period · case 05
An interval end label selects the next tariff period.
A missing interval is reported as measured zero consumption · case 01
A missing interval is reported as measured zero consumption.
A missing interval is reported as measured zero consumption · case 02
A missing interval is reported as measured zero consumption.
A missing interval is reported as measured zero consumption · case 03
A missing interval is reported as measured zero consumption.
A missing interval is reported as measured zero consumption · case 04
A missing interval is reported as measured zero consumption.
A missing interval is reported as measured zero consumption · case 05
A missing interval is reported as measured zero consumption.
Independent feeder peaks inflate the site demand register · case 01
Independent feeder peaks inflate the site demand register.
Independent feeder peaks inflate the site demand register · case 02
Independent feeder peaks inflate the site demand register.
Independent feeder peaks inflate the site demand register · case 03
Independent feeder peaks inflate the site demand register.
Independent feeder peaks inflate the site demand register · case 04
Independent feeder peaks inflate the site demand register.
Independent feeder peaks inflate the site demand register · case 05
Independent feeder peaks inflate the site demand register.
Partial demand blocks compete with complete tariff blocks · case 01
Partial demand blocks compete with complete tariff blocks.
Partial demand blocks compete with complete tariff blocks · case 02
Partial demand blocks compete with complete tariff blocks.
Partial demand blocks compete with complete tariff blocks · case 03
Partial demand blocks compete with complete tariff blocks.
Partial demand blocks compete with complete tariff blocks · case 04
Partial demand blocks compete with complete tariff blocks.
Partial demand blocks compete with complete tariff blocks · case 05
Partial demand blocks compete with complete tariff blocks.
Reactive export quadrants are charged to the import register · case 01
Reactive export quadrants are charged to the import register.
Reactive export quadrants are charged to the import register · case 02
Reactive export quadrants are charged to the import register.
Reactive export quadrants are charged to the import register · case 03
Reactive export quadrants are charged to the import register.
Reactive export quadrants are charged to the import register · case 04
Reactive export quadrants are charged to the import register.
Reactive export quadrants are charged to the import register · case 05
Reactive export quadrants are charged to the import register.
Expired export-credit lots reduce current import charges · case 01
Expired export-credit lots reduce current import charges.
Expired export-credit lots reduce current import charges · case 02
Expired export-credit lots reduce current import charges.
Expired export-credit lots reduce current import charges · case 03
Expired export-credit lots reduce current import charges.
Expired export-credit lots reduce current import charges · case 04
Expired export-credit lots reduce current import charges.
Expired export-credit lots reduce current import charges · case 05
Expired export-credit lots reduce current import charges.
A replacement meter opening register becomes billed energy · case 01
A replacement meter opening register becomes billed energy.
A replacement meter opening register becomes billed energy · case 02
A replacement meter opening register becomes billed energy.
A replacement meter opening register becomes billed energy · case 03
A replacement meter opening register becomes billed energy.
A replacement meter opening register becomes billed energy · case 04
A replacement meter opening register becomes billed energy.
A replacement meter opening register becomes billed energy · case 05
A replacement meter opening register becomes billed energy.
Charging loss is applied to withdrawals · case 01
A shared efficiency transform shrinks both incoming and outgoing charge.
Charging loss is applied to withdrawals · case 02
A shared efficiency transform shrinks both incoming and outgoing charge.
Charging loss is applied to withdrawals · case 03
A shared efficiency transform shrinks both incoming and outgoing charge.
Charging loss is applied to withdrawals · case 04
A shared efficiency transform shrinks both incoming and outgoing charge.
Charging loss is applied to withdrawals · case 05
A shared efficiency transform shrinks both incoming and outgoing charge.
Capacity calibration invents stored charge · case 01
Capacity recalibration preserves a displayed fraction instead of stored inventory.
Capacity calibration invents stored charge · case 02
Capacity recalibration preserves a displayed fraction instead of stored inventory.
Capacity calibration invents stored charge · case 03
Capacity recalibration preserves a displayed fraction instead of stored inventory.
Capacity calibration invents stored charge · case 04
Capacity recalibration preserves a displayed fraction instead of stored inventory.
Capacity calibration invents stored charge · case 05
Capacity recalibration preserves a displayed fraction instead of stored inventory.
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 ↗