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
Conflict monitor fault scan: a yellow of exactly 2.7 s is flagged as short · case 01
Conflict monitor fault scan returns a wrong result when a yellow of exactly 2.7 s is flagged as short.
Conflict monitor fault scan: a yellow of exactly 2.7 s is flagged as short · case 02
Conflict monitor fault scan returns a wrong result when a yellow of exactly 2.7 s is flagged as short.
Conflict monitor fault scan: a yellow of exactly 2.7 s is flagged as short · case 03
Conflict monitor fault scan returns a wrong result when a yellow of exactly 2.7 s is flagged as short.
Conflict monitor fault scan: a yellow of exactly 2.7 s is flagged as short · case 04
Conflict monitor fault scan returns a wrong result when a yellow of exactly 2.7 s is flagged as short.
Conflict monitor fault scan: a yellow of exactly 2.7 s is flagged as short · case 05
Conflict monitor fault scan returns a wrong result when a yellow of exactly 2.7 s is flagged as short.
Conflict monitor fault scan: red plus green is not reported as multiple indications · case 01
Conflict monitor fault scan returns a wrong result when red plus green is not reported as multiple indications.
Conflict monitor fault scan: red plus green is not reported as multiple indications · case 02
Conflict monitor fault scan returns a wrong result when red plus green is not reported as multiple indications.
Conflict monitor fault scan: red plus green is not reported as multiple indications · case 03
Conflict monitor fault scan returns a wrong result when red plus green is not reported as multiple indications.
Conflict monitor fault scan: red plus green is not reported as multiple indications · case 04
Conflict monitor fault scan returns a wrong result when red plus green is not reported as multiple indications.
Conflict monitor fault scan: red plus green is not reported as multiple indications · case 05
Conflict monitor fault scan returns a wrong result when red plus green is not reported as multiple indications.
Conflict monitor fault scan: each live channel is paired with itself · case 01
Conflict monitor fault scan returns a wrong result when each live channel is paired with itself.
Conflict monitor fault scan: each live channel is paired with itself · case 02
Conflict monitor fault scan returns a wrong result when each live channel is paired with itself.
Conflict monitor fault scan: each live channel is paired with itself · case 03
Conflict monitor fault scan returns a wrong result when each live channel is paired with itself.
Conflict monitor fault scan: each live channel is paired with itself · case 04
Conflict monitor fault scan returns a wrong result when each live channel is paired with itself.
Conflict monitor fault scan: each live channel is paired with itself · case 05
Conflict monitor fault scan returns a wrong result when each live channel is paired with itself.
Overlap phase indication: the inhibit applies only when every not-during phase is green · case 01
Overlap phase indication returns a wrong result when the inhibit applies only when every not-during phase is green.
Overlap phase indication: the inhibit applies only when every not-during phase is green · case 02
Overlap phase indication returns a wrong result when the inhibit applies only when every not-during phase is green.
Overlap phase indication: the inhibit applies only when every not-during phase is green · case 03
Overlap phase indication returns a wrong result when the inhibit applies only when every not-during phase is green.
Overlap phase indication: the inhibit applies only when every not-during phase is green · case 04
Overlap phase indication returns a wrong result when the inhibit applies only when every not-during phase is green.
Overlap phase indication: the inhibit applies only when every not-during phase is green · case 05
Overlap phase indication returns a wrong result when the inhibit applies only when every not-during phase is green.
Overlap phase indication: a parent in yellow keeps the overlap green · case 01
Overlap phase indication returns a wrong result when a parent in yellow keeps the overlap green.
Overlap phase indication: a parent in yellow keeps the overlap green · case 02
Overlap phase indication returns a wrong result when a parent in yellow keeps the overlap green.
Overlap phase indication: a parent in yellow keeps the overlap green · case 03
Overlap phase indication returns a wrong result when a parent in yellow keeps the overlap green.
Overlap phase indication: a parent in yellow keeps the overlap green · case 04
Overlap phase indication returns a wrong result when a parent in yellow keeps the overlap green.
Overlap phase indication: a parent in yellow keeps the overlap green · case 05
Overlap phase indication returns a wrong result when a parent in yellow keeps the overlap green.
Overlap phase indication: the overlap continues only when the same parent is re-served · case 01
Overlap phase indication returns a wrong result when the overlap continues only when the same parent is re-served.
Overlap phase indication: the overlap continues only when the same parent is re-served · case 02
Overlap phase indication returns a wrong result when the overlap continues only when the same parent is re-served.
Overlap phase indication: the overlap continues only when the same parent is re-served · case 03
Overlap phase indication returns a wrong result when the overlap continues only when the same parent is re-served.
Overlap phase indication: the overlap continues only when the same parent is re-served · case 04
Overlap phase indication returns a wrong result when the overlap continues only when the same parent is re-served.
Overlap phase indication: the overlap continues only when the same parent is re-served · case 05
Overlap phase indication returns a wrong result when the overlap continues only when the same parent is re-served.
Overlap phase indication: parents in red clearance are not treated as terminating · case 01
Overlap phase indication returns a wrong result when parents in red clearance are not treated as terminating.
Overlap phase indication: parents in red clearance are not treated as terminating · case 02
Overlap phase indication returns a wrong result when parents in red clearance are not treated as terminating.
Overlap phase indication: parents in red clearance are not treated as terminating · case 03
Overlap phase indication returns a wrong result when parents in red clearance are not treated as terminating.
Overlap phase indication: parents in red clearance are not treated as terminating · case 04
Overlap phase indication returns a wrong result when parents in red clearance are not treated as terminating.
Overlap phase indication: parents in red clearance are not treated as terminating · case 05
Overlap phase indication returns a wrong result when parents in red clearance are not treated as terminating.
Overlap phase indication: overlap yellow follows any yellow phase at the intersection · case 01
Overlap phase indication returns a wrong result when overlap yellow follows any yellow phase at the intersection.
Overlap phase indication: overlap yellow follows any yellow phase at the intersection · case 02
Overlap phase indication returns a wrong result when overlap yellow follows any yellow phase at the intersection.
Overlap phase indication: overlap yellow follows any yellow phase at the intersection · case 03
Overlap phase indication returns a wrong result when overlap yellow follows any yellow phase at the intersection.
Overlap phase indication: overlap yellow follows any yellow phase at the intersection · case 04
Overlap phase indication returns a wrong result when overlap yellow follows any yellow phase at the intersection.
Overlap phase indication: overlap yellow follows any yellow phase at the intersection · case 05
Overlap phase indication returns a wrong result when overlap yellow follows any yellow phase at the intersection.
Garage hourly fee with grace and daily maximum: the grace period is deducted from every stay · case 01
Garage hourly fee with grace and daily maximum returns a wrong result when the grace period is deducted from every stay.
Garage hourly fee with grace and daily maximum: the grace period is deducted from every stay · case 02
Garage hourly fee with grace and daily maximum returns a wrong result when the grace period is deducted from every stay.
Garage hourly fee with grace and daily maximum: the grace period is deducted from every stay · case 03
Garage hourly fee with grace and daily maximum returns a wrong result when the grace period is deducted from every stay.
Garage hourly fee with grace and daily maximum: the grace period is deducted from every stay · case 04
Garage hourly fee with grace and daily maximum returns a wrong result when the grace period is deducted from every stay.
Garage hourly fee with grace and daily maximum: the grace period is deducted from every stay · case 05
Garage hourly fee with grace and daily maximum returns a wrong result when the grace period is deducted from every stay.
Garage hourly fee with grace and daily maximum: partial hours are not charged · case 01
Garage hourly fee with grace and daily maximum returns a wrong result when partial hours are not charged.
Garage hourly fee with grace and daily maximum: partial hours are not charged · case 02
Garage hourly fee with grace and daily maximum returns a wrong result when partial hours are not charged.
Garage hourly fee with grace and daily maximum: partial hours are not charged · case 03
Garage hourly fee with grace and daily maximum returns a wrong result when partial hours are not charged.
Garage hourly fee with grace and daily maximum: partial hours are not charged · case 04
Garage hourly fee with grace and daily maximum returns a wrong result when partial hours are not charged.
Garage hourly fee with grace and daily maximum: partial hours are not charged · case 05
Garage hourly fee with grace and daily maximum returns a wrong result when partial hours are not charged.
Garage hourly fee with grace and daily maximum: the remainder of a multi-day stay is not capped · case 01
Garage hourly fee with grace and daily maximum returns a wrong result when the remainder of a multi-day stay is not capped.
Garage hourly fee with grace and daily maximum: the remainder of a multi-day stay is not capped · case 02
Garage hourly fee with grace and daily maximum returns a wrong result when the remainder of a multi-day stay is not capped.
Garage hourly fee with grace and daily maximum: the remainder of a multi-day stay is not capped · case 03
Garage hourly fee with grace and daily maximum returns a wrong result when the remainder of a multi-day stay is not capped.
Garage hourly fee with grace and daily maximum: the remainder of a multi-day stay is not capped · case 04
Garage hourly fee with grace and daily maximum returns a wrong result when the remainder of a multi-day stay is not capped.
Garage hourly fee with grace and daily maximum: the remainder of a multi-day stay is not capped · case 05
Garage hourly fee with grace and daily maximum returns a wrong result when the remainder of a multi-day stay is not capped.
Garage hourly fee with grace and daily maximum: full day blocks are billed at 24 hourly charges · case 01
Garage hourly fee with grace and daily maximum returns a wrong result when full day blocks are billed at 24 hourly charges.
Garage hourly fee with grace and daily maximum: full day blocks are billed at 24 hourly charges · case 02
Garage hourly fee with grace and daily maximum returns a wrong result when full day blocks are billed at 24 hourly charges.
Garage hourly fee with grace and daily maximum: full day blocks are billed at 24 hourly charges · case 03
Garage hourly fee with grace and daily maximum returns a wrong result when full day blocks are billed at 24 hourly charges.
Garage hourly fee with grace and daily maximum: full day blocks are billed at 24 hourly charges · case 04
Garage hourly fee with grace and daily maximum returns a wrong result when full day blocks are billed at 24 hourly charges.
Garage hourly fee with grace and daily maximum: full day blocks are billed at 24 hourly charges · case 05
Garage hourly fee with grace and daily maximum returns a wrong result when full day blocks are billed at 24 hourly charges.
Garage hourly fee with grace and daily maximum: the lost ticket fee replaces a larger computed fee · case 01
Garage hourly fee with grace and daily maximum returns a wrong result when the lost ticket fee replaces a larger computed fee.
Garage hourly fee with grace and daily maximum: the lost ticket fee replaces a larger computed fee · case 02
Garage hourly fee with grace and daily maximum returns a wrong result when the lost ticket fee replaces a larger computed fee.
Garage hourly fee with grace and daily maximum: the lost ticket fee replaces a larger computed fee · case 03
Garage hourly fee with grace and daily maximum returns a wrong result when the lost ticket fee replaces a larger computed fee.
Garage hourly fee with grace and daily maximum: the lost ticket fee replaces a larger computed fee · case 04
Garage hourly fee with grace and daily maximum returns a wrong result when the lost ticket fee replaces a larger computed fee.
Garage hourly fee with grace and daily maximum: the lost ticket fee replaces a larger computed fee · case 05
Garage hourly fee with grace and daily maximum returns a wrong result when the lost ticket fee replaces a larger computed fee.
Garage hourly fee with grace and daily maximum: zero-length stays are rejected as invalid · case 01
Garage hourly fee with grace and daily maximum returns a wrong result when zero-length stays are rejected as invalid.
Garage hourly fee with grace and daily maximum: zero-length stays are rejected as invalid · case 02
Garage hourly fee with grace and daily maximum returns a wrong result when zero-length stays are rejected as invalid.
Garage hourly fee with grace and daily maximum: zero-length stays are rejected as invalid · case 03
Garage hourly fee with grace and daily maximum returns a wrong result when zero-length stays are rejected as invalid.
Garage hourly fee with grace and daily maximum: zero-length stays are rejected as invalid · case 04
Garage hourly fee with grace and daily maximum returns a wrong result when zero-length stays are rejected as invalid.
Garage hourly fee with grace and daily maximum: zero-length stays are rejected as invalid · case 05
Garage hourly fee with grace and daily maximum returns a wrong result when zero-length stays are rejected as invalid.
Tiered parking rate table: tiers are matched at hour granularity · case 01
Tiered parking rate table returns a wrong result when tiers are matched at hour granularity.
Tiered parking rate table: tiers are matched at hour granularity · case 02
Tiered parking rate table returns a wrong result when tiers are matched at hour granularity.
Tiered parking rate table: tiers are matched at hour granularity · case 03
Tiered parking rate table returns a wrong result when tiers are matched at hour granularity.
Tiered parking rate table: tiers are matched at hour granularity · case 04
Tiered parking rate table returns a wrong result when tiers are matched at hour granularity.
Tiered parking rate table: tiers are matched at hour granularity · case 05
Tiered parking rate table returns a wrong result when tiers are matched at hour granularity.
Tiered parking rate table: tiers are scanned in reverse order · case 01
Tiered parking rate table returns a wrong result when tiers are scanned in reverse order.
Tiered parking rate table: tiers are scanned in reverse order · case 02
Tiered parking rate table returns a wrong result when tiers are scanned in reverse order.
Tiered parking rate table: tiers are scanned in reverse order · case 03
Tiered parking rate table returns a wrong result when tiers are scanned in reverse order.
Tiered parking rate table: tiers are scanned in reverse order · case 04
Tiered parking rate table returns a wrong result when tiers are scanned in reverse order.
Tiered parking rate table: tiers are scanned in reverse order · case 05
Tiered parking rate table returns a wrong result when tiers are scanned in reverse order.
Tiered parking rate table: additional blocks are counted from time zero · case 01
Tiered parking rate table returns a wrong result when additional blocks are counted from time zero.
Tiered parking rate table: additional blocks are counted from time zero · case 02
Tiered parking rate table returns a wrong result when additional blocks are counted from time zero.
Tiered parking rate table: additional blocks are counted from time zero · case 03
Tiered parking rate table returns a wrong result when additional blocks are counted from time zero.
Tiered parking rate table: additional blocks are counted from time zero · case 04
Tiered parking rate table returns a wrong result when additional blocks are counted from time zero.
Tiered parking rate table: additional blocks are counted from time zero · case 05
Tiered parking rate table returns a wrong result when additional blocks are counted from time zero.
Tiered parking rate table: a zero-minute stay pays the first tier · case 01
Tiered parking rate table returns a wrong result when a zero-minute stay pays the first tier.
Tiered parking rate table: a zero-minute stay pays the first tier · case 02
Tiered parking rate table returns a wrong result when a zero-minute stay pays the first tier.
Tiered parking rate table: a zero-minute stay pays the first tier · case 03
Tiered parking rate table returns a wrong result when a zero-minute stay pays the first tier.
Tiered parking rate table: a zero-minute stay pays the first tier · case 04
Tiered parking rate table returns a wrong result when a zero-minute stay pays the first tier.
Tiered parking rate table: a zero-minute stay pays the first tier · case 05
Tiered parking rate table returns a wrong result when a zero-minute stay pays the first tier.
Tiered parking rate table: the maximum caps only the additional blocks · case 01
Tiered parking rate table returns a wrong result when the maximum caps only the additional blocks.
Tiered parking rate table: the maximum caps only the additional blocks · case 02
Tiered parking rate table returns a wrong result when the maximum caps only the additional blocks.
Tiered parking rate table: the maximum caps only the additional blocks · case 03
Tiered parking rate table returns a wrong result when the maximum caps only the additional blocks.
Tiered parking rate table: the maximum caps only the additional blocks · case 04
Tiered parking rate table returns a wrong result when the maximum caps only the additional blocks.
Tiered parking rate table: the maximum caps only the additional blocks · case 05
Tiered parking rate table returns a wrong result when the maximum caps only the additional blocks.
Early bird flat rate: Saturday is treated as a weekday · case 01
Early bird flat rate returns a wrong result when saturday is treated as a weekday.
Early bird flat rate: Saturday is treated as a weekday · case 02
Early bird flat rate returns a wrong result when saturday is treated as a weekday.
Early bird flat rate: Saturday is treated as a weekday · case 03
Early bird flat rate returns a wrong result when saturday is treated as a weekday.
Early bird flat rate: Saturday is treated as a weekday · case 04
Early bird flat rate returns a wrong result when saturday is treated as a weekday.
Early bird flat rate: Saturday is treated as a weekday · case 05
Early bird flat rate returns a wrong result when saturday is treated as a weekday.
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 ↗