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
Aiff pcm offset block: complete frame count · case 01
Partial PCM frame bytes are counted as a complete frame.
Aiff pcm offset block: complete frame count · case 02
Partial PCM frame bytes are counted as a complete frame.
Aiff pcm offset block: complete frame count · case 03
Partial PCM frame bytes are counted as a complete frame.
Aiff pcm offset block: complete frame count · case 04
Partial PCM frame bytes are counted as a complete frame.
Aiff pcm offset block: complete frame count · case 05
Partial PCM frame bytes are counted as a complete frame.
Aiff pcm offset block: frame remainder · case 01
Partial frame status includes sound preamble bytes.
Aiff pcm offset block: frame remainder · case 02
Partial frame status includes sound preamble bytes.
Aiff pcm offset block: frame remainder · case 03
Partial frame status includes sound preamble bytes.
Aiff pcm offset block: frame remainder · case 04
Partial frame status includes sound preamble bytes.
Aiff pcm offset block: frame remainder · case 05
Partial frame status includes sound preamble bytes.
Aiff pcm offset block: block alignment · case 01
Block alignment is checked at the enclosing chunk instead of first PCM byte.
Aiff pcm offset block: block alignment · case 02
Block alignment is checked at the enclosing chunk instead of first PCM byte.
Aiff pcm offset block: block alignment · case 03
Block alignment is checked at the enclosing chunk instead of first PCM byte.
Aiff pcm offset block: block alignment · case 04
Block alignment is checked at the enclosing chunk instead of first PCM byte.
Aiff pcm offset block: block alignment · case 05
Block alignment is checked at the enclosing chunk instead of first PCM byte.
Caf pcm packet table: priming global · case 01
Encoder priming samples remain audible at the start.
Caf pcm packet table: priming global · case 02
Encoder priming samples remain audible at the start.
Caf pcm packet table: priming global · case 03
Encoder priming samples remain audible at the start.
Caf pcm packet table: priming global · case 04
Encoder priming samples remain audible at the start.
Caf pcm packet table: priming global · case 05
Encoder priming samples remain audible at the start.
Caf pcm packet table: remainder exclusion · case 01
Trailing encoder remainder samples leak into presentation.
Caf pcm packet table: remainder exclusion · case 02
Trailing encoder remainder samples leak into presentation.
Caf pcm packet table: remainder exclusion · case 03
Trailing encoder remainder samples leak into presentation.
Caf pcm packet table: remainder exclusion · case 04
Trailing encoder remainder samples leak into presentation.
Caf pcm packet table: remainder exclusion · case 05
Trailing encoder remainder samples leak into presentation.
Caf pcm packet table: packet start units · case 01
Packet offsets are reported as packet indices instead of sample positions.
Caf pcm packet table: packet start units · case 02
Packet offsets are reported as packet indices instead of sample positions.
Caf pcm packet table: packet start units · case 03
Packet offsets are reported as packet indices instead of sample positions.
Caf pcm packet table: packet start units · case 04
Packet offsets are reported as packet indices instead of sample positions.
Caf pcm packet table: packet start units · case 05
Packet offsets are reported as packet indices instead of sample positions.
Caf pcm packet table: packet order · case 01
PCM samples reverse inside each table packet.
Caf pcm packet table: packet order · case 02
PCM samples reverse inside each table packet.
Caf pcm packet table: packet order · case 03
PCM samples reverse inside each table packet.
Caf pcm packet table: packet order · case 04
PCM samples reverse inside each table packet.
Caf pcm packet table: packet order · case 05
PCM samples reverse inside each table packet.
Caf pcm packet table: trim interval · case 01
Computed trailing remainder exclusion is ignored by the output slice.
Caf pcm packet table: trim interval · case 02
Computed trailing remainder exclusion is ignored by the output slice.
Caf pcm packet table: trim interval · case 03
Computed trailing remainder exclusion is ignored by the output slice.
Caf pcm packet table: trim interval · case 04
Computed trailing remainder exclusion is ignored by the output slice.
Caf pcm packet table: trim interval · case 05
Computed trailing remainder exclusion is ignored by the output slice.
Au pcm payload limit: absolute data offset · case 01
Annotation/header bytes are decoded as PCM payload.
Au pcm payload limit: absolute data offset · case 02
Annotation/header bytes are decoded as PCM payload.
Au pcm payload limit: absolute data offset · case 03
Annotation/header bytes are decoded as PCM payload.
Au pcm payload limit: absolute data offset · case 04
Annotation/header bytes are decoded as PCM payload.
Au pcm payload limit: absolute data offset · case 05
Annotation/header bytes are decoded as PCM payload.
Au pcm payload limit: unknown length sentinel · case 01
The unknown-length sentinel is not recognized.
Au pcm payload limit: unknown length sentinel · case 02
The unknown-length sentinel is not recognized.
Au pcm payload limit: unknown length sentinel · case 03
The unknown-length sentinel is not recognized.
Au pcm payload limit: unknown length sentinel · case 04
The unknown-length sentinel is not recognized.
Au pcm payload limit: unknown length sentinel · case 05
The unknown-length sentinel is not recognized.
Au pcm payload limit: declared byte limit · case 01
A byte-size declaration is multiplied as though it counted frames.
Au pcm payload limit: declared byte limit · case 02
A byte-size declaration is multiplied as though it counted frames.
Au pcm payload limit: declared byte limit · case 03
A byte-size declaration is multiplied as though it counted frames.
Au pcm payload limit: declared byte limit · case 04
A byte-size declaration is multiplied as though it counted frames.
Au pcm payload limit: declared byte limit · case 05
A byte-size declaration is multiplied as though it counted frames.
Au pcm payload limit: whole frame prefix · case 01
Incomplete sample-frame bytes are returned as playable data.
Au pcm payload limit: whole frame prefix · case 02
Incomplete sample-frame bytes are returned as playable data.
Au pcm payload limit: whole frame prefix · case 03
Incomplete sample-frame bytes are returned as playable data.
Au pcm payload limit: whole frame prefix · case 04
Incomplete sample-frame bytes are returned as playable data.
Au pcm payload limit: whole frame prefix · case 05
Incomplete sample-frame bytes are returned as playable data.
Au pcm payload limit: remainder return · case 01
Partial trailing bytes are reported as the complete audio prefix.
Au pcm payload limit: remainder return · case 02
Partial trailing bytes are reported as the complete audio prefix.
Au pcm payload limit: remainder return · case 03
Partial trailing bytes are reported as the complete audio prefix.
Au pcm payload limit: remainder return · case 04
Partial trailing bytes are reported as the complete audio prefix.
Au pcm payload limit: remainder return · case 05
Partial trailing bytes are reported as the complete audio prefix.
Rf64 pcm size table: sentinel only · case 01
An extended table overrides ordinary explicit chunk sizes.
Rf64 pcm size table: sentinel only · case 02
An extended table overrides ordinary explicit chunk sizes.
Rf64 pcm size table: sentinel only · case 03
An extended table overrides ordinary explicit chunk sizes.
Rf64 pcm size table: sentinel only · case 04
An extended table overrides ordinary explicit chunk sizes.
Rf64 pcm size table: sentinel only · case 05
An extended table overrides ordinary explicit chunk sizes.
Rf64 pcm size table: occurrence counter · case 01
Repeated PCM chunks reuse the first extended length.
Rf64 pcm size table: occurrence counter · case 02
Repeated PCM chunks reuse the first extended length.
Rf64 pcm size table: occurrence counter · case 03
Repeated PCM chunks reuse the first extended length.
Rf64 pcm size table: occurrence counter · case 04
Repeated PCM chunks reuse the first extended length.
Rf64 pcm size table: occurrence counter · case 05
Repeated PCM chunks reuse the first extended length.
Rf64 pcm size table: table lookup · case 01
Every extended chunk consumes the audio data size table.
Rf64 pcm size table: table lookup · case 02
Every extended chunk consumes the audio data size table.
Rf64 pcm size table: table lookup · case 03
Every extended chunk consumes the audio data size table.
Rf64 pcm size table: table lookup · case 04
Every extended chunk consumes the audio data size table.
Rf64 pcm size table: table lookup · case 05
Every extended chunk consumes the audio data size table.
Rf64 pcm size table: missing entry · case 01
Missing extended lengths become falsely known empty chunks.
Rf64 pcm size table: missing entry · case 02
Missing extended lengths become falsely known empty chunks.
Rf64 pcm size table: missing entry · case 03
Missing extended lengths become falsely known empty chunks.
Rf64 pcm size table: missing entry · case 04
Missing extended lengths become falsely known empty chunks.
Rf64 pcm size table: missing entry · case 05
Missing extended lengths become falsely known empty chunks.
Rf64 pcm size table: table advance · case 01
Repeated sentinel chunks never advance their matching size entry.
Rf64 pcm size table: table advance · case 02
Repeated sentinel chunks never advance their matching size entry.
Rf64 pcm size table: table advance · case 03
Repeated sentinel chunks never advance their matching size entry.
Rf64 pcm size table: table advance · case 04
Repeated sentinel chunks never advance their matching size entry.
Rf64 pcm size table: table advance · case 05
Repeated sentinel chunks never advance their matching size entry.
Pcm error feedback quantizer: feedback sign · case 01
Quantization error is fed back with the opposite sign.
Pcm error feedback quantizer: feedback sign · case 02
Quantization error is fed back with the opposite sign.
Pcm error feedback quantizer: feedback sign · case 03
Quantization error is fed back with the opposite sign.
Pcm error feedback quantizer: feedback sign · case 04
Quantization error is fed back with the opposite sign.
Pcm error feedback quantizer: feedback sign · case 05
Quantization error is fed back with the opposite sign.
Pcm error feedback quantizer: residue domain · case 01
Feedback excludes accumulated prior quantization error.
Pcm error feedback quantizer: residue domain · case 02
Feedback excludes accumulated prior quantization error.
Pcm error feedback quantizer: residue domain · case 03
Feedback excludes accumulated prior quantization error.
Pcm error feedback quantizer: residue domain · case 04
Feedback excludes accumulated prior quantization error.
Pcm error feedback quantizer: residue domain · case 05
Feedback excludes accumulated prior quantization error.
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 ↗