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
Facet breadcrumbs retain ancestor order · case 01
Facet breadcrumbs retain ancestor order is violated by the widget projection.
Facet breadcrumbs retain ancestor order · case 02
Facet breadcrumbs retain ancestor order is violated by the widget projection.
Facet breadcrumbs retain ancestor order · case 03
Facet breadcrumbs retain ancestor order is violated by the widget projection.
Facet breadcrumbs retain ancestor order · case 04
Facet breadcrumbs retain ancestor order is violated by the widget projection.
Facet breadcrumbs retain ancestor order · case 05
Facet breadcrumbs retain ancestor order is violated by the widget projection.
Strict ancestor markers exclude self and partial segment prefixes · case 01
Strict ancestor markers exclude self and partial segment prefixes is violated by the widget projection.
Strict ancestor markers exclude self and partial segment prefixes · case 02
Strict ancestor markers exclude self and partial segment prefixes is violated by the widget projection.
Strict ancestor markers exclude self and partial segment prefixes · case 03
Strict ancestor markers exclude self and partial segment prefixes is violated by the widget projection.
Strict ancestor markers exclude self and partial segment prefixes · case 04
Strict ancestor markers exclude self and partial segment prefixes is violated by the widget projection.
Strict ancestor markers exclude self and partial segment prefixes · case 05
Strict ancestor markers exclude self and partial segment prefixes is violated by the widget projection.
Sibling scope requires equal parents and a different leaf · case 01
Sibling scope requires equal parents and a different leaf is violated by the widget projection.
Sibling scope requires equal parents and a different leaf · case 02
Sibling scope requires equal parents and a different leaf is violated by the widget projection.
Sibling scope requires equal parents and a different leaf · case 03
Sibling scope requires equal parents and a different leaf is violated by the widget projection.
Sibling scope requires equal parents and a different leaf · case 04
Sibling scope requires equal parents and a different leaf is violated by the widget projection.
Sibling scope requires equal parents and a different leaf · case 05
Sibling scope requires equal parents and a different leaf is violated by the widget projection.
Facet leaf labels show only the final segment and name the root · case 01
Facet leaf labels show only the final segment and name the root is violated by the widget projection.
Facet leaf labels show only the final segment and name the root · case 02
Facet leaf labels show only the final segment and name the root is violated by the widget projection.
Facet leaf labels show only the final segment and name the root · case 03
Facet leaf labels show only the final segment and name the root is violated by the widget projection.
Facet leaf labels show only the final segment and name the root · case 04
Facet leaf labels show only the final segment and name the root is violated by the widget projection.
Facet leaf labels show only the final segment and name the root · case 05
Facet leaf labels show only the final segment and name the root is violated by the widget projection.
Navigating up removes exactly the final hierarchy segment · case 01
Navigating up removes exactly the final hierarchy segment is violated by the widget projection.
Navigating up removes exactly the final hierarchy segment · case 02
Navigating up removes exactly the final hierarchy segment is violated by the widget projection.
Navigating up removes exactly the final hierarchy segment · case 03
Navigating up removes exactly the final hierarchy segment is violated by the widget projection.
Navigating up removes exactly the final hierarchy segment · case 04
Navigating up removes exactly the final hierarchy segment is violated by the widget projection.
Navigating up removes exactly the final hierarchy segment · case 05
Navigating up removes exactly the final hierarchy segment is violated by the widget projection.
Equal leaf captions do not merge different hierarchy paths · case 01
Equal leaf captions do not merge different hierarchy paths is violated by the widget projection.
Equal leaf captions do not merge different hierarchy paths · case 02
Equal leaf captions do not merge different hierarchy paths is violated by the widget projection.
Equal leaf captions do not merge different hierarchy paths · case 03
Equal leaf captions do not merge different hierarchy paths is violated by the widget projection.
Equal leaf captions do not merge different hierarchy paths · case 04
Equal leaf captions do not merge different hierarchy paths is violated by the widget projection.
Equal leaf captions do not merge different hierarchy paths · case 05
Equal leaf captions do not merge different hierarchy paths is violated by the widget projection.
Open lower endpoints never display a closed bracket · case 01
Open lower endpoints never display a closed bracket is violated by the widget projection.
Open lower endpoints never display a closed bracket · case 02
Open lower endpoints never display a closed bracket is violated by the widget projection.
Open lower endpoints never display a closed bracket · case 03
Open lower endpoints never display a closed bracket is violated by the widget projection.
Open lower endpoints never display a closed bracket · case 04
Open lower endpoints never display a closed bracket is violated by the widget projection.
Open lower endpoints never display a closed bracket · case 05
Open lower endpoints never display a closed bracket is violated by the widget projection.
Open upper endpoints never display a closed bracket · case 01
Open upper endpoints never display a closed bracket is violated by the widget projection.
Open upper endpoints never display a closed bracket · case 02
Open upper endpoints never display a closed bracket is violated by the widget projection.
Open upper endpoints never display a closed bracket · case 03
Open upper endpoints never display a closed bracket is violated by the widget projection.
Open upper endpoints never display a closed bracket · case 04
Open upper endpoints never display a closed bracket is violated by the widget projection.
Open upper endpoints never display a closed bracket · case 05
Open upper endpoints never display a closed bracket is violated by the widget projection.
Point intervals require both endpoints to include the point · case 01
Point intervals require both endpoints to include the point is violated by the widget projection.
Point intervals require both endpoints to include the point · case 02
Point intervals require both endpoints to include the point is violated by the widget projection.
Point intervals require both endpoints to include the point · case 03
Point intervals require both endpoints to include the point is violated by the widget projection.
Point intervals require both endpoints to include the point · case 04
Point intervals require both endpoints to include the point is violated by the widget projection.
Point intervals require both endpoints to include the point · case 05
Point intervals require both endpoints to include the point is violated by the widget projection.
Lower inclusion selects the correct serialized comparison operator · case 01
Lower inclusion selects the correct serialized comparison operator is violated by the widget projection.
Lower inclusion selects the correct serialized comparison operator · case 02
Lower inclusion selects the correct serialized comparison operator is violated by the widget projection.
Lower inclusion selects the correct serialized comparison operator · case 03
Lower inclusion selects the correct serialized comparison operator is violated by the widget projection.
Lower inclusion selects the correct serialized comparison operator · case 04
Lower inclusion selects the correct serialized comparison operator is violated by the widget projection.
Lower inclusion selects the correct serialized comparison operator · case 05
Lower inclusion selects the correct serialized comparison operator is violated by the widget projection.
Upper inclusion selects the correct serialized comparison operator · case 01
Upper inclusion selects the correct serialized comparison operator is violated by the widget projection.
Upper inclusion selects the correct serialized comparison operator · case 02
Upper inclusion selects the correct serialized comparison operator is violated by the widget projection.
Upper inclusion selects the correct serialized comparison operator · case 03
Upper inclusion selects the correct serialized comparison operator is violated by the widget projection.
Upper inclusion selects the correct serialized comparison operator · case 04
Upper inclusion selects the correct serialized comparison operator is violated by the widget projection.
Upper inclusion selects the correct serialized comparison operator · case 05
Upper inclusion selects the correct serialized comparison operator is violated by the widget projection.
Point shorthand appears only for a closed nonempty point range · case 01
Point shorthand appears only for a closed nonempty point range is violated by the widget projection.
Point shorthand appears only for a closed nonempty point range · case 02
Point shorthand appears only for a closed nonempty point range is violated by the widget projection.
Point shorthand appears only for a closed nonempty point range · case 03
Point shorthand appears only for a closed nonempty point range is violated by the widget projection.
Point shorthand appears only for a closed nonempty point range · case 04
Point shorthand appears only for a closed nonempty point range is violated by the widget projection.
Point shorthand appears only for a closed nonempty point range · case 05
Point shorthand appears only for a closed nonempty point range is violated by the widget projection.
Inclusive date selection serializes the following day boundary · case 01
Inclusive date selection serializes the following day boundary is violated by the widget projection.
Inclusive date selection serializes the following day boundary · case 02
Inclusive date selection serializes the following day boundary is violated by the widget projection.
Inclusive date selection serializes the following day boundary · case 03
Inclusive date selection serializes the following day boundary is violated by the widget projection.
Inclusive date selection serializes the following day boundary · case 04
Inclusive date selection serializes the following day boundary is violated by the widget projection.
Inclusive date selection serializes the following day boundary · case 05
Inclusive date selection serializes the following day boundary is violated by the widget projection.
Rolling date presets include the anchor day and honor live mode · case 01
Rolling date presets include the anchor day and honor live mode is violated by the widget projection.
Rolling date presets include the anchor day and honor live mode · case 02
Rolling date presets include the anchor day and honor live mode is violated by the widget projection.
Rolling date presets include the anchor day and honor live mode · case 03
Rolling date presets include the anchor day and honor live mode is violated by the widget projection.
Rolling date presets include the anchor day and honor live mode · case 04
Rolling date presets include the anchor day and honor live mode is violated by the widget projection.
Rolling date presets include the anchor day and honor live mode · case 05
Rolling date presets include the anchor day and honor live mode is violated by the widget projection.
Rolling presets serialize an exclusive end from the selected anchor · case 01
Rolling presets serialize an exclusive end from the selected anchor is violated by the widget projection.
Rolling presets serialize an exclusive end from the selected anchor · case 02
Rolling presets serialize an exclusive end from the selected anchor is violated by the widget projection.
Rolling presets serialize an exclusive end from the selected anchor · case 03
Rolling presets serialize an exclusive end from the selected anchor is violated by the widget projection.
Rolling presets serialize an exclusive end from the selected anchor · case 04
Rolling presets serialize an exclusive end from the selected anchor is violated by the widget projection.
Rolling presets serialize an exclusive end from the selected anchor · case 05
Rolling presets serialize an exclusive end from the selected anchor is violated by the widget projection.
Future-date warnings compare against today and permit today itself · case 01
Future-date warnings compare against today and permit today itself is violated by the widget projection.
Future-date warnings compare against today and permit today itself · case 02
Future-date warnings compare against today and permit today itself is violated by the widget projection.
Future-date warnings compare against today and permit today itself · case 03
Future-date warnings compare against today and permit today itself is violated by the widget projection.
Future-date warnings compare against today and permit today itself · case 04
Future-date warnings compare against today and permit today itself is violated by the widget projection.
Future-date warnings compare against today and permit today itself · case 05
Future-date warnings compare against today and permit today itself is violated by the widget projection.
Editing a custom endpoint detaches the rolling-preset identifier · case 01
Editing a custom endpoint detaches the rolling-preset identifier is violated by the widget projection.
Editing a custom endpoint detaches the rolling-preset identifier · case 02
Editing a custom endpoint detaches the rolling-preset identifier is violated by the widget projection.
Editing a custom endpoint detaches the rolling-preset identifier · case 03
Editing a custom endpoint detaches the rolling-preset identifier is violated by the widget projection.
Editing a custom endpoint detaches the rolling-preset identifier · case 04
Editing a custom endpoint detaches the rolling-preset identifier is violated by the widget projection.
Editing a custom endpoint detaches the rolling-preset identifier · case 05
Editing a custom endpoint detaches the rolling-preset identifier is violated by the widget projection.
Displayed date span includes both endpoint days without masking reversal · case 01
Displayed date span includes both endpoint days without masking reversal is violated by the widget projection.
Displayed date span includes both endpoint days without masking reversal · case 02
Displayed date span includes both endpoint days without masking reversal is violated by the widget projection.
Displayed date span includes both endpoint days without masking reversal · case 03
Displayed date span includes both endpoint days without masking reversal is violated by the widget projection.
Displayed date span includes both endpoint days without masking reversal · case 04
Displayed date span includes both endpoint days without masking reversal is violated by the widget projection.
Displayed date span includes both endpoint days without masking reversal · case 05
Displayed date span includes both endpoint days without masking reversal is violated by the widget projection.
Unit display divides stored bounds and preserves open endpoints · case 01
Unit display divides stored bounds and preserves open endpoints is violated by the widget projection.
Unit display divides stored bounds and preserves open endpoints · case 02
Unit display divides stored bounds and preserves open endpoints is violated by the widget projection.
Unit display divides stored bounds and preserves open endpoints · case 03
Unit display divides stored bounds and preserves open endpoints is violated by the widget projection.
Unit display divides stored bounds and preserves open endpoints · case 04
Unit display divides stored bounds and preserves open endpoints is violated by the widget projection.
Unit display divides stored bounds and preserves open endpoints · case 05
Unit display divides stored bounds and preserves open endpoints is violated by the widget projection.
Typed bounds convert from selected units to canonical storage · case 01
Typed bounds convert from selected units to canonical storage is violated by the widget projection.
Typed bounds convert from selected units to canonical storage · case 02
Typed bounds convert from selected units to canonical storage is violated by the widget projection.
Typed bounds convert from selected units to canonical storage · case 03
Typed bounds convert from selected units to canonical storage is violated by the widget projection.
Typed bounds convert from selected units to canonical storage · case 04
Typed bounds convert from selected units to canonical storage is violated by the widget projection.
Typed bounds convert from selected units to canonical storage · case 05
Typed bounds convert from selected units to canonical storage is violated by the widget projection.
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 ↗