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
Cosine curve time for height: Heights equal to a turning point are rejected · case 01
Asking when high water height is reached returns None.
Cosine curve time for height: Heights equal to a turning point are rejected · case 02
Asking when high water height is reached returns None.
Cosine curve time for height: Heights equal to a turning point are rejected · case 03
Asking when high water height is reached returns None.
Cosine curve time for height: Heights equal to a turning point are rejected · case 04
Asking when high water height is reached returns None.
Cosine curve time for height: Heights equal to a turning point are rejected · case 05
Asking when high water height is reached returns None.
Cosine curve time for height: Hours are rounded before conversion to minutes · case 01
Times are always reported on the whole hour.
Cosine curve time for height: Hours are rounded before conversion to minutes · case 02
Times are always reported on the whole hour.
Cosine curve time for height: Hours are rounded before conversion to minutes · case 03
Times are always reported on the whole hour.
Cosine curve time for height: Hours are rounded before conversion to minutes · case 04
Times are always reported on the whole hour.
Cosine curve time for height: Hours are rounded before conversion to minutes · case 05
Times are always reported on the whole hour.
Cosine curve time for height: Duration of rise is doubled as a full tidal cycle · case 01
Computed times fall far beyond the second turning point.
Cosine curve time for height: Duration of rise is doubled as a full tidal cycle · case 02
Computed times fall far beyond the second turning point.
Cosine curve time for height: Duration of rise is doubled as a full tidal cycle · case 03
Computed times fall far beyond the second turning point.
Cosine curve time for height: Duration of rise is doubled as a full tidal cycle · case 04
Computed times fall far beyond the second turning point.
Cosine curve time for height: Duration of rise is doubled as a full tidal cycle · case 05
Computed times fall far beyond the second turning point.
Secondary port differences: Spring-neap factor is measured from the spring range · case 01
Near-neap days get spring corrections and vice versa.
Secondary port differences: Spring-neap factor is measured from the spring range · case 02
Near-neap days get spring corrections and vice versa.
Secondary port differences: Spring-neap factor is measured from the spring range · case 03
Near-neap days get spring corrections and vice versa.
Secondary port differences: Spring-neap factor is measured from the spring range · case 04
Near-neap days get spring corrections and vice versa.
Secondary port differences: Spring-neap factor is measured from the spring range · case 05
Near-neap days get spring corrections and vice versa.
Secondary port differences: Differences are extrapolated beyond spring and neap · case 01
Exceptional ranges produce time differences outside the published pair.
Secondary port differences: Differences are extrapolated beyond spring and neap · case 02
Exceptional ranges produce time differences outside the published pair.
Secondary port differences: Differences are extrapolated beyond spring and neap · case 03
Exceptional ranges produce time differences outside the published pair.
Secondary port differences: Differences are extrapolated beyond spring and neap · case 04
Exceptional ranges produce time differences outside the published pair.
Secondary port differences: Differences are extrapolated beyond spring and neap · case 05
Exceptional ranges produce time differences outside the published pair.
Secondary port differences: Negative corrected times are not wrapped into the day · case 01
A correction just after midnight yields a negative time of day.
Secondary port differences: Negative corrected times are not wrapped into the day · case 02
A correction just after midnight yields a negative time of day.
Secondary port differences: Negative corrected times are not wrapped into the day · case 03
A correction just after midnight yields a negative time of day.
Secondary port differences: Negative corrected times are not wrapped into the day · case 04
A correction just after midnight yields a negative time of day.
Secondary port differences: Negative corrected times are not wrapped into the day · case 05
A correction just after midnight yields a negative time of day.
Secondary port differences: Time difference is rounded before being applied · case 01
Corrected times are a minute off when the interpolated difference has a half minute.
Secondary port differences: Time difference is rounded before being applied · case 02
Corrected times are a minute off when the interpolated difference has a half minute.
Secondary port differences: Time difference is rounded before being applied · case 03
Corrected times are a minute off when the interpolated difference has a half minute.
Secondary port differences: Time difference is rounded before being applied · case 04
Corrected times are a minute off when the interpolated difference has a half minute.
Secondary port differences: Time difference is rounded before being applied · case 05
Corrected times are a minute off when the interpolated difference has a half minute.
Secondary port differences: Height difference interpolates from the spring value · case 01
Heights are corrected with the neap difference on spring days.
Secondary port differences: Height difference interpolates from the spring value · case 02
Heights are corrected with the neap difference on spring days.
Secondary port differences: Height difference interpolates from the spring value · case 03
Heights are corrected with the neap difference on spring days.
Secondary port differences: Height difference interpolates from the spring value · case 04
Heights are corrected with the neap difference on spring days.
Secondary port differences: Height difference interpolates from the spring value · case 05
Heights are corrected with the neap difference on spring days.
Under-keel clearance with squat: Confined-channel squat uses the open-water value · case 01
Clearance in narrow channels is overstated.
Under-keel clearance with squat: Confined-channel squat uses the open-water value · case 02
Clearance in narrow channels is overstated.
Under-keel clearance with squat: Confined-channel squat uses the open-water value · case 03
Clearance in narrow channels is overstated.
Under-keel clearance with squat: Confined-channel squat uses the open-water value · case 04
Clearance in narrow channels is overstated.
Under-keel clearance with squat: Confined-channel squat uses the open-water value · case 05
Clearance in narrow channels is overstated.
Under-keel clearance with squat: Drying heights are added as depth · case 01
Vessels are cleared over banks that dry at low water.
Under-keel clearance with squat: Drying heights are added as depth · case 02
Vessels are cleared over banks that dry at low water.
Under-keel clearance with squat: Drying heights are added as depth · case 03
Vessels are cleared over banks that dry at low water.
Under-keel clearance with squat: Drying heights are added as depth · case 04
Vessels are cleared over banks that dry at low water.
Under-keel clearance with squat: Drying heights are added as depth · case 05
Vessels are cleared over banks that dry at low water.
Under-keel clearance with squat: Squat grows linearly with speed · case 01
Fast transits get far too little squat allowance.
Under-keel clearance with squat: Squat grows linearly with speed · case 02
Fast transits get far too little squat allowance.
Under-keel clearance with squat: Squat grows linearly with speed · case 03
Fast transits get far too little squat allowance.
Under-keel clearance with squat: Squat grows linearly with speed · case 04
Fast transits get far too little squat allowance.
Under-keel clearance with squat: Squat grows linearly with speed · case 05
Fast transits get far too little squat allowance.
Under-keel clearance with squat: Safety margin is taken from the water depth · case 01
Deep berths demand an excessive clearance and refuse safe ships.
Under-keel clearance with squat: Safety margin is taken from the water depth · case 02
Deep berths demand an excessive clearance and refuse safe ships.
Under-keel clearance with squat: Safety margin is taken from the water depth · case 03
Deep berths demand an excessive clearance and refuse safe ships.
Under-keel clearance with squat: Safety margin is taken from the water depth · case 04
Deep berths demand an excessive clearance and refuse safe ships.
Under-keel clearance with squat: Safety margin is taken from the water depth · case 05
Deep berths demand an excessive clearance and refuse safe ships.
Under-keel clearance with squat: Exact required clearance is rejected · case 01
A transit meeting the requirement exactly is refused.
Under-keel clearance with squat: Exact required clearance is rejected · case 02
A transit meeting the requirement exactly is refused.
Under-keel clearance with squat: Exact required clearance is rejected · case 03
A transit meeting the requirement exactly is refused.
Under-keel clearance with squat: Exact required clearance is rejected · case 04
A transit meeting the requirement exactly is refused.
Under-keel clearance with squat: Exact required clearance is rejected · case 05
A transit meeting the requirement exactly is refused.
Bridge air draft clearance: Rising tide increases the bridge clearance · case 01
Clearance appears to grow as the tide rises, approving transits at high water.
Bridge air draft clearance: Rising tide increases the bridge clearance · case 02
Clearance appears to grow as the tide rises, approving transits at high water.
Bridge air draft clearance: Rising tide increases the bridge clearance · case 03
Clearance appears to grow as the tide rises, approving transits at high water.
Bridge air draft clearance: Rising tide increases the bridge clearance · case 04
Clearance appears to grow as the tide rises, approving transits at high water.
Bridge air draft clearance: Rising tide increases the bridge clearance · case 05
Clearance appears to grow as the tide rises, approving transits at high water.
Bridge air draft clearance: Bridge clearance is treated as referenced to chart datum · case 01
Available clearance is short by the MHWS height at every tide.
Bridge air draft clearance: Bridge clearance is treated as referenced to chart datum · case 02
Available clearance is short by the MHWS height at every tide.
Bridge air draft clearance: Bridge clearance is treated as referenced to chart datum · case 03
Available clearance is short by the MHWS height at every tide.
Bridge air draft clearance: Bridge clearance is treated as referenced to chart datum · case 04
Available clearance is short by the MHWS height at every tide.
Bridge air draft clearance: Bridge clearance is treated as referenced to chart datum · case 05
Available clearance is short by the MHWS height at every tide.
Bridge air draft clearance: Tides above MHWS are clipped to zero reduction · case 01
During a surge the bridge is reported with its full charted clearance.
Bridge air draft clearance: Tides above MHWS are clipped to zero reduction · case 02
During a surge the bridge is reported with its full charted clearance.
Bridge air draft clearance: Tides above MHWS are clipped to zero reduction · case 03
During a surge the bridge is reported with its full charted clearance.
Bridge air draft clearance: Tides above MHWS are clipped to zero reduction · case 04
During a surge the bridge is reported with its full charted clearance.
Bridge air draft clearance: Tides above MHWS are clipped to zero reduction · case 05
During a surge the bridge is reported with its full charted clearance.
Bridge air draft clearance: Transit margin is computed from the charted clearance · case 01
The displayed clearance is tide-corrected but the go decision is not.
Bridge air draft clearance: Transit margin is computed from the charted clearance · case 02
The displayed clearance is tide-corrected but the go decision is not.
Bridge air draft clearance: Transit margin is computed from the charted clearance · case 03
The displayed clearance is tide-corrected but the go decision is not.
Bridge air draft clearance: Transit margin is computed from the charted clearance · case 04
The displayed clearance is tide-corrected but the go decision is not.
Bridge air draft clearance: Transit margin is computed from the charted clearance · case 05
The displayed clearance is tide-corrected but the go decision is not.
Bridge air draft clearance: Go decision is made on a rounded margin · case 01
A margin a few centimetres short of the allowance is approved.
Bridge air draft clearance: Go decision is made on a rounded margin · case 02
A margin a few centimetres short of the allowance is approved.
Bridge air draft clearance: Go decision is made on a rounded margin · case 03
A margin a few centimetres short of the allowance is approved.
Bridge air draft clearance: Go decision is made on a rounded margin · case 04
A margin a few centimetres short of the allowance is approved.
Bridge air draft clearance: Go decision is made on a rounded margin · case 05
A margin a few centimetres short of the allowance is approved.
Tidal stream diamond table: Half-hour offsets use bankers rounding · case 01
At exactly half past an hour the stream is read from alternating rows.
Tidal stream diamond table: Half-hour offsets use bankers rounding · case 02
At exactly half past an hour the stream is read from alternating rows.
Tidal stream diamond table: Half-hour offsets use bankers rounding · case 03
At exactly half past an hour the stream is read from alternating rows.
Tidal stream diamond table: Half-hour offsets use bankers rounding · case 04
At exactly half past an hour the stream is read from alternating rows.
Tidal stream diamond table: Half-hour offsets use bankers rounding · case 05
At exactly half past an hour the stream is read from alternating rows.
Tidal stream diamond table: Hours before HW index the table from its end · case 01
Before high water the ebb rows are returned for the flood.
Tidal stream diamond table: Hours before HW index the table from its end · case 02
Before high water the ebb rows are returned for the flood.
Tidal stream diamond table: Hours before HW index the table from its end · case 03
Before high water the ebb rows are returned for the flood.
Tidal stream diamond table: Hours before HW index the table from its end · case 04
Before high water the ebb rows are returned for the flood.
Tidal stream diamond table: Hours before HW index the table from its end · case 05
Before high water the ebb rows are returned for the flood.
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 ↗