85 — Cross-Rehearsal Evidence Review: SB-1 / SB-2 / GCOS / T6-T7 (consolidated, 2026-06-01)
85 — Cross-Rehearsal Evidence Review: SB-1 / SB-2 / GCOS / T6-T7
Branch C (mission §6). Tier: consolidation of executed-live rehearsal evidence across the package. Mutation footprint: ZERO (review only). Sources: GCOS docs 57–66, build-intake docs 67–74, SB-2 docs 75–81, SB-1 docs 83–84 (this mission). All rehearsals were
BEGIN..ROLLBACK, entry==exit, zero COMMIT. One-line: every substrate track is REHEARSED-GREEN or design-complete; every track is BUILD NO-GO. The sole blockers are governance/authorization (M-1 sovereign, C-7/C-1/C-2 formal intake), not engineering — plus mandatory drift fold-ins (doc 86).
85.1 Per-track evidence matrix
| Track | Rehearsal status | Evidence doc(s) | Objects rehearsed | Negative tests | Entry==exit | Build-ready subject to auth? | Still blocked by |
|---|---|---|---|---|---|---|---|
| SB-1 APR vocabulary | REHEARSED-GREEN (live, this mission) | 83, 84 | INSERT 4 apr_action_types rows (high/unimplemented) + birth-trigger fix in-txn |
N1 PK-collision, N2 bad-risk, N3 bad-status — all rejected | ✔ 6→6, two channels, DDL reversed | yes (vocab) — after F-83-1 fix | M-1; C-2 build record; Phase-B handler (G-APPLY) |
| SB-2 owner substrate | REHEARSED-GREEN (live, R1–R5) | 75–81 | 2 tables (governance_responsibility_scope, governance_object_ownership 20-col) + 2 views (v_object_effective_owner, v_object_owner_gap); trigger-less |
5 neg (dup-accountable, phantom-owner FK, bad-scope FK, bad-kind CHECK, delegated-no-TTL CHECK) + bad-owner — all PASS; 8 resolution demos D1–D8 | ✔ cross-session (doc 79) | yes | M-1; C-1 build record; H-1/H-2/SB-6; OP-B/C-3/C-4 (IU owner binding) |
| SB-12 ruleset/snapshot | REHEARSED-GREEN | 58, 62, 67 | CREATE TABLE governance_ruleset (PK ruleset_version) + reuse evolution_snapshots (gov row) |
constraint-respect (ruleset created draft, never activated) |
✔ dual-session | yes (G-DDL met) | M-1; A-4 (C-7.2 ruleset-owner) before activation |
| SB-13 worker cursor | REHEARSED-GREEN | 59, 62 | CREATE TABLE gov_worker_cursor (text watermark, 5 worker rows) + reuse queue_heartbeat |
int-watermark & uuid-watermark coexist in one text col (RR-8) | ✔ | yes (G-DDL met) | M-1; F-57-1 fold-in mandatory |
| SB-10 candidate state (GCOS keystone) | REHEARSED-GREEN | 60, 62 | governance_candidate_state (group grain) + governance_candidate_object (optional) + candidate_scan_run; real FK → governance_ruleset |
no-checked-forever grep = 0 rows (RR-4); group-grain Δrows=0 | ✔ all 3 tables NULL post | yes (G-DDL met) | M-1; needs SB-12+SB-13 committed first (FK) |
| SB-11 event/handoff | REHEARSED-GREEN | 61, 62 | 0 new tables — register 5 governance-domain rows in event_type_registry active=false; reuse event_outbox |
zero emit asserted; 0 rows ever active=true (RR-9); 0 new tables (RR-10) |
✔ etr 40→45→40, outbox unchanged | yes (G-RBE met) | M-1; F-57-2/3/4 fold-in; active=true flip = separate T7 gate; A-3 (C-7.1) for input-trust |
| T6/T7 addenda | REHEARSED-GREEN (Part A rows; Part B diff-only) | 63, 69 | INSERT 4 dot_domains + 4 GCOS DOTs (dot_tools, tier-A read/propose) + 4 dot_coverage_required; mutating apply DOT NOT created |
first attempt FK-failed → forced order (F-R7-1); Birth-Gate format WARN ×4 (F-R7-2); erroring tx → 0 residue | ✔ all counts at entry | addenda enumerated/rehearsed | M-1; SB-10/11/12/13 built first; C-7; gate table; F-R7-1/2 fold-in; docs 24/25 not written |
| GCOS backfill / handoff / input / candidate | design-complete + substrate rehearsed | 31–35, 58–62 | backfill SEED, handoff cursor-tail (Option A, Birth untouched), input L0 gate, dirty-group candidate scan | covered by SB-10..13 rehearsals | ✔ (via substrate) | design-ready | M-1; C-7 (input-trust, backfill-ruleset, 60-day cutover, observer-trigger) formal intake |
| Issue / event / notification (T7) | design-complete; event-register rehearsed (SB-11) | 24, 61 | 20 issue types ride system_issues; governance event domain register-before-emit |
zero emit (SB-11) | ✔ | design-ready; register step rehearsed | M-1; doc 24 not surgically written; F-57-2/3/4 |
| Production gate (G-PROD) | design rule (addendum #10) | 35 §3, 45, 49 | fail-closed: stale/missing candidate verdict → high-risk write blocked | n/a (rule) | n/a | enforced at build | applies at build; no standalone rehearsal needed |
85.2 Consolidated entry==exit ledger (every executing rehearsal left zero residue)
- SB-1 (doc 83/91):
apr_action_types6→6; SB-1 codes absent;birth_registry.apr_action_types0→0; birth trigger restored to no-arg;approval_requests211/apr_approvals42 unchanged;os_proposal_approvals0; idle_in_txn 0. - SB-2 (doc 79): 4 targets NULL→NULL;
governance_relations8/8,governance_registry9/9,apr_action_types6/6,os_proposal_approvals0/0,event_type_registry40/40 (gov 0); idle_in_txn 0; sessions-left 0. - GCOS (doc 64): all 5 GCOS tables NULL post;
evolution_snapshots1,queue_heartbeat3,event_type_registry40,event_outbox(unchanged),normative_registry47,law_catalog5 — every value at entry. - T6/T7 (doc 63):
dot_domains46,dot_tools309,dot_coverage_required11, gov DOTs 0, GCOS domains 0, governance events active 0 — at entry.
No rehearsal across the package ever produced an os_proposal_approvals row, a committed object, an emitted event, a registered DOT/event, or a law change.
85.3 Cross-rehearsal verdict
Substrate engineering is proven. SB-1 (vocabulary), SB-2 (owner line), and the four GCOS blockers (SB-10/11/12/13) are each rehearsed-green with negative tests and entry==exit; the T6/T7 addenda are enumerated and their additive rows rehearsed (the mutating apply DOT deliberately never created). The only things between here and a build are governance decisions and the sovereign approval — none of which an agent or a GPT delegated ruling can supply (doc 88). Five GCOS drift findings + the new SB-1 F-83-1 + the F-83-2 observation are mandatory engineering fold-ins (doc 86). Cross-rehearsal status: REHEARSED-GREEN / BUILD NO-GO.