00 — Overview & State Recovery (F-3 Consolidation Rollback-Only)

Mission: ONE_ROOF_PHASE1_COVERAGE_DRY_RUN_F3_CONSOLIDATION_ROLLBACK_ONLY (2026-06-02). Execution class: consolidation rollback-only coverage dry-run + F-4 readiness packet. Mode: BEGIN..ROLLBACK ONLY. NO COMMIT. NO PERSISTENT MUTATION. Verdict: PASS (12/12 objectives met; entry==exit proven on two independent channels).

0.1 F-3 objective

Consolidate the proven F-1 (read-only) and F-2 (rollback-only) coverage dry-runs, then extend them — inside a single rolled-back transaction — to:

1. prove the full Phase-1 gap ceiling (210 = 35×6) live as a real view object (F-2 had only proven the 18-subset);
2. exercise a broader bounded subset (10 governed collections across 3 real folder-groups) at corrected object×scope thresholds;
3. drive owner resolution through a REAL acyclic containment source — collection_registry."group" — instead of F-2's single hand-made fixture edge;
4. verify direct / inherited / missing / conflict / gap behavior at that broader scope;
5. produce a concrete F-4 seam-commit readiness packet;
6. ROLLBACK and prove entry==exit.

0.2 F-1 / F-2 facts preserved (must not regress)

Fact	Source	Carried into F-3
Gap grain = object × active-scope	F-1 (F-DR-1)	ceilings = N×6
3-subset ceiling 18, full ceiling 210 (not 38)	F-2 (F2-2)	A3 proves 210 live; B6 proves 60 for 10-subset
Seam wiring DDL must cast collection_name::text	F-2 (F2-1, load-bearing)	used verbatim in A1/B1
Recursive v_object_effective_owner resolves direct(0)+inherited(via is_inherited_anchor)	F-2 (F2-3)	E1: 1 group anchor → 4 inherited children + 2 direct
One-accountable invariant via uq_gov_obj_accountable; conflict still detectable by predicate	F-2 (F2-4)	E6=0 / E7=1; N1 rejects dup
Integrity rails fail-closed (UNIQUE/FK/CHECK + candidate ruleset FK)	F-2 (F2-4)	N1–N7 (7 rejections)
Zero-emit / zero-issue / zero-activation boundary	F-1/F-2 (F-DR-5/F2-5)	INTX_OUT_OF_SCOPE + census Δ=0
Postgres DDL is transactional ⇒ seam views auto-restore inert on ROLLBACK	F-2 (§2.3)	POST_CENSUS + independent pg_get_viewdef = WHERE false
Axis layer (axis_registry/axis_assignment/coverage_rule) ABSENT ⇒ fake/test-only	F-1/F-2 (F-DR-4/§7.9)	not attempted; NO-GO reaffirmed

0.3 Allowed rollback-only scope (this run)

Inside one BEGIN..ROLLBACK: CREATE OR REPLACE the two seam views (corrected casts); insert transient draft ruleset / scan_run / candidate_state / ownership rows; exercise resolution / gap / conflict / containment; run negative tests via savepoints; compute live ceilings; build the F-4 packet. Everything rolls back.

0.4 Corrected thresholds (used)

• 10-subset gap ceiling = 60 (10 × 6 active scopes).
• Full Phase-1 gap ceiling = 210 (35 × 6) — proven live in Phase A.
• Seam DDL: cr.collection_name::text AS object_ref (F2-1).
• Owner-resolution rows bounded by nodes × active-scopes; in practice non-empty only on owned scopes.

0.5 Forbidden actions (honored — see doc 07)

No COMMIT · no persistent PG mutation · no scanner/worker/backfill · no event emit · no system_issues persistence · no notification · no DOT register/run · no handler activation · no UI/Nuxt/Directus/Qdrant mutation · no os_proposal_approvals write · no approval/e-sign · no law/version/status change · no production activation · no hardcode · no hidden governance island.

0.6 F-4 readiness target

A fill-in-the-blanks seam-commit plan: the exact two CREATE OR REPLACE VIEW statements that a ratified F-4 would COMMIT, the row ceilings to gate on, what must stay forbidden, the rollback plan, and the L2+L4 ratification gate that alone unblocks the COMMIT. Delivered in doc 08.

0.7 Package contents

00-overview/state-recovery · 01-preflight-baseline · 02-f1-f2-consolidated-findings · 03-transaction-plan-and-sql · 04-expanded-scope-inventory-results · 05-owner-gap-conflict-containment-results · 06-negative-tests · 07-entry-exit-rollback-verification · 08-f4-seam-commit-readiness-packet · 09-final-go-nogo · 10-self-review. SQL: sql/f3_consolidation_rollback.sql.