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
Http2 settings payload is multiple of six · case 01
Http2 settings payload is multiple of six.
Http2 settings payload is multiple of six · case 02
Http2 settings payload is multiple of six.
Http2 settings payload is multiple of six · case 03
Http2 settings payload is multiple of six.
Http2 settings payload is multiple of six · case 04
Http2 settings payload is multiple of six.
Http2 settings payload is multiple of six · case 05
Http2 settings payload is multiple of six.
Http2 ping requires zero stream and eight byte payload · case 01
Http2 ping requires zero stream and eight byte payload.
Http2 ping requires zero stream and eight byte payload · case 02
Http2 ping requires zero stream and eight byte payload.
Http2 ping requires zero stream and eight byte payload · case 03
Http2 ping requires zero stream and eight byte payload.
Http2 ping requires zero stream and eight byte payload · case 04
Http2 ping requires zero stream and eight byte payload.
Http2 ping requires zero stream and eight byte payload · case 05
Http2 ping requires zero stream and eight byte payload.
Http2 continuation must stay on the unfinished header stream · case 01
Http2 continuation must stay on the unfinished header stream.
Http2 continuation must stay on the unfinished header stream · case 02
Http2 continuation must stay on the unfinished header stream.
Http2 continuation must stay on the unfinished header stream · case 03
Http2 continuation must stay on the unfinished header stream.
Http2 continuation must stay on the unfinished header stream · case 04
Http2 continuation must stay on the unfinished header stream.
Http2 continuation must stay on the unfinished header stream · case 05
Http2 continuation must stay on the unfinished header stream.
Http2 pseudoheaders must precede regular fields · case 01
Http2 pseudoheaders must precede regular fields.
Http2 pseudoheaders must precede regular fields · case 02
Http2 pseudoheaders must precede regular fields.
Http2 pseudoheaders must precede regular fields · case 03
Http2 pseudoheaders must precede regular fields.
Http2 pseudoheaders must precede regular fields · case 04
Http2 pseudoheaders must precede regular fields.
Http2 pseudoheaders must precede regular fields · case 05
Http2 pseudoheaders must precede regular fields.
Http2 field names must be lowercase · case 01
Http2 field names must be lowercase.
Http2 field names must be lowercase · case 02
Http2 field names must be lowercase.
Http2 field names must be lowercase · case 03
Http2 field names must be lowercase.
Http2 field names must be lowercase · case 04
Http2 field names must be lowercase.
Http2 field names must be lowercase · case 05
Http2 field names must be lowercase.
Http2 goaway retry only streams above last processed id · case 01
Http2 goaway retry only streams above last processed id.
Http2 goaway retry only streams above last processed id · case 02
Http2 goaway retry only streams above last processed id.
Http2 goaway retry only streams above last processed id · case 03
Http2 goaway retry only streams above last processed id.
Http2 goaway retry only streams above last processed id · case 04
Http2 goaway retry only streams above last processed id.
Http2 goaway retry only streams above last processed id · case 05
Http2 goaway retry only streams above last processed id.
Http2 priority stream cannot depend on itself · case 01
Http2 priority stream cannot depend on itself.
Http2 priority stream cannot depend on itself · case 02
Http2 priority stream cannot depend on itself.
Http2 priority stream cannot depend on itself · case 03
Http2 priority stream cannot depend on itself.
Http2 priority stream cannot depend on itself · case 04
Http2 priority stream cannot depend on itself.
Http2 priority stream cannot depend on itself · case 05
Http2 priority stream cannot depend on itself.
Http2 reset releases only the target stream · case 01
Http2 reset releases only the target stream.
Http2 reset releases only the target stream · case 02
Http2 reset releases only the target stream.
Http2 reset releases only the target stream · case 03
Http2 reset releases only the target stream.
Http2 reset releases only the target stream · case 04
Http2 reset releases only the target stream.
Http2 reset releases only the target stream · case 05
Http2 reset releases only the target stream.
Quic stream initiator is lowest identifier bit · case 01
Quic stream initiator is lowest identifier bit.
Quic stream initiator is lowest identifier bit · case 02
Quic stream initiator is lowest identifier bit.
Quic stream initiator is lowest identifier bit · case 03
Quic stream initiator is lowest identifier bit.
Quic stream initiator is lowest identifier bit · case 04
Quic stream initiator is lowest identifier bit.
Quic stream initiator is lowest identifier bit · case 05
Quic stream initiator is lowest identifier bit.
Quic stream direction is second identifier bit · case 01
Quic stream direction is second identifier bit.
Quic stream direction is second identifier bit · case 02
Quic stream direction is second identifier bit.
Quic stream direction is second identifier bit · case 03
Quic stream direction is second identifier bit.
Quic stream direction is second identifier bit · case 04
Quic stream direction is second identifier bit.
Quic stream direction is second identifier bit · case 05
Quic stream direction is second identifier bit.
Quic stream count limit converts index to one based count · case 01
Quic stream count limit converts index to one based count.
Quic stream count limit converts index to one based count · case 02
Quic stream count limit converts index to one based count.
Quic stream count limit converts index to one based count · case 03
Quic stream count limit converts index to one based count.
Quic stream count limit converts index to one based count · case 04
Quic stream count limit converts index to one based count.
Quic stream count limit converts index to one based count · case 05
Quic stream count limit converts index to one based count.
Quic max data updates are monotonic · case 01
Quic max data updates are monotonic.
Quic max data updates are monotonic · case 02
Quic max data updates are monotonic.
Quic max data updates are monotonic · case 03
Quic max data updates are monotonic.
Quic max data updates are monotonic · case 04
Quic max data updates are monotonic.
Quic max data updates are monotonic · case 05
Quic max data updates are monotonic.
Quic final size cannot change after fin · case 01
Quic final size cannot change after fin.
Quic final size cannot change after fin · case 02
Quic final size cannot change after fin.
Quic final size cannot change after fin · case 03
Quic final size cannot change after fin.
Quic final size cannot change after fin · case 04
Quic final size cannot change after fin.
Quic final size cannot change after fin · case 05
Quic final size cannot change after fin.
Quic stream offset plus length cannot exceed final size · case 01
Quic stream offset plus length cannot exceed final size.
Quic stream offset plus length cannot exceed final size · case 02
Quic stream offset plus length cannot exceed final size.
Quic stream offset plus length cannot exceed final size · case 03
Quic stream offset plus length cannot exceed final size.
Quic stream offset plus length cannot exceed final size · case 04
Quic stream offset plus length cannot exceed final size.
Quic stream offset plus length cannot exceed final size · case 05
Quic stream offset plus length cannot exceed final size.
Quic amplification budget applies before address validation · case 01
Quic amplification budget applies before address validation.
Quic amplification budget applies before address validation · case 02
Quic amplification budget applies before address validation.
Quic amplification budget applies before address validation · case 03
Quic amplification budget applies before address validation.
Quic amplification budget applies before address validation · case 04
Quic amplification budget applies before address validation.
Quic amplification budget applies before address validation · case 05
Quic amplification budget applies before address validation.
Quic ack delay is subtracted only up to peer limit · case 01
Quic ack delay is subtracted only up to peer limit.
Quic ack delay is subtracted only up to peer limit · case 02
Quic ack delay is subtracted only up to peer limit.
Quic ack delay is subtracted only up to peer limit · case 03
Quic ack delay is subtracted only up to peer limit.
Quic ack delay is subtracted only up to peer limit · case 04
Quic ack delay is subtracted only up to peer limit.
Quic ack delay is subtracted only up to peer limit · case 05
Quic ack delay is subtracted only up to peer limit.
Websocket upgrade requires both upgrade and connection tokens · case 01
Websocket upgrade requires both upgrade and connection tokens.
Websocket upgrade requires both upgrade and connection tokens · case 02
Websocket upgrade requires both upgrade and connection tokens.
Websocket upgrade requires both upgrade and connection tokens · case 03
Websocket upgrade requires both upgrade and connection tokens.
Websocket upgrade requires both upgrade and connection tokens · case 04
Websocket upgrade requires both upgrade and connection tokens.
Websocket upgrade requires both upgrade and connection tokens · case 05
Websocket upgrade requires both upgrade and connection tokens.
Websocket handshake response must be switching protocols · case 01
Websocket handshake response must be switching protocols.
Websocket handshake response must be switching protocols · case 02
Websocket handshake response must be switching protocols.
Websocket handshake response must be switching protocols · case 03
Websocket handshake response must be switching protocols.
Websocket handshake response must be switching protocols · case 04
Websocket handshake response must be switching protocols.
Websocket handshake response must be switching protocols · case 05
Websocket handshake response must be switching protocols.
Websocket client frames require masking and server frames forbid it · case 01
Websocket client frames require masking and server frames forbid it.
Websocket client frames require masking and server frames forbid it · case 02
Websocket client frames require masking and server frames forbid it.
Websocket client frames require masking and server frames forbid it · case 03
Websocket client frames require masking and server frames forbid it.
Websocket client frames require masking and server frames forbid it · case 04
Websocket client frames require masking and server frames forbid it.
Websocket client frames require masking and server frames forbid it · case 05
Websocket client frames require masking and server frames forbid it.
Websocket control frames must be final and at most 125 bytes · case 01
Websocket control frames must be final and at most 125 bytes.
Websocket control frames must be final and at most 125 bytes · case 02
Websocket control frames must be final and at most 125 bytes.
Websocket control frames must be final and at most 125 bytes · case 03
Websocket control frames must be final and at most 125 bytes.
Websocket control frames must be final and at most 125 bytes · case 04
Websocket control frames must be final and at most 125 bytes.
Websocket control frames must be final and at most 125 bytes · case 05
Websocket control frames must be final and at most 125 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 ↗