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
Reject malformed redirect authorities without interpreting path text as an authority: network path host · case 01
Reject malformed redirect authorities without interpreting path text as an authority: the network path host branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: network path host · case 02
Reject malformed redirect authorities without interpreting path text as an authority: the network path host branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: network path host · case 03
Reject malformed redirect authorities without interpreting path text as an authority: the network path host branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: network path host · case 04
Reject malformed redirect authorities without interpreting path text as an authority: the network path host branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: network path host · case 05
Reject malformed redirect authorities without interpreting path text as an authority: the network path host branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: path remains case sensitive · case 01
Reject malformed redirect authorities without interpreting path text as an authority: the path remains case sensitive branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: path remains case sensitive · case 02
Reject malformed redirect authorities without interpreting path text as an authority: the path remains case sensitive branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: path remains case sensitive · case 03
Reject malformed redirect authorities without interpreting path text as an authority: the path remains case sensitive branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: path remains case sensitive · case 04
Reject malformed redirect authorities without interpreting path text as an authority: the path remains case sensitive branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: path remains case sensitive · case 05
Reject malformed redirect authorities without interpreting path text as an authority: the path remains case sensitive branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: empty path request target · case 01
Reject malformed redirect authorities without interpreting path text as an authority: the empty path request target branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: empty path request target · case 02
Reject malformed redirect authorities without interpreting path text as an authority: the empty path request target branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: empty path request target · case 03
Reject malformed redirect authorities without interpreting path text as an authority: the empty path request target branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: empty path request target · case 04
Reject malformed redirect authorities without interpreting path text as an authority: the empty path request target branch emits an incorrect decision.
Reject malformed redirect authorities without interpreting path text as an authority: empty path request target · case 05
Reject malformed redirect authorities without interpreting path text as an authority: the empty path request target branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: omission default · case 01
Validate a redirect port against an explicit bounded port policy: the omission default branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: omission default · case 02
Validate a redirect port against an explicit bounded port policy: the omission default branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: omission default · case 03
Validate a redirect port against an explicit bounded port policy: the omission default branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: omission default · case 04
Validate a redirect port against an explicit bounded port policy: the omission default branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: omission default · case 05
Validate a redirect port against an explicit bounded port policy: the omission default branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: zero port rejection · case 01
Validate a redirect port against an explicit bounded port policy: the zero port rejection branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: zero port rejection · case 02
Validate a redirect port against an explicit bounded port policy: the zero port rejection branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: zero port rejection · case 03
Validate a redirect port against an explicit bounded port policy: the zero port rejection branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: zero port rejection · case 04
Validate a redirect port against an explicit bounded port policy: the zero port rejection branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: zero port rejection · case 05
Validate a redirect port against an explicit bounded port policy: the zero port rejection branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: port upper bound · case 01
Validate a redirect port against an explicit bounded port policy: the port upper bound branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: port upper bound · case 02
Validate a redirect port against an explicit bounded port policy: the port upper bound branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: port upper bound · case 03
Validate a redirect port against an explicit bounded port policy: the port upper bound branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: port upper bound · case 04
Validate a redirect port against an explicit bounded port policy: the port upper bound branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: port upper bound · case 05
Validate a redirect port against an explicit bounded port policy: the port upper bound branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: negative port rejection · case 01
Validate a redirect port against an explicit bounded port policy: the negative port rejection branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: negative port rejection · case 02
Validate a redirect port against an explicit bounded port policy: the negative port rejection branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: negative port rejection · case 03
Validate a redirect port against an explicit bounded port policy: the negative port rejection branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: negative port rejection · case 04
Validate a redirect port against an explicit bounded port policy: the negative port rejection branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: negative port rejection · case 05
Validate a redirect port against an explicit bounded port policy: the negative port rejection branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: explicit port allowlist · case 01
Validate a redirect port against an explicit bounded port policy: the explicit port allowlist branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: explicit port allowlist · case 02
Validate a redirect port against an explicit bounded port policy: the explicit port allowlist branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: explicit port allowlist · case 03
Validate a redirect port against an explicit bounded port policy: the explicit port allowlist branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: explicit port allowlist · case 04
Validate a redirect port against an explicit bounded port policy: the explicit port allowlist branch emits an incorrect decision.
Validate a redirect port against an explicit bounded port policy: explicit port allowlist · case 05
Validate a redirect port against an explicit bounded port policy: the explicit port allowlist branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: encoded slash preservation · case 01
Keep encoded path structure distinct from redirect routing structure: the encoded slash preservation branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: encoded slash preservation · case 02
Keep encoded path structure distinct from redirect routing structure: the encoded slash preservation branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: encoded slash preservation · case 03
Keep encoded path structure distinct from redirect routing structure: the encoded slash preservation branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: encoded slash preservation · case 04
Keep encoded path structure distinct from redirect routing structure: the encoded slash preservation branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: encoded slash preservation · case 05
Keep encoded path structure distinct from redirect routing structure: the encoded slash preservation branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: query not path · case 01
Keep encoded path structure distinct from redirect routing structure: the query not path branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: query not path · case 02
Keep encoded path structure distinct from redirect routing structure: the query not path branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: query not path · case 03
Keep encoded path structure distinct from redirect routing structure: the query not path branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: query not path · case 04
Keep encoded path structure distinct from redirect routing structure: the query not path branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: query not path · case 05
Keep encoded path structure distinct from redirect routing structure: the query not path branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: literal plus preservation · case 01
Keep encoded path structure distinct from redirect routing structure: the literal plus preservation branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: literal plus preservation · case 02
Keep encoded path structure distinct from redirect routing structure: the literal plus preservation branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: literal plus preservation · case 03
Keep encoded path structure distinct from redirect routing structure: the literal plus preservation branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: literal plus preservation · case 04
Keep encoded path structure distinct from redirect routing structure: the literal plus preservation branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: literal plus preservation · case 05
Keep encoded path structure distinct from redirect routing structure: the literal plus preservation branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: one percent decode · case 01
Keep encoded path structure distinct from redirect routing structure: the one percent decode branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: one percent decode · case 02
Keep encoded path structure distinct from redirect routing structure: the one percent decode branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: one percent decode · case 03
Keep encoded path structure distinct from redirect routing structure: the one percent decode branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: one percent decode · case 04
Keep encoded path structure distinct from redirect routing structure: the one percent decode branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: one percent decode · case 05
Keep encoded path structure distinct from redirect routing structure: the one percent decode branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: dot segment recognition · case 01
Keep encoded path structure distinct from redirect routing structure: the dot segment recognition branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: dot segment recognition · case 02
Keep encoded path structure distinct from redirect routing structure: the dot segment recognition branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: dot segment recognition · case 03
Keep encoded path structure distinct from redirect routing structure: the dot segment recognition branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: dot segment recognition · case 04
Keep encoded path structure distinct from redirect routing structure: the dot segment recognition branch emits an incorrect decision.
Keep encoded path structure distinct from redirect routing structure: dot segment recognition · case 05
Keep encoded path structure distinct from redirect routing structure: the dot segment recognition branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: duplicate key preservation · case 01
Preserve query-field structure while preparing a redirect target: the duplicate key preservation branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: duplicate key preservation · case 02
Preserve query-field structure while preparing a redirect target: the duplicate key preservation branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: duplicate key preservation · case 03
Preserve query-field structure while preparing a redirect target: the duplicate key preservation branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: duplicate key preservation · case 04
Preserve query-field structure while preparing a redirect target: the duplicate key preservation branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: duplicate key preservation · case 05
Preserve query-field structure while preparing a redirect target: the duplicate key preservation branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: bare vs empty value · case 01
Preserve query-field structure while preparing a redirect target: the bare vs empty value branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: bare vs empty value · case 02
Preserve query-field structure while preparing a redirect target: the bare vs empty value branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: bare vs empty value · case 03
Preserve query-field structure while preparing a redirect target: the bare vs empty value branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: bare vs empty value · case 04
Preserve query-field structure while preparing a redirect target: the bare vs empty value branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: bare vs empty value · case 05
Preserve query-field structure while preparing a redirect target: the bare vs empty value branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: first equals boundary · case 01
Preserve query-field structure while preparing a redirect target: the first equals boundary branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: first equals boundary · case 02
Preserve query-field structure while preparing a redirect target: the first equals boundary branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: first equals boundary · case 03
Preserve query-field structure while preparing a redirect target: the first equals boundary branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: first equals boundary · case 04
Preserve query-field structure while preparing a redirect target: the first equals boundary branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: first equals boundary · case 05
Preserve query-field structure while preparing a redirect target: the first equals boundary branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: semicolon is data · case 01
Preserve query-field structure while preparing a redirect target: the semicolon is data branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: semicolon is data · case 02
Preserve query-field structure while preparing a redirect target: the semicolon is data branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: semicolon is data · case 03
Preserve query-field structure while preparing a redirect target: the semicolon is data branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: semicolon is data · case 04
Preserve query-field structure while preparing a redirect target: the semicolon is data branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: semicolon is data · case 05
Preserve query-field structure while preparing a redirect target: the semicolon is data branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: encoded delimiter preservation · case 01
Preserve query-field structure while preparing a redirect target: the encoded delimiter preservation branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: encoded delimiter preservation · case 02
Preserve query-field structure while preparing a redirect target: the encoded delimiter preservation branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: encoded delimiter preservation · case 03
Preserve query-field structure while preparing a redirect target: the encoded delimiter preservation branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: encoded delimiter preservation · case 04
Preserve query-field structure while preparing a redirect target: the encoded delimiter preservation branch emits an incorrect decision.
Preserve query-field structure while preparing a redirect target: encoded delimiter preservation · case 05
Preserve query-field structure while preparing a redirect target: the encoded delimiter preservation branch emits an incorrect decision.
Commit redirect history only after target admission: pending entry commit · case 01
Commit redirect history only after target admission: the pending entry commit branch emits an incorrect decision.
Commit redirect history only after target admission: pending entry commit · case 02
Commit redirect history only after target admission: the pending entry commit branch emits an incorrect decision.
Commit redirect history only after target admission: pending entry commit · case 03
Commit redirect history only after target admission: the pending entry commit branch emits an incorrect decision.
Commit redirect history only after target admission: pending entry commit · case 04
Commit redirect history only after target admission: the pending entry commit branch emits an incorrect decision.
Commit redirect history only after target admission: pending entry commit · case 05
Commit redirect history only after target admission: the pending entry commit branch emits an incorrect decision.
Commit redirect history only after target admission: chronological order · case 01
Commit redirect history only after target admission: the chronological order branch emits an incorrect decision.
Commit redirect history only after target admission: chronological order · case 02
Commit redirect history only after target admission: the chronological order branch emits an incorrect decision.
Commit redirect history only after target admission: chronological order · case 03
Commit redirect history only after target admission: the chronological order branch emits an incorrect decision.
Commit redirect history only after target admission: chronological order · case 04
Commit redirect history only after target admission: the chronological order branch emits an incorrect decision.
Commit redirect history only after target admission: chronological order · case 05
Commit redirect history only after target admission: the chronological order branch emits an incorrect decision.
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 ↗