Two-generation regen cutover + dissolve parked regen_verify_gate plan into executable RegenVerifyGate (cargo-green self-host fixed point, ONE PR)

ROADMAP.md

@@ -220,8 +220,8 @@ Adjacent lane — algorithmic-cost rewrite engine (the §3 construction design;
   - [ ] v1-coupled `coercion`/`node` renames — deferred to v1-delete
 - [ ] **emitted crate `cargo build`s green (Route-A last mile)** — execution-grounded, **re-measured after unmask** (#5714, deep-wolf, `--emit-fresh` full 108-emitted + 22-periphery closure): the earlier **38 E0308 was an E0433-masked LOWER BOUND** — true ceiling **647 E0308** (the §5-honesty call to re-measure-after-unmask was right, ~17x over the masked bound; *no* green was ever claimed against `38→0`). **Family A (24 map-literal `&str` keys) CLEARED → 0** (type-DERIVED key coercion, landed via the merged Lane-A re-baseline #5716/#5718 after the standalone #5714 was superseded/closed). **Pole = the Optional-on-String-carrier family: 638/647 (98.6%)** — and execution **REFUTED the first-cut 'pipe-first consumer-unwrap' root cause**: the dominant 638 are **signature-rendering** bugs (`expected String, found Option<String>`), the Rust emitter **dropping the `Optional` wrapper on String text-carrier signature/field types** (the carrier path early-returns a bare `String` before the Optional-template renderer; `Int?` rendered `Option<i64>` correctly, only `String?` regressed). The function *body* already emits `Some/None` — only the *type* was unfaithful, so the model was right (`first` IS modeled `OptionalOf`, algebra.dag:295). Fix = **faithful Optional RENDERING** (`rust_carrier_optional_wrap`: wrap iff `return_cardinality == CardOptional`, cardinality-gated + a non-optional-stays-bare control) — #5716, **CONSTRUCTION not a coercion**. Trajectory by `--emit-fresh`: **647 → 9** (the 11-site renderer wrap) **→ 6** (3 fail-closed unwraps at the genuine `T?`-into-`T`-slot model-hole consumers — semver_compare_identifier, schedule_witness_entry_eq, runnable_eq — located `.expect`, never `unwrap_or_default`, the empty-None PANIC proven by catch_unwind against a fabricates-0 control). **E0308 POLE CLEARED: 647 → 0** (the final 6 — fn-item-as-value 1 @ semver.rs:226 · and-str 3 · Box/Rc DescentEvidence 2 — clear in deep-wolf's 6-tail PR; fn-item via a load-bearing record-collapse-fold consistency fix, gated). But **0 E0308 is a MILESTONE, not cargo-green** — execution **REFUTED the '0 E0308 = done' finish-line**: the lane measured E0308-ONLY (its brief said 'categorized E0308 count'), and the FULL cargo build shows **~32 OTHER pre-existing errors never counted**, constant across measures (orthogonal, not unmasked — 41=9+32, 38=6+32, 32=0+32). Re-census after the measure-tower pole CLEARED: **measure-Q LANDED (#5735)** — value-variant type-arg collapse, the E0560×12/E0614×7 `std_measure.rs` root — and **std_serialization C0 cleared (#5761)** (a fixed-point prereq). Full `--emit-fresh` cargo build now **5 TOTAL errors**; #5777 (open, merry-gull — E0599 `Clone`-bound + E0624 Optional-receiver) takes **5 → 2**, and the residual **2 are E0091×2** — one **Compose decision** away. So **cargo-green = 0 TOTAL cargo errors** (the real self-host build), no longer the measure pole. Model hole stays flagged: pipe-first is modeled `OptionalOf`, so a **model-forces-unwrap follow-up is owed UPSTREAM** (the Optional/`Value::Null` runway). **"done" = the emitted crate cargo-builds with 0 TOTAL errors (the E0308 milestone + the 32 cleared) + the PRs merged** — measure full-cargo, never a grep of one error family. *(jolly-cat #5705/#5716/#5718 + the 6-tail/32-baseline; supersedes the stale 38-lower-bound, the ~12,600 / ~150-latent estimate, the refuted pipe-first-unwrap root cause, AND the refuted '0 E0308 = cargo-green' finish-line)*
   - [ ] real fixed point: `content_hash` stage1==stage2 (dissolve placeholder hashes)
-    - [ ] wire `regen_stage0 --verify` lockstep gate into CI — enforces no stage0 hand-edits ← **keystone**
-      - [ ] dissolve seed hand-patches (`patch_*` / `HAND_MAINTAINED_STAGE0_FILES`) — the `emit_rust` hand-sync caveat the gate must reproduce: [required facts](docs/plans/regen-verify-gate-required-facts.md)
+    - [x] wire `regen_stage0 --verify` lockstep gate into CI — enforces no hand-edits to **generated** stage0 files (`GENERATED_STAGE0_FILES`); `HAND_MAINTAINED_STAGE0_FILES` are copied through, excluded by design ← **keystone**
+      - [ ] dissolve seed hand-patches (`patch_*` / `HAND_MAINTAINED_STAGE0_FILES`) — the `emit_rust` hand-sync caveat the gate reproduces (the required-facts plan is dissolved into the executable `RegenVerifyGate`)
     - [ ] **TypeScript self-host (own lane)** — emit the compiler ITSELF as TypeScript and reproduce a per-realization merkle fixed point (the Rust `regen --verify` gate, mirrored for the TS realization). This is what makes "language design collapses to a row" real at full scale — §7 medium-agnostic proof, emit Rust *and* TypeScript, fixed point *per realization*. `5-ts-first-class` is the emit seed; this is the self-host. Gated on the Rust fixed point.
   - [ ] TypeScript to first-class (beyond the `add` slice) — the emit SEED. **In progress: Char atom-realization + green typed-fn emit (#5695), FieldAccess + RecordConstruct + `tsc --noEmit` oracle (#5701), operators by inhabitance (#5704)**
   - [ ] seed-honesty discharge (Diverse Double-Compiling)

dsl/gunbc/ci_spec.dag

@@ -16,6 +16,7 @@ type Gate
   | DslCompileCleanGate
   | GeneratedArtifactDriftGate
   | SourceRootIngestGate
+  | RegenVerifyGate
 
 type DiffMode = DiffMergeBase | DiffTwoDot
 
@@ -37,7 +38,8 @@ data gunbc_ci_floor_gates: List<Gate> = [
   ExtdepsExternalAuthorityGate,
   DslCompileCleanGate,
   GeneratedArtifactDriftGate,
-  SourceRootIngestGate
+  SourceRootIngestGate,
+  RegenVerifyGate
 ]
 
 data gunbc_ci_rust_job_gates: List<Gate> = [

dsl/gunbc/plan_registry.dag

@@ -2,7 +2,6 @@ module gunbc.plan_registry
 
 import gunbc.plan { Plan }
 import gunbc.plans.idea_machine { idea_machine_plan }
-import gunbc.plan_registry_batch_a { batch_a_plans }
 import gunbc.plan_registry_batch_b { batch_b_plans }
 import gunbc.plan_registry_batch_c { batch_c_plans }
 import gunbc.plan_registry_batch_d { batch_d_plans }
@@ -12,9 +11,8 @@ import gunbc.plan_registry_batch_g { batch_g_plans }
 
 data all_plans: List<Plan> = concat(
   [idea_machine_plan],
-  concat(batch_a_plans,
   concat(batch_b_plans,
   concat(batch_c_plans,
   concat(batch_d_plans,
   concat(batch_e_plans,
-  concat(batch_f_plans, batch_g_plans)))))))
+  concat(batch_f_plans, batch_g_plans))))))