The receipt is the product. These pages make you fluent in it:

• Fields - every field: what it proves, what it does not, and when it populates.
• Verification - verify a receipt's Ed25519 signature end to end, copy-paste snippet included.
• Pipeline - what runs per mode, stage by stage.
• Latency - measured per-mode, per-size timings on the production service.