AuditTrail

Mechanism

Every consequential Agent action (state mutation, external call, delegation, decision) appends a Signed entry to an immutable Ledger whose sequence number advances via MonotonicCounter, so no entry can be wedged between two existing ones. Each entry contains: timestamp, Agent Identity, action type, input hash, output hash, and the sema pattern invoked. Extends Trace from single-entity lineage to cross-agent compliance logging. The trail is append-only — entries cannot be modified or deleted. For cross-agent auditing, individual trails are aggregated via Merkle roots into a shared Snapshot, enabling any party to verify the complete history without accessing raw entries.