http_binding::receipts (receipt_claims): receipt files named by their link hash, the receipt index read item by item, each delivery item through jwp-receipts §3 against the client's chains with missing parents walked by their links up to a bound, step 4 against what the client holds of the object, and claims by subject and parent; a soft-binding claim about another object attests the ancestor. http_binding::keys (key_discovery): a key log anchored only from the origin's own location over HTTPS with a 200 and no redirect, logs through caches adding revisions without moving the anchor, grants files as locators, and parameter sets held only by their pins and §7.9. B's retrofit: jwp_hash::EstablishedHash, built only from bytes or by a fetch session whose head proof verified (FetchSession::established); ObjectReceipt::accept_hash and verify_against_hash, and WaiReceiptProperty::check_against_object_hash, which accept and check_against_object call; ReceiptChains::verify_admitted_object. Corpus: group receipts, claims, indexes, a key log, status, grants file and a set served by digest, with receipt_file, receipts, key_log, grants_file and param_set cases; http_receipts.py checks them for http_verify.py. Co-Authored-By: Claude Opus 5.5 <[email protected]>
1 line
No EOL
313 B
Text
1 line
No EOL
313 B
Text
{"head":"fab4c950188cdacaee2b290bda245bf8c7bbe5ba5f0549451a72a9241cf4da33","issued_at":"2026-10-06T00:00:00Z","kind":"wai-key-status","origin":"https://origin.example","seq":1,"sig":"1c72d7f3c146edbf6f068e03bf444d66defb78dff1065593d17f82a388b1301511a0bbd45fb08b715f7551039dd555cb3baf794e39c4fabe8719b316aaa4a703"} |