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
Change exactly at the LMC tolerance forces a new loadsheet · case 01
Two changes totalling exactly the tolerance are rejected.
Change exactly at the LMC tolerance forces a new loadsheet · case 02
Two changes totalling exactly the tolerance are rejected.
Change exactly at the LMC tolerance forces a new loadsheet · case 03
Two changes totalling exactly the tolerance are rejected.
Change exactly at the LMC tolerance forces a new loadsheet · case 04
Two changes totalling exactly the tolerance are rejected.
Change exactly at the LMC tolerance forces a new loadsheet · case 05
Two changes totalling exactly the tolerance are rejected.
MTOW compared against the pre-change weight · case 01
A late passenger that takes the aircraft over MTOW is accepted as an LMC.
MTOW compared against the pre-change weight · case 02
A late passenger that takes the aircraft over MTOW is accepted as an LMC.
MTOW compared against the pre-change weight · case 03
A late passenger that takes the aircraft over MTOW is accepted as an LMC.
MTOW compared against the pre-change weight · case 04
A late passenger that takes the aircraft over MTOW is accepted as an LMC.
MTOW compared against the pre-change weight · case 05
A late passenger that takes the aircraft over MTOW is accepted as an LMC.
Index limits checked on the pre-change index · case 01
A late aft-hold bag that pushes the index past the aft limit is accepted.
Index limits checked on the pre-change index · case 02
A late aft-hold bag that pushes the index past the aft limit is accepted.
Index limits checked on the pre-change index · case 03
A late aft-hold bag that pushes the index past the aft limit is accepted.
Index limits checked on the pre-change index · case 04
A late aft-hold bag that pushes the index past the aft limit is accepted.
Index limits checked on the pre-change index · case 05
A late aft-hold bag that pushes the index past the aft limit is accepted.
Nose reaction computed with the main-gear lever · case 01
Aft-loaded aircraft show heavy nose-wheel loads and forward-loaded aircraft show light ones.
Nose reaction computed with the main-gear lever · case 02
Aft-loaded aircraft show heavy nose-wheel loads and forward-loaded aircraft show light ones.
Nose reaction computed with the main-gear lever · case 03
Aft-loaded aircraft show heavy nose-wheel loads and forward-loaded aircraft show light ones.
Nose reaction computed with the main-gear lever · case 04
Aft-loaded aircraft show heavy nose-wheel loads and forward-loaded aircraft show light ones.
Nose reaction computed with the main-gear lever · case 05
Aft-loaded aircraft show heavy nose-wheel loads and forward-loaded aircraft show light ones.
CG exactly over the main gear reported as light nose · case 01
An aircraft balanced exactly on the mains is reported LIGHT_NOSE with zero nose load instead of TIP.
CG exactly over the main gear reported as light nose · case 02
An aircraft balanced exactly on the mains is reported LIGHT_NOSE with zero nose load instead of TIP.
CG exactly over the main gear reported as light nose · case 03
An aircraft balanced exactly on the mains is reported LIGHT_NOSE with zero nose load instead of TIP.
CG exactly over the main gear reported as light nose · case 04
An aircraft balanced exactly on the mains is reported LIGHT_NOSE with zero nose load instead of TIP.
CG exactly over the main gear reported as light nose · case 05
An aircraft balanced exactly on the mains is reported LIGHT_NOSE with zero nose load instead of TIP.
Nose-load threshold taken as a fraction of main gear load · case 01
Aircraft with a nose load slightly under 5% of gross weight are reported OK.
Nose-load threshold taken as a fraction of main gear load · case 02
Aircraft with a nose load slightly under 5% of gross weight are reported OK.
Nose-load threshold taken as a fraction of main gear load · case 03
Aircraft with a nose load slightly under 5% of gross weight are reported OK.
Nose-load threshold taken as a fraction of main gear load · case 04
Aircraft with a nose load slightly under 5% of gross weight are reported OK.
Nose-load threshold taken as a fraction of main gear load · case 05
Aircraft with a nose load slightly under 5% of gross weight are reported OK.
Main gear reaction reported as the full aircraft weight · case 01
Nose and main reactions add up to more than the aircraft weight.
Main gear reaction reported as the full aircraft weight · case 02
Nose and main reactions add up to more than the aircraft weight.
Main gear reaction reported as the full aircraft weight · case 03
Nose and main reactions add up to more than the aircraft weight.
Main gear reaction reported as the full aircraft weight · case 04
Nose and main reactions add up to more than the aircraft weight.
Main gear reaction reported as the full aircraft weight · case 05
Nose and main reactions add up to more than the aircraft weight.
Ground CG taken as the plain average of item arms · case 01
A light item far aft moves the computed CG as much as the airframe itself.
Ground CG taken as the plain average of item arms · case 02
A light item far aft moves the computed CG as much as the airframe itself.
Ground CG taken as the plain average of item arms · case 03
A light item far aft moves the computed CG as much as the airframe itself.
Ground CG taken as the plain average of item arms · case 04
A light item far aft moves the computed CG as much as the airframe itself.
Ground CG taken as the plain average of item arms · case 05
A light item far aft moves the computed CG as much as the airframe itself.
Tare removed from weight but not from moment · case 01
Basic empty weight matches the scale sheet but the empty-weight arm is shifted toward the heavily chocked wheel.
Tare removed from weight but not from moment · case 02
Basic empty weight matches the scale sheet but the empty-weight arm is shifted toward the heavily chocked wheel.
Tare removed from weight but not from moment · case 03
Basic empty weight matches the scale sheet but the empty-weight arm is shifted toward the heavily chocked wheel.
Tare removed from weight but not from moment · case 04
Basic empty weight matches the scale sheet but the empty-weight arm is shifted toward the heavily chocked wheel.
Tare removed from weight but not from moment · case 05
Basic empty weight matches the scale sheet but the empty-weight arm is shifted toward the heavily chocked wheel.
Oil added when it was already in the engine · case 01
Weighings done with full oil show the oil counted twice, and drained weighings show none.
Oil added when it was already in the engine · case 02
Weighings done with full oil show the oil counted twice, and drained weighings show none.
Oil added when it was already in the engine · case 03
Weighings done with full oil show the oil counted twice, and drained weighings show none.
Oil added when it was already in the engine · case 04
Weighings done with full oil show the oil counted twice, and drained weighings show none.
Oil added when it was already in the engine · case 05
Weighings done with full oil show the oil counted twice, and drained weighings show none.
Oil quarts converted with the per-gallon weight · case 01
The drained-oil correction is four times too heavy.
Oil quarts converted with the per-gallon weight · case 02
The drained-oil correction is four times too heavy.
Oil quarts converted with the per-gallon weight · case 03
The drained-oil correction is four times too heavy.
Oil quarts converted with the per-gallon weight · case 04
The drained-oil correction is four times too heavy.
Oil quarts converted with the per-gallon weight · case 05
The drained-oil correction is four times too heavy.
Unusable fuel subtracted from a defueled weighing · case 01
Basic empty weight is lighter than the scale readings even though fuel was drained.
Unusable fuel subtracted from a defueled weighing · case 02
Basic empty weight is lighter than the scale readings even though fuel was drained.
Unusable fuel subtracted from a defueled weighing · case 03
Basic empty weight is lighter than the scale readings even though fuel was drained.
Unusable fuel subtracted from a defueled weighing · case 04
Basic empty weight is lighter than the scale readings even though fuel was drained.
Unusable fuel subtracted from a defueled weighing · case 05
Basic empty weight is lighter than the scale readings even though fuel was drained.
Altimeter setting correction applied with the wrong sign · case 01
Low-pressure days compute a lower pressure altitude and more allowable weight.
Altimeter setting correction applied with the wrong sign · case 02
Low-pressure days compute a lower pressure altitude and more allowable weight.
Altimeter setting correction applied with the wrong sign · case 03
Low-pressure days compute a lower pressure altitude and more allowable weight.
Altimeter setting correction applied with the wrong sign · case 04
Low-pressure days compute a lower pressure altitude and more allowable weight.
Altimeter setting correction applied with the wrong sign · case 05
Low-pressure days compute a lower pressure altitude and more allowable weight.
ISA temperature computed at field elevation · case 01
Density altitude is off whenever the altimeter differs from standard.
ISA temperature computed at field elevation · case 02
Density altitude is off whenever the altimeter differs from standard.
ISA temperature computed at field elevation · case 03
Density altitude is off whenever the altimeter differs from standard.
ISA temperature computed at field elevation · case 04
Density altitude is off whenever the altimeter differs from standard.
ISA temperature computed at field elevation · case 05
Density altitude is off whenever the altimeter differs from standard.
Derate applied to the whole density altitude once above threshold · case 01
Crossing 3000 ft DA suddenly removes 60 lb of allowable weight.
Derate applied to the whole density altitude once above threshold · case 02
Crossing 3000 ft DA suddenly removes 60 lb of allowable weight.
Derate applied to the whole density altitude once above threshold · case 03
Crossing 3000 ft DA suddenly removes 60 lb of allowable weight.
Derate applied to the whole density altitude once above threshold · case 04
Crossing 3000 ft DA suddenly removes 60 lb of allowable weight.
Derate applied to the whole density altitude once above threshold · case 05
Crossing 3000 ft DA suddenly removes 60 lb of allowable weight.
Allowed weight rounded up to the next 10 lb · case 01
The published allowable weight is a few pounds above the computed derated limit.
Allowed weight rounded up to the next 10 lb · case 02
The published allowable weight is a few pounds above the computed derated limit.
Allowed weight rounded up to the next 10 lb · case 03
The published allowable weight is a few pounds above the computed derated limit.
Allowed weight rounded up to the next 10 lb · case 04
The published allowable weight is a few pounds above the computed derated limit.
Allowed weight rounded up to the next 10 lb · case 05
The published allowable weight is a few pounds above the computed derated limit.
Derate applied only per completed thousand feet · case 01
A density altitude of 4990 ft gets the same reduction as 4000 ft.
Derate applied only per completed thousand feet · case 02
A density altitude of 4990 ft gets the same reduction as 4000 ft.
Derate applied only per completed thousand feet · case 03
A density altitude of 4990 ft gets the same reduction as 4000 ft.
Derate applied only per completed thousand feet · case 04
A density altitude of 4990 ft gets the same reduction as 4000 ft.
Derate applied only per completed thousand feet · case 05
A density altitude of 4990 ft gets the same reduction as 4000 ft.
Combined position limit compared with the heaviest member · case 01
Two side-by-side containers each under their own limit but over the pair limit are accepted.
Combined position limit compared with the heaviest member · case 02
Two side-by-side containers each under their own limit but over the pair limit are accepted.
Combined position limit compared with the heaviest member · case 03
Two side-by-side containers each under their own limit but over the pair limit are accepted.
Combined position limit compared with the heaviest member · case 04
Two side-by-side containers each under their own limit but over the pair limit are accepted.
Combined position limit compared with the heaviest member · case 05
Two side-by-side containers each under their own limit but over the pair limit are accepted.
Combined exceedance reported against each member separately · case 01
A pair overload appears as two separate findings that look like individual position overloads.
Combined exceedance reported against each member separately · case 02
A pair overload appears as two separate findings that look like individual position overloads.
Combined exceedance reported against each member separately · case 03
A pair overload appears as two separate findings that look like individual position overloads.
Combined exceedance reported against each member separately · case 04
A pair overload appears as two separate findings that look like individual position overloads.
Combined exceedance reported against each member separately · case 05
A pair overload appears as two separate findings that look like individual position overloads.
Position loaded exactly to its limit flagged · case 01
A container at exactly its position maximum is reported as an overload.
Position loaded exactly to its limit flagged · case 02
A container at exactly its position maximum is reported as an overload.
Position loaded exactly to its limit flagged · case 03
A container at exactly its position maximum is reported as an overload.
Position loaded exactly to its limit flagged · case 04
A container at exactly its position maximum is reported as an overload.
Position loaded exactly to its limit flagged · case 05
A container at exactly its position maximum is reported as an overload.
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 ↗