3af54eb5f7
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]>
41 KiB
41 KiB