### Who holds which objects near a receiver

- **Holdings** ([extensions/holdings.md](extensions/holdings.md)), the record `wai.delivery.holdings`:
  a node's signed record (`WHD1`) of which objects of which groups it holds now, for its neighbours.
  Per group, its link hash, its leaf count and either `whole` or a bitmap, in one canonical form,
  with the instant it states them at and the one it expires at, signed under SPEC §7 *Signatures*.
  Exact, so a neighbour is never sent after an object its holder lacks.
- **What a verifier derives**: a record held to an instant and to the group receipts it has (one
  misstated leaf count refuses it whole), a holder's latest record standing and two of one instant
  that differ set aside, whether a record holds an object, and an asker's plan: each wanted
  object's holders in the asker's order, and the objects no neighbour holds, which come from the
  origin. An object a neighbour serves is verified under its receipts like any other.
- **The corpus** [`live-conformance/holdings/`](live-conformance/holdings/): 21 records (a control
  for each rule and for the signature, a small-order key among them), 11 verdicts, 6 queries and
  a plan over three neighbours. `holdings_verify.py` is a second implementation.
- **The registry** lists `WHD1` as a magic of holdings §4.1 (REGISTRY.md and `codecs/registry.rs`), a magic no
  other record, wire identifier, open branch or crate of the repository uses; `holdings::MAGIC` is held to that one
  row.

