Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1
Scope, the Q03 record, and finite package semantics
Scope, the Q03 record, and finite package semantics · lines 442–447
A digest identifies bytes relative to a manifest. It does not prove that the manifest is trustworthy or that the bytes implement the declared physics.