open-standards/wai/http-conformance/cases/head_proof_unaligned_O3.hp
Transaction Science 764871baf7 wai: wai http commands, the wai_http_vectors tool and the http-conformance corpus
W3-2. `wai http publish|codecs|origin|vectors|bench` (feature `http`; without
it `wai http` says so): publish writes <cid>.wai, its head proof and ETag
sidecar; codecs prints a sequence's union and floor; origin serves a directory
with §5.3's headers, byte ranges, head proofs, receipt files, indexes and
preflights, with an optional delay on a byte range; bench fetches an object by
§7 over plain HTTP and writes a measurement record (energy recorded as not
measured). wai_http_vectors is the corpus tool, also reachable as `wai http
vectors`, so the corpus loop runs it like every other corpus.

http-conformance/: objects O1–O5, O7, O8, O9a–c (the design's O1–O9 without
receipts), Appendix D's envelope (OD) and a several-chunk head (OH), each with
its head proof and ETag sidecar; bad/O6.wai; case proofs; and cases over
parse_head, head_proof, plan, response, select, fetch, same_pick, codecs,
union_floor and supports. Sources are frozen under src/ with their SHA-256 in
SOURCES.json; the picture is the pinned int_mlicpp vector's output, so O2's
renditions are one picture. The generator holds every negative case to the
reason it exists for and Appendix D's cid, length and proof size to the text.

Co-Authored-By: Claude Opus 5.5 <[email protected]>
2026-10-05 07:42:24 -04:00

277 B