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
Overflow does not accrue its implied inexact flag · case 01
Overflow does not accrue its implied inexact flag.
Overflow does not accrue its implied inexact flag · case 02
Overflow does not accrue its implied inexact flag.
Overflow does not accrue its implied inexact flag · case 03
Overflow does not accrue its implied inexact flag.
Overflow does not accrue its implied inexact flag · case 04
Overflow does not accrue its implied inexact flag.
Overflow does not accrue its implied inexact flag · case 05
Overflow does not accrue its implied inexact flag.
Underflow does not accrue its implied inexact flag · case 01
Underflow does not accrue its implied inexact flag.
Underflow does not accrue its implied inexact flag · case 02
Underflow does not accrue its implied inexact flag.
Underflow does not accrue its implied inexact flag · case 03
Underflow does not accrue its implied inexact flag.
Underflow does not accrue its implied inexact flag · case 04
Underflow does not accrue its implied inexact flag.
Underflow does not accrue its implied inexact flag · case 05
Underflow does not accrue its implied inexact flag.
Floating exception flags replace the accumulated history · case 01
Floating exception flags replace the accumulated history.
Floating exception flags replace the accumulated history · case 02
Floating exception flags replace the accumulated history.
Floating exception flags replace the accumulated history · case 03
Floating exception flags replace the accumulated history.
Floating exception flags replace the accumulated history · case 04
Floating exception flags replace the accumulated history.
Floating exception flags replace the accumulated history · case 05
Floating exception flags replace the accumulated history.
Disabled floating exception flags trigger traps · case 01
Disabled floating exception flags trigger traps.
Disabled floating exception flags trigger traps · case 02
Disabled floating exception flags trigger traps.
Disabled floating exception flags trigger traps · case 03
Disabled floating exception flags trigger traps.
Disabled floating exception flags trigger traps · case 04
Disabled floating exception flags trigger traps.
Disabled floating exception flags trigger traps · case 05
Disabled floating exception flags trigger traps.
Old sticky flags retrigger floating exception traps · case 01
Old sticky flags retrigger floating exception traps.
Old sticky flags retrigger floating exception traps · case 02
Old sticky flags retrigger floating exception traps.
Old sticky flags retrigger floating exception traps · case 03
Old sticky flags retrigger floating exception traps.
Old sticky flags retrigger floating exception traps · case 04
Old sticky flags retrigger floating exception traps.
Old sticky flags retrigger floating exception traps · case 05
Old sticky flags retrigger floating exception traps.
Floating exceptions select the lowest-priority simultaneous trap · case 01
Floating exceptions select the lowest-priority simultaneous trap.
Floating exceptions select the lowest-priority simultaneous trap · case 02
Floating exceptions select the lowest-priority simultaneous trap.
Floating exceptions select the lowest-priority simultaneous trap · case 03
Floating exceptions select the lowest-priority simultaneous trap.
Floating exceptions select the lowest-priority simultaneous trap · case 04
Floating exceptions select the lowest-priority simultaneous trap.
Floating exceptions select the lowest-priority simultaneous trap · case 05
Floating exceptions select the lowest-priority simultaneous trap.
Clearing one floating flag clears all accrued flags · case 01
Clearing one floating flag clears all accrued flags.
Clearing one floating flag clears all accrued flags · case 02
Clearing one floating flag clears all accrued flags.
Clearing one floating flag clears all accrued flags · case 03
Clearing one floating flag clears all accrued flags.
Clearing one floating flag clears all accrued flags · case 04
Clearing one floating flag clears all accrued flags.
Clearing one floating flag clears all accrued flags · case 05
Clearing one floating flag clears all accrued flags.
Cleared floating flags are suppressed before trap reporting · case 01
Cleared floating flags are suppressed before trap reporting.
Cleared floating flags are suppressed before trap reporting · case 02
Cleared floating flags are suppressed before trap reporting.
Cleared floating flags are suppressed before trap reporting · case 03
Cleared floating flags are suppressed before trap reporting.
Cleared floating flags are suppressed before trap reporting · case 04
Cleared floating flags are suppressed before trap reporting.
Cleared floating flags are suppressed before trap reporting · case 05
Cleared floating flags are suppressed before trap reporting.
NaN addition lets a quiet left operand hide a signaling right operand · case 01
NaN addition lets a quiet left operand hide a signaling right operand.
NaN addition lets a quiet left operand hide a signaling right operand · case 02
NaN addition lets a quiet left operand hide a signaling right operand.
NaN addition lets a quiet left operand hide a signaling right operand · case 03
NaN addition lets a quiet left operand hide a signaling right operand.
NaN addition lets a quiet left operand hide a signaling right operand · case 04
NaN addition lets a quiet left operand hide a signaling right operand.
NaN addition lets a quiet left operand hide a signaling right operand · case 05
NaN addition lets a quiet left operand hide a signaling right operand.
NaN propagation returns a signaling encoding unchanged · case 01
NaN propagation returns a signaling encoding unchanged.
NaN propagation returns a signaling encoding unchanged · case 02
NaN propagation returns a signaling encoding unchanged.
NaN propagation returns a signaling encoding unchanged · case 03
NaN propagation returns a signaling encoding unchanged.
NaN propagation returns a signaling encoding unchanged · case 04
NaN propagation returns a signaling encoding unchanged.
NaN propagation returns a signaling encoding unchanged · case 05
NaN propagation returns a signaling encoding unchanged.
Signaling NaN addition fails to raise invalid · case 01
Signaling NaN addition fails to raise invalid.
Signaling NaN addition fails to raise invalid · case 02
Signaling NaN addition fails to raise invalid.
Signaling NaN addition fails to raise invalid · case 03
Signaling NaN addition fails to raise invalid.
Signaling NaN addition fails to raise invalid · case 04
Signaling NaN addition fails to raise invalid.
Signaling NaN addition fails to raise invalid · case 05
Signaling NaN addition fails to raise invalid.
Quiet NaN addition selects the smaller diagnostic payload · case 01
Quiet NaN addition selects the smaller diagnostic payload.
Quiet NaN addition selects the smaller diagnostic payload · case 02
Quiet NaN addition selects the smaller diagnostic payload.
Quiet NaN addition selects the smaller diagnostic payload · case 03
Quiet NaN addition selects the smaller diagnostic payload.
Quiet NaN addition selects the smaller diagnostic payload · case 04
Quiet NaN addition selects the smaller diagnostic payload.
Quiet NaN addition selects the smaller diagnostic payload · case 05
Quiet NaN addition selects the smaller diagnostic payload.
Quiet NaN addition breaks a diagnostic tie toward the right operand · case 01
Quiet NaN addition breaks a diagnostic tie toward the right operand.
Quiet NaN addition breaks a diagnostic tie toward the right operand · case 02
Quiet NaN addition breaks a diagnostic tie toward the right operand.
Quiet NaN addition breaks a diagnostic tie toward the right operand · case 03
Quiet NaN addition breaks a diagnostic tie toward the right operand.
Quiet NaN addition breaks a diagnostic tie toward the right operand · case 04
Quiet NaN addition breaks a diagnostic tie toward the right operand.
Quiet NaN addition breaks a diagnostic tie toward the right operand · case 05
Quiet NaN addition breaks a diagnostic tie toward the right operand.
Quiet NaN propagation strips its diagnostic sign · case 01
Quiet NaN propagation strips its diagnostic sign.
Quiet NaN propagation strips its diagnostic sign · case 02
Quiet NaN propagation strips its diagnostic sign.
Quiet NaN propagation strips its diagnostic sign · case 03
Quiet NaN propagation strips its diagnostic sign.
Quiet NaN propagation strips its diagnostic sign · case 04
Quiet NaN propagation strips its diagnostic sign.
Quiet NaN propagation strips its diagnostic sign · case 05
Quiet NaN propagation strips its diagnostic sign.
Quiet NaN propagation raises invalid without signaling input · case 01
Quiet NaN propagation raises invalid without signaling input.
Quiet NaN propagation raises invalid without signaling input · case 02
Quiet NaN propagation raises invalid without signaling input.
Quiet NaN propagation raises invalid without signaling input · case 03
Quiet NaN propagation raises invalid without signaling input.
Quiet NaN propagation raises invalid without signaling input · case 04
Quiet NaN propagation raises invalid without signaling input.
Quiet NaN propagation raises invalid without signaling input · case 05
Quiet NaN propagation raises invalid without signaling input.
Opposite infinities fail to raise invalid on addition · case 01
Opposite infinities fail to raise invalid on addition.
Opposite infinities fail to raise invalid on addition · case 02
Opposite infinities fail to raise invalid on addition.
Opposite infinities fail to raise invalid on addition · case 03
Opposite infinities fail to raise invalid on addition.
Opposite infinities fail to raise invalid on addition · case 04
Opposite infinities fail to raise invalid on addition.
Opposite infinities fail to raise invalid on addition · case 05
Opposite infinities fail to raise invalid on addition.
Infinity addition treats equal signs as invalid · case 01
Infinity addition treats equal signs as invalid.
Infinity addition treats equal signs as invalid · case 02
Infinity addition treats equal signs as invalid.
Infinity addition treats equal signs as invalid · case 03
Infinity addition treats equal signs as invalid.
Infinity addition treats equal signs as invalid · case 04
Infinity addition treats equal signs as invalid.
Infinity addition treats equal signs as invalid · case 05
Infinity addition treats equal signs as invalid.
Floating total order sorts raw unsigned encodings · case 01
Floating total order sorts raw unsigned encodings.
Floating total order sorts raw unsigned encodings · case 02
Floating total order sorts raw unsigned encodings.
Floating total order sorts raw unsigned encodings · case 03
Floating total order sorts raw unsigned encodings.
Floating total order sorts raw unsigned encodings · case 04
Floating total order sorts raw unsigned encodings.
Floating total order sorts raw unsigned encodings · case 05
Floating total order sorts raw unsigned encodings.
Floating total order only flips the negative sign bit · case 01
Floating total order only flips the negative sign bit.
Floating total order only flips the negative sign bit · case 02
Floating total order only flips the negative sign bit.
Floating total order only flips the negative sign bit · case 03
Floating total order only flips the negative sign bit.
Floating total order only flips the negative sign bit · case 04
Floating total order only flips the negative sign bit.
Floating total order only flips the negative sign bit · case 05
Floating total order only flips the negative sign bit.
Floating total order omits the positive sign-domain offset · case 01
Floating total order omits the positive sign-domain offset.
Floating total order omits the positive sign-domain offset · case 02
Floating total order omits the positive sign-domain offset.
Floating total order omits the positive sign-domain offset · case 03
Floating total order omits the positive sign-domain offset.
Floating total order omits the positive sign-domain offset · case 04
Floating total order omits the positive sign-domain offset.
Floating total order omits the positive sign-domain offset · case 05
Floating total order omits the positive sign-domain offset.
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 ↗