e8dbf68c78
The corpus's second implementation, written from the extension text and SPEC §7.1, standard library only: head, covered_len, the head proof (and each committed proof rebuilt from the text), response checks, plans, selection, the byte-range procedure with its fallback, codecs union, floor and support. It agrees with wai_http_vectors on every case. It checks itself first against a subset of the published BLAKE3 test vectors, its tree functions included; `--mutate` (left-half, no-root, counter-zero, floor-as-codecs, blake3-iv) makes it fail the cases each defect reaches; `diff` verifies the proofs `wai_http_vectors diff` writes and refuses exactly the ones it flips. claim-conformance/_blake3.py, already shared by claim_verify and staged_verify, gains subtree_cv and parent_cv; its hash is unchanged (claim_verify and staged_verify pass). OH now carries a payload past its covered head: verified whole, the counter-zero mutation had nothing to reach. Co-Authored-By: Claude Opus 5.5 <[email protected]>
2 lines
88 B
Text
2 lines
88 B
Text
# Hashed files: a line-ending conversion on checkout would change every digest.
|
|
* -text
|