label-hygiene Wave-0: repoint dead bind anchors to #4750/#4751 (comment-only, ~10 lines)

src/v3/compiler/tests/integration/sg0_census_test.rs

@@ -344,7 +344,7 @@ const EXPECTED_HAND_AUTHORED_NON_TEST: &[&str] = &[
     // `emit_host_eval.rs` in-module `b3_runtime_value_signed_i32_le_as_int_eval_dispatch_reifies_five`
     // (eval intercept decode). **DORMANT:** `run_host_process` process-spawn (real tsc+node;
     // v3-eval-intercept-only; v2 --claim-run has no hook) — dissolves at T-22 substrate eval /
-    // gunbc#4674. `v4_emit_host_eval_dispatch_test.rs` covers rust rows only; `comprep_b3_ts_descriptor_node_run.dag`
+    // gunbc#4750 (supersedes #4674). `v4_emit_host_eval_dispatch_test.rs` covers rust rows only; `comprep_b3_ts_descriptor_node_run.dag`
     // is wire scaffold (not v2 --claim-run).
     // Census **+0 NON_TEST** (row on main since #4225; #4641 extends eval hook, no new SG-0 path).
     // Dissolution: substrate Callable dispatch owns all host rows without this hand-Rust eval hook.

src/v4/compiler/emit_host.dag

@@ -213,7 +213,7 @@ fn runtime_value_parse_signed_i32_le(bytes: ByteString) -> Outcome<RuntimeValue>
 }
 
 fn runtime_value_parse(target: TargetModel, stdout: HostRunStdout) -> Outcome<RuntimeValue> {
-  // 🟡 gated — per-target host-emission discriminator (P2 §314: target knowledge in compiler code; this if-chain branches on per-target authority source texts (now read from extdeps/languages/* authority, no local pin copies), cost-of-change=N) — feature: T-22 host-emission TargetModel dissolution — bind: gunbc#4674 — dissolve-on-arrival: promote a typed runtime_row onto TargetModel and replace this per-target if-chain (and its mirror in emit_host_eval.rs + the python hand-reification at emit_host_eval.rs:1022-1061) with a generic row-lookup. forbidden: adding a 5th per-target arm without the dissolution.
+  // 🟡 gated — per-target host-emission discriminator (P2 §314: target knowledge in compiler code; this if-chain branches on per-target authority source texts (now read from extdeps/languages/* authority, no local pin copies), cost-of-change=N) — feature: T-22 host-emission TargetModel dissolution — bind: gunbc#4750 (supersedes #4674; step 1 landed via #4718) — dissolve-on-arrival: promote a typed runtime_row onto TargetModel and replace this per-target if-chain (and its mirror in emit_host_eval.rs + the python hand-reification at emit_host_eval.rs:1022-1061) with a generic row-lookup. forbidden: adding a 5th per-target arm without the dissolution.
   if target.authority_source_text == rust_mvp1_source_text_authority() {
     runtime_value_parse_rust(bytes: stdout.bytes)
   } else if target.authority_source_text == python_mvp1_source_text {
@@ -286,7 +286,7 @@ fn run_emit_host(
   source: TargetSource,
   fixture_inputs: Inputs
 ) -> Outcome<EmitHostRunReceipt> {
-  // 🟡 gated — per-target host-emission discriminator (P2 §314: target knowledge in compiler code; this if-chain branches on per-target authority source texts (now read from extdeps/languages/* authority, no local pin copies), cost-of-change=N) — feature: T-22 host-emission TargetModel dissolution — bind: gunbc#4674 — dissolve-on-arrival: promote a typed runtime_row onto TargetModel and replace this per-target if-chain (and its mirror in emit_host_eval.rs + the python hand-reification at emit_host_eval.rs:1022-1061) with a generic row-lookup. forbidden: adding a 5th per-target arm without the dissolution.
+  // 🟡 gated — per-target host-emission discriminator (P2 §314: target knowledge in compiler code; this if-chain branches on per-target authority source texts (now read from extdeps/languages/* authority, no local pin copies), cost-of-change=N) — feature: T-22 host-emission TargetModel dissolution — bind: gunbc#4750 (supersedes #4674; step 1 landed via #4718) — dissolve-on-arrival: promote a typed runtime_row onto TargetModel and replace this per-target if-chain (and its mirror in emit_host_eval.rs + the python hand-reification at emit_host_eval.rs:1022-1061) with a generic row-lookup. forbidden: adding a 5th per-target arm without the dissolution.
   if target.authority_source_text == ts_mvp1_source_text_authority() {
     run_host_process(
       descriptor: ts_host_transport_mvp1_descriptor(),

src/v4/test/claim/language_model/rust.dag

@@ -151,8 +151,8 @@ data claim_rust_leaf_r2b_release_default_overflow: RustLeafModelClaim = LeafMode
   }
 }
 
-// 🟡 gated — feature:leaf-model-r2b-overflow-checks-runner — bind PR #3971 §5 R2b sub-claims 3–4 / design-rust-dag-leafmodel-instantiation.md —
-// dissolve-on-arrival: fixture runner supports explicit `-C overflow-checks=on|off` independent of debug/release profile (owner: quick-tern-735 Step 4.x); until then runner reports not_checked for these rows.
+// 🟡 gated — feature:leaf-model-r2b-overflow-checks-runner — bind gunbc#4751 (R2b sub-claims 3–4; re-anchor of merged PR #3971 §5 / retired design-rust-dag-leafmodel-instantiation.md) —
+// dissolve-on-arrival: fixture runner supports explicit `-C overflow-checks=on|off` independent of debug/release profile; until then runner reports not_checked for these rows.
 // R2b sub-claim 3/4 — checked_arithmetic_overflow_checks_enabled (not_checked stub; action duplicates debug-default).
 data claim_rust_leaf_r2b_overflow_checks_enabled_overflow: RustLeafModelClaim = LeafModelClaim {
   model: rust_language_model_wave1(),

src/v4/test/claim/manual/comprep_b3_ts_descriptor_node_run.dag

@@ -5,7 +5,7 @@
 //   NOT a v2 `--claim-run` witness: substrate rows are fail-closed in `.dag` and v2 has no
 //   `emit_host_eval` hook. Decode execution: `emit_host_runner` SignedI32Le unit test +
 //   `emit_host_eval.rs` `b3_runtime_value_signed_i32_le_as_int_eval_dispatch_reifies_five`.
-//   Process-spawn (`run_host_process` / tsc+node) is DORMANT until T-22 substrate eval (gunbc#4674).
+//   Process-spawn (`run_host_process` / tsc+node) is DORMANT until T-22 substrate eval (gunbc#4750, supersedes #4674).
 
 module v4.test.claim.manual.comprep_b3_ts_descriptor_node_run
 

tools/emit_host_runner/src/lib.rs

@@ -260,7 +260,8 @@ process.stdout.write(__gunbc_b);
 
 // 🟡 gated — per-target host-emission discriminator (P2 §314: target knowledge in compiler code;
 // hand-rolled discriminator-over-Symbol with default-reject arm) — feature: T-22 host-emission
-// TargetModel dissolution — bind: gunbc#4674 — dissolve-on-arrival: promote a typed runtime_row
+// TargetModel dissolution — bind: gunbc#4750 (supersedes #4674; step 1 landed via #4718) —
+// dissolve-on-arrival: promote a typed runtime_row
 // onto TargetModel and replace this per-target match (its mirror run_host_process below + the
 // emit_host.dag if-chains + the python hand-reification at emit_host_eval.rs:1022-1061) with a
 // generic row-lookup; point host-tool/descriptor identities at extdeps/languages/*::*_mvp1_source_text.
@@ -280,7 +281,8 @@ fn resolve_host_tool(identity: &str) -> Result<String, HostSetupFailure> {
 /// Single generic host-process primitive — dispatches on modeled descriptor identity.
 // 🟡 gated — per-target host-emission discriminator (P2 §314: target knowledge in compiler code;
 // match on descriptor_identity against a single hard-coded TS identity with default-reject arm,
-// cost-of-change=N) — feature: T-22 host-emission TargetModel dissolution — bind: gunbc#4674 —
+// cost-of-change=N) — feature: T-22 host-emission TargetModel dissolution — bind: gunbc#4750
+// (supersedes #4674; step 1 landed via #4718) —
 // dissolve-on-arrival: promote a typed runtime_row onto TargetModel and replace this per-target
 // match (its mirror resolve_host_tool above + the emit_host.dag if-chains + the python
 // hand-reification at emit_host_eval.rs:1022-1061) with a generic row-lookup.