What is provided Signed receipts for every decision Canonical request hashing Decision hashing Append only logs Full replay capability
What can be verified Determinism across repeated runs Replay integrity from stored inputs Cross runtime parity Schema enforcement No hidden state influence