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
Monotonic floor stops advancing or survives explicit reset · case 01
The decoded time state disagrees with the explicit regression oracle for floor.
Monotonic floor stops advancing or survives explicit reset · case 02
The decoded time state disagrees with the explicit regression oracle for floor.
Monotonic floor stops advancing or survives explicit reset · case 03
The decoded time state disagrees with the explicit regression oracle for floor.
Monotonic floor stops advancing or survives explicit reset · case 04
The decoded time state disagrees with the explicit regression oracle for floor.
Monotonic floor stops advancing or survives explicit reset · case 05
The decoded time state disagrees with the explicit regression oracle for floor.
Rollback diagnostic confuses equality or ignores expected elapsed progress · case 01
The decoded time state disagrees with the explicit regression oracle for rollback.
Rollback diagnostic confuses equality or ignores expected elapsed progress · case 02
The decoded time state disagrees with the explicit regression oracle for rollback.
Rollback diagnostic confuses equality or ignores expected elapsed progress · case 03
The decoded time state disagrees with the explicit regression oracle for rollback.
Rollback diagnostic confuses equality or ignores expected elapsed progress · case 04
The decoded time state disagrees with the explicit regression oracle for rollback.
Rollback diagnostic confuses equality or ignores expected elapsed progress · case 05
The decoded time state disagrees with the explicit regression oracle for rollback.
Presentation continuity ignores raw mode or selects backward floor · case 01
The decoded time state disagrees with the explicit regression oracle for output.
Presentation continuity ignores raw mode or selects backward floor · case 02
The decoded time state disagrees with the explicit regression oracle for output.
Presentation continuity ignores raw mode or selects backward floor · case 03
The decoded time state disagrees with the explicit regression oracle for output.
Presentation continuity ignores raw mode or selects backward floor · case 04
The decoded time state disagrees with the explicit regression oracle for output.
Presentation continuity ignores raw mode or selects backward floor · case 05
The decoded time state disagrees with the explicit regression oracle for output.
Presentation bias includes disabled floor or accumulates old correction twice · case 01
The decoded time state disagrees with the explicit regression oracle for bias.
Presentation bias includes disabled floor or accumulates old correction twice · case 02
The decoded time state disagrees with the explicit regression oracle for bias.
Presentation bias includes disabled floor or accumulates old correction twice · case 03
The decoded time state disagrees with the explicit regression oracle for bias.
Presentation bias includes disabled floor or accumulates old correction twice · case 04
The decoded time state disagrees with the explicit regression oracle for bias.
Presentation bias includes disabled floor or accumulates old correction twice · case 05
The decoded time state disagrees with the explicit regression oracle for bias.
Rollback debt goes negative or reverses correction direction · case 01
The decoded time state disagrees with the explicit regression oracle for debt.
Rollback debt goes negative or reverses correction direction · case 02
The decoded time state disagrees with the explicit regression oracle for debt.
Rollback debt goes negative or reverses correction direction · case 03
The decoded time state disagrees with the explicit regression oracle for debt.
Rollback debt goes negative or reverses correction direction · case 04
The decoded time state disagrees with the explicit regression oracle for debt.
Rollback debt goes negative or reverses correction direction · case 05
The decoded time state disagrees with the explicit regression oracle for debt.
Presentation provenance ignores actual selected source · case 01
The decoded time state disagrees with the explicit regression oracle for mode.
Presentation provenance ignores actual selected source · case 02
The decoded time state disagrees with the explicit regression oracle for mode.
Presentation provenance ignores actual selected source · case 03
The decoded time state disagrees with the explicit regression oracle for mode.
Presentation provenance ignores actual selected source · case 04
The decoded time state disagrees with the explicit regression oracle for mode.
Presentation provenance ignores actual selected source · case 05
The decoded time state disagrees with the explicit regression oracle for mode.
Invalid or raw wall value contaminates continuity checkpoint · case 01
The decoded time state disagrees with the explicit regression oracle for checkpoint_output.
Invalid or raw wall value contaminates continuity checkpoint · case 02
The decoded time state disagrees with the explicit regression oracle for checkpoint_output.
Invalid or raw wall value contaminates continuity checkpoint · case 03
The decoded time state disagrees with the explicit regression oracle for checkpoint_output.
Invalid or raw wall value contaminates continuity checkpoint · case 04
The decoded time state disagrees with the explicit regression oracle for checkpoint_output.
Invalid or raw wall value contaminates continuity checkpoint · case 05
The decoded time state disagrees with the explicit regression oracle for checkpoint_output.
Checkpoint consumes regressed monotonic sample or never advances sample origin · case 01
The decoded time state disagrees with the explicit regression oracle for checkpoint_mono.
Checkpoint consumes regressed monotonic sample or never advances sample origin · case 02
The decoded time state disagrees with the explicit regression oracle for checkpoint_mono.
Checkpoint consumes regressed monotonic sample or never advances sample origin · case 03
The decoded time state disagrees with the explicit regression oracle for checkpoint_mono.
Checkpoint consumes regressed monotonic sample or never advances sample origin · case 04
The decoded time state disagrees with the explicit regression oracle for checkpoint_mono.
Checkpoint consumes regressed monotonic sample or never advances sample origin · case 05
The decoded time state disagrees with the explicit regression oracle for checkpoint_mono.
Era anchor truncates negative eras or uses maximum label as period · case 01
The decoded time state disagrees with the explicit regression oracle for base_era.
Era anchor truncates negative eras or uses maximum label as period · case 02
The decoded time state disagrees with the explicit regression oracle for base_era.
Era anchor truncates negative eras or uses maximum label as period · case 03
The decoded time state disagrees with the explicit regression oracle for base_era.
Era anchor truncates negative eras or uses maximum label as period · case 04
The decoded time state disagrees with the explicit regression oracle for base_era.
Era anchor truncates negative eras or uses maximum label as period · case 05
The decoded time state disagrees with the explicit regression oracle for base_era.
Era resolution excludes adjacent historical candidate · case 01
The decoded time state disagrees with the explicit regression oracle for candidates.
Era resolution excludes adjacent historical candidate · case 02
The decoded time state disagrees with the explicit regression oracle for candidates.
Era resolution excludes adjacent historical candidate · case 03
The decoded time state disagrees with the explicit regression oracle for candidates.
Era resolution excludes adjacent historical candidate · case 04
The decoded time state disagrees with the explicit regression oracle for candidates.
Era resolution excludes adjacent historical candidate · case 05
The decoded time state disagrees with the explicit regression oracle for candidates.
Era distance loses absolute value or discards era identity · case 01
The decoded time state disagrees with the explicit regression oracle for distances.
Era distance loses absolute value or discards era identity · case 02
The decoded time state disagrees with the explicit regression oracle for distances.
Era distance loses absolute value or discards era identity · case 03
The decoded time state disagrees with the explicit regression oracle for distances.
Era distance loses absolute value or discards era identity · case 04
The decoded time state disagrees with the explicit regression oracle for distances.
Era distance loses absolute value or discards era identity · case 05
The decoded time state disagrees with the explicit regression oracle for distances.
Era selection chooses farthest or central era unconditionally · case 01
The decoded time state disagrees with the explicit regression oracle for nearest.
Era selection chooses farthest or central era unconditionally · case 02
The decoded time state disagrees with the explicit regression oracle for nearest.
Era selection chooses farthest or central era unconditionally · case 03
The decoded time state disagrees with the explicit regression oracle for nearest.
Era selection chooses farthest or central era unconditionally · case 04
The decoded time state disagrees with the explicit regression oracle for nearest.
Era selection chooses farthest or central era unconditionally · case 05
The decoded time state disagrees with the explicit regression oracle for nearest.
Era tie is silently resolved to first or newest candidate · case 01
The decoded time state disagrees with the explicit regression oracle for winners.
Era tie is silently resolved to first or newest candidate · case 02
The decoded time state disagrees with the explicit regression oracle for winners.
Era tie is silently resolved to first or newest candidate · case 03
The decoded time state disagrees with the explicit regression oracle for winners.
Era tie is silently resolved to first or newest candidate · case 04
The decoded time state disagrees with the explicit regression oracle for winners.
Era tie is silently resolved to first or newest candidate · case 05
The decoded time state disagrees with the explicit regression oracle for winners.
Era reference uncertainty reaches a neighboring-era decision boundary · case 01
The decoded time state disagrees with the explicit regression oracle for ambiguous.
Era reference uncertainty reaches a neighboring-era decision boundary · case 02
The decoded time state disagrees with the explicit regression oracle for ambiguous.
Era reference uncertainty reaches a neighboring-era decision boundary · case 03
The decoded time state disagrees with the explicit regression oracle for ambiguous.
Era reference uncertainty reaches a neighboring-era decision boundary · case 04
The decoded time state disagrees with the explicit regression oracle for ambiguous.
Era reference uncertainty reaches a neighboring-era decision boundary · case 05
The decoded time state disagrees with the explicit regression oracle for ambiguous.
Era wire validation admits next week or next within-week cycle · case 01
The decoded time state disagrees with the explicit regression oracle for valid_fields.
Era wire validation admits next week or next within-week cycle · case 02
The decoded time state disagrees with the explicit regression oracle for valid_fields.
Era wire validation admits next week or next within-week cycle · case 03
The decoded time state disagrees with the explicit regression oracle for valid_fields.
Era wire validation admits next week or next within-week cycle · case 04
The decoded time state disagrees with the explicit regression oracle for valid_fields.
Era wire validation admits next week or next within-week cycle · case 05
The decoded time state disagrees with the explicit regression oracle for valid_fields.
Era resolver ignores trust radius or excludes exact radius boundary · case 01
The decoded time state disagrees with the explicit regression oracle for trusted.
Era resolver ignores trust radius or excludes exact radius boundary · case 02
The decoded time state disagrees with the explicit regression oracle for trusted.
Era resolver ignores trust radius or excludes exact radius boundary · case 03
The decoded time state disagrees with the explicit regression oracle for trusted.
Era resolver ignores trust radius or excludes exact radius boundary · case 04
The decoded time state disagrees with the explicit regression oracle for trusted.
Era resolver ignores trust radius or excludes exact radius boundary · case 05
The decoded time state disagrees with the explicit regression oracle for trusted.
Era admission omits ambiguity or reference trust gate · case 01
The decoded time state disagrees with the explicit regression oracle for chosen.
Era admission omits ambiguity or reference trust gate · case 02
The decoded time state disagrees with the explicit regression oracle for chosen.
Era admission omits ambiguity or reference trust gate · case 03
The decoded time state disagrees with the explicit regression oracle for chosen.
Era admission omits ambiguity or reference trust gate · case 04
The decoded time state disagrees with the explicit regression oracle for chosen.
Era admission omits ambiguity or reference trust gate · case 05
The decoded time state disagrees with the explicit regression oracle for chosen.
Resolved era coordinate fails to scale week or drops within-week tick · case 01
The decoded time state disagrees with the explicit regression oracle for absolute_tick.
Resolved era coordinate fails to scale week or drops within-week tick · case 02
The decoded time state disagrees with the explicit regression oracle for absolute_tick.
Resolved era coordinate fails to scale week or drops within-week tick · case 03
The decoded time state disagrees with the explicit regression oracle for absolute_tick.
Resolved era coordinate fails to scale week or drops within-week tick · case 04
The decoded time state disagrees with the explicit regression oracle for absolute_tick.
Resolved era coordinate fails to scale week or drops within-week tick · case 05
The decoded time state disagrees with the explicit regression oracle for absolute_tick.
Astronomical day boundary retains noon origin or shifts in wrong direction · case 01
The decoded time state disagrees with the explicit regression oracle for shifted.
Astronomical day boundary retains noon origin or shifts in wrong direction · case 02
The decoded time state disagrees with the explicit regression oracle for shifted.
Astronomical day boundary retains noon origin or shifts in wrong direction · case 03
The decoded time state disagrees with the explicit regression oracle for shifted.
Astronomical day boundary retains noon origin or shifts in wrong direction · case 04
The decoded time state disagrees with the explicit regression oracle for shifted.
Astronomical day boundary retains noon origin or shifts in wrong direction · case 05
The decoded time state disagrees with the explicit regression oracle for shifted.
Noon coordinate day extraction ignores half-day shift or double-carries exact midnight · case 01
The decoded time state disagrees with the explicit regression oracle for day.
Noon coordinate day extraction ignores half-day shift or double-carries exact midnight · case 02
The decoded time state disagrees with the explicit regression oracle for day.
Noon coordinate day extraction ignores half-day shift or double-carries exact midnight · case 03
The decoded time state disagrees with the explicit regression oracle for day.
Noon coordinate day extraction ignores half-day shift or double-carries exact midnight · case 04
The decoded time state disagrees with the explicit regression oracle for day.
Noon coordinate day extraction ignores half-day shift or double-carries exact midnight · case 05
The decoded time state disagrees with the explicit regression oracle for day.
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 ↗