Close Route-A cargo-green milestone with execution-grounded re-census receipt

ROADMAP.md

@@ -121,7 +121,6 @@ A flaky or green-but-broken floor means no gate protects anything — so CI is u
 - [ ] **G2 runner deployment + cross-host placement** *(dispatched proud-tern-439: model + drift-gate)* — derive runners/host + registration from `fleet_intent`+envelope; **host-apply RESOLVED (operator-set, CI-humming plan authority): the gunbc-EMITTED converge shell** (`.github/fleet-converge.sh` = a §2 host-effect handler inhabiting the §6 carrier *by emission* — the emitted shell IS the executing consumer, escaping the §5 spec-without-execution trap; ctrl thin-runs it + parses a fail-closed receipt; §7 seed-shrink). In progress: emit (wise-eagle-664) + thin consume/run (fierce-carp)
 - [ ] **G3 cgroup caps** — `TasksMax`/`MemoryMax` host-set by hand, only *read* live; derive + reconcile via the **emitted converge shell + fail-closed receipt** (same carrier-inhabitation-by-emission as G2) so a hand-edit reds
 - [ ] **CI on compute fabric** — derive every host knob from one measured `ResourceEnvelope`; ends the crash-or-idle swing [plan](docs/plans/compute-envelope-model.md)
-- [ ] **compute fabric connector migration** — relocate ~50 removed vocabulary symbols to their single-authority homes before #5889 can merge [plan](docs/plans/compute-fabric-connector-migration.md)
 
 **Adjacent gaps (smaller, outside the host band):**
 
@@ -207,7 +206,7 @@ Anchor (do not flip-flop): `.dag` = truth; purely self-hosting (v2 emits its own
 
 Adjacent lane — algorithmic-cost rewrite engine (the §3 construction design; post-stability, natural once `.dag` is the self-hosted truth). → [plan](docs/plans/algebraic-rewrite-optimization.md)
 
-**◆ Milestones (critical path):** front-end ✓ · emit-rust well-typed ✓ · de-fork Step 1 ✓ (#5473) · class-3 corpus-coherence + cargo-green seed ✓ (#5481) → **▸ NOW: emitted crate cargo-builds green** → std forks collapsed → real fixed point → **KEYSTONE: `regen --verify` in CI** → seed-honesty → **TERMINAL: `src/v1` deleted** *(§7 regen-fixpoint deferred, #5514; src/v1 NOT yet deletable)*
+**◆ Milestones (critical path):** front-end ✓ · emit-rust well-typed ✓ · de-fork Step 1 ✓ (#5473) · class-3 corpus-coherence + cargo-green seed ✓ (#5481) → emitted crate cargo-builds green ✓ (#5777/#5873) → **▸ NOW: real fixed point** → `regen --verify` in CI ✓ (#5873) → seed-honesty → **TERMINAL: `src/v1` deleted** *(§7 regen-fixpoint deferred, #5514; src/v1 NOT yet deletable)*
 
 - [ ] rewrite suboptimal patterns to the cheaper equivalent (`O(n²)→O(n)` …) — published finite catalog, bulletproof where it fires
 - [ ] `Unknown` dissolved over time as an anemic atom (reuse the `Disposition` carrier)
@@ -219,7 +218,7 @@ Adjacent lane — algorithmic-cost rewrite engine (the §3 construction design;
   - [x] **Root A — emit-seam grounding ✓ LANDED (#5734)**: String/`FreeMonoid`→host `Vec` via the #5428 `RustCorpusRepr` seam; drove HostNative cargo-green *(jolly-cat)*
   - [ ] **Root B — generic-inference keystone ✓ MERGED (#5552)** → def-unification (coproduct authority + aliases) → repoints (algebra/nat/integer/float/logic/effects/verification) → 🟡-marker dissolution *(bright-deer-111)*
   - [ ] 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)*
+- [x] **emitted crate `cargo build`s green (Route-A last mile) ✓ LANDED (#5777/#5873)** — execution-grounded **re-census CONFIRMED 0 TOTAL errors** (cool-hawk-908: `regen_stage0 --emit-fresh` → `cargo build` debug+release, 2026-06-28). **REFUTED** the stale 'residual 2 = E0091×2' hypothesis: #5777 cleared E0599/E0624 **and** E0091 (`alias_unused_param_names` → `PhantomData` for unused type-alias params; `type_alias_phantom_param_test` witnesses). Trajectory: 647 E0308 → 0 (#5716/#5718/#5717) → ~32 other-family → 5 TOTAL → **0 TOTAL** (#5777). #5873: two-generation regen cutover + `regen --verify` CI gate. Compose emits `PhantomData<(Algebra, MachineConstraint)>`. Model hole stays flagged: pipe-first `OptionalOf` unwrap follow-up owed upstream (`Value::Null` runway). *(jolly-cat #5705/#5716/#5718 + cool-hawk-908 re-census)*
   - [ ] real fixed point: `content_hash` stage1==stage2 (dissolve placeholder hashes)
     - [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`)

dsl/extdeps/languages/bash/program.dag

@@ -39,7 +39,6 @@ type ShellStmt
   | Pipe { left: ShellStmt, right: ShellStmt }
 
   | EnvPrefixed { name: String, value: ShellWord, command: ShellStmt }
-  | EnvUnsetCmd { name: String, command: ShellStmt }
   | WithRedir { stmt: ShellStmt, redir: Redir }
 
   | Heredoc { path: ShellWord, delimiter: String, body: String }
@@ -137,8 +136,6 @@ fn serialize_stmt(s: ShellStmt) -> String {
       concat(serialize_stmt(s: l), concat(" | ", serialize_stmt(s: r)))
     EnvPrefixed { name: n, value: v, command: c } =>
       concat(n, concat("=", concat(serialize_word(w: v), concat(" ", serialize_stmt(s: c)))))
-    EnvUnsetCmd { name: n, command: c } =>
-      concat("env -u ", concat(n, concat(" ", serialize_stmt(s: c))))
     WithRedir { stmt: st, redir: rd } =>
       concat(serialize_stmt(s: st), concat(" ", serialize_redir(r: rd)))
     Exit { code: c } => concat("exit ", to_string(c))