Non-repudiation is structural, not promised: the receipt carries the proof.
Exploded view of a receipt: agent payload, policy version, cryptographic signatures, timestamp, anchored to an append-only ledger.