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
Early bird flat rate: an entry at exactly 09:00 misses the early bird · case 01
Early bird flat rate returns a wrong result when an entry at exactly 09:00 misses the early bird.
Early bird flat rate: an entry at exactly 09:00 misses the early bird · case 02
Early bird flat rate returns a wrong result when an entry at exactly 09:00 misses the early bird.
Early bird flat rate: an entry at exactly 09:00 misses the early bird · case 03
Early bird flat rate returns a wrong result when an entry at exactly 09:00 misses the early bird.
Early bird flat rate: an entry at exactly 09:00 misses the early bird · case 04
Early bird flat rate returns a wrong result when an entry at exactly 09:00 misses the early bird.
Early bird flat rate: an entry at exactly 09:00 misses the early bird · case 05
Early bird flat rate returns a wrong result when an entry at exactly 09:00 misses the early bird.
Early bird flat rate: overnight stays qualify for the early bird · case 01
Early bird flat rate returns a wrong result when overnight stays qualify for the early bird.
Early bird flat rate: overnight stays qualify for the early bird · case 02
Early bird flat rate returns a wrong result when overnight stays qualify for the early bird.
Early bird flat rate: overnight stays qualify for the early bird · case 03
Early bird flat rate returns a wrong result when overnight stays qualify for the early bird.
Early bird flat rate: overnight stays qualify for the early bird · case 04
Early bird flat rate returns a wrong result when overnight stays qualify for the early bird.
Early bird flat rate: overnight stays qualify for the early bird · case 05
Early bird flat rate returns a wrong result when overnight stays qualify for the early bird.
Early bird flat rate: late evening exits keep the early bird · case 01
Early bird flat rate returns a wrong result when late evening exits keep the early bird.
Early bird flat rate: late evening exits keep the early bird · case 02
Early bird flat rate returns a wrong result when late evening exits keep the early bird.
Early bird flat rate: late evening exits keep the early bird · case 03
Early bird flat rate returns a wrong result when late evening exits keep the early bird.
Early bird flat rate: late evening exits keep the early bird · case 04
Early bird flat rate returns a wrong result when late evening exits keep the early bird.
Early bird flat rate: late evening exits keep the early bird · case 05
Early bird flat rate returns a wrong result when late evening exits keep the early bird.
Early bird flat rate: the early bird is compared with the uncapped hourly fee · case 01
Early bird flat rate returns a wrong result when the early bird is compared with the uncapped hourly fee.
Early bird flat rate: the early bird is compared with the uncapped hourly fee · case 02
Early bird flat rate returns a wrong result when the early bird is compared with the uncapped hourly fee.
Early bird flat rate: the early bird is compared with the uncapped hourly fee · case 03
Early bird flat rate returns a wrong result when the early bird is compared with the uncapped hourly fee.
Early bird flat rate: the early bird is compared with the uncapped hourly fee · case 04
Early bird flat rate returns a wrong result when the early bird is compared with the uncapped hourly fee.
Early bird flat rate: the early bird is compared with the uncapped hourly fee · case 05
Early bird flat rate returns a wrong result when the early bird is compared with the uncapped hourly fee.
Early bird flat rate: an exact 24 hour stay counts as two days · case 01
Early bird flat rate returns a wrong result when an exact 24 hour stay counts as two days.
Early bird flat rate: an exact 24 hour stay counts as two days · case 02
Early bird flat rate returns a wrong result when an exact 24 hour stay counts as two days.
Early bird flat rate: an exact 24 hour stay counts as two days · case 03
Early bird flat rate returns a wrong result when an exact 24 hour stay counts as two days.
Early bird flat rate: an exact 24 hour stay counts as two days · case 04
Early bird flat rate returns a wrong result when an exact 24 hour stay counts as two days.
Early bird flat rate: an exact 24 hour stay counts as two days · case 05
Early bird flat rate returns a wrong result when an exact 24 hour stay counts as two days.
Time-band rate with calendar day cap: each band segment is rounded up separately · case 01
Time-band rate with calendar day cap returns a wrong result when each band segment is rounded up separately.
Time-band rate with calendar day cap: each band segment is rounded up separately · case 02
Time-band rate with calendar day cap returns a wrong result when each band segment is rounded up separately.
Time-band rate with calendar day cap: each band segment is rounded up separately · case 03
Time-band rate with calendar day cap returns a wrong result when each band segment is rounded up separately.
Time-band rate with calendar day cap: each band segment is rounded up separately · case 04
Time-band rate with calendar day cap returns a wrong result when each band segment is rounded up separately.
Time-band rate with calendar day cap: each band segment is rounded up separately · case 05
Time-band rate with calendar day cap returns a wrong result when each band segment is rounded up separately.
Time-band rate with calendar day cap: band minutes are rounded down to quarters · case 01
Time-band rate with calendar day cap returns a wrong result when band minutes are rounded down to quarters.
Time-band rate with calendar day cap: band minutes are rounded down to quarters · case 02
Time-band rate with calendar day cap returns a wrong result when band minutes are rounded down to quarters.
Time-band rate with calendar day cap: band minutes are rounded down to quarters · case 03
Time-band rate with calendar day cap returns a wrong result when band minutes are rounded down to quarters.
Time-band rate with calendar day cap: band minutes are rounded down to quarters · case 04
Time-band rate with calendar day cap returns a wrong result when band minutes are rounded down to quarters.
Time-band rate with calendar day cap: band minutes are rounded down to quarters · case 05
Time-band rate with calendar day cap returns a wrong result when band minutes are rounded down to quarters.
Time-band rate with calendar day cap: the last segment runs to the band boundary · case 01
Time-band rate with calendar day cap returns a wrong result when the last segment runs to the band boundary.
Time-band rate with calendar day cap: the last segment runs to the band boundary · case 02
Time-band rate with calendar day cap returns a wrong result when the last segment runs to the band boundary.
Time-band rate with calendar day cap: the last segment runs to the band boundary · case 03
Time-band rate with calendar day cap returns a wrong result when the last segment runs to the band boundary.
Time-band rate with calendar day cap: the last segment runs to the band boundary · case 04
Time-band rate with calendar day cap returns a wrong result when the last segment runs to the band boundary.
Time-band rate with calendar day cap: the last segment runs to the band boundary · case 05
Time-band rate with calendar day cap returns a wrong result when the last segment runs to the band boundary.
Time-band rate with calendar day cap: the daily maximum caps the whole stay once · case 01
Time-band rate with calendar day cap returns a wrong result when the daily maximum caps the whole stay once.
Time-band rate with calendar day cap: the daily maximum caps the whole stay once · case 02
Time-band rate with calendar day cap returns a wrong result when the daily maximum caps the whole stay once.
Time-band rate with calendar day cap: the daily maximum caps the whole stay once · case 03
Time-band rate with calendar day cap returns a wrong result when the daily maximum caps the whole stay once.
Time-band rate with calendar day cap: the daily maximum caps the whole stay once · case 04
Time-band rate with calendar day cap returns a wrong result when the daily maximum caps the whole stay once.
Time-band rate with calendar day cap: the daily maximum caps the whole stay once · case 05
Time-band rate with calendar day cap returns a wrong result when the daily maximum caps the whole stay once.
Time-band rate with calendar day cap: days are counted as 24 hour periods from entry · case 01
Time-band rate with calendar day cap returns a wrong result when days are counted as 24 hour periods from entry.
Time-band rate with calendar day cap: days are counted as 24 hour periods from entry · case 02
Time-band rate with calendar day cap returns a wrong result when days are counted as 24 hour periods from entry.
Time-band rate with calendar day cap: days are counted as 24 hour periods from entry · case 03
Time-band rate with calendar day cap returns a wrong result when days are counted as 24 hour periods from entry.
Time-band rate with calendar day cap: days are counted as 24 hour periods from entry · case 04
Time-band rate with calendar day cap returns a wrong result when days are counted as 24 hour periods from entry.
Time-band rate with calendar day cap: days are counted as 24 hour periods from entry · case 05
Time-band rate with calendar day cap returns a wrong result when days are counted as 24 hour periods from entry.
Street meter time purchase: partial increments are credited · case 01
Street meter time purchase returns a wrong result when partial increments are credited.
Street meter time purchase: partial increments are credited · case 02
Street meter time purchase returns a wrong result when partial increments are credited.
Street meter time purchase: partial increments are credited · case 03
Street meter time purchase returns a wrong result when partial increments are credited.
Street meter time purchase: partial increments are credited · case 04
Street meter time purchase returns a wrong result when partial increments are credited.
Street meter time purchase: partial increments are credited · case 05
Street meter time purchase returns a wrong result when partial increments are credited.
Street meter time purchase: time bought before enforcement starts immediately · case 01
Street meter time purchase returns a wrong result when time bought before enforcement starts immediately.
Street meter time purchase: time bought before enforcement starts immediately · case 02
Street meter time purchase returns a wrong result when time bought before enforcement starts immediately.
Street meter time purchase: time bought before enforcement starts immediately · case 03
Street meter time purchase returns a wrong result when time bought before enforcement starts immediately.
Street meter time purchase: time bought before enforcement starts immediately · case 04
Street meter time purchase returns a wrong result when time bought before enforcement starts immediately.
Street meter time purchase: time bought before enforcement starts immediately · case 05
Street meter time purchase returns a wrong result when time bought before enforcement starts immediately.
Street meter time purchase: a new purchase ignores the remaining paid time · case 01
Street meter time purchase returns a wrong result when a new purchase ignores the remaining paid time.
Street meter time purchase: a new purchase ignores the remaining paid time · case 02
Street meter time purchase returns a wrong result when a new purchase ignores the remaining paid time.
Street meter time purchase: a new purchase ignores the remaining paid time · case 03
Street meter time purchase returns a wrong result when a new purchase ignores the remaining paid time.
Street meter time purchase: a new purchase ignores the remaining paid time · case 04
Street meter time purchase returns a wrong result when a new purchase ignores the remaining paid time.
Street meter time purchase: a new purchase ignores the remaining paid time · case 05
Street meter time purchase returns a wrong result when a new purchase ignores the remaining paid time.
Street meter time purchase: the time limit is measured from the extension start · case 01
Street meter time purchase returns a wrong result when the time limit is measured from the extension start.
Street meter time purchase: the time limit is measured from the extension start · case 02
Street meter time purchase returns a wrong result when the time limit is measured from the extension start.
Street meter time purchase: the time limit is measured from the extension start · case 03
Street meter time purchase returns a wrong result when the time limit is measured from the extension start.
Street meter time purchase: the time limit is measured from the extension start · case 04
Street meter time purchase returns a wrong result when the time limit is measured from the extension start.
Street meter time purchase: the time limit is measured from the extension start · case 05
Street meter time purchase returns a wrong result when the time limit is measured from the extension start.
Street meter time purchase: purchased time runs past enforcement end · case 01
Street meter time purchase returns a wrong result when purchased time runs past enforcement end.
Street meter time purchase: purchased time runs past enforcement end · case 02
Street meter time purchase returns a wrong result when purchased time runs past enforcement end.
Street meter time purchase: purchased time runs past enforcement end · case 03
Street meter time purchase returns a wrong result when purchased time runs past enforcement end.
Street meter time purchase: purchased time runs past enforcement end · case 04
Street meter time purchase returns a wrong result when purchased time runs past enforcement end.
Street meter time purchase: purchased time runs past enforcement end · case 05
Street meter time purchase returns a wrong result when purchased time runs past enforcement end.
Street meter time purchase: the accepted amount truncates partial minutes of charge · case 01
Street meter time purchase returns a wrong result when the accepted amount truncates partial minutes of charge.
Street meter time purchase: the accepted amount truncates partial minutes of charge · case 02
Street meter time purchase returns a wrong result when the accepted amount truncates partial minutes of charge.
Street meter time purchase: the accepted amount truncates partial minutes of charge · case 03
Street meter time purchase returns a wrong result when the accepted amount truncates partial minutes of charge.
Street meter time purchase: the accepted amount truncates partial minutes of charge · case 04
Street meter time purchase returns a wrong result when the accepted amount truncates partial minutes of charge.
Street meter time purchase: the accepted amount truncates partial minutes of charge · case 05
Street meter time purchase returns a wrong result when the accepted amount truncates partial minutes of charge.
Street meter time purchase: a purchase at exactly enforcement end is processed · case 01
Street meter time purchase returns a wrong result when a purchase at exactly enforcement end is processed.
Street meter time purchase: a purchase at exactly enforcement end is processed · case 02
Street meter time purchase returns a wrong result when a purchase at exactly enforcement end is processed.
Street meter time purchase: a purchase at exactly enforcement end is processed · case 03
Street meter time purchase returns a wrong result when a purchase at exactly enforcement end is processed.
Street meter time purchase: a purchase at exactly enforcement end is processed · case 04
Street meter time purchase returns a wrong result when a purchase at exactly enforcement end is processed.
Street meter time purchase: a purchase at exactly enforcement end is processed · case 05
Street meter time purchase returns a wrong result when a purchase at exactly enforcement end is processed.
Closed-system distance toll: the exit kilometre marker is charged instead of the distance · case 01
Closed-system distance toll returns a wrong result when the exit kilometre marker is charged instead of the distance.
Closed-system distance toll: the exit kilometre marker is charged instead of the distance · case 02
Closed-system distance toll returns a wrong result when the exit kilometre marker is charged instead of the distance.
Closed-system distance toll: the exit kilometre marker is charged instead of the distance · case 03
Closed-system distance toll returns a wrong result when the exit kilometre marker is charged instead of the distance.
Closed-system distance toll: the exit kilometre marker is charged instead of the distance · case 04
Closed-system distance toll returns a wrong result when the exit kilometre marker is charged instead of the distance.
Closed-system distance toll: the exit kilometre marker is charged instead of the distance · case 05
Closed-system distance toll returns a wrong result when the exit kilometre marker is charged instead of the distance.
Closed-system distance toll: a lost ticket is charged the whole road length · case 01
Closed-system distance toll returns a wrong result when a lost ticket is charged the whole road length.
Closed-system distance toll: a lost ticket is charged the whole road length · case 02
Closed-system distance toll returns a wrong result when a lost ticket is charged the whole road length.
Closed-system distance toll: a lost ticket is charged the whole road length · case 03
Closed-system distance toll returns a wrong result when a lost ticket is charged the whole road length.
Closed-system distance toll: a lost ticket is charged the whole road length · case 04
Closed-system distance toll returns a wrong result when a lost ticket is charged the whole road length.
Closed-system distance toll: a lost ticket is charged the whole road length · case 05
Closed-system distance toll returns a wrong result when a lost ticket is charged the whole road length.
Closed-system distance toll: the class percentage is truncated to a whole factor · case 01
Closed-system distance toll returns a wrong result when the class percentage is truncated to a whole factor.
Closed-system distance toll: the class percentage is truncated to a whole factor · case 02
Closed-system distance toll returns a wrong result when the class percentage is truncated to a whole factor.
Closed-system distance toll: the class percentage is truncated to a whole factor · case 03
Closed-system distance toll returns a wrong result when the class percentage is truncated to a whole factor.
Closed-system distance toll: the class percentage is truncated to a whole factor · case 04
Closed-system distance toll returns a wrong result when the class percentage is truncated to a whole factor.
Closed-system distance toll: the class percentage is truncated to a whole factor · case 05
Closed-system distance toll returns a wrong result when the class percentage is truncated to a whole factor.
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 ↗