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
An encoded partial response carries its own representation validator · case 01
An encoded partial response carries its own representation validator.
An encoded partial response carries its own representation validator · case 02
An encoded partial response carries its own representation validator.
An encoded partial response carries its own representation validator · case 03
An encoded partial response carries its own representation validator.
An encoded partial response carries its own representation validator · case 04
An encoded partial response carries its own representation validator.
An encoded partial response carries its own representation validator · case 05
An encoded partial response carries its own representation validator.
Explicit identity exclusion prevents uncompressed range fallback · case 01
Explicit identity exclusion prevents uncompressed range fallback.
Explicit identity exclusion prevents uncompressed range fallback · case 02
Explicit identity exclusion prevents uncompressed range fallback.
Explicit identity exclusion prevents uncompressed range fallback · case 03
Explicit identity exclusion prevents uncompressed range fallback.
Explicit identity exclusion prevents uncompressed range fallback · case 04
Explicit identity exclusion prevents uncompressed range fallback.
Explicit identity exclusion prevents uncompressed range fallback · case 05
Explicit identity exclusion prevents uncompressed range fallback.
Range negotiation preserves preexisting Vary dimensions · case 01
Range negotiation preserves preexisting Vary dimensions.
Range negotiation preserves preexisting Vary dimensions · case 02
Range negotiation preserves preexisting Vary dimensions.
Range negotiation preserves preexisting Vary dimensions · case 03
Range negotiation preserves preexisting Vary dimensions.
Range negotiation preserves preexisting Vary dimensions · case 04
Range negotiation preserves preexisting Vary dimensions.
Range negotiation preserves preexisting Vary dimensions · case 05
Range negotiation preserves preexisting Vary dimensions.
Accept-Ranges reflects the chosen representation source capability · case 01
Accept-Ranges reflects the chosen representation source capability.
Accept-Ranges reflects the chosen representation source capability · case 02
Accept-Ranges reflects the chosen representation source capability.
Accept-Ranges reflects the chosen representation source capability · case 03
Accept-Ranges reflects the chosen representation source capability.
Accept-Ranges reflects the chosen representation source capability · case 04
Accept-Ranges reflects the chosen representation source capability.
Accept-Ranges reflects the chosen representation source capability · case 05
Accept-Ranges reflects the chosen representation source capability.
A range read is rejected if metadata and body revisions diverge · case 01
A range read is rejected if metadata and body revisions diverge.
A range read is rejected if metadata and body revisions diverge · case 02
A range read is rejected if metadata and body revisions diverge.
A range read is rejected if metadata and body revisions diverge · case 03
A range read is rejected if metadata and body revisions diverge.
A range read is rejected if metadata and body revisions diverge · case 04
A range read is rejected if metadata and body revisions diverge.
A range read is rejected if metadata and body revisions diverge · case 05
A range read is rejected if metadata and body revisions diverge.
Partial cache entries distinguish selected language variants · case 01
Partial cache entries distinguish selected language variants.
Partial cache entries distinguish selected language variants · case 02
Partial cache entries distinguish selected language variants.
Partial cache entries distinguish selected language variants · case 03
Partial cache entries distinguish selected language variants.
Partial cache entries distinguish selected language variants · case 04
Partial cache entries distinguish selected language variants.
Partial cache entries distinguish selected language variants · case 05
Partial cache entries distinguish selected language variants.
Body rewriting removes source validators from range responses · case 01
Body rewriting removes source validators from range responses.
Body rewriting removes source validators from range responses · case 02
Body rewriting removes source validators from range responses.
Body rewriting removes source validators from range responses · case 03
Body rewriting removes source validators from range responses.
Body rewriting removes source validators from range responses · case 04
Body rewriting removes source validators from range responses.
Body rewriting removes source validators from range responses · case 05
Body rewriting removes source validators from range responses.
Unauthorized range probes hide whether the object exists · case 01
Unauthorized range probes hide whether the object exists.
Unauthorized range probes hide whether the object exists · case 02
Unauthorized range probes hide whether the object exists.
Unauthorized range probes hide whether the object exists · case 03
Unauthorized range probes hide whether the object exists.
Unauthorized range probes hide whether the object exists · case 04
Unauthorized range probes hide whether the object exists.
Unauthorized range probes hide whether the object exists · case 05
Unauthorized range probes hide whether the object exists.
Multipart delimiters cannot occur at payload line boundaries · case 01
Multipart delimiters cannot occur at payload line boundaries.
Multipart delimiters cannot occur at payload line boundaries · case 02
Multipart delimiters cannot occur at payload line boundaries.
Multipart delimiters cannot occur at payload line boundaries · case 03
Multipart delimiters cannot occur at payload line boundaries.
Multipart delimiters cannot occur at payload line boundaries · case 04
Multipart delimiters cannot occur at payload line boundaries.
Multipart delimiters cannot occur at payload line boundaries · case 05
Multipart delimiters cannot occur at payload line boundaries.
The multipart terminator closes the boundary exactly once · case 01
The multipart terminator closes the boundary exactly once.
The multipart terminator closes the boundary exactly once · case 02
The multipart terminator closes the boundary exactly once.
The multipart terminator closes the boundary exactly once · case 03
The multipart terminator closes the boundary exactly once.
The multipart terminator closes the boundary exactly once · case 04
The multipart terminator closes the boundary exactly once.
The multipart terminator closes the boundary exactly once · case 05
The multipart terminator closes the boundary exactly once.
Part payloads always precede a framing CRLF · case 01
Part payloads always precede a framing CRLF.
Part payloads always precede a framing CRLF · case 02
Part payloads always precede a framing CRLF.
Part payloads always precede a framing CRLF · case 03
Part payloads always precede a framing CRLF.
Part payloads always precede a framing CRLF · case 04
Part payloads always precede a framing CRLF.
Part payloads always precede a framing CRLF · case 05
Part payloads always precede a framing CRLF.
Multipart response type carries a boundary rather than the object media type · case 01
Multipart response type carries a boundary rather than the object media type.
Multipart response type carries a boundary rather than the object media type · case 02
Multipart response type carries a boundary rather than the object media type.
Multipart response type carries a boundary rather than the object media type · case 03
Multipart response type carries a boundary rather than the object media type.
Multipart response type carries a boundary rather than the object media type · case 04
Multipart response type carries a boundary rather than the object media type.
Multipart response type carries a boundary rather than the object media type · case 05
Multipart response type carries a boundary rather than the object media type.
Every part uses the selected representation media type · case 01
Every part uses the selected representation media type.
Every part uses the selected representation media type · case 02
Every part uses the selected representation media type.
Every part uses the selected representation media type · case 03
Every part uses the selected representation media type.
Every part uses the selected representation media type · case 04
Every part uses the selected representation media type.
Every part uses the selected representation media type · case 05
Every part uses the selected representation media type.
Multipart Content-Length includes headers and closing bytes · case 01
Multipart Content-Length includes headers and closing bytes.
Multipart Content-Length includes headers and closing bytes · case 02
Multipart Content-Length includes headers and closing bytes.
Multipart Content-Length includes headers and closing bytes · case 03
Multipart Content-Length includes headers and closing bytes.
Multipart Content-Length includes headers and closing bytes · case 04
Multipart Content-Length includes headers and closing bytes.
Multipart Content-Length includes headers and closing bytes · case 05
Multipart Content-Length includes headers and closing bytes.
Top-level range metadata is absent for multipart bodies · case 01
Top-level range metadata is absent for multipart bodies.
Top-level range metadata is absent for multipart bodies · case 02
Top-level range metadata is absent for multipart bodies.
Top-level range metadata is absent for multipart bodies · case 03
Top-level range metadata is absent for multipart bodies.
Top-level range metadata is absent for multipart bodies · case 04
Top-level range metadata is absent for multipart bodies.
Top-level range metadata is absent for multipart bodies · case 05
Top-level range metadata is absent for multipart bodies.
Multipart assembly preserves the normalized request order · case 01
Multipart assembly preserves the normalized request order.
Multipart assembly preserves the normalized request order · case 02
Multipart assembly preserves the normalized request order.
Multipart assembly preserves the normalized request order · case 03
Multipart assembly preserves the normalized request order.
Multipart assembly preserves the normalized request order · case 04
Multipart assembly preserves the normalized request order.
Multipart assembly preserves the normalized request order · case 05
Multipart assembly preserves the normalized request order.
A short part read prevents emission of a successful closing delimiter · case 01
A short part read prevents emission of a successful closing delimiter.
A short part read prevents emission of a successful closing delimiter · case 02
A short part read prevents emission of a successful closing delimiter.
A short part read prevents emission of a successful closing delimiter · case 03
A short part read prevents emission of a successful closing delimiter.
A short part read prevents emission of a successful closing delimiter · case 04
A short part read prevents emission of a successful closing delimiter.
A short part read prevents emission of a successful closing delimiter · case 05
A short part read prevents emission of a successful closing delimiter.
Part media types cannot insert extra framing lines · case 01
Part media types cannot insert extra framing lines.
Part media types cannot insert extra framing lines · case 02
Part media types cannot insert extra framing lines.
Part media types cannot insert extra framing lines · case 03
Part media types cannot insert extra framing lines.
Part media types cannot insert extra framing lines · case 04
Part media types cannot insert extra framing lines.
Part media types cannot insert extra framing lines · case 05
Part media types cannot insert extra framing lines.
Cached fragments with different validators cannot be joined · case 01
Cached fragments with different validators cannot be joined.
Cached fragments with different validators cannot be joined · case 02
Cached fragments with different validators cannot be joined.
Cached fragments with different validators cannot be joined · case 03
Cached fragments with different validators cannot be joined.
Cached fragments with different validators cannot be joined · case 04
Cached fragments with different validators cannot be joined.
Cached fragments with different validators cannot be joined · case 05
Cached fragments with different validators cannot be joined.
Overlapping fragments must agree on their bytes · case 01
Overlapping fragments must agree on their bytes.
Overlapping fragments must agree on their bytes · case 02
Overlapping fragments must agree on their bytes.
Overlapping fragments must agree on their bytes · case 03
Overlapping fragments must agree on their bytes.
Overlapping fragments must agree on their bytes · case 04
Overlapping fragments must agree on their bytes.
Overlapping fragments must agree on their bytes · case 05
Overlapping fragments must agree on their bytes.
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 ↗