What the thorough prover needs — a narrow pick of the Ports bag, so a host passes the whole
bag or hand-builds the fields. digest is required because the tamper check always
recomputes entry hashes; no path trusts a stored hash. signer authenticates the archival
boundary when one exists — proving an archived store without a signer faults rather than
vouching for an unverifiable boundary.
What the thorough prover needs — a narrow pick of the Ports bag, so a host passes the whole bag or hand-builds the fields.
digestis required because the tamper check always recomputes entry hashes; no path trusts a stored hash.signerauthenticates the archival boundary when one exists — proving an archived store without a signer faults rather than vouching for an unverifiable boundary.