64 — Rollback / Entry==Exit Verification (R-8)
Doc: 64. Role: The numeric rollback proof (doc 48 Prompt 7 / doc 53 R-7) — a {object, pre, post, equal?} certification that the R-2..R-7 rehearsals left zero footprint. Run read-only via query_pg (separate sessions from the operator rehearsal channel).
Status: VERIFICATION — PASS. ENTRY == EXIT for every object. ZERO residue, ZERO emit, ZERO approval, NO law change, idle_in_transaction=0, NO COMMIT.
Date: 2026-06-01.
64.1 Target tables absent (greenfield restored)
to_regclass |
Pre (doc 57) |
Post (R-8) |
Equal? |
governance_ruleset |
NULL |
NULL |
✅ |
gov_worker_cursor |
NULL |
NULL |
✅ |
governance_candidate_state |
NULL |
NULL |
✅ |
governance_candidate_object |
NULL |
NULL |
✅ |
candidate_scan_run |
NULL |
NULL |
✅ |
governance_object_ownership |
NULL |
NULL |
✅ |
governance_responsibility_scope |
NULL |
NULL |
✅ |
64.2 No row persisted in reuse tables (governance-scoped residue = 0)
| Probe |
Post |
Equal to pre? |
evolution_snapshots WHERE scope LIKE 'governance.%' |
0 |
✅ |
event_type_registry WHERE event_domain='governance' |
0 |
✅ |
queue_heartbeat WHERE executor_name LIKE 'gov\_%' |
0 |
✅ |
dot_tools WHERE code LIKE 'dot_governance_%' |
0 |
✅ |
dot_domains GCOS subdomains (backfill/handoff/input/candidate) |
0 |
✅ |
event_pending |
0 |
✅ |
64.3 Zero emit / zero approval / no law change
| Probe |
Post |
Note |
event_outbox WHERE event_domain='governance' |
0 |
never emitted |
os_proposal_approvals |
0 |
COMMIT_FORBIDDEN intact; no approval created |
normative_registry |
47 |
== entry → no law change |
law_catalog / governance_docs |
5 / 12 |
== entry |
approval_requests / apr_approvals / apr_action_types |
211 / 42 / 6 |
== entry → no approval/action-type created |
64.4 Full count comparison (rehearsal-touched objects, separate session)
| Object |
Entry (doc 57) |
Exit (R-8) |
Equal? |
evolution_snapshots |
1 |
1 |
✅ |
queue_heartbeat |
3 |
3 |
✅ |
event_type_registry |
40 |
40 |
✅ |
dot_tools |
309 |
309 |
✅ |
dot_coverage_required |
11 |
11 |
✅ |
dot_domains |
46 |
46 |
✅ |
normative_registry |
47 |
47 |
✅ |
law_catalog |
5 |
5 |
✅ |
governance_docs |
12 |
12 |
✅ |
apr_action_types |
6 |
6 |
✅ |
approval_requests |
211 |
211 |
✅ |
apr_approvals |
42 |
42 |
✅ |
event_subscription |
3 |
3 |
✅ |
measurement_registry |
142 |
142 |
✅ |
idle_in_transaction (db=directus) |
0 |
0 |
✅ |
Organic-growth tables (birth_registry, event_outbox, event_read, system_issues, registry_changelog) drift slightly with live traffic and are not rehearsal residue — none was written by any rehearsal (governance-scoped counts on them are all 0).
64.5 Verdict
R-8 = PASS. Every object's pre == post. Zero governance residue across all reuse tables; zero emit; zero approval; no law change; no leaked transaction (idle_in_transaction=0); no COMMIT occurred anywhere. Per the doc-48 Prompt-7 rule: all equal ⇒ the rehearsal cycle was non-destructive and fully reversible. No "clean-up" mutation was ever needed or performed. This certifies the rehearsal-evidence column (RE-1..RE-7) of doc 49 §49.4 for the GCOS substrate.