Observed condition
What was wrong or outside the operating contract.
Verified Closure and Evidence
Coda preserves the full chain from observed condition to authorized action, resulting condition, independent verification and closure.
Closure anatomy
What was wrong or outside the operating contract.
Why the guild was authorized to intervene.
The accountable sponsor and operating role.
The response permitted by the authority model.
The system state after intervention.
Proof the intended outcome was actually achieved.
The replayable and exportable record of the complete closure.
Evidence Pack
The pack should remain understandable after a model version, runtime, operating team or vendor changes.
Principal, role, delegation, scope, purpose and expiry.
authority.path = sponsor → guild → operatorPolicy, risk tier, human approval and exceptions.
decision.result = DENY_AND_SUSPENDTool invocation, resource, arguments, side effects and rollback.
action.side_effect = noneBefore state, resulting condition, verifier and acceptance criteria.
closure.verified = trueReplay
Replay should expose the event, mandate, evidence available at the time, authority decision, action path, resulting state and verifier acceptance.
Load source evidence, policy versions and operating contract.
Confirm identity, delegation, scope and expiry.
Trace every tool call and resulting system mutation.
Apply closure criteria to the resulting condition.