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
CSV physical line provenance starts from zero · case 01
A structured table violates the declared record or column contract.
CSV physical line provenance starts from zero · case 02
A structured table violates the declared record or column contract.
CSV physical line provenance starts from zero · case 03
A structured table violates the declared record or column contract.
CSV physical line provenance starts from zero · case 04
A structured table violates the declared record or column contract.
CSV physical line provenance starts from zero · case 05
A structured table violates the declared record or column contract.
CSV row provenance reverses start and end positions · case 01
A structured table violates the declared record or column contract.
CSV row provenance reverses start and end positions · case 02
A structured table violates the declared record or column contract.
CSV row provenance reverses start and end positions · case 03
A structured table violates the declared record or column contract.
CSV row provenance reverses start and end positions · case 04
A structured table violates the declared record or column contract.
CSV row provenance reverses start and end positions · case 05
A structured table violates the declared record or column contract.
Blank physical CSV records disappear from the provenance stream · case 01
A structured table violates the declared record or column contract.
Blank physical CSV records disappear from the provenance stream · case 02
A structured table violates the declared record or column contract.
Blank physical CSV records disappear from the provenance stream · case 03
A structured table violates the declared record or column contract.
Blank physical CSV records disappear from the provenance stream · case 04
A structured table violates the declared record or column contract.
Blank physical CSV records disappear from the provenance stream · case 05
A structured table violates the declared record or column contract.
The last declared header level is interpreted as a body record · case 01
A structured table violates the declared record or column contract.
The last declared header level is interpreted as a body record · case 02
A structured table violates the declared record or column contract.
The last declared header level is interpreted as a body record · case 03
A structured table violates the declared record or column contract.
The last declared header level is interpreted as a body record · case 04
A structured table violates the declared record or column contract.
The last declared header level is interpreted as a body record · case 05
A structured table violates the declared record or column contract.
The body begins at the last header row instead of after it · case 01
A structured table violates the declared record or column contract.
The body begins at the last header row instead of after it · case 02
A structured table violates the declared record or column contract.
The body begins at the last header row instead of after it · case 03
A structured table violates the declared record or column contract.
The body begins at the last header row instead of after it · case 04
A structured table violates the declared record or column contract.
The body begins at the last header row instead of after it · case 05
A structured table violates the declared record or column contract.
Hierarchical header components are combined in reverse level order · case 01
A structured table violates the declared record or column contract.
Hierarchical header components are combined in reverse level order · case 02
A structured table violates the declared record or column contract.
Hierarchical header components are combined in reverse level order · case 03
A structured table violates the declared record or column contract.
Hierarchical header components are combined in reverse level order · case 04
A structured table violates the declared record or column contract.
Hierarchical header components are combined in reverse level order · case 05
A structured table violates the declared record or column contract.
An empty header component introduces an extra hierarchy separator · case 01
A structured table violates the declared record or column contract.
An empty header component introduces an extra hierarchy separator · case 02
A structured table violates the declared record or column contract.
An empty header component introduces an extra hierarchy separator · case 03
A structured table violates the declared record or column contract.
An empty header component introduces an extra hierarchy separator · case 04
A structured table violates the declared record or column contract.
An empty header component introduces an extra hierarchy separator · case 05
A structured table violates the declared record or column contract.
Header assembly combines each level row instead of each physical column · case 01
A structured table violates the declared record or column contract.
Header assembly combines each level row instead of each physical column · case 02
A structured table violates the declared record or column contract.
Header assembly combines each level row instead of each physical column · case 03
A structured table violates the declared record or column contract.
Header assembly combines each level row instead of each physical column · case 04
A structured table violates the declared record or column contract.
Header assembly combines each level row instead of each physical column · case 05
A structured table violates the declared record or column contract.
Subbyte code packer: preserve prefix · case 01
The packet sync prefix is dropped before packed sample codes.
Subbyte code packer: preserve prefix · case 02
The packet sync prefix is dropped before packed sample codes.
Subbyte code packer: preserve prefix · case 03
The packet sync prefix is dropped before packed sample codes.
Subbyte code packer: preserve prefix · case 04
The packet sync prefix is dropped before packed sample codes.
Subbyte code packer: preserve prefix · case 05
The packet sync prefix is dropped before packed sample codes.
Subbyte code packer: code bit traversal · case 01
Packed sample fields emit least-significant bit first.
Subbyte code packer: code bit traversal · case 02
Packed sample fields emit least-significant bit first.
Subbyte code packer: code bit traversal · case 03
Packed sample fields emit least-significant bit first.
Subbyte code packer: code bit traversal · case 04
Packed sample fields emit least-significant bit first.
Subbyte code packer: code bit traversal · case 05
Packed sample fields emit least-significant bit first.
Subbyte code packer: padding modulo · case 01
Already aligned packets receive a whole spurious padding octet.
Subbyte code packer: padding modulo · case 02
Already aligned packets receive a whole spurious padding octet.
Subbyte code packer: padding modulo · case 03
Already aligned packets receive a whole spurious padding octet.
Subbyte code packer: padding modulo · case 04
Already aligned packets receive a whole spurious padding octet.
Subbyte code packer: padding modulo · case 05
Already aligned packets receive a whole spurious padding octet.
Subbyte code packer: padding value · case 01
Tail pad bits are set, violating canonical zero padding.
Subbyte code packer: padding value · case 02
Tail pad bits are set, violating canonical zero padding.
Subbyte code packer: padding value · case 03
Tail pad bits are set, violating canonical zero padding.
Subbyte code packer: padding value · case 04
Tail pad bits are set, violating canonical zero padding.
Subbyte code packer: padding value · case 05
Tail pad bits are set, violating canonical zero padding.
Subbyte code packer: bit position · case 01
Wire octets reverse the bit significance of packed fields.
Subbyte code packer: bit position · case 02
Wire octets reverse the bit significance of packed fields.
Subbyte code packer: bit position · case 03
Wire octets reverse the bit significance of packed fields.
Subbyte code packer: bit position · case 04
Wire octets reverse the bit significance of packed fields.
Subbyte code packer: bit position · case 05
Wire octets reverse the bit significance of packed fields.
Subbyte code reader: prefix consumption · case 01
Reader consumes the sync prefix as a sample field.
Subbyte code reader: prefix consumption · case 02
Reader consumes the sync prefix as a sample field.
Subbyte code reader: prefix consumption · case 03
Reader consumes the sync prefix as a sample field.
Subbyte code reader: prefix consumption · case 04
Reader consumes the sync prefix as a sample field.
Subbyte code reader: prefix consumption · case 05
Reader consumes the sync prefix as a sample field.
Subbyte code reader: available fields · case 01
Available packed samples are counted as octets.
Subbyte code reader: available fields · case 02
Available packed samples are counted as octets.
Subbyte code reader: available fields · case 03
Available packed samples are counted as octets.
Subbyte code reader: available fields · case 04
Available packed samples are counted as octets.
Subbyte code reader: available fields · case 05
Available packed samples are counted as octets.
Subbyte code reader: declared limit · case 01
Tail padding is decoded as additional samples beyond declared count.
Subbyte code reader: declared limit · case 02
Tail padding is decoded as additional samples beyond declared count.
Subbyte code reader: declared limit · case 03
Tail padding is decoded as additional samples beyond declared count.
Subbyte code reader: declared limit · case 04
Tail padding is decoded as additional samples beyond declared count.
Subbyte code reader: declared limit · case 05
Tail padding is decoded as additional samples beyond declared count.
Subbyte code reader: field stride · case 01
Field starts advance one bit instead of the code width.
Subbyte code reader: field stride · case 02
Field starts advance one bit instead of the code width.
Subbyte code reader: field stride · case 03
Field starts advance one bit instead of the code width.
Subbyte code reader: field stride · case 04
Field starts advance one bit instead of the code width.
Subbyte code reader: field stride · case 05
Field starts advance one bit instead of the code width.
Subbyte code reader: reported consumption · case 01
Cursor excludes consumed sync prefix.
Subbyte code reader: reported consumption · case 02
Cursor excludes consumed sync prefix.
Subbyte code reader: reported consumption · case 03
Cursor excludes consumed sync prefix.
Subbyte code reader: reported consumption · case 04
Cursor excludes consumed sync prefix.
Subbyte code reader: reported consumption · case 05
Cursor excludes consumed sync prefix.
Validbit left container: left padding shift · case 01
Left justified sample bits are interpreted as right justified.
Validbit left container: left padding shift · case 02
Left justified sample bits are interpreted as right justified.
Validbit left container: left padding shift · case 03
Left justified sample bits are interpreted as right justified.
Validbit left container: left padding shift · case 04
Left justified sample bits are interpreted as right justified.
Validbit left container: left padding shift · case 05
Left justified sample bits are interpreted as right justified.
Validbit left container: valid mask · case 01
Bits above the declared container leak into the valid field.
Validbit left container: valid mask · case 02
Bits above the declared container leak into the valid field.
Validbit left container: valid mask · case 03
Bits above the declared container leak into the valid field.
Validbit left container: valid mask · case 04
Bits above the declared container leak into the valid field.
Validbit left container: valid mask · case 05
Bits above the declared container leak into the valid field.
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 ↗