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