Resources · The append-only ledger
An append-only ledger
If the governor created it, the governor can find it and remove it.
Resources · The append-only ledger
If the governor created it, the governor can find it and remove it.
Every mutation writes exactly one ledger entry, in the same transaction or durable-workflow step as the state change itself. A mutation without a ledger row is a defect, not an omission — the two cannot come apart, because they commit together.
That is what makes the ledger usable as evidence rather than as logging. Logs describe what a process believed; this records what actually changed.
Append-only is enforced at the storage layer — no UPDATE or DELETE grants — including against the operator. A correction is a new compensating entry that references the original. Nothing is rewritten, so nothing can be quietly rewritten.
What this is not. Append-only storage is a strong integrity property, not third-party attestation. Verify it yourself through the signed conformance evidence and the export below rather than taking the claim on trust.
Undo and teardown plans are computed from the ledger plus a desired-state store — never hardcoded. That is the property worth having: nothing can be created through SproutPad that SproutPad cannot then find and remove.
You can export your ledger. Exports are integrity-protected with a running hash chain, so an auditor can detect truncation or tampering without trusting the export endpoint itself.
Related: exit paths, idempotency and compensation.
How an agent reaches SproutPad, what a scoped key can do, and why every entrance returns the same envelope.
Why the money is held before it is spent, what an estimate is not, and how headroom is actually computed.
What gets gated, who can decide it, what the approval page must show, and what happens if nobody answers.