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
Singular hensel root tree: all extension digits · case 01
The exact singular hensel root tree result violates the stated contract at all extension digits.
Singular hensel root tree: all extension digits · case 02
The exact singular hensel root tree result violates the stated contract at all extension digits.
Singular hensel root tree: all extension digits · case 03
The exact singular hensel root tree result violates the stated contract at all extension digits.
Singular hensel root tree: all extension digits · case 04
The exact singular hensel root tree result violates the stated contract at all extension digits.
Singular hensel root tree: all extension digits · case 05
The exact singular hensel root tree result violates the stated contract at all extension digits.
Singular hensel root tree: root residue digit placement · case 01
The exact singular hensel root tree result violates the stated contract at root residue digit placement.
Singular hensel root tree: root residue digit placement · case 02
The exact singular hensel root tree result violates the stated contract at root residue digit placement.
Singular hensel root tree: root residue digit placement · case 03
The exact singular hensel root tree result violates the stated contract at root residue digit placement.
Singular hensel root tree: root residue digit placement · case 04
The exact singular hensel root tree result violates the stated contract at root residue digit placement.
Singular hensel root tree: root residue digit placement · case 05
The exact singular hensel root tree result violates the stated contract at root residue digit placement.
Singular hensel root tree: lifted polynomial congruence · case 01
The exact singular hensel root tree result violates the stated contract at lifted polynomial congruence.
Singular hensel root tree: lifted polynomial congruence · case 02
The exact singular hensel root tree result violates the stated contract at lifted polynomial congruence.
Singular hensel root tree: lifted polynomial congruence · case 03
The exact singular hensel root tree result violates the stated contract at lifted polynomial congruence.
Singular hensel root tree: lifted polynomial congruence · case 04
The exact singular hensel root tree result violates the stated contract at lifted polynomial congruence.
Singular hensel root tree: lifted polynomial congruence · case 05
The exact singular hensel root tree result violates the stated contract at lifted polynomial congruence.
Tonelli shanks square root: nonresidue subgroup generator · case 01
The exact tonelli shanks square root result violates the stated contract at nonresidue subgroup generator.
Tonelli shanks square root: nonresidue subgroup generator · case 02
The exact tonelli shanks square root result violates the stated contract at nonresidue subgroup generator.
Tonelli shanks square root: nonresidue subgroup generator · case 03
The exact tonelli shanks square root result violates the stated contract at nonresidue subgroup generator.
Tonelli shanks square root: nonresidue subgroup generator · case 04
The exact tonelli shanks square root result violates the stated contract at nonresidue subgroup generator.
Tonelli shanks square root: nonresidue subgroup generator · case 05
The exact tonelli shanks square root result violates the stated contract at nonresidue subgroup generator.
Tonelli shanks square root: initial root exponent · case 01
The exact tonelli shanks square root result violates the stated contract at initial root exponent.
Tonelli shanks square root: initial root exponent · case 02
The exact tonelli shanks square root result violates the stated contract at initial root exponent.
Tonelli shanks square root: initial root exponent · case 03
The exact tonelli shanks square root result violates the stated contract at initial root exponent.
Tonelli shanks square root: initial root exponent · case 04
The exact tonelli shanks square root result violates the stated contract at initial root exponent.
Tonelli shanks square root: initial root exponent · case 05
The exact tonelli shanks square root result violates the stated contract at initial root exponent.
Tonelli shanks square root: initial odd component residue · case 01
The exact tonelli shanks square root result violates the stated contract at initial odd component residue.
Tonelli shanks square root: initial odd component residue · case 02
The exact tonelli shanks square root result violates the stated contract at initial odd component residue.
Tonelli shanks square root: initial odd component residue · case 03
The exact tonelli shanks square root result violates the stated contract at initial odd component residue.
Tonelli shanks square root: initial odd component residue · case 04
The exact tonelli shanks square root result violates the stated contract at initial odd component residue.
Tonelli shanks square root: initial odd component residue · case 05
The exact tonelli shanks square root result violates the stated contract at initial odd component residue.
Tonelli shanks square root: order halving correction · case 01
The exact tonelli shanks square root result violates the stated contract at order halving correction.
Tonelli shanks square root: order halving correction · case 02
The exact tonelli shanks square root result violates the stated contract at order halving correction.
Tonelli shanks square root: order halving correction · case 03
The exact tonelli shanks square root result violates the stated contract at order halving correction.
Tonelli shanks square root: order halving correction · case 04
The exact tonelli shanks square root result violates the stated contract at order halving correction.
Tonelli shanks square root: order halving correction · case 05
The exact tonelli shanks square root result violates the stated contract at order halving correction.
Tonelli shanks square root: next subgroup generator · case 01
The exact tonelli shanks square root result violates the stated contract at next subgroup generator.
Tonelli shanks square root: next subgroup generator · case 02
The exact tonelli shanks square root result violates the stated contract at next subgroup generator.
Tonelli shanks square root: next subgroup generator · case 03
The exact tonelli shanks square root result violates the stated contract at next subgroup generator.
Tonelli shanks square root: next subgroup generator · case 04
The exact tonelli shanks square root result violates the stated contract at next subgroup generator.
Tonelli shanks square root: next subgroup generator · case 05
The exact tonelli shanks square root result violates the stated contract at next subgroup generator.
Decoding derives sign from numerical negativity · case 01
Decoding derives sign from numerical negativity.
Decoding derives sign from numerical negativity · case 02
Decoding derives sign from numerical negativity.
Decoding derives sign from numerical negativity · case 03
Decoding derives sign from numerical negativity.
Decoding derives sign from numerical negativity · case 04
Decoding derives sign from numerical negativity.
Decoding derives sign from numerical negativity · case 05
Decoding derives sign from numerical negativity.
Sign bit contaminates the exponent field · case 01
Sign bit contaminates the exponent field.
Sign bit contaminates the exponent field · case 02
Sign bit contaminates the exponent field.
Sign bit contaminates the exponent field · case 03
Sign bit contaminates the exponent field.
Sign bit contaminates the exponent field · case 04
Sign bit contaminates the exponent field.
Sign bit contaminates the exponent field · case 05
Sign bit contaminates the exponent field.
The hidden leading bit is read from encoded exponent · case 01
The hidden leading bit is read from encoded exponent.
The hidden leading bit is read from encoded exponent · case 02
The hidden leading bit is read from encoded exponent.
The hidden leading bit is read from encoded exponent · case 03
The hidden leading bit is read from encoded exponent.
The hidden leading bit is read from encoded exponent · case 04
The hidden leading bit is read from encoded exponent.
The hidden leading bit is read from encoded exponent · case 05
The hidden leading bit is read from encoded exponent.
Nonfinite classification ignores a NaN payload · case 01
Nonfinite classification ignores a NaN payload.
Nonfinite classification ignores a NaN payload · case 02
Nonfinite classification ignores a NaN payload.
Nonfinite classification ignores a NaN payload · case 03
Nonfinite classification ignores a NaN payload.
Nonfinite classification ignores a NaN payload · case 04
Nonfinite classification ignores a NaN payload.
Nonfinite classification ignores a NaN payload · case 05
Nonfinite classification ignores a NaN payload.
NaN quietness is inferred from payload parity · case 01
NaN quietness is inferred from payload parity.
NaN quietness is inferred from payload parity · case 02
NaN quietness is inferred from payload parity.
NaN quietness is inferred from payload parity · case 03
NaN quietness is inferred from payload parity.
NaN quietness is inferred from payload parity · case 04
NaN quietness is inferred from payload parity.
NaN quietness is inferred from payload parity · case 05
NaN quietness is inferred from payload parity.
The quiet marker leaks into diagnostic payload · case 01
The quiet marker leaks into diagnostic payload.
The quiet marker leaks into diagnostic payload · case 02
The quiet marker leaks into diagnostic payload.
The quiet marker leaks into diagnostic payload · case 03
The quiet marker leaks into diagnostic payload.
The quiet marker leaks into diagnostic payload · case 04
The quiet marker leaks into diagnostic payload.
The quiet marker leaks into diagnostic payload · case 05
The quiet marker leaks into diagnostic payload.
Zero decoding conflates zero and subnormal · case 01
Zero decoding conflates zero and subnormal.
Zero decoding conflates zero and subnormal · case 02
Zero decoding conflates zero and subnormal.
Zero decoding conflates zero and subnormal · case 03
Zero decoding conflates zero and subnormal.
Zero decoding conflates zero and subnormal · case 04
Zero decoding conflates zero and subnormal.
Zero decoding conflates zero and subnormal · case 05
Zero decoding conflates zero and subnormal.
Subnormals receive the normal exponent bias · case 01
Subnormals receive the normal exponent bias.
Subnormals receive the normal exponent bias · case 02
Subnormals receive the normal exponent bias.
Subnormals receive the normal exponent bias · case 03
Subnormals receive the normal exponent bias.
Subnormals receive the normal exponent bias · case 04
Subnormals receive the normal exponent bias.
Subnormals receive the normal exponent bias · case 05
Subnormals receive the normal exponent bias.
Subnormals acquire an implicit leading one · case 01
Subnormals acquire an implicit leading one.
Subnormals acquire an implicit leading one · case 02
Subnormals acquire an implicit leading one.
Subnormals acquire an implicit leading one · case 03
Subnormals acquire an implicit leading one.
Subnormals acquire an implicit leading one · case 04
Subnormals acquire an implicit leading one.
Subnormals acquire an implicit leading one · case 05
Subnormals acquire an implicit leading one.
Stepping checks only destination NaNs · case 01
Stepping checks only destination NaNs.
Stepping checks only destination NaNs · case 02
Stepping checks only destination NaNs.
Stepping checks only destination NaNs · case 03
Stepping checks only destination NaNs.
Stepping checks only destination NaNs · case 04
Stepping checks only destination NaNs.
Stepping checks only destination NaNs · case 05
Stepping checks only destination NaNs.
Stepping checks only source NaNs · case 01
Stepping checks only source NaNs.
Stepping checks only source NaNs · case 02
Stepping checks only source NaNs.
Stepping checks only source NaNs · case 03
Stepping checks only source NaNs.
Stepping checks only source NaNs · case 04
Stepping checks only source NaNs.
Stepping checks only source NaNs · case 05
Stepping checks only source NaNs.
An equal-value early return preserves the wrong zero sign · case 01
An equal-value early return preserves the wrong zero sign.
An equal-value early return preserves the wrong zero sign · case 02
An equal-value early return preserves the wrong zero sign.
An equal-value early return preserves the wrong zero sign · case 03
An equal-value early return preserves the wrong zero sign.
An equal-value early return preserves the wrong zero sign · case 04
An equal-value early return preserves the wrong zero sign.
An equal-value early return preserves the wrong zero sign · case 05
An equal-value early return preserves the wrong zero sign.
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 ↗