10 — P6 Rollback / No-State / Clean Evidence — 2026-06-22

Principle

A governed dry-run (and all of this macro's probing) must leave zero persistent governed state. Because no governed write occurred, there is nothing to roll back — the cleanest possible outcome.

Before == After (live, db directus)

Surface	Before	After	Δ
dot_tools	309	309	0
dot_agent_api_contract	2	2	0
table_registry	21	21	0
DOT_C1_* in dot_tools	0	0	0
governance_canonical_operation_vocab table	0	0	0
schema c1	0	0	0
C1 grants / ownership	0	0	0

State accounting

• Dispatcher calls used p_write_observation=false ⇒ no observation/process-run rows written.
• Bad-input calls RAISEd and aborted their transactions ⇒ no partial writes.
• directus_create attempt was DENIED before execution ⇒ no row.
• No collection/table/schema/contract/grant created ⇒ no orphan DOT, no dangling edge, no compensation needed.

Side-effect check

• C2/C3/C4–C7: untouched (0 cross-tier writes).
• Production: untouched.
• Audit: all evidence here is read-only query output; no audit rows were generated by mutation (none occurred).

Result

P6 no-state / clean = PASS. Rollback = vacuous (nothing to undo). Governed diff = ∅.