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
Unique index conflicts: Conflates duplicate-key detection with distinct payload count · case 01
The query violates its result contract: conflates duplicate-key detection with distinct payload count.
Unique index conflicts: Conflates duplicate-key detection with distinct payload count · case 02
The query violates its result contract: conflates duplicate-key detection with distinct payload count.
Unique index conflicts: Conflates duplicate-key detection with distinct payload count · case 03
The query violates its result contract: conflates duplicate-key detection with distinct payload count.
Unique index conflicts: Conflates duplicate-key detection with distinct payload count · case 04
The query violates its result contract: conflates duplicate-key detection with distinct payload count.
Unique index conflicts: Conflates duplicate-key detection with distinct payload count · case 05
The query violates its result contract: conflates duplicate-key detection with distinct payload count.
Unique index conflicts: Flags even a single occurrence as a conflict · case 01
The query violates its result contract: flags even a single occurrence as a conflict.
Unique index conflicts: Flags even a single occurrence as a conflict · case 02
The query violates its result contract: flags even a single occurrence as a conflict.
Unique index conflicts: Flags even a single occurrence as a conflict · case 03
The query violates its result contract: flags even a single occurrence as a conflict.
Unique index conflicts: Flags even a single occurrence as a conflict · case 04
The query violates its result contract: flags even a single occurrence as a conflict.
Unique index conflicts: Flags even a single occurrence as a conflict · case 05
The query violates its result contract: flags even a single occurrence as a conflict.
Unique index conflicts: Misses the first two-row uniqueness violation · case 01
The query violates its result contract: misses the first two-row uniqueness violation.
Unique index conflicts: Misses the first two-row uniqueness violation · case 02
The query violates its result contract: misses the first two-row uniqueness violation.
Unique index conflicts: Misses the first two-row uniqueness violation · case 03
The query violates its result contract: misses the first two-row uniqueness violation.
Unique index conflicts: Misses the first two-row uniqueness violation · case 04
The query violates its result contract: misses the first two-row uniqueness violation.
Unique index conflicts: Misses the first two-row uniqueness violation · case 05
The query violates its result contract: misses the first two-row uniqueness violation.
Composite index conflicts: Forgets NULL exemption in the first component · case 01
The query violates its result contract: forgets null exemption in the first component.
Composite index conflicts: Forgets NULL exemption in the first component · case 02
The query violates its result contract: forgets null exemption in the first component.
Composite index conflicts: Forgets NULL exemption in the first component · case 03
The query violates its result contract: forgets null exemption in the first component.
Composite index conflicts: Forgets NULL exemption in the first component · case 04
The query violates its result contract: forgets null exemption in the first component.
Composite index conflicts: Forgets NULL exemption in the first component · case 05
The query violates its result contract: forgets null exemption in the first component.
Composite index conflicts: Adds row identity to the unique key and hides every collision · case 01
The query violates its result contract: adds row identity to the unique key and hides every collision.
Composite index conflicts: Adds row identity to the unique key and hides every collision · case 02
The query violates its result contract: adds row identity to the unique key and hides every collision.
Composite index conflicts: Adds row identity to the unique key and hides every collision · case 03
The query violates its result contract: adds row identity to the unique key and hides every collision.
Composite index conflicts: Adds row identity to the unique key and hides every collision · case 04
The query violates its result contract: adds row identity to the unique key and hides every collision.
Composite index conflicts: Adds row identity to the unique key and hides every collision · case 05
The query violates its result contract: adds row identity to the unique key and hides every collision.
Composite index conflicts: Checks uniqueness only for true flags although the index is unconditional · case 01
The query violates its result contract: checks uniqueness only for true flags although the index is unconditional.
Composite index conflicts: Checks uniqueness only for true flags although the index is unconditional · case 02
The query violates its result contract: checks uniqueness only for true flags although the index is unconditional.
Composite index conflicts: Checks uniqueness only for true flags although the index is unconditional · case 03
The query violates its result contract: checks uniqueness only for true flags although the index is unconditional.
Composite index conflicts: Checks uniqueness only for true flags although the index is unconditional · case 04
The query violates its result contract: checks uniqueness only for true flags although the index is unconditional.
Composite index conflicts: Checks uniqueness only for true flags although the index is unconditional · case 05
The query violates its result contract: checks uniqueness only for true flags although the index is unconditional.
Partial index conflicts: Counts rows excluded from the partial index · case 01
The query violates its result contract: counts rows excluded from the partial index.
Partial index conflicts: Counts rows excluded from the partial index · case 02
The query violates its result contract: counts rows excluded from the partial index.
Partial index conflicts: Counts rows excluded from the partial index · case 03
The query violates its result contract: counts rows excluded from the partial index.
Partial index conflicts: Counts rows excluded from the partial index · case 04
The query violates its result contract: counts rows excluded from the partial index.
Partial index conflicts: Counts rows excluded from the partial index · case 05
The query violates its result contract: counts rows excluded from the partial index.
Partial index conflicts: Indexes known false rows along with true rows · case 01
The query violates its result contract: indexes known false rows along with true rows.
Partial index conflicts: Indexes known false rows along with true rows · case 02
The query violates its result contract: indexes known false rows along with true rows.
Partial index conflicts: Indexes known false rows along with true rows · case 03
The query violates its result contract: indexes known false rows along with true rows.
Partial index conflicts: Indexes known false rows along with true rows · case 04
The query violates its result contract: indexes known false rows along with true rows.
Partial index conflicts: Indexes known false rows along with true rows · case 05
The query violates its result contract: indexes known false rows along with true rows.
Partial index conflicts: Excludes non-one true flags from the index · case 01
The query violates its result contract: excludes non-one true flags from the index.
Partial index conflicts: Excludes non-one true flags from the index · case 02
The query violates its result contract: excludes non-one true flags from the index.
Partial index conflicts: Excludes non-one true flags from the index · case 03
The query violates its result contract: excludes non-one true flags from the index.
Partial index conflicts: Excludes non-one true flags from the index · case 04
The query violates its result contract: excludes non-one true flags from the index.
Partial index conflicts: Excludes non-one true flags from the index · case 05
The query violates its result contract: excludes non-one true flags from the index.
Partial index conflicts: Applies the partial predicate after counting all key occurrences · case 01
The query violates its result contract: applies the partial predicate after counting all key occurrences.
Partial index conflicts: Applies the partial predicate after counting all key occurrences · case 02
The query violates its result contract: applies the partial predicate after counting all key occurrences.
Partial index conflicts: Applies the partial predicate after counting all key occurrences · case 03
The query violates its result contract: applies the partial predicate after counting all key occurrences.
Partial index conflicts: Applies the partial predicate after counting all key occurrences · case 04
The query violates its result contract: applies the partial predicate after counting all key occurrences.
Partial index conflicts: Applies the partial predicate after counting all key occurrences · case 05
The query violates its result contract: applies the partial predicate after counting all key occurrences.
Partial index conflicts: Includes unknown flags through a default true predicate · case 01
The query violates its result contract: includes unknown flags through a default true predicate.
Partial index conflicts: Includes unknown flags through a default true predicate · case 02
The query violates its result contract: includes unknown flags through a default true predicate.
Partial index conflicts: Includes unknown flags through a default true predicate · case 03
The query violates its result contract: includes unknown flags through a default true predicate.
Partial index conflicts: Includes unknown flags through a default true predicate · case 04
The query violates its result contract: includes unknown flags through a default true predicate.
Partial index conflicts: Includes unknown flags through a default true predicate · case 05
The query violates its result contract: includes unknown flags through a default true predicate.
Expression index conflicts: Groups raw keys although the index normalizes them · case 01
The query violates its result contract: groups raw keys although the index normalizes them.
Expression index conflicts: Groups raw keys although the index normalizes them · case 02
The query violates its result contract: groups raw keys although the index normalizes them.
Expression index conflicts: Groups raw keys although the index normalizes them · case 03
The query violates its result contract: groups raw keys although the index normalizes them.
Expression index conflicts: Groups raw keys although the index normalizes them · case 04
The query violates its result contract: groups raw keys although the index normalizes them.
Expression index conflicts: Groups raw keys although the index normalizes them · case 05
The query violates its result contract: groups raw keys although the index normalizes them.
Expression index conflicts: Adds trimming absent from the index expression · case 01
The query violates its result contract: adds trimming absent from the index expression.
Expression index conflicts: Adds trimming absent from the index expression · case 02
The query violates its result contract: adds trimming absent from the index expression.
Expression index conflicts: Adds trimming absent from the index expression · case 03
The query violates its result contract: adds trimming absent from the index expression.
Expression index conflicts: Adds trimming absent from the index expression · case 04
The query violates its result contract: adds trimming absent from the index expression.
Expression index conflicts: Adds trimming absent from the index expression · case 05
The query violates its result contract: adds trimming absent from the index expression.
Expression index conflicts: Reports uppercase index keys instead of normalized stored keys · case 01
The query violates its result contract: reports uppercase index keys instead of normalized stored keys.
Expression index conflicts: Reports uppercase index keys instead of normalized stored keys · case 02
The query violates its result contract: reports uppercase index keys instead of normalized stored keys.
Expression index conflicts: Reports uppercase index keys instead of normalized stored keys · case 03
The query violates its result contract: reports uppercase index keys instead of normalized stored keys.
Expression index conflicts: Reports uppercase index keys instead of normalized stored keys · case 04
The query violates its result contract: reports uppercase index keys instead of normalized stored keys.
Expression index conflicts: Reports uppercase index keys instead of normalized stored keys · case 05
The query violates its result contract: reports uppercase index keys instead of normalized stored keys.
Expression index conflicts: Maps NULL to the empty-string index key · case 01
The query violates its result contract: maps null to the empty-string index key.
Expression index conflicts: Maps NULL to the empty-string index key · case 02
The query violates its result contract: maps null to the empty-string index key.
Expression index conflicts: Maps NULL to the empty-string index key · case 03
The query violates its result contract: maps null to the empty-string index key.
Expression index conflicts: Maps NULL to the empty-string index key · case 04
The query violates its result contract: maps null to the empty-string index key.
Expression index conflicts: Maps NULL to the empty-string index key · case 05
The query violates its result contract: maps null to the empty-string index key.
Expression index conflicts: Counts distinct spelling forms rather than index entries · case 01
The query violates its result contract: counts distinct spelling forms rather than index entries.
Expression index conflicts: Counts distinct spelling forms rather than index entries · case 02
The query violates its result contract: counts distinct spelling forms rather than index entries.
Expression index conflicts: Counts distinct spelling forms rather than index entries · case 03
The query violates its result contract: counts distinct spelling forms rather than index entries.
Expression index conflicts: Counts distinct spelling forms rather than index entries · case 04
The query violates its result contract: counts distinct spelling forms rather than index entries.
Expression index conflicts: Counts distinct spelling forms rather than index entries · case 05
The query violates its result contract: counts distinct spelling forms rather than index entries.
Foreign key orphans: Reports nullable references as broken foreign keys · case 01
The query violates its result contract: reports nullable references as broken foreign keys.
Foreign key orphans: Reports nullable references as broken foreign keys · case 02
The query violates its result contract: reports nullable references as broken foreign keys.
Foreign key orphans: Reports nullable references as broken foreign keys · case 03
The query violates its result contract: reports nullable references as broken foreign keys.
Foreign key orphans: Reports nullable references as broken foreign keys · case 04
The query violates its result contract: reports nullable references as broken foreign keys.
Foreign key orphans: Reports nullable references as broken foreign keys · case 05
The query violates its result contract: reports nullable references as broken foreign keys.
Foreign key orphans: Looks up references in the child table · case 01
The query violates its result contract: looks up references in the child table.
Foreign key orphans: Looks up references in the child table · case 02
The query violates its result contract: looks up references in the child table.
Foreign key orphans: Looks up references in the child table · case 03
The query violates its result contract: looks up references in the child table.
Foreign key orphans: Looks up references in the child table · case 04
The query violates its result contract: looks up references in the child table.
Foreign key orphans: Looks up references in the child table · case 05
The query violates its result contract: looks up references in the child table.
Foreign key orphans: Validates child identity instead of parent reference · case 01
The query violates its result contract: validates child identity instead of parent reference.
Foreign key orphans: Validates child identity instead of parent reference · case 02
The query violates its result contract: validates child identity instead of parent reference.
Foreign key orphans: Validates child identity instead of parent reference · case 03
The query violates its result contract: validates child identity instead of parent reference.
Foreign key orphans: Validates child identity instead of parent reference · case 04
The query violates its result contract: validates child identity instead of parent reference.
Foreign key orphans: Validates child identity instead of parent reference · case 05
The query violates its result contract: validates child identity instead of parent reference.
Foreign key orphans: Checks the parent payload instead of primary identity · case 01
The query violates its result contract: checks the parent payload instead of primary identity.
Foreign key orphans: Checks the parent payload instead of primary identity · case 02
The query violates its result contract: checks the parent payload instead of primary identity.
Foreign key orphans: Checks the parent payload instead of primary identity · case 03
The query violates its result contract: checks the parent payload instead of primary identity.
Foreign key orphans: Checks the parent payload instead of primary identity · case 04
The query violates its result contract: checks the parent payload instead of primary identity.
Foreign key orphans: Checks the parent payload instead of primary identity · case 05
The query violates its result contract: checks the parent payload instead of primary identity.
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 ↗