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
Te forwarding allows trailers but not transfer codings · case 01
Te forwarding allows trailers but not transfer codings.
Te forwarding allows trailers but not transfer codings · case 02
Te forwarding allows trailers but not transfer codings.
Te forwarding allows trailers but not transfer codings · case 03
Te forwarding allows trailers but not transfer codings.
Te forwarding allows trailers but not transfer codings · case 04
Te forwarding allows trailers but not transfer codings.
Te forwarding allows trailers but not transfer codings · case 05
Te forwarding allows trailers but not transfer codings.
Multiple set cookie fields are not comma coalesced · case 01
Multiple set cookie fields are not comma coalesced.
Multiple set cookie fields are not comma coalesced · case 02
Multiple set cookie fields are not comma coalesced.
Multiple set cookie fields are not comma coalesced · case 03
Multiple set cookie fields are not comma coalesced.
Multiple set cookie fields are not comma coalesced · case 04
Multiple set cookie fields are not comma coalesced.
Multiple set cookie fields are not comma coalesced · case 05
Multiple set cookie fields are not comma coalesced.
Proxy error status distinguishes timeout from connect failure · case 01
Proxy error status distinguishes timeout from connect failure.
Proxy error status distinguishes timeout from connect failure · case 02
Proxy error status distinguishes timeout from connect failure.
Proxy error status distinguishes timeout from connect failure · case 03
Proxy error status distinguishes timeout from connect failure.
Proxy error status distinguishes timeout from connect failure · case 04
Proxy error status distinguishes timeout from connect failure.
Proxy error status distinguishes timeout from connect failure · case 05
Proxy error status distinguishes timeout from connect failure.
Tunnel bytes bypass http transformation after upgrade · case 01
Tunnel bytes bypass http transformation after upgrade.
Tunnel bytes bypass http transformation after upgrade · case 02
Tunnel bytes bypass http transformation after upgrade.
Tunnel bytes bypass http transformation after upgrade · case 03
Tunnel bytes bypass http transformation after upgrade.
Tunnel bytes bypass http transformation after upgrade · case 04
Tunnel bytes bypass http transformation after upgrade.
Tunnel bytes bypass http transformation after upgrade · case 05
Tunnel bytes bypass http transformation after upgrade.
Upstream close prevents connection reuse · case 01
Upstream close prevents connection reuse.
Upstream close prevents connection reuse · case 02
Upstream close prevents connection reuse.
Upstream close prevents connection reuse · case 03
Upstream close prevents connection reuse.
Upstream close prevents connection reuse · case 04
Upstream close prevents connection reuse.
Upstream close prevents connection reuse · case 05
Upstream close prevents connection reuse.
Early final response stops request body forwarding · case 01
Early final response stops request body forwarding.
Early final response stops request body forwarding · case 02
Early final response stops request body forwarding.
Early final response stops request body forwarding · case 03
Early final response stops request body forwarding.
Early final response stops request body forwarding · case 04
Early final response stops request body forwarding.
Early final response stops request body forwarding · case 05
Early final response stops request body forwarding.
Proxy buffer limit counts all pending chunks · case 01
Proxy buffer limit counts all pending chunks.
Proxy buffer limit counts all pending chunks · case 02
Proxy buffer limit counts all pending chunks.
Proxy buffer limit counts all pending chunks · case 03
Proxy buffer limit counts all pending chunks.
Proxy buffer limit counts all pending chunks · case 04
Proxy buffer limit counts all pending chunks.
Proxy buffer limit counts all pending chunks · case 05
Proxy buffer limit counts all pending chunks.
Response trailers exclude forbidden routing fields · case 01
Response trailers exclude forbidden routing fields.
Response trailers exclude forbidden routing fields · case 02
Response trailers exclude forbidden routing fields.
Response trailers exclude forbidden routing fields · case 03
Response trailers exclude forbidden routing fields.
Response trailers exclude forbidden routing fields · case 04
Response trailers exclude forbidden routing fields.
Response trailers exclude forbidden routing fields · case 05
Response trailers exclude forbidden routing fields.
Origin form forwarding retains path and query · case 01
Origin form forwarding retains path and query.
Origin form forwarding retains path and query · case 02
Origin form forwarding retains path and query.
Origin form forwarding retains path and query · case 03
Origin form forwarding retains path and query.
Origin form forwarding retains path and query · case 04
Origin form forwarding retains path and query.
Origin form forwarding retains path and query · case 05
Origin form forwarding retains path and query.
Upstream port default depends on scheme · case 01
Upstream port default depends on scheme.
Upstream port default depends on scheme · case 02
Upstream port default depends on scheme.
Upstream port default depends on scheme · case 03
Upstream port default depends on scheme.
Upstream port default depends on scheme · case 04
Upstream port default depends on scheme.
Upstream port default depends on scheme · case 05
Upstream port default depends on scheme.
Proxy bypass host suffix requires domain boundary · case 01
Proxy bypass host suffix requires domain boundary.
Proxy bypass host suffix requires domain boundary · case 02
Proxy bypass host suffix requires domain boundary.
Proxy bypass host suffix requires domain boundary · case 03
Proxy bypass host suffix requires domain boundary.
Proxy bypass host suffix requires domain boundary · case 04
Proxy bypass host suffix requires domain boundary.
Proxy bypass host suffix requires domain boundary · case 05
Proxy bypass host suffix requires domain boundary.
Proxy bypass port constraint must match request port · case 01
Proxy bypass port constraint must match request port.
Proxy bypass port constraint must match request port · case 02
Proxy bypass port constraint must match request port.
Proxy bypass port constraint must match request port · case 03
Proxy bypass port constraint must match request port.
Proxy bypass port constraint must match request port · case 04
Proxy bypass port constraint must match request port.
Proxy bypass port constraint must match request port · case 05
Proxy bypass port constraint must match request port.
Proxy bypass cidr matches address network membership · case 01
Proxy bypass cidr matches address network membership.
Proxy bypass cidr matches address network membership · case 02
Proxy bypass cidr matches address network membership.
Proxy bypass cidr matches address network membership · case 03
Proxy bypass cidr matches address network membership.
Proxy bypass cidr matches address network membership · case 04
Proxy bypass cidr matches address network membership.
Proxy bypass cidr matches address network membership · case 05
Proxy bypass cidr matches address network membership.
Hop timeout consumes time already spent in proxy · case 01
Hop timeout consumes time already spent in proxy.
Hop timeout consumes time already spent in proxy · case 02
Hop timeout consumes time already spent in proxy.
Hop timeout consumes time already spent in proxy · case 03
Hop timeout consumes time already spent in proxy.
Hop timeout consumes time already spent in proxy · case 04
Hop timeout consumes time already spent in proxy.
Hop timeout consumes time already spent in proxy · case 05
Hop timeout consumes time already spent in proxy.
Buffer watermark resume requires low threshold · case 01
Buffer watermark resume requires low threshold.
Buffer watermark resume requires low threshold · case 02
Buffer watermark resume requires low threshold.
Buffer watermark resume requires low threshold · case 03
Buffer watermark resume requires low threshold.
Buffer watermark resume requires low threshold · case 04
Buffer watermark resume requires low threshold.
Buffer watermark resume requires low threshold · case 05
Buffer watermark resume requires low threshold.
Upstream attempt history preserves equal statuses · case 01
Upstream attempt history preserves equal statuses.
Upstream attempt history preserves equal statuses · case 02
Upstream attempt history preserves equal statuses.
Upstream attempt history preserves equal statuses · case 03
Upstream attempt history preserves equal statuses.
Upstream attempt history preserves equal statuses · case 04
Upstream attempt history preserves equal statuses.
Upstream attempt history preserves equal statuses · case 05
Upstream attempt history preserves equal statuses.
Longest prefix route wins over first matching route · case 01
Longest prefix route wins over first matching route.
Longest prefix route wins over first matching route · case 02
Longest prefix route wins over first matching route.
Longest prefix route wins over first matching route · case 03
Longest prefix route wins over first matching route.
Longest prefix route wins over first matching route · case 04
Longest prefix route wins over first matching route.
Longest prefix route wins over first matching route · case 05
Longest prefix route wins over first matching route.
Route metric breaks equal prefix ties in ascending order · case 01
Route metric breaks equal prefix ties in ascending order.
Route metric breaks equal prefix ties in ascending order · case 02
Route metric breaks equal prefix ties in ascending order.
Route metric breaks equal prefix ties in ascending order · case 03
Route metric breaks equal prefix ties in ascending order.
Route metric breaks equal prefix ties in ascending order · case 04
Route metric breaks equal prefix ties in ascending order.
Route metric breaks equal prefix ties in ascending order · case 05
Route metric breaks equal prefix ties in ascending order.
Disabled routes are removed before preference selection · case 01
Disabled routes are removed before preference selection.
Disabled routes are removed before preference selection · case 02
Disabled routes are removed before preference selection.
Disabled routes are removed before preference selection · case 03
Disabled routes are removed before preference selection.
Disabled routes are removed before preference selection · case 04
Disabled routes are removed before preference selection.
Disabled routes are removed before preference selection · case 05
Disabled routes are removed before preference selection.
Path prefix routing requires segment boundaries · case 01
Path prefix routing requires segment boundaries.
Path prefix routing requires segment boundaries · case 02
Path prefix routing requires segment boundaries.
Path prefix routing requires segment boundaries · case 03
Path prefix routing requires segment boundaries.
Path prefix routing requires segment boundaries · case 04
Path prefix routing requires segment boundaries.
Path prefix routing requires segment boundaries · case 05
Path prefix routing requires segment boundaries.
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 ↗