Constant MAX_RECEIPT_BYTES 

pub const MAX_RECEIPT_BYTES: u64 = _; // 16_777_216u64

Receipts JCS-canonicalize to a few hundred bytes; even a huge tool-call summary stays well under 16 MiB. Shared between the CLI (avctl receipt-verify) and the harness reconciler (round-17 F3).