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
Switching units retains the canonical filter bound · case 01
Switching units retains the canonical filter bound is violated by the widget projection.
Switching units retains the canonical filter bound · case 02
Switching units retains the canonical filter bound is violated by the widget projection.
Switching units retains the canonical filter bound · case 03
Switching units retains the canonical filter bound is violated by the widget projection.
Switching units retains the canonical filter bound · case 04
Switching units retains the canonical filter bound is violated by the widget projection.
Switching units retains the canonical filter bound · case 05
Switching units retains the canonical filter bound is violated by the widget projection.
A nonintegral display bound is marked instead of silently truncated · case 01
A nonintegral display bound is marked instead of silently truncated is violated by the widget projection.
A nonintegral display bound is marked instead of silently truncated · case 02
A nonintegral display bound is marked instead of silently truncated is violated by the widget projection.
A nonintegral display bound is marked instead of silently truncated · case 03
A nonintegral display bound is marked instead of silently truncated is violated by the widget projection.
A nonintegral display bound is marked instead of silently truncated · case 04
A nonintegral display bound is marked instead of silently truncated is violated by the widget projection.
A nonintegral display bound is marked instead of silently truncated · case 05
A nonintegral display bound is marked instead of silently truncated is violated by the widget projection.
Editor step size converts to canonical unit increments · case 01
Editor step size converts to canonical unit increments is violated by the widget projection.
Editor step size converts to canonical unit increments · case 02
Editor step size converts to canonical unit increments is violated by the widget projection.
Editor step size converts to canonical unit increments · case 03
Editor step size converts to canonical unit increments is violated by the widget projection.
Editor step size converts to canonical unit increments · case 04
Editor step size converts to canonical unit increments is violated by the widget projection.
Editor step size converts to canonical unit increments · case 05
Editor step size converts to canonical unit increments is violated by the widget projection.
Zero bounds display numerically instead of as an open-bound placeholder · case 01
Zero bounds display numerically instead of as an open-bound placeholder is violated by the widget projection.
Zero bounds display numerically instead of as an open-bound placeholder · case 02
Zero bounds display numerically instead of as an open-bound placeholder is violated by the widget projection.
Zero bounds display numerically instead of as an open-bound placeholder · case 03
Zero bounds display numerically instead of as an open-bound placeholder is violated by the widget projection.
Zero bounds display numerically instead of as an open-bound placeholder · case 04
Zero bounds display numerically instead of as an open-bound placeholder is violated by the widget projection.
Zero bounds display numerically instead of as an open-bound placeholder · case 05
Zero bounds display numerically instead of as an open-bound placeholder is violated by the widget projection.
Outer whitespace is trimmed without joining internal digits · case 01
Outer whitespace is trimmed without joining internal digits is violated by the widget projection.
Outer whitespace is trimmed without joining internal digits · case 02
Outer whitespace is trimmed without joining internal digits is violated by the widget projection.
Outer whitespace is trimmed without joining internal digits · case 03
Outer whitespace is trimmed without joining internal digits is violated by the widget projection.
Outer whitespace is trimmed without joining internal digits · case 04
Outer whitespace is trimmed without joining internal digits is violated by the widget projection.
Outer whitespace is trimmed without joining internal digits · case 05
Outer whitespace is trimmed without joining internal digits is violated by the widget projection.
Complete numeric drafts allow one ASCII sign and ASCII digits only · case 01
Complete numeric drafts allow one ASCII sign and ASCII digits only is violated by the widget projection.
Complete numeric drafts allow one ASCII sign and ASCII digits only · case 02
Complete numeric drafts allow one ASCII sign and ASCII digits only is violated by the widget projection.
Complete numeric drafts allow one ASCII sign and ASCII digits only · case 03
Complete numeric drafts allow one ASCII sign and ASCII digits only is violated by the widget projection.
Complete numeric drafts allow one ASCII sign and ASCII digits only · case 04
Complete numeric drafts allow one ASCII sign and ASCII digits only is violated by the widget projection.
Complete numeric drafts allow one ASCII sign and ASCII digits only · case 05
Complete numeric drafts allow one ASCII sign and ASCII digits only is violated by the widget projection.
A lone trimmed sign is an incomplete draft rather than a general invalid value · case 01
A lone trimmed sign is an incomplete draft rather than a general invalid value is violated by the widget projection.
A lone trimmed sign is an incomplete draft rather than a general invalid value · case 02
A lone trimmed sign is an incomplete draft rather than a general invalid value is violated by the widget projection.
A lone trimmed sign is an incomplete draft rather than a general invalid value · case 03
A lone trimmed sign is an incomplete draft rather than a general invalid value is violated by the widget projection.
A lone trimmed sign is an incomplete draft rather than a general invalid value · case 04
A lone trimmed sign is an incomplete draft rather than a general invalid value is violated by the widget projection.
A lone trimmed sign is an incomplete draft rather than a general invalid value · case 05
A lone trimmed sign is an incomplete draft rather than a general invalid value is violated by the widget projection.
Whitespace-only bounds become open while zero remains a bound · case 01
Whitespace-only bounds become open while zero remains a bound is violated by the widget projection.
Whitespace-only bounds become open while zero remains a bound · case 02
Whitespace-only bounds become open while zero remains a bound is violated by the widget projection.
Whitespace-only bounds become open while zero remains a bound · case 03
Whitespace-only bounds become open while zero remains a bound is violated by the widget projection.
Whitespace-only bounds become open while zero remains a bound · case 04
Whitespace-only bounds become open while zero remains a bound is violated by the widget projection.
Whitespace-only bounds become open while zero remains a bound · case 05
Whitespace-only bounds become open while zero remains a bound is violated by the widget projection.
Integer-only facet inputs flag all decimal points specifically · case 01
Integer-only facet inputs flag all decimal points specifically is violated by the widget projection.
Integer-only facet inputs flag all decimal points specifically · case 02
Integer-only facet inputs flag all decimal points specifically is violated by the widget projection.
Integer-only facet inputs flag all decimal points specifically · case 03
Integer-only facet inputs flag all decimal points specifically is violated by the widget projection.
Integer-only facet inputs flag all decimal points specifically · case 04
Integer-only facet inputs flag all decimal points specifically is violated by the widget projection.
Integer-only facet inputs flag all decimal points specifically · case 05
Integer-only facet inputs flag all decimal points specifically is violated by the widget projection.
Exponent syntax is rejected even with uppercase exponent markers · case 01
Exponent syntax is rejected even with uppercase exponent markers is violated by the widget projection.
Exponent syntax is rejected even with uppercase exponent markers · case 02
Exponent syntax is rejected even with uppercase exponent markers is violated by the widget projection.
Exponent syntax is rejected even with uppercase exponent markers · case 03
Exponent syntax is rejected even with uppercase exponent markers is violated by the widget projection.
Exponent syntax is rejected even with uppercase exponent markers · case 04
Exponent syntax is rejected even with uppercase exponent markers is violated by the widget projection.
Exponent syntax is rejected even with uppercase exponent markers · case 05
Exponent syntax is rejected even with uppercase exponent markers is violated by the widget projection.
Only an unescaped leading minus selects exclusion · case 01
Only an unescaped leading minus selects exclusion is violated by the widget projection.
Only an unescaped leading minus selects exclusion · case 02
Only an unescaped leading minus selects exclusion is violated by the widget projection.
Only an unescaped leading minus selects exclusion · case 03
Only an unescaped leading minus selects exclusion is violated by the widget projection.
Only an unescaped leading minus selects exclusion · case 04
Only an unescaped leading minus selects exclusion is violated by the widget projection.
Only an unescaped leading minus selects exclusion · case 05
Only an unescaped leading minus selects exclusion is violated by the widget projection.
Polarity removal consumes one unescaped prefix only · case 01
Polarity removal consumes one unescaped prefix only is violated by the widget projection.
Polarity removal consumes one unescaped prefix only · case 02
Polarity removal consumes one unescaped prefix only is violated by the widget projection.
Polarity removal consumes one unescaped prefix only · case 03
Polarity removal consumes one unescaped prefix only is violated by the widget projection.
Polarity removal consumes one unescaped prefix only · case 04
Polarity removal consumes one unescaped prefix only is violated by the widget projection.
Polarity removal consumes one unescaped prefix only · case 05
Polarity removal consumes one unescaped prefix only is violated by the widget projection.
Token commitment waits for closed quotes and completed composition · case 01
Token commitment waits for closed quotes and completed composition is violated by the widget projection.
Token commitment waits for closed quotes and completed composition · case 02
Token commitment waits for closed quotes and completed composition is violated by the widget projection.
Token commitment waits for closed quotes and completed composition · case 03
Token commitment waits for closed quotes and completed composition is violated by the widget projection.
Token commitment waits for closed quotes and completed composition · case 04
Token commitment waits for closed quotes and completed composition is violated by the widget projection.
Token commitment waits for closed quotes and completed composition · case 05
Token commitment waits for closed quotes and completed composition is violated by the widget projection.
Escaped or quoted delimiters remain token content · case 01
Escaped or quoted delimiters remain token content is violated by the widget projection.
Escaped or quoted delimiters remain token content · case 02
Escaped or quoted delimiters remain token content is violated by the widget projection.
Escaped or quoted delimiters remain token content · case 03
Escaped or quoted delimiters remain token content is violated by the widget projection.
Escaped or quoted delimiters remain token content · case 04
Escaped or quoted delimiters remain token content is violated by the widget projection.
Escaped or quoted delimiters remain token content · case 05
Escaped or quoted delimiters remain token content is violated by the widget projection.
Open phrase quotes produce a targeted incomplete-token hint · case 01
Open phrase quotes produce a targeted incomplete-token hint is violated by the widget projection.
Open phrase quotes produce a targeted incomplete-token hint · case 02
Open phrase quotes produce a targeted incomplete-token hint is violated by the widget projection.
Open phrase quotes produce a targeted incomplete-token hint · case 03
Open phrase quotes produce a targeted incomplete-token hint is violated by the widget projection.
Open phrase quotes produce a targeted incomplete-token hint · case 04
Open phrase quotes produce a targeted incomplete-token hint is violated by the widget projection.
Open phrase quotes produce a targeted incomplete-token hint · case 05
Open phrase quotes produce a targeted incomplete-token hint is violated by the widget projection.
A polarity-only token is incomplete but escaped minus is literal · case 01
A polarity-only token is incomplete but escaped minus is literal is violated by the widget projection.
A polarity-only token is incomplete but escaped minus is literal · case 02
A polarity-only token is incomplete but escaped minus is literal is violated by the widget projection.
A polarity-only token is incomplete but escaped minus is literal · case 03
A polarity-only token is incomplete but escaped minus is literal is violated by the widget projection.
A polarity-only token is incomplete but escaped minus is literal · case 04
A polarity-only token is incomplete but escaped minus is literal is violated by the widget projection.
A polarity-only token is incomplete but escaped minus is literal · case 05
A polarity-only token is incomplete but escaped minus is literal is violated by the widget projection.
Operator menus intersect field support with globally enabled operations · case 01
Operator menus intersect field support with globally enabled operations is violated by the widget projection.
Operator menus intersect field support with globally enabled operations · case 02
Operator menus intersect field support with globally enabled operations is violated by the widget projection.
Operator menus intersect field support with globally enabled operations · case 03
Operator menus intersect field support with globally enabled operations is violated by the widget projection.
Operator menus intersect field support with globally enabled operations · case 04
Operator menus intersect field support with globally enabled operations is violated by the widget projection.
Operator menus intersect field support with globally enabled operations · case 05
Operator menus intersect field support with globally enabled operations is violated by the widget projection.
Changing fields retains a compatible operator and resets an incompatible one · case 01
Changing fields retains a compatible operator and resets an incompatible one is violated by the widget projection.
Changing fields retains a compatible operator and resets an incompatible one · case 02
Changing fields retains a compatible operator and resets an incompatible one is violated by the widget projection.
Changing fields retains a compatible operator and resets an incompatible one · case 03
Changing fields retains a compatible operator and resets an incompatible one is violated by the widget projection.
Changing fields retains a compatible operator and resets an incompatible one · case 04
Changing fields retains a compatible operator and resets an incompatible one is violated by the widget projection.
Changing fields retains a compatible operator and resets an incompatible one · case 05
Changing fields retains a compatible operator and resets an incompatible one is violated by the widget projection.
Field changes clear operands only when their value type changes · case 01
Field changes clear operands only when their value type changes is violated by the widget projection.
Field changes clear operands only when their value type changes · case 02
Field changes clear operands only when their value type changes is violated by the widget projection.
Field changes clear operands only when their value type changes · case 03
Field changes clear operands only when their value type changes is violated by the widget projection.
Field changes clear operands only when their value type changes · case 04
Field changes clear operands only when their value type changes is violated by the widget projection.
Field changes clear operands only when their value type changes · case 05
Field changes clear operands only when their value type changes is violated by the widget projection.
Removed schema fields show an unresolved-row error · case 01
Removed schema fields show an unresolved-row error is violated by the widget projection.
Removed schema fields show an unresolved-row error · case 02
Removed schema fields show an unresolved-row error is violated by the widget projection.
Removed schema fields show an unresolved-row error · case 03
Removed schema fields show an unresolved-row error is violated by the widget projection.
Removed schema fields show an unresolved-row error · case 04
Removed schema fields show an unresolved-row error is violated by the widget projection.
Removed schema fields show an unresolved-row error · case 05
Removed schema fields show an unresolved-row error 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 ↗