receipt_log_inclusion_proof
Proves a specific receipt (by unified receipt_id, lens alias, or raw
leaf_index) is included in the tree at tree_size (default: the
latest STH's). Returns leaf_hash, the audit_path, the recomputed
root_hash, and the matching STH. What this proves: the receipt in
your hand is byte-identical to the one sequenced into the log — not
that the observation inside it was correct (ADR-010).
Verify offline with scripts/verify-log.mjs inclusion <proof.json>.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| tree_size | No | ||
| leaf_index | No | ||
| receipt_id | No |