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
Unpaid toll violation escalation: the first fee applies on day 30 · case 01
Unpaid toll violation escalation returns a wrong result when the first fee applies on day 30.
Unpaid toll violation escalation: the first fee applies on day 30 · case 02
Unpaid toll violation escalation returns a wrong result when the first fee applies on day 30.
Unpaid toll violation escalation: the first fee applies on day 30 · case 03
Unpaid toll violation escalation returns a wrong result when the first fee applies on day 30.
Unpaid toll violation escalation: the first fee applies on day 30 · case 04
Unpaid toll violation escalation returns a wrong result when the first fee applies on day 30.
Unpaid toll violation escalation: the first fee applies on day 30 · case 05
Unpaid toll violation escalation returns a wrong result when the first fee applies on day 30.
Unpaid toll violation escalation: the first-offender waiver applies at any age · case 01
Unpaid toll violation escalation returns a wrong result when the first-offender waiver applies at any age.
Unpaid toll violation escalation: the first-offender waiver applies at any age · case 02
Unpaid toll violation escalation returns a wrong result when the first-offender waiver applies at any age.
Unpaid toll violation escalation: the first-offender waiver applies at any age · case 03
Unpaid toll violation escalation returns a wrong result when the first-offender waiver applies at any age.
Unpaid toll violation escalation: the first-offender waiver applies at any age · case 04
Unpaid toll violation escalation returns a wrong result when the first-offender waiver applies at any age.
Unpaid toll violation escalation: the first-offender waiver applies at any age · case 05
Unpaid toll violation escalation returns a wrong result when the first-offender waiver applies at any age.
Unpaid toll violation escalation: the waiver is granted to unpaid notices · case 01
Unpaid toll violation escalation returns a wrong result when the waiver is granted to unpaid notices.
Unpaid toll violation escalation: the waiver is granted to unpaid notices · case 02
Unpaid toll violation escalation returns a wrong result when the waiver is granted to unpaid notices.
Unpaid toll violation escalation: the waiver is granted to unpaid notices · case 03
Unpaid toll violation escalation returns a wrong result when the waiver is granted to unpaid notices.
Unpaid toll violation escalation: the waiver is granted to unpaid notices · case 04
Unpaid toll violation escalation returns a wrong result when the waiver is granted to unpaid notices.
Unpaid toll violation escalation: the waiver is granted to unpaid notices · case 05
Unpaid toll violation escalation returns a wrong result when the waiver is granted to unpaid notices.
Unpaid toll violation escalation: the cap includes the toll itself · case 01
Unpaid toll violation escalation returns a wrong result when the cap includes the toll itself.
Unpaid toll violation escalation: the cap includes the toll itself · case 02
Unpaid toll violation escalation returns a wrong result when the cap includes the toll itself.
Unpaid toll violation escalation: the cap includes the toll itself · case 03
Unpaid toll violation escalation returns a wrong result when the cap includes the toll itself.
Unpaid toll violation escalation: the cap includes the toll itself · case 04
Unpaid toll violation escalation returns a wrong result when the cap includes the toll itself.
Unpaid toll violation escalation: the cap includes the toll itself · case 05
Unpaid toll violation escalation returns a wrong result when the cap includes the toll itself.
Parking tax and fee composition: tax is computed on the undiscounted price · case 01
Parking tax and fee composition returns a wrong result when tax is computed on the undiscounted price.
Parking tax and fee composition: tax is computed on the undiscounted price · case 02
Parking tax and fee composition returns a wrong result when tax is computed on the undiscounted price.
Parking tax and fee composition: tax is computed on the undiscounted price · case 03
Parking tax and fee composition returns a wrong result when tax is computed on the undiscounted price.
Parking tax and fee composition: tax is computed on the undiscounted price · case 04
Parking tax and fee composition returns a wrong result when tax is computed on the undiscounted price.
Parking tax and fee composition: tax is computed on the undiscounted price · case 05
Parking tax and fee composition returns a wrong result when tax is computed on the undiscounted price.
Parking tax and fee composition: parking tax is truncated · case 01
Parking tax and fee composition returns a wrong result when parking tax is truncated.
Parking tax and fee composition: parking tax is truncated · case 02
Parking tax and fee composition returns a wrong result when parking tax is truncated.
Parking tax and fee composition: parking tax is truncated · case 03
Parking tax and fee composition returns a wrong result when parking tax is truncated.
Parking tax and fee composition: parking tax is truncated · case 04
Parking tax and fee composition returns a wrong result when parking tax is truncated.
Parking tax and fee composition: parking tax is truncated · case 05
Parking tax and fee composition returns a wrong result when parking tax is truncated.
Parking tax and fee composition: the app fee is left untaxed · case 01
Parking tax and fee composition returns a wrong result when the app fee is left untaxed.
Parking tax and fee composition: the app fee is left untaxed · case 02
Parking tax and fee composition returns a wrong result when the app fee is left untaxed.
Parking tax and fee composition: the app fee is left untaxed · case 03
Parking tax and fee composition returns a wrong result when the app fee is left untaxed.
Parking tax and fee composition: the app fee is left untaxed · case 04
Parking tax and fee composition returns a wrong result when the app fee is left untaxed.
Parking tax and fee composition: the app fee is left untaxed · case 05
Parking tax and fee composition returns a wrong result when the app fee is left untaxed.
Parking tax and fee composition: the resident percentage is kept instead of removed · case 01
Parking tax and fee composition returns a wrong result when the resident percentage is kept instead of removed.
Parking tax and fee composition: the resident percentage is kept instead of removed · case 02
Parking tax and fee composition returns a wrong result when the resident percentage is kept instead of removed.
Parking tax and fee composition: the resident percentage is kept instead of removed · case 03
Parking tax and fee composition returns a wrong result when the resident percentage is kept instead of removed.
Parking tax and fee composition: the resident percentage is kept instead of removed · case 04
Parking tax and fee composition returns a wrong result when the resident percentage is kept instead of removed.
Parking tax and fee composition: the resident percentage is kept instead of removed · case 05
Parking tax and fee composition returns a wrong result when the resident percentage is kept instead of removed.
Rule of twelfths: Per-hour twelfths are used as cumulative fractions · case 01
Mid-flood heights stay far too low and the tide never reaches high water.
Rule of twelfths: Per-hour twelfths are used as cumulative fractions · case 02
Mid-flood heights stay far too low and the tide never reaches high water.
Rule of twelfths: Per-hour twelfths are used as cumulative fractions · case 03
Mid-flood heights stay far too low and the tide never reaches high water.
Rule of twelfths: Per-hour twelfths are used as cumulative fractions · case 04
Mid-flood heights stay far too low and the tide never reaches high water.
Rule of twelfths: Per-hour twelfths are used as cumulative fractions · case 05
Mid-flood heights stay far too low and the tide never reaches high water.
Rule of twelfths: Tide hour index rounds to the nearest hour · case 01
Heights between whole tide hours jump by a whole twelfth-step early.
Rule of twelfths: Tide hour index rounds to the nearest hour · case 02
Heights between whole tide hours jump by a whole twelfth-step early.
Rule of twelfths: Tide hour index rounds to the nearest hour · case 03
Heights between whole tide hours jump by a whole twelfth-step early.
Rule of twelfths: Tide hour index rounds to the nearest hour · case 04
Heights between whole tide hours jump by a whole twelfth-step early.
Rule of twelfths: Tide hour index rounds to the nearest hour · case 05
Heights between whole tide hours jump by a whole twelfth-step early.
Rule of twelfths: Falling tide applies the range as a rise · case 01
Ebb predictions climb above the preceding high water.
Rule of twelfths: Falling tide applies the range as a rise · case 02
Ebb predictions climb above the preceding high water.
Rule of twelfths: Falling tide applies the range as a rise · case 03
Ebb predictions climb above the preceding high water.
Rule of twelfths: Falling tide applies the range as a rise · case 04
Ebb predictions climb above the preceding high water.
Rule of twelfths: Falling tide applies the range as a rise · case 05
Ebb predictions climb above the preceding high water.
Rule of twelfths: Times after the second turning point are extrapolated · case 01
Queries past high water return heights above the high water itself.
Rule of twelfths: Times after the second turning point are extrapolated · case 02
Queries past high water return heights above the high water itself.
Rule of twelfths: Times after the second turning point are extrapolated · case 03
Queries past high water return heights above the high water itself.
Rule of twelfths: Times after the second turning point are extrapolated · case 04
Queries past high water return heights above the high water itself.
Rule of twelfths: Times after the second turning point are extrapolated · case 05
Queries past high water return heights above the high water itself.
Rule of twelfths: Clock hours are used instead of tide hours · case 01
Predictions are only right when the rise lasts exactly six hours.
Rule of twelfths: Clock hours are used instead of tide hours · case 02
Predictions are only right when the rise lasts exactly six hours.
Rule of twelfths: Clock hours are used instead of tide hours · case 03
Predictions are only right when the rise lasts exactly six hours.
Rule of twelfths: Clock hours are used instead of tide hours · case 04
Predictions are only right when the rise lasts exactly six hours.
Rule of twelfths: Clock hours are used instead of tide hours · case 05
Predictions are only right when the rise lasts exactly six hours.
Harmonic tide prediction: Greenwich phase lag is added to the argument · case 01
Predicted high waters arrive early by twice the phase lag.
Harmonic tide prediction: Greenwich phase lag is added to the argument · case 02
Predicted high waters arrive early by twice the phase lag.
Harmonic tide prediction: Greenwich phase lag is added to the argument · case 03
Predicted high waters arrive early by twice the phase lag.
Harmonic tide prediction: Greenwich phase lag is added to the argument · case 04
Predicted high waters arrive early by twice the phase lag.
Harmonic tide prediction: Greenwich phase lag is added to the argument · case 05
Predicted high waters arrive early by twice the phase lag.
Harmonic tide prediction: Nodal factor is omitted from the amplitude · case 01
Predicted ranges are too small in years of strong lunar declination.
Harmonic tide prediction: Nodal factor is omitted from the amplitude · case 02
Predicted ranges are too small in years of strong lunar declination.
Harmonic tide prediction: Nodal factor is omitted from the amplitude · case 03
Predicted ranges are too small in years of strong lunar declination.
Harmonic tide prediction: Nodal factor is omitted from the amplitude · case 04
Predicted ranges are too small in years of strong lunar declination.
Harmonic tide prediction: Nodal factor is omitted from the amplitude · case 05
Predicted ranges are too small in years of strong lunar declination.
Harmonic tide prediction: Degree argument is passed to cosine as radians · case 01
Predictions oscillate erratically with no semidiurnal pattern.
Harmonic tide prediction: Degree argument is passed to cosine as radians · case 02
Predictions oscillate erratically with no semidiurnal pattern.
Harmonic tide prediction: Degree argument is passed to cosine as radians · case 03
Predictions oscillate erratically with no semidiurnal pattern.
Harmonic tide prediction: Degree argument is passed to cosine as radians · case 04
Predictions oscillate erratically with no semidiurnal pattern.
Harmonic tide prediction: Degree argument is passed to cosine as radians · case 05
Predictions oscillate erratically with no semidiurnal pattern.
Harmonic tide prediction: Minute timestamps are multiplied by an hourly speed · case 01
Only the epoch prediction is right; later times drift wildly.
Harmonic tide prediction: Minute timestamps are multiplied by an hourly speed · case 02
Only the epoch prediction is right; later times drift wildly.
Harmonic tide prediction: Minute timestamps are multiplied by an hourly speed · case 03
Only the epoch prediction is right; later times drift wildly.
Harmonic tide prediction: Minute timestamps are multiplied by an hourly speed · case 04
Only the epoch prediction is right; later times drift wildly.
Harmonic tide prediction: Minute timestamps are multiplied by an hourly speed · case 05
Only the epoch prediction is right; later times drift wildly.
Harmonic tide prediction: Prediction is referenced to mean sea level instead of chart datum · case 01
All heights are low by the datum offset and many are negative.
Harmonic tide prediction: Prediction is referenced to mean sea level instead of chart datum · case 02
All heights are low by the datum offset and many are negative.
Harmonic tide prediction: Prediction is referenced to mean sea level instead of chart datum · case 03
All heights are low by the datum offset and many are negative.
Harmonic tide prediction: Prediction is referenced to mean sea level instead of chart datum · case 04
All heights are low by the datum offset and many are negative.
Harmonic tide prediction: Prediction is referenced to mean sea level instead of chart datum · case 05
All heights are low by the datum offset and many are negative.
Cosine curve time for height: Inverse cosine uses the rising-branch complement · case 01
Heights near low water are reached at the wrong end of the half-cycle.
Cosine curve time for height: Inverse cosine uses the rising-branch complement · case 02
Heights near low water are reached at the wrong end of the half-cycle.
Cosine curve time for height: Inverse cosine uses the rising-branch complement · case 03
Heights near low water are reached at the wrong end of the half-cycle.
Cosine curve time for height: Inverse cosine uses the rising-branch complement · case 04
Heights near low water are reached at the wrong end of the half-cycle.
Cosine curve time for height: Inverse cosine uses the rising-branch complement · case 05
Heights near low water are reached at the wrong end of the half-cycle.
Cosine curve time for height: Falling-tide fraction uses the absolute range · case 01
On the ebb the target height is reached at a mirrored time.
Cosine curve time for height: Falling-tide fraction uses the absolute range · case 02
On the ebb the target height is reached at a mirrored time.
Cosine curve time for height: Falling-tide fraction uses the absolute range · case 03
On the ebb the target height is reached at a mirrored time.
Cosine curve time for height: Falling-tide fraction uses the absolute range · case 04
On the ebb the target height is reached at a mirrored time.
Cosine curve time for height: Falling-tide fraction uses the absolute range · case 05
On the ebb the target height is reached at a mirrored time.
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 ↗