Evidence and Proof · Lesson 01 of 04
Receipts and archives
Receipts are typed, producer-bounded evidence; archives preserve identity-bound history without expanding what the evidence proves.
Learning objectives
- Describe the structure of a receipt
- Explain what makes a receipt tamper-evident
- Identify what belongs in an archive vs a receipt
Prerequisites
Receipts are typed evidence carriers. Their meaning depends on how they were produced: a generic readiness receipt is not the same as an execution-produced receipt, and an archive adds durable content-addressed history without broadening the underlying claim.
Read the producer and selected scope
Inspect the command, contract identity, selected task or workflow, execution mode, findings, outcome, and evidence classes together. Do not reconstruct an earlier admission decision from post-execution filesystem state or infer selected work from a generic receipt.
ota run --receipt --json testota receipt --json --archiveota receipt --historyArchive identity preserves, not upgrades
An archive binds the recorded payload and contract snapshot for later verification. It does not turn an observation into application proof, grant authority, or prove unselected repository behavior. Consumers must verify the archive and apply the same semantic rules as the producer.
Canonical terminology
Evidence boundary for this lesson
Establishes
- You can read and interpret a receipt
- You understand archive structure
Does not establish
- Any specific receipt is valid for your repo
Knowledge check
What does archiving a receipt add, and what does it not add?
It preserves identity-bound history and the relevant snapshot for later verification. It does not broaden the original producer's evidence claim.