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
Sack reports out of order blocks without changing cumulative ack · case 01
Sack reports out of order blocks without changing cumulative ack.
Sack reports out of order blocks without changing cumulative ack · case 02
Sack reports out of order blocks without changing cumulative ack.
Sack reports out of order blocks without changing cumulative ack · case 03
Sack reports out of order blocks without changing cumulative ack.
Sack reports out of order blocks without changing cumulative ack · case 04
Sack reports out of order blocks without changing cumulative ack.
Sack reports out of order blocks without changing cumulative ack · case 05
Sack reports out of order blocks without changing cumulative ack.
Udp zero length datagram is data not stream eof · case 01
Udp zero length datagram is data not stream eof.
Udp zero length datagram is data not stream eof · case 02
Udp zero length datagram is data not stream eof.
Udp zero length datagram is data not stream eof · case 03
Udp zero length datagram is data not stream eof.
Udp zero length datagram is data not stream eof · case 04
Udp zero length datagram is data not stream eof.
Udp zero length datagram is data not stream eof · case 05
Udp zero length datagram is data not stream eof.
Datagram truncation is reported separately from copied length · case 01
Datagram truncation is reported separately from copied length.
Datagram truncation is reported separately from copied length · case 02
Datagram truncation is reported separately from copied length.
Datagram truncation is reported separately from copied length · case 03
Datagram truncation is reported separately from copied length.
Datagram truncation is reported separately from copied length · case 04
Datagram truncation is reported separately from copied length.
Datagram truncation is reported separately from copied length · case 05
Datagram truncation is reported separately from copied length.
Path mtu payload budget subtracts all protocol overheads · case 01
Path mtu payload budget subtracts all protocol overheads.
Path mtu payload budget subtracts all protocol overheads · case 02
Path mtu payload budget subtracts all protocol overheads.
Path mtu payload budget subtracts all protocol overheads · case 03
Path mtu payload budget subtracts all protocol overheads.
Path mtu payload budget subtracts all protocol overheads · case 04
Path mtu payload budget subtracts all protocol overheads.
Path mtu payload budget subtracts all protocol overheads · case 05
Path mtu payload budget subtracts all protocol overheads.
Dont fragment policy rejects packets exceeding path mtu · case 01
Dont fragment policy rejects packets exceeding path mtu.
Dont fragment policy rejects packets exceeding path mtu · case 02
Dont fragment policy rejects packets exceeding path mtu.
Dont fragment policy rejects packets exceeding path mtu · case 03
Dont fragment policy rejects packets exceeding path mtu.
Dont fragment policy rejects packets exceeding path mtu · case 04
Dont fragment policy rejects packets exceeding path mtu.
Dont fragment policy rejects packets exceeding path mtu · case 05
Dont fragment policy rejects packets exceeding path mtu.
Ip forwarding expires a packet before hop limit underflows · case 01
Ip forwarding expires a packet before hop limit underflows.
Ip forwarding expires a packet before hop limit underflows · case 02
Ip forwarding expires a packet before hop limit underflows.
Ip forwarding expires a packet before hop limit underflows · case 03
Ip forwarding expires a packet before hop limit underflows.
Ip forwarding expires a packet before hop limit underflows · case 04
Ip forwarding expires a packet before hop limit underflows.
Ip forwarding expires a packet before hop limit underflows · case 05
Ip forwarding expires a packet before hop limit underflows.
Dns name equality ignores case and final root dot · case 01
Dns name equality ignores case and final root dot.
Dns name equality ignores case and final root dot · case 02
Dns name equality ignores case and final root dot.
Dns name equality ignores case and final root dot · case 03
Dns name equality ignores case and final root dot.
Dns name equality ignores case and final root dot · case 04
Dns name equality ignores case and final root dot.
Dns name equality ignores case and final root dot · case 05
Dns name equality ignores case and final root dot.
Dns response correlates identifier and question · case 01
Dns response correlates identifier and question.
Dns response correlates identifier and question · case 02
Dns response correlates identifier and question.
Dns response correlates identifier and question · case 03
Dns response correlates identifier and question.
Dns response correlates identifier and question · case 04
Dns response correlates identifier and question.
Dns response correlates identifier and question · case 05
Dns response correlates identifier and question.
Dns truncation triggers stream retry even with partial answers · case 01
Dns truncation triggers stream retry even with partial answers.
Dns truncation triggers stream retry even with partial answers · case 02
Dns truncation triggers stream retry even with partial answers.
Dns truncation triggers stream retry even with partial answers · case 03
Dns truncation triggers stream retry even with partial answers.
Dns truncation triggers stream retry even with partial answers · case 04
Dns truncation triggers stream retry even with partial answers.
Dns truncation triggers stream retry even with partial answers · case 05
Dns truncation triggers stream retry even with partial answers.
Dns nxdomain is distinct from empty noerror answer · case 01
Dns nxdomain is distinct from empty noerror answer.
Dns nxdomain is distinct from empty noerror answer · case 02
Dns nxdomain is distinct from empty noerror answer.
Dns nxdomain is distinct from empty noerror answer · case 03
Dns nxdomain is distinct from empty noerror answer.
Dns nxdomain is distinct from empty noerror answer · case 04
Dns nxdomain is distinct from empty noerror answer.
Dns nxdomain is distinct from empty noerror answer · case 05
Dns nxdomain is distinct from empty noerror answer.
Dns negative ttl is minimum of soa ttl and minimum field · case 01
Dns negative ttl is minimum of soa ttl and minimum field.
Dns negative ttl is minimum of soa ttl and minimum field · case 02
Dns negative ttl is minimum of soa ttl and minimum field.
Dns negative ttl is minimum of soa ttl and minimum field · case 03
Dns negative ttl is minimum of soa ttl and minimum field.
Dns negative ttl is minimum of soa ttl and minimum field · case 04
Dns negative ttl is minimum of soa ttl and minimum field.
Dns negative ttl is minimum of soa ttl and minimum field · case 05
Dns negative ttl is minimum of soa ttl and minimum field.
Dns rrset ttl uses lowest member ttl · case 01
Dns rrset ttl uses lowest member ttl.
Dns rrset ttl uses lowest member ttl · case 02
Dns rrset ttl uses lowest member ttl.
Dns rrset ttl uses lowest member ttl · case 03
Dns rrset ttl uses lowest member ttl.
Dns rrset ttl uses lowest member ttl · case 04
Dns rrset ttl uses lowest member ttl.
Dns rrset ttl uses lowest member ttl · case 05
Dns rrset ttl uses lowest member ttl.
Dns ttl is reduced by resident seconds and clamped · case 01
Dns ttl is reduced by resident seconds and clamped.
Dns ttl is reduced by resident seconds and clamped · case 02
Dns ttl is reduced by resident seconds and clamped.
Dns ttl is reduced by resident seconds and clamped · case 03
Dns ttl is reduced by resident seconds and clamped.
Dns ttl is reduced by resident seconds and clamped · case 04
Dns ttl is reduced by resident seconds and clamped.
Dns ttl is reduced by resident seconds and clamped · case 05
Dns ttl is reduced by resident seconds and clamped.
Dns zero ttl answer can serve current query without caching · case 01
Dns zero ttl answer can serve current query without caching.
Dns zero ttl answer can serve current query without caching · case 02
Dns zero ttl answer can serve current query without caching.
Dns zero ttl answer can serve current query without caching · case 03
Dns zero ttl answer can serve current query without caching.
Dns zero ttl answer can serve current query without caching · case 04
Dns zero ttl answer can serve current query without caching.
Dns zero ttl answer can serve current query without caching · case 05
Dns zero ttl answer can serve current query without caching.
Dns cache key includes query type · case 01
Dns cache key includes query type.
Dns cache key includes query type · case 02
Dns cache key includes query type.
Dns cache key includes query type · case 03
Dns cache key includes query type.
Dns cache key includes query type · case 04
Dns cache key includes query type.
Dns cache key includes query type · case 05
Dns cache key includes query type.
Dns cname target is followed until requested type is reached · case 01
Dns cname target is followed until requested type is reached.
Dns cname target is followed until requested type is reached · case 02
Dns cname target is followed until requested type is reached.
Dns cname target is followed until requested type is reached · case 03
Dns cname target is followed until requested type is reached.
Dns cname target is followed until requested type is reached · case 04
Dns cname target is followed until requested type is reached.
Dns cname target is followed until requested type is reached · case 05
Dns cname target is followed until requested type is reached.
Dns cname loop detection normalizes target identities · case 01
Dns cname loop detection normalizes target identities.
Dns cname loop detection normalizes target identities · case 02
Dns cname loop detection normalizes target identities.
Dns cname loop detection normalizes target identities · case 03
Dns cname loop detection normalizes target identities.
Dns cname loop detection normalizes target identities · case 04
Dns cname loop detection normalizes target identities.
Dns cname loop detection normalizes target identities · case 05
Dns cname loop detection normalizes target identities.
Dns alias answer lifetime cannot exceed any chain link · case 01
Dns alias answer lifetime cannot exceed any chain link.
Dns alias answer lifetime cannot exceed any chain link · case 02
Dns alias answer lifetime cannot exceed any chain link.
Dns alias answer lifetime cannot exceed any chain link · case 03
Dns alias answer lifetime cannot exceed any chain link.
Dns alias answer lifetime cannot exceed any chain link · case 04
Dns alias answer lifetime cannot exceed any chain link.
Dns alias answer lifetime cannot exceed any chain link · case 05
Dns alias answer lifetime cannot exceed any chain link.
Dns glue is accepted only within delegated zone · case 01
Dns glue is accepted only within delegated zone.
Dns glue is accepted only within delegated zone · case 02
Dns glue is accepted only within delegated zone.
Dns glue is accepted only within delegated zone · case 03
Dns glue is accepted only within delegated zone.
Dns glue is accepted only within delegated zone · case 04
Dns glue is accepted only within delegated zone.
Dns glue is accepted only within delegated zone · case 05
Dns glue is accepted only within delegated zone.
Dns additional records do not override authoritative answers · case 01
Dns additional records do not override authoritative answers.
Dns additional records do not override authoritative answers · case 02
Dns additional records do not override authoritative answers.
Dns additional records do not override authoritative answers · case 03
Dns additional records do not override authoritative answers.
Dns additional records do not override authoritative answers · case 04
Dns additional records do not override authoritative answers.
Dns additional records do not override authoritative answers · case 05
Dns additional records do not override authoritative answers.
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 ↗