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]>
73 lines
2 KiB
JSON
73 lines
2 KiB
JSON
{
|
|
"note": "A subset of the published BLAKE3 test vectors (CC0): hash mode, the first 32 bytes of each output. Each input is input_len bytes, byte i being i mod 251.",
|
|
"cases": [
|
|
{
|
|
"input_len": 0,
|
|
"hash": "af1349b9f5f9a1a6a0404dea36dcc9499bcb25c9adc112b7cc9a93cae41f3262"
|
|
},
|
|
{
|
|
"input_len": 1,
|
|
"hash": "2d3adedff11b61f14c886e35afa036736dcd87a74d27b5c1510225d0f592e213"
|
|
},
|
|
{
|
|
"input_len": 63,
|
|
"hash": "e9bc37a594daad83be9470df7f7b3798297c3d834ce80ba85d6e207627b7db7b"
|
|
},
|
|
{
|
|
"input_len": 64,
|
|
"hash": "4eed7141ea4a5cd4b788606bd23f46e212af9cacebacdc7d1f4c6dc7f2511b98"
|
|
},
|
|
{
|
|
"input_len": 65,
|
|
"hash": "de1e5fa0be70df6d2be8fffd0e99ceaa8eb6e8c93a63f2d8d1c30ecb6b263dee"
|
|
},
|
|
{
|
|
"input_len": 1023,
|
|
"hash": "10108970eeda3eb932baac1428c7a2163b0e924c9a9e25b35bba72b28f70bd11"
|
|
},
|
|
{
|
|
"input_len": 1024,
|
|
"hash": "42214739f095a406f3fc83deb889744ac00df831c10daa55189b5d121c855af7"
|
|
},
|
|
{
|
|
"input_len": 1025,
|
|
"hash": "d00278ae47eb27b34faecf67b4fe263f82d5412916c1ffd97c8cb7fb814b8444"
|
|
},
|
|
{
|
|
"input_len": 2048,
|
|
"hash": "e776b6028c7cd22a4d0ba182a8bf62205d2ef576467e838ed6f2529b85fba24a"
|
|
},
|
|
{
|
|
"input_len": 2049,
|
|
"hash": "5f4d72f40d7a5f82b15ca2b2e44b1de3c2ef86c426c95c1af0b6879522563030"
|
|
},
|
|
{
|
|
"input_len": 3072,
|
|
"hash": "b98cb0ff3623be03326b373de6b9095218513e64f1ee2edd2525c7ad1e5cffd2"
|
|
},
|
|
{
|
|
"input_len": 3073,
|
|
"hash": "7124b49501012f81cc7f11ca069ec9226cecb8a2c850cfe644e327d22d3e1cd3"
|
|
},
|
|
{
|
|
"input_len": 4096,
|
|
"hash": "015094013f57a5277b59d8475c0501042c0b642e531b0a1c8f58d2163229e969"
|
|
},
|
|
{
|
|
"input_len": 4097,
|
|
"hash": "9b4052b38f1c5fc8b1f9ff7ac7b27cd242487b3d890d15c96a1c25b8aa0fb995"
|
|
},
|
|
{
|
|
"input_len": 8193,
|
|
"hash": "bab6c09cb8ce8cf459261398d2e7aef35700bf488116ceb94a36d0f5f1b7bc3b"
|
|
},
|
|
{
|
|
"input_len": 16384,
|
|
"hash": "f875d6646de28985646f34ee13be9a576fd515f76b5b0a26bb324735041ddde4"
|
|
},
|
|
{
|
|
"input_len": 31744,
|
|
"hash": "62b6960e1a44bcc1eb1a611a8d6235b6b4b78f32e7abc4fb4c6cdcce94895c47"
|
|
}
|
|
]
|
|
}
|