Settled-compliantly proof for a tokenized-deposit transfer on a shared orchestration layer, without leaking counterparty data: tokenized-settlement fit, asset-finality classification, a zk compliance proof, and an anchor compose into a receipt an auditor can independently verify. Asserts only that these inputs replay to this verdict, never that the underlying reserves or ledger state are independently observed.