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
Pcm channel lifting chain: source feedback · case 01
Interchannel lifting feeds an encoded residual back as source amplitude.
Pcm channel lifting chain: source feedback · case 02
Interchannel lifting feeds an encoded residual back as source amplitude.
Pcm channel lifting chain: source feedback · case 03
Interchannel lifting feeds an encoded residual back as source amplitude.
Pcm channel lifting chain: source feedback · case 04
Interchannel lifting feeds an encoded residual back as source amplitude.
Pcm channel lifting chain: source feedback · case 05
Interchannel lifting feeds an encoded residual back as source amplitude.
Pcm channel lifting chain: first residual channel · case 01
The literal anchor is also encoded as a residual, adding a channel.
Pcm channel lifting chain: first residual channel · case 02
The literal anchor is also encoded as a residual, adding a channel.
Pcm channel lifting chain: first residual channel · case 03
The literal anchor is also encoded as a residual, adding a channel.
Pcm channel lifting chain: first residual channel · case 04
The literal anchor is also encoded as a residual, adding a channel.
Pcm channel lifting chain: first residual channel · case 05
The literal anchor is also encoded as a residual, adding a channel.
Pcm channel lifting chain: empty channel frame · case 01
An empty channel frame invents a silence channel.
Pcm channel lifting chain: empty channel frame · case 02
An empty channel frame invents a silence channel.
Pcm channel lifting chain: empty channel frame · case 03
An empty channel frame invents a silence channel.
Pcm channel lifting chain: empty channel frame · case 04
An empty channel frame invents a silence channel.
Pcm channel lifting chain: empty channel frame · case 05
An empty channel frame invents a silence channel.
Pcm adaptive channel blocks: channel descriptor count · case 01
Extra encoded channel blocks are accepted as a valid PCM layout.
Pcm adaptive channel blocks: channel descriptor count · case 02
Extra encoded channel blocks are accepted as a valid PCM layout.
Pcm adaptive channel blocks: channel descriptor count · case 03
Extra encoded channel blocks are accepted as a valid PCM layout.
Pcm adaptive channel blocks: channel descriptor count · case 04
Extra encoded channel blocks are accepted as a valid PCM layout.
Pcm adaptive channel blocks: channel descriptor count · case 05
Extra encoded channel blocks are accepted as a valid PCM layout.
Pcm adaptive channel blocks: common complete prefix · case 01
Output frame count is based on longest channel block, exposing missing samples.
Pcm adaptive channel blocks: common complete prefix · case 02
Output frame count is based on longest channel block, exposing missing samples.
Pcm adaptive channel blocks: common complete prefix · case 03
Output frame count is based on longest channel block, exposing missing samples.
Pcm adaptive channel blocks: common complete prefix · case 04
Output frame count is based on longest channel block, exposing missing samples.
Pcm adaptive channel blocks: common complete prefix · case 05
Output frame count is based on longest channel block, exposing missing samples.
Pcm adaptive channel blocks: channel destination order · case 01
Independently decoded channel blocks are assigned reversed PCM destinations.
Pcm adaptive channel blocks: channel destination order · case 02
Independently decoded channel blocks are assigned reversed PCM destinations.
Pcm adaptive channel blocks: channel destination order · case 03
Independently decoded channel blocks are assigned reversed PCM destinations.
Pcm adaptive channel blocks: channel destination order · case 04
Independently decoded channel blocks are assigned reversed PCM destinations.
Pcm adaptive channel blocks: channel destination order · case 05
Independently decoded channel blocks are assigned reversed PCM destinations.
Pcm adaptive channel blocks: tail position · case 01
Unconsumed channel tails are replaced by consumed prefixes.
Pcm adaptive channel blocks: tail position · case 02
Unconsumed channel tails are replaced by consumed prefixes.
Pcm adaptive channel blocks: tail position · case 03
Unconsumed channel tails are replaced by consumed prefixes.
Pcm adaptive channel blocks: tail position · case 04
Unconsumed channel tails are replaced by consumed prefixes.
Pcm adaptive channel blocks: tail position · case 05
Unconsumed channel tails are replaced by consumed prefixes.
Pcm adaptive channel blocks: decoded frame order · case 01
Complete decoded PCM frames are emitted in reverse temporal order.
Pcm adaptive channel blocks: decoded frame order · case 02
Complete decoded PCM frames are emitted in reverse temporal order.
Pcm adaptive channel blocks: decoded frame order · case 03
Complete decoded PCM frames are emitted in reverse temporal order.
Pcm adaptive channel blocks: decoded frame order · case 04
Complete decoded PCM frames are emitted in reverse temporal order.
Pcm adaptive channel blocks: decoded frame order · case 05
Complete decoded PCM frames are emitted in reverse temporal order.
Saved clip stack: save alias · case 01
Saving aliases the mutable clip so later in-place intersections corrupt the saved region.
Saved clip stack: save alias · case 02
Saving aliases the mutable clip so later in-place intersections corrupt the saved region.
Saved clip stack: save alias · case 03
Saving aliases the mutable clip so later in-place intersections corrupt the saved region.
Saved clip stack: save alias · case 04
Saving aliases the mutable clip so later in-place intersections corrupt the saved region.
Saved clip stack: save alias · case 05
Saving aliases the mutable clip so later in-place intersections corrupt the saved region.
Saved clip stack: restore fifo · case 01
Nested restore retrieves the oldest saved clip instead of the nearest enclosing scope.
Saved clip stack: restore fifo · case 02
Nested restore retrieves the oldest saved clip instead of the nearest enclosing scope.
Saved clip stack: restore fifo · case 03
Nested restore retrieves the oldest saved clip instead of the nearest enclosing scope.
Saved clip stack: restore fifo · case 04
Nested restore retrieves the oldest saved clip instead of the nearest enclosing scope.
Saved clip stack: restore fifo · case 05
Nested restore retrieves the oldest saved clip instead of the nearest enclosing scope.
Saved clip stack: restore enable · case 01
Restoring a clip scope fails to restore its enable state.
Saved clip stack: restore enable · case 02
Restoring a clip scope fails to restore its enable state.
Saved clip stack: restore enable · case 03
Restoring a clip scope fails to restore its enable state.
Saved clip stack: restore enable · case 04
Restoring a clip scope fails to restore its enable state.
Saved clip stack: restore enable · case 05
Restoring a clip scope fails to restore its enable state.
Saved clip stack: exclude replaces · case 01
Subtracting a mask resets prior clip intersections and reintroduces excluded samples.
Saved clip stack: exclude replaces · case 02
Subtracting a mask resets prior clip intersections and reintroduces excluded samples.
Saved clip stack: exclude replaces · case 03
Subtracting a mask resets prior clip intersections and reintroduces excluded samples.
Saved clip stack: exclude replaces · case 04
Subtracting a mask resets prior clip intersections and reintroduces excluded samples.
Saved clip stack: exclude replaces · case 05
Subtracting a mask resets prior clip intersections and reintroduces excluded samples.
Saved clip stack: union xor · case 01
Union toggles samples already covered by the clip.
Saved clip stack: union xor · case 02
Union toggles samples already covered by the clip.
Saved clip stack: union xor · case 03
Union toggles samples already covered by the clip.
Saved clip stack: union xor · case 04
Union toggles samples already covered by the clip.
Saved clip stack: union xor · case 05
Union toggles samples already covered by the clip.
Saved clip stack: replace accumulates · case 01
Replacing a clip accumulates old coverage.
Saved clip stack: replace accumulates · case 02
Replacing a clip accumulates old coverage.
Saved clip stack: replace accumulates · case 03
Replacing a clip accumulates old coverage.
Saved clip stack: replace accumulates · case 04
Replacing a clip accumulates old coverage.
Saved clip stack: replace accumulates · case 05
Replacing a clip accumulates old coverage.
Saved clip stack: invert domain · case 01
Clip inversion uses the absent command mask instead of the finite target universe.
Saved clip stack: invert domain · case 02
Clip inversion uses the absent command mask instead of the finite target universe.
Saved clip stack: invert domain · case 03
Clip inversion uses the absent command mask instead of the finite target universe.
Saved clip stack: invert domain · case 04
Clip inversion uses the absent command mask instead of the finite target universe.
Saved clip stack: invert domain · case 05
Clip inversion uses the absent command mask instead of the finite target universe.
Saved clip stack: reset clears · case 01
Reset produces an empty clip instead of the full surface.
Saved clip stack: reset clears · case 02
Reset produces an empty clip instead of the full surface.
Saved clip stack: reset clears · case 03
Reset produces an empty clip instead of the full surface.
Saved clip stack: reset clears · case 04
Reset produces an empty clip instead of the full surface.
Saved clip stack: reset clears · case 05
Reset produces an empty clip instead of the full surface.
Saved clip stack: disable erases · case 01
Disabling destroys the remembered region so re-enabling loses coverage.
Saved clip stack: disable erases · case 02
Disabling destroys the remembered region so re-enabling loses coverage.
Saved clip stack: disable erases · case 03
Disabling destroys the remembered region so re-enabling loses coverage.
Saved clip stack: disable erases · case 04
Disabling destroys the remembered region so re-enabling loses coverage.
Saved clip stack: disable erases · case 05
Disabling destroys the remembered region so re-enabling loses coverage.
Saved clip stack: enable resets · case 01
Enabling silently replaces the retained clip with the target extent.
Saved clip stack: enable resets · case 02
Enabling silently replaces the retained clip with the target extent.
Saved clip stack: enable resets · case 03
Enabling silently replaces the retained clip with the target extent.
Saved clip stack: enable resets · case 04
Enabling silently replaces the retained clip with the target extent.
Saved clip stack: enable resets · case 05
Enabling silently replaces the retained clip with the target extent.
Transactional clip edit: begin alias · case 01
Editing mutates the committed clip before commit because begin keeps an alias.
Transactional clip edit: begin alias · case 02
Editing mutates the committed clip before commit because begin keeps an alias.
Transactional clip edit: begin alias · case 03
Editing mutates the committed clip before commit because begin keeps an alias.
Transactional clip edit: begin alias · case 04
Editing mutates the committed clip before commit because begin keeps an alias.
Transactional clip edit: begin alias · case 05
Editing mutates the committed clip before commit because begin keeps an alias.
Transactional clip edit: nested begin · case 01
Nested begin discards the edits already staged by the active transaction.
Transactional clip edit: nested begin · case 02
Nested begin discards the edits already staged by the active transaction.
Transactional clip edit: nested begin · case 03
Nested begin discards the edits already staged by the active transaction.
Transactional clip edit: nested begin · case 04
Nested begin discards the edits already staged by the active transaction.
Transactional clip edit: nested begin · case 05
Nested begin discards the edits already staged by the active transaction.
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 ↗