Verifiable Execution
Can an auditor independently replay a Catalyst agent run to verify its outcome?
An auditor can replay an agent run from the verifiable record if they have the initial state and step inputs. The record provides signed step outputs, allowing deterministic replay to confirm that outputs match. Non-deterministic steps may diverge; verifiability covers the execution trail, not the original environment. The replayed proof validates that the run followed the recorded steps, not that the business logic was correct.
Was this article helpful?
Your feedback helps improve Diagrid's FAQ experience.
Keep reading
More Diagrid FAQ articles
- Verifiable Execution
What is a verifiable execution record in Catalyst?
A signed, immutable sequence of agent steps enabling auditors to prove run integrity through independent replay. It does not validate decision correctness.
- Verifiable Execution
How does Catalyst ensure that step records are tamper-evident?
Catalyst uses a hash chain and digital signatures per step, so any alteration breaks the chain and becomes detectable through signature verification.
- Verifiable Execution
Who can verify the integrity of a Catalyst agent execution?
Any party with the public key can verify the signed step chain, enabling independent auditability without trusting the execution system.