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
Backward recipe step scheduler: midnight wraparound · case 01
A marinade starting the previous evening prints "-3:00".
Backward recipe step scheduler: midnight wraparound · case 02
A marinade starting the previous evening prints "-3:00".
Backward recipe step scheduler: midnight wraparound · case 03
A marinade starting the previous evening prints "-3:00".
Backward recipe step scheduler: midnight wraparound · case 04
A marinade starting the previous evening prints "-3:00".
Backward recipe step scheduler: midnight wraparound · case 05
A marinade starting the previous evening prints "-3:00".
Backward recipe step scheduler: chronological ordering · case 01
The previous-evening marinade is listed after the morning steps.
Backward recipe step scheduler: chronological ordering · case 02
The previous-evening marinade is listed after the morning steps.
Backward recipe step scheduler: chronological ordering · case 03
The previous-evening marinade is listed after the morning steps.
Backward recipe step scheduler: chronological ordering · case 04
The previous-evening marinade is listed after the morning steps.
Backward recipe step scheduler: chronological ordering · case 05
The previous-evening marinade is listed after the morning steps.
Backward recipe step scheduler: unknown dependency check · case 01
A step depending on a missing "shop" step is scheduled as if the dependency were satisfied.
Backward recipe step scheduler: unknown dependency check · case 02
A step depending on a missing "shop" step is scheduled as if the dependency were satisfied.
Backward recipe step scheduler: unknown dependency check · case 03
A step depending on a missing "shop" step is scheduled as if the dependency were satisfied.
Backward recipe step scheduler: unknown dependency check · case 04
A step depending on a missing "shop" step is scheduled as if the dependency were satisfied.
Backward recipe step scheduler: unknown dependency check · case 05
A step depending on a missing "shop" step is scheduled as if the dependency were satisfied.
Equilibrium brine calculator: dry brine mass basis · case 01
A dry brine with leftover water data doubles the salt.
Equilibrium brine calculator: dry brine mass basis · case 02
A dry brine with leftover water data doubles the salt.
Equilibrium brine calculator: dry brine mass basis · case 03
A dry brine with leftover water data doubles the salt.
Equilibrium brine calculator: dry brine mass basis · case 04
A dry brine with leftover water data doubles the salt.
Equilibrium brine calculator: dry brine mass basis · case 05
A dry brine with leftover water data doubles the salt.
Equilibrium brine calculator: volume from weight · case 01
20 g of salt reads as 120 teaspoons.
Equilibrium brine calculator: volume from weight · case 02
20 g of salt reads as 120 teaspoons.
Equilibrium brine calculator: volume from weight · case 03
20 g of salt reads as 120 teaspoons.
Equilibrium brine calculator: volume from weight · case 04
20 g of salt reads as 120 teaspoons.
Equilibrium brine calculator: volume from weight · case 05
20 g of salt reads as 120 teaspoons.
Equilibrium brine calculator: sodium mass fraction · case 01
Sodium is reported as the full salt mass in mg.
Equilibrium brine calculator: sodium mass fraction · case 02
Sodium is reported as the full salt mass in mg.
Equilibrium brine calculator: sodium mass fraction · case 03
Sodium is reported as the full salt mass in mg.
Equilibrium brine calculator: sodium mass fraction · case 04
Sodium is reported as the full salt mass in mg.
Equilibrium brine calculator: sodium mass fraction · case 05
Sodium is reported as the full salt mass in mg.
Equilibrium brine calculator: equilibrium sodium basis · case 01
Wet-brined meat shows twice its equilibrium sodium.
Equilibrium brine calculator: equilibrium sodium basis · case 02
Wet-brined meat shows twice its equilibrium sodium.
Equilibrium brine calculator: equilibrium sodium basis · case 03
Wet-brined meat shows twice its equilibrium sodium.
Equilibrium brine calculator: equilibrium sodium basis · case 04
Wet-brined meat shows twice its equilibrium sodium.
Equilibrium brine calculator: equilibrium sodium basis · case 05
Wet-brined meat shows twice its equilibrium sodium.
Equilibrium brine calculator: quarter teaspoon rounding · case 01
1.6 tsp prints 1.75 because quarters always round up.
Equilibrium brine calculator: quarter teaspoon rounding · case 02
1.6 tsp prints 1.75 because quarters always round up.
Equilibrium brine calculator: quarter teaspoon rounding · case 03
1.6 tsp prints 1.75 because quarters always round up.
Equilibrium brine calculator: quarter teaspoon rounding · case 04
1.6 tsp prints 1.75 because quarters always round up.
Equilibrium brine calculator: quarter teaspoon rounding · case 05
1.6 tsp prints 1.75 because quarters always round up.
Gauge-based cast-on calculator: ease sign · case 01
A sweater with 10 cm positive ease comes out 10 cm narrower than the body.
Gauge-based cast-on calculator: ease sign · case 02
A sweater with 10 cm positive ease comes out 10 cm narrower than the body.
Gauge-based cast-on calculator: ease sign · case 03
A sweater with 10 cm positive ease comes out 10 cm narrower than the body.
Gauge-based cast-on calculator: ease sign · case 04
A sweater with 10 cm positive ease comes out 10 cm narrower than the body.
Gauge-based cast-on calculator: ease sign · case 05
A sweater with 10 cm positive ease comes out 10 cm narrower than the body.
Gauge-based cast-on calculator: gauge per 10 cm · case 01
A 50 cm panel at 20 stitches per 10 cm asks for 1000 stitches.
Gauge-based cast-on calculator: gauge per 10 cm · case 02
A 50 cm panel at 20 stitches per 10 cm asks for 1000 stitches.
Gauge-based cast-on calculator: gauge per 10 cm · case 03
A 50 cm panel at 20 stitches per 10 cm asks for 1000 stitches.
Gauge-based cast-on calculator: gauge per 10 cm · case 04
A 50 cm panel at 20 stitches per 10 cm asks for 1000 stitches.
Gauge-based cast-on calculator: gauge per 10 cm · case 05
A 50 cm panel at 20 stitches per 10 cm asks for 1000 stitches.
Gauge-based cast-on calculator: repeat rounding · case 01
A 22-stitch need in a 4-stitch rib casts on 20 instead of 24 whenever the raw count is past half a repeat.
Gauge-based cast-on calculator: repeat rounding · case 02
A 22-stitch need in a 4-stitch rib casts on 20 instead of 24 whenever the raw count is past half a repeat.
Gauge-based cast-on calculator: repeat rounding · case 03
A 22-stitch need in a 4-stitch rib casts on 20 instead of 24 whenever the raw count is past half a repeat.
Gauge-based cast-on calculator: repeat rounding · case 04
A 22-stitch need in a 4-stitch rib casts on 20 instead of 24 whenever the raw count is past half a repeat.
Gauge-based cast-on calculator: repeat rounding · case 05
A 22-stitch need in a 4-stitch rib casts on 20 instead of 24 whenever the raw count is past half a repeat.
Gauge-based cast-on calculator: minimum one repeat · case 01
A narrow strap in an 8-stitch cable casts on only selvedge stitches.
Gauge-based cast-on calculator: minimum one repeat · case 02
A narrow strap in an 8-stitch cable casts on only selvedge stitches.
Gauge-based cast-on calculator: minimum one repeat · case 03
A narrow strap in an 8-stitch cable casts on only selvedge stitches.
Gauge-based cast-on calculator: minimum one repeat · case 04
A narrow strap in an 8-stitch cable casts on only selvedge stitches.
Gauge-based cast-on calculator: minimum one repeat · case 05
A narrow strap in an 8-stitch cable casts on only selvedge stitches.
Gauge-based cast-on calculator: actual width basis · case 01
The reported finished width includes selvedge stitches that disappear into seams.
Gauge-based cast-on calculator: actual width basis · case 02
The reported finished width includes selvedge stitches that disappear into seams.
Gauge-based cast-on calculator: actual width basis · case 03
The reported finished width includes selvedge stitches that disappear into seams.
Gauge-based cast-on calculator: actual width basis · case 04
The reported finished width includes selvedge stitches that disappear into seams.
Gauge-based cast-on calculator: actual width basis · case 05
The reported finished width includes selvedge stitches that disappear into seams.
Evenly spaced increase row: flat segment count · case 01
A flat row ends with an increase in the selvedge stitch.
Evenly spaced increase row: flat segment count · case 02
A flat row ends with an increase in the selvedge stitch.
Evenly spaced increase row: flat segment count · case 03
A flat row ends with an increase in the selvedge stitch.
Evenly spaced increase row: flat segment count · case 04
A flat row ends with an increase in the selvedge stitch.
Evenly spaced increase row: flat segment count · case 05
A flat row ends with an increase in the selvedge stitch.
Evenly spaced increase row: symmetric remainder · case 01
Leftover stitches pile up on the right edge of a flat row, making the increases lopsided.
Evenly spaced increase row: symmetric remainder · case 02
Leftover stitches pile up on the right edge of a flat row, making the increases lopsided.
Evenly spaced increase row: symmetric remainder · case 03
Leftover stitches pile up on the right edge of a flat row, making the increases lopsided.
Evenly spaced increase row: symmetric remainder · case 04
Leftover stitches pile up on the right edge of a flat row, making the increases lopsided.
Evenly spaced increase row: symmetric remainder · case 05
Leftover stitches pile up on the right edge of a flat row, making the increases lopsided.
Evenly spaced increase row: trailing increase · case 01
A round of 8 increases only adds 7 stitches.
Evenly spaced increase row: trailing increase · case 02
A round of 8 increases only adds 7 stitches.
Evenly spaced increase row: trailing increase · case 03
A round of 8 increases only adds 7 stitches.
Evenly spaced increase row: trailing increase · case 04
A round of 8 increases only adds 7 stitches.
Evenly spaced increase row: trailing increase · case 05
A round of 8 increases only adds 7 stitches.
Evenly spaced increase row: segment capacity · case 01
Ten flat increases over ten stitches produce a "k0" segment.
Evenly spaced increase row: segment capacity · case 02
Ten flat increases over ten stitches produce a "k0" segment.
Evenly spaced increase row: segment capacity · case 03
Ten flat increases over ten stitches produce a "k0" segment.
Evenly spaced increase row: segment capacity · case 04
Ten flat increases over ten stitches produce a "k0" segment.
Evenly spaced increase row: segment capacity · case 05
Ten flat increases over ten stitches produce a "k0" segment.
Sleeve taper decrease schedule: odd difference test · case 01
Going from 53 to 48 stitches is accepted and one stitch vanishes.
Sleeve taper decrease schedule: odd difference test · case 02
Going from 53 to 48 stitches is accepted and one stitch vanishes.
Sleeve taper decrease schedule: odd difference test · case 03
Going from 53 to 48 stitches is accepted and one stitch vanishes.
Sleeve taper decrease schedule: odd difference test · case 04
Going from 53 to 48 stitches is accepted and one stitch vanishes.
Sleeve taper decrease schedule: odd difference test · case 05
Going from 53 to 48 stitches is accepted and one stitch vanishes.
Sleeve taper decrease schedule: decrease pair count · case 01
A 16-stitch taper is scheduled as 16 decrease rows, removing 32 stitches.
Sleeve taper decrease schedule: decrease pair count · case 02
A 16-stitch taper is scheduled as 16 decrease rows, removing 32 stitches.
Sleeve taper decrease schedule: decrease pair count · case 03
A 16-stitch taper is scheduled as 16 decrease rows, removing 32 stitches.
Sleeve taper decrease schedule: decrease pair count · case 04
A 16-stitch taper is scheduled as 16 decrease rows, removing 32 stitches.
Sleeve taper decrease schedule: decrease pair count · case 05
A 16-stitch taper is scheduled as 16 decrease rows, removing 32 stitches.
Sleeve taper decrease schedule: base interval · case 01
A 90-row taper with 8 decreases plans intervals that overrun the sleeve length.
Sleeve taper decrease schedule: base interval · case 02
A 90-row taper with 8 decreases plans intervals that overrun the sleeve length.
Sleeve taper decrease schedule: base interval · case 03
A 90-row taper with 8 decreases plans intervals that overrun the sleeve length.
Sleeve taper decrease schedule: base interval · case 04
A 90-row taper with 8 decreases plans intervals that overrun the sleeve length.
Sleeve taper decrease schedule: base interval · case 05
A 90-row taper with 8 decreases plans intervals that overrun the sleeve length.
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 ↗