62 — Combined GCOS Substrate Rehearsal Results (R-6)

Doc: 62. Role: Live BEGIN..ROLLBACK integration rehearsal of all four blockers in dependency order (SB-12 → SB-13 → SB-10 → SB-11) in ONE transaction. Executes doc 48 Prompt 5; build order per doc 42. Status: REHEARSAL RESULT — PASS. One transaction, ZERO COMMIT, FK compatibility proven, zero emit, entry==exit proven. Build NO-GO. Date: 2026-06-01. Entry baseline: doc 57.

---

62.1 What was rehearsed (one transaction)

1. SB-12: CREATE TABLE governance_ruleset + draft ruleset row + evolution_snapshots governance row.
2. SB-13: CREATE TABLE gov_worker_cursor + 5 worker rows + queue_heartbeat gov row (executor_name drift).
3. SB-10: CREATE TABLE governance_candidate_state with a real FK (ruleset_version) REFERENCES governance_ruleset(ruleset_version) + governance_candidate_object + candidate_scan_run + demo rows.
4. SB-11: register 5 governance event types active=false (zero emit).

Cross-checks inside the txn: candidate→ruleset FK resolves; event_outbox unchanged; law tables untouched; footprint counted.

62.2 Transcript (verbatim, condensed)

===R6_COMBINED_PRE_TABLES===  a=b=c=d=e = (null)
===R6_COMBINED_PRE_COUNTS===  evo=1 hb=3 etr=40 outbox=182731 norm=47 law=5
BEGIN SET SET SET
 CREATE TABLE  INSERT 0 1  INSERT 0 1        (SB-12)
 CREATE TABLE  INSERT 0 5  INSERT 0 1        (SB-13)
 CREATE TABLE x3  INSERT 0 1 x3              (SB-10, incl. FK table)
 INSERT 0 5                                  (SB-11 active=false)
===R6_INTX_ALL_5_TABLES_VISIBLE===  governance_ruleset | gov_worker_cursor | governance_candidate_state | governance_candidate_object | candidate_scan_run
===R6_INTX_CROSS_LINK_FK_RESOLVES===  grp:rehearsal:demo | gov-rs-rehearsal01 | ruleset_status=draft
===R6_INTX_ZERO_EMIT_GOV_INACTIVE_LAW_UNTOUCHED===  outbox_now=182731 | gov_active=0 | gov_total=5 | norm=47 | law=5
===R6_INTX_FOOTPRINT_NEW_GOV_TABLES===  new_gov_tables=5
ROLLBACK
===R6_COMBINED_POST_TABLES===  a=b=c=d=e = (null)
===R6_COMBINED_POST_COUNTS===  evo=1 evo_gov=0 hb=3 hb_gov=0 etr=40 etr_gov=0 outbox=182731 norm=47 law=5

Separate-session query_pg after ROLLBACK: all 5 tables NULL; evo_gov=0; hb_gov=0; etr_gov=0.

62.3 Integration proofs

• No naming collisions: all 5 target tables absent at PRE; all created cleanly in one txn.
• Dependency order works: governance_ruleset created/inserted before governance_candidate_state's FK insert → FK satisfied; the cross-link JOIN resolved (ruleset_status=draft).
• FK / constraint compatibility proven: the hard FK governance_candidate_state.ruleset_version → governance_ruleset.ruleset_version (text→text) created and enforced live.
• Zero emit: event_outbox = 182,731 unchanged throughout; governance events active=false only.
• No law write: normative_registry=47, law_catalog=5 unchanged.
• Footprint: exactly 5 new tables = 4 core (governance_ruleset, gov_worker_cursor, governance_candidate_state, candidate_scan_run) + 1 optional (governance_candidate_object); 0 new buses/stores (reused evolution_snapshots, queue_heartbeat, event_type_registry, event_outbox) — doc 42 footprint claim confirmed.
• No-island: one bus / issue-store / audit / heartbeat / cursor-family / candidate-store. No-hardcode: classes/axes/scopes/rules sourced from registries (no literal arrays introduced).

62.4 Entry==Exit

All 5 tables NULL post-ROLLBACK; evolution_snapshots=1 (gov 0), queue_heartbeat=3 (gov 0), event_type_registry=40 (gov 0), event_outbox=182,731, normative_registry=47, law_catalog=5 — every value identical to entry. ✅

62.5 Verdict

R-6 combined = PASS. The four blockers build together in dependency order in one reversible transaction with a live-enforced FK, zero emit, and the claimed ≤4-additive(+1-optional)/0-new-bus footprint. This is the consolidated G-DDL + G-RBE rehearsal evidence (RE-1..RE-7) for the whole substrate. Build NO-GO (master gate os_proposal_approvals=0).