04 — Post-Commit Verification (independent read channel)

All counts re-read via query_pg (read-only role, separate from the write channel) after COMMIT.

A. Seam views now live (not inert)

Both defs now begin SELECT 'collection'::text AS object_type, (collection_n…; neither is WHERE false any longer. Comments applied.

B. Row ceilings

• Seam A inventory rows: 35 (expected 35).
• Seam B containment edges: 35 (expected 35).
• Containment depth (live re-walk): 1, no cycle.
• Gap ceiling = objects × active scopes = 35 × 6 = 210.

C. No-mutation invariants (15-point post-commit)

1. Inventory grain=35 ✔; 2. edges acyclic 35 ✔; 3. gap=210 ✔; 4. candidates=0 ✔; 5. owners=0 ✔; 6. rulesets=0 ✔; 7. worker cursor=0 ✔; 8. gov emit=0 ✔; 9. system_issues=198,442 ✔; 10. gov events active=0 ✔; 11. dot_tools=309 ✔; 12. ospa 0 / appr_req 211 / apr_appr 42 / action_types 14 ✔; 13. no Directus/Qdrant/Nuxt ✔; 14. idle_in_transaction=0 ✔; 15. rollback restores inert ✔.

D. No hidden write path

view_triggers=0, extra_rules=0 (only implicit _RETURN). Seams cannot be written through; pure read-only projections.

Post-commit verification verdict: PASS on all points.