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
Charset name comparison is case insensitive · case 01
Charset name comparison is case insensitive.
Charset name comparison is case insensitive · case 02
Charset name comparison is case insensitive.
Charset name comparison is case insensitive · case 03
Charset name comparison is case insensitive.
Charset name comparison is case insensitive · case 04
Charset name comparison is case insensitive.
Charset name comparison is case insensitive · case 05
Charset name comparison is case insensitive.
Charset default is not inferred from an unrelated media type · case 01
Charset default is not inferred from an unrelated media type.
Charset default is not inferred from an unrelated media type · case 02
Charset default is not inferred from an unrelated media type.
Charset default is not inferred from an unrelated media type · case 03
Charset default is not inferred from an unrelated media type.
Charset default is not inferred from an unrelated media type · case 04
Charset default is not inferred from an unrelated media type.
Charset default is not inferred from an unrelated media type · case 05
Charset default is not inferred from an unrelated media type.
Vary header union is case insensitive and stable · case 01
Vary header union is case insensitive and stable.
Vary header union is case insensitive and stable · case 02
Vary header union is case insensitive and stable.
Vary header union is case insensitive and stable · case 03
Vary header union is case insensitive and stable.
Vary header union is case insensitive and stable · case 04
Vary header union is case insensitive and stable.
Vary header union is case insensitive and stable · case 05
Vary header union is case insensitive and stable.
Wildcard vary absorbs other vary fields · case 01
Wildcard vary absorbs other vary fields.
Wildcard vary absorbs other vary fields · case 02
Wildcard vary absorbs other vary fields.
Wildcard vary absorbs other vary fields · case 03
Wildcard vary absorbs other vary fields.
Wildcard vary absorbs other vary fields · case 04
Wildcard vary absorbs other vary fields.
Wildcard vary absorbs other vary fields · case 05
Wildcard vary absorbs other vary fields.
Range on encoded response addresses coded representation · case 01
Range on encoded response addresses coded representation.
Range on encoded response addresses coded representation · case 02
Range on encoded response addresses coded representation.
Range on encoded response addresses coded representation · case 03
Range on encoded response addresses coded representation.
Range on encoded response addresses coded representation · case 04
Range on encoded response addresses coded representation.
Range on encoded response addresses coded representation · case 05
Range on encoded response addresses coded representation.
Negotiated content type retains selected parameters · case 01
Negotiated content type retains selected parameters.
Negotiated content type retains selected parameters · case 02
Negotiated content type retains selected parameters.
Negotiated content type retains selected parameters · case 03
Negotiated content type retains selected parameters.
Negotiated content type retains selected parameters · case 04
Negotiated content type retains selected parameters.
Negotiated content type retains selected parameters · case 05
Negotiated content type retains selected parameters.
Accept quality product combines independent dimensions · case 01
Accept quality product combines independent dimensions.
Accept quality product combines independent dimensions · case 02
Accept quality product combines independent dimensions.
Accept quality product combines independent dimensions · case 03
Accept quality product combines independent dimensions.
Accept quality product combines independent dimensions · case 04
Accept quality product combines independent dimensions.
Accept quality product combines independent dimensions · case 05
Accept quality product combines independent dimensions.
Negotiation failure is distinct from empty representation · case 01
Negotiation failure is distinct from empty representation.
Negotiation failure is distinct from empty representation · case 02
Negotiation failure is distinct from empty representation.
Negotiation failure is distinct from empty representation · case 03
Negotiation failure is distinct from empty representation.
Negotiation failure is distinct from empty representation · case 04
Negotiation failure is distinct from empty representation.
Negotiation failure is distinct from empty representation · case 05
Negotiation failure is distinct from empty representation.
Parameter specificity counts matched constraints · case 01
Parameter specificity counts matched constraints.
Parameter specificity counts matched constraints · case 02
Parameter specificity counts matched constraints.
Parameter specificity counts matched constraints · case 03
Parameter specificity counts matched constraints.
Parameter specificity counts matched constraints · case 04
Parameter specificity counts matched constraints.
Parameter specificity counts matched constraints · case 05
Parameter specificity counts matched constraints.
Content coding decode order reverses application order · case 01
Content coding decode order reverses application order.
Content coding decode order reverses application order · case 02
Content coding decode order reverses application order.
Content coding decode order reverses application order · case 03
Content coding decode order reverses application order.
Content coding decode order reverses application order · case 04
Content coding decode order reverses application order.
Content coding decode order reverses application order · case 05
Content coding decode order reverses application order.
Unsupported coding is rejected before body decoding · case 01
Unsupported coding is rejected before body decoding.
Unsupported coding is rejected before body decoding · case 02
Unsupported coding is rejected before body decoding.
Unsupported coding is rejected before body decoding · case 03
Unsupported coding is rejected before body decoding.
Unsupported coding is rejected before body decoding · case 04
Unsupported coding is rejected before body decoding.
Unsupported coding is rejected before body decoding · case 05
Unsupported coding is rejected before body decoding.
Connection nominated fields are removed case insensitively · case 01
Connection nominated fields are removed case insensitively.
Connection nominated fields are removed case insensitively · case 02
Connection nominated fields are removed case insensitively.
Connection nominated fields are removed case insensitively · case 03
Connection nominated fields are removed case insensitively.
Connection nominated fields are removed case insensitively · case 04
Connection nominated fields are removed case insensitively.
Connection nominated fields are removed case insensitively · case 05
Connection nominated fields are removed case insensitively.
Forwarded chain appends current hop · case 01
Forwarded chain appends current hop.
Forwarded chain appends current hop · case 02
Forwarded chain appends current hop.
Forwarded chain appends current hop · case 03
Forwarded chain appends current hop.
Forwarded chain appends current hop · case 04
Forwarded chain appends current hop.
Forwarded chain appends current hop · case 05
Forwarded chain appends current hop.
Trusted proxy walk stops at first untrusted hop · case 01
Trusted proxy walk stops at first untrusted hop.
Trusted proxy walk stops at first untrusted hop · case 02
Trusted proxy walk stops at first untrusted hop.
Trusted proxy walk stops at first untrusted hop · case 03
Trusted proxy walk stops at first untrusted hop.
Trusted proxy walk stops at first untrusted hop · case 04
Trusted proxy walk stops at first untrusted hop.
Trusted proxy walk stops at first untrusted hop · case 05
Trusted proxy walk stops at first untrusted hop.
Untrusted peer cannot supply forwarding identity · case 01
Untrusted peer cannot supply forwarding identity.
Untrusted peer cannot supply forwarding identity · case 02
Untrusted peer cannot supply forwarding identity.
Untrusted peer cannot supply forwarding identity · case 03
Untrusted peer cannot supply forwarding identity.
Untrusted peer cannot supply forwarding identity · case 04
Untrusted peer cannot supply forwarding identity.
Untrusted peer cannot supply forwarding identity · case 05
Untrusted peer cannot supply forwarding identity.
Via loop detection matches hop identities not substrings · case 01
Via loop detection matches hop identities not substrings.
Via loop detection matches hop identities not substrings · case 02
Via loop detection matches hop identities not substrings.
Via loop detection matches hop identities not substrings · case 03
Via loop detection matches hop identities not substrings.
Via loop detection matches hop identities not substrings · case 04
Via loop detection matches hop identities not substrings.
Via loop detection matches hop identities not substrings · case 05
Via loop detection matches hop identities not substrings.
Proxy host header follows upstream authority not downstream host · case 01
Proxy host header follows upstream authority not downstream host.
Proxy host header follows upstream authority not downstream host · case 02
Proxy host header follows upstream authority not downstream host.
Proxy host header follows upstream authority not downstream host · case 03
Proxy host header follows upstream authority not downstream host.
Proxy host header follows upstream authority not downstream host · case 04
Proxy host header follows upstream authority not downstream host.
Proxy host header follows upstream authority not downstream host · case 05
Proxy host header follows upstream authority not downstream host.
Forwarded protocol is accepted only from trusted peer · case 01
Forwarded protocol is accepted only from trusted peer.
Forwarded protocol is accepted only from trusted peer · case 02
Forwarded protocol is accepted only from trusted peer.
Forwarded protocol is accepted only from trusted peer · case 03
Forwarded protocol is accepted only from trusted peer.
Forwarded protocol is accepted only from trusted peer · case 04
Forwarded protocol is accepted only from trusted peer.
Forwarded protocol is accepted only from trusted peer · case 05
Forwarded protocol is accepted only from trusted peer.
Max forwards is decremented only for trace and options · case 01
Max forwards is decremented only for trace and options.
Max forwards is decremented only for trace and options · case 02
Max forwards is decremented only for trace and options.
Max forwards is decremented only for trace and options · case 03
Max forwards is decremented only for trace and options.
Max forwards is decremented only for trace and options · case 04
Max forwards is decremented only for trace and options.
Max forwards is decremented only for trace and options · case 05
Max forwards is decremented only for trace and options.
Zero max forwards terminates forwarding · case 01
Zero max forwards terminates forwarding.
Zero max forwards terminates forwarding · case 02
Zero max forwards terminates forwarding.
Zero max forwards terminates forwarding · case 03
Zero max forwards terminates forwarding.
Zero max forwards terminates forwarding · case 04
Zero max forwards terminates forwarding.
Zero max forwards terminates forwarding · case 05
Zero max forwards terminates forwarding.
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 ↗