general body producer: ingested if-body fn_decl → Arrow, green by execution (Wave 1 gate 1)

dag/tools/emit_host_transport.dag

@@ -20,7 +20,11 @@ import tools.host_prelude { toolchain_provision_shell_exec }
 
 data fixture_cargo_toml: String = "[package]\nname = \"emit_host_fixture\"\nversion = \"0.0.0\"\nedition = \"2021\"\n\n[[bin]]\nname = \"fixture\"\npath = \"src/main.rs\""
 
-data typed_smoke_doc: String = "run_rust_smoke and run_python_smoke are runtime-present sites: gunbc invokes each step, so per the shell-emission-model rule they are typed service operations (shell.Mktemp/Mkdir/Remove, Filesystem.Write for the heredoc bodies, cargo.Build.BuildManifest, python.Interpreter.RunFile, gunbc.WitnessBin.Run), never serialized bash. The former wc -c byte-count check strengthened to CONTENT equality: the fixtures emit NUL bytes precisely because printable output could pass a count check with wrong content; the expected string is built in-substrate from the same stdout_byte_count authority (repeat_string of from_code_point(0)), and NULs survive the transport's trailing-whitespace trim. Cleanup runs unconditionally (the old set -e script leaked the tempdir on mid-script failure)."
+data typed_smoke_doc: String = "run_rust_smoke and run_python_smoke are runtime-present sites: gunbc invokes each step, so per the shell-emission-model rule they are typed service operations (shell.Mktemp/Mkdir/Remove, Filesystem.Write for the heredoc bodies, cargo.Build.BuildManifest, python.Interpreter.RunFile, gunbc.WitnessBin.Run), never serialized bash. The former wc -c byte-count check strengthened to CONTENT equality: the fixtures emit NUL bytes precisely because printable output could pass a count check with wrong content; the expected string is built in-substrate from the same stdout_byte_count authority (repeat_string of from_code_point(0)), and NULs survive the transport's trailing-whitespace trim. Cleanup runs unconditionally (the old set -e script leaked the tempdir on mid-script failure). run_go_smoke, run_ts_smoke, and run_node_http_serve_smoke provision missing toolchains under WORKDIR before the smoke body (go.dev tarball; nodejs.org official linux tarball — npx ships in the same bin/) so self-hosted runners without a fleet-wide node install still pass emit_host_gate_passes."
+
+data emit_host_node_bootstrap_shell_dissolution_trigger: String = "🟡 dissolve-on: emit_host_node_bootstrap_script — concat-interpolated bash fragment (curl/tar nodejs.org linux tarball into WORKDIR/nodeboot) spliced into run_ts_smoke and run_node_http_serve_smoke via toolchain_provision_shell_exec; transport scaffold parallel to run_go_smoke's inline go.dev tarball provision (module already on medium_structure_exception_roster). DISSOLVES WHEN emit_host TS/node smokes route through typed extdeps ops like run_rust_smoke/run_python_smoke (shell.Mktemp/Mkdir, modeled curl/tar or node runtime provision row) — retire this string carrier and shrink the exception roster entry for dag/tools/emit_host_transport.dag."
+
+data emit_host_node_bootstrap_script: String = "if ! command -v node >/dev/null 2>&1; then\n  NODEBOOT=\"$WORKDIR/nodeboot\"\n  mkdir -p \"$NODEBOOT\"\n  ARCH=$(uname -m)\n  case \"$ARCH\" in aarch64|arm64) NODEARCH=arm64 ;; x86_64|amd64) NODEARCH=x64 ;; *) exit 1 ;; esac\n  curl -fsSL \"https://nodejs.org/dist/v22.22.3/node-v22.22.3-linux-$NODEARCH.tar.xz\" | tar -xJ -C \"$NODEBOOT\" --strip-components=1\n  PATH=\"$NODEBOOT/bin:$PATH\"\n  export PATH\nfi\n"
 
 fn expected_stdout_nul_run() -> String {
   repeat_string(s: from_code_point(0), n: byte_size_count(stdout_byte_count))
@@ -61,12 +65,12 @@ fn run_go_smoke() -> Bool {
 
 fn run_ts_smoke() -> Bool {
   let expected = byte_size_count(ts_signed_i32_le_byte_count)
-  let script = "set -e\ncommand -v node >/dev/null 2>&1\ncommand -v npx >/dev/null 2>&1\nWORKDIR=$(mktemp -d)\ncat > \"$WORKDIR/fixture.ts\" <<'EOF'\n{ts_host_fixture_source}\nEOF\ncd \"$WORKDIR\" && npx -y -p typescript@5.9.2 tsc --target ES2022 --module commonjs --outDir . fixture.ts\nBYTES=$(node \"$WORKDIR/fixture.js\" | wc -c | tr -d ' ')\nrm -rf \"$WORKDIR\"\ntest \"$BYTES\" -eq {expected}"
+  let script = "set -e\nWORKDIR=$(mktemp -d)\n{emit_host_node_bootstrap_script}command -v node >/dev/null 2>&1\ncommand -v npx >/dev/null 2>&1\ncat > \"$WORKDIR/fixture.ts\" <<'EOF'\n{ts_host_fixture_source}\nEOF\ncd \"$WORKDIR\" && npx -y -p typescript@5.9.2 tsc --target ES2022 --module commonjs --outDir . fixture.ts\nBYTES=$(node \"$WORKDIR/fixture.js\" | wc -c | tr -d ' ')\nrm -rf \"$WORKDIR\"\ntest \"$BYTES\" -eq {expected}"
   toolchain_provision_shell_exec(script: script)
 }
 
 fn run_node_http_serve_smoke() -> Bool {
   let server_source = gunbhub_node_http_server_source()
-  let script = "set -e\ncommand -v node >/dev/null 2>&1\ncommand -v curl >/dev/null 2>&1\nWORKDIR=$(mktemp -d)\ncat > \"$WORKDIR/server.js\" <<'GUNBC_EOF'\n{server_source}\nGUNBC_EOF\nPORT=18471\nHOST=127.0.0.1 PORT=$PORT node \"$WORKDIR/server.js\" &\nSERVER_PID=$!\ntrap 'kill $SERVER_PID 2>/dev/null; rm -rf \"$WORKDIR\"' EXIT\nfor i in 1 2 3 4 5; do\n  sleep 0.3\n  if curl -sf http://127.0.0.1:$PORT/ >/dev/null 2>&1; then break; fi\ndone\nSTATUS=$(curl -s -o /dev/null -w '%\{http_code\}' http://127.0.0.1:$PORT/)\ntest \"$STATUS\" -eq 200"
+  let script = "set -e\nWORKDIR=$(mktemp -d)\n{emit_host_node_bootstrap_script}command -v node >/dev/null 2>&1\ncommand -v curl >/dev/null 2>&1\ncat > \"$WORKDIR/server.js\" <<'GUNBC_EOF'\n{server_source}\nGUNBC_EOF\nPORT=18471\nHOST=127.0.0.1 PORT=$PORT node \"$WORKDIR/server.js\" &\nSERVER_PID=$!\ntrap 'kill $SERVER_PID 2>/dev/null; rm -rf \"$WORKDIR\"' EXIT\nfor i in 1 2 3 4 5; do\n  sleep 0.3\n  if curl -sf http://127.0.0.1:$PORT/ >/dev/null 2>&1; then break; fi\ndone\nSTATUS=$(curl -s -o /dev/null -w '%\{http_code\}' http://127.0.0.1:$PORT/)\ntest \"$STATUS\" -eq 200"
   toolchain_provision_shell_exec(script: script)
 }

docs/plans/provisioning-window-executor-capability-design.md

@@ -1,6 +1,6 @@
 # Provisioning window / executor-capability model — design for sign-off
 
-> **Status: DESIGN-ONLY, sign-ready draft.** No implementation. Parent arc: **ShellProgram → DAG de-fork** (witty-ibex-317). Formalizes the operator-signed **bash-minimization rule** ([shell-emission-model.md](shell-emission-model.md)) into typed authorities that gate when shell/bash emission is legitimate vs when typed argv / typed transport / typed plan interpretation is required. Complements [orchestration-as-intent-design.md](orchestration-as-intent-design.md) (gap B — *what* to emit) and [host-effect-orchestration.md](host-effect-orchestration.md) (Phase D `EmitArtifactThenThinRun`). DESIGN refs: §2 (decompose, don't re-coin), §3 (intent / transport / policy are three facts; dispatch is realization), §5 (fail-closed; construction over validation), §6 (scaffold with named dissolution trigger).
+> **Status: DESIGN-ONLY, sign-ready draft.** No implementation. Parent arc: **ShellProgram → DAG de-fork** (witty-ibex-317). Formalizes the operator-signed **bash-minimization rule** ([shell-emission-model.md](shell-emission-model.md)) into typed authorities that gate when shell/bash emission is legitimate vs when typed argv / typed transport / typed plan interpretation is required. Complements [orchestration-as-intent-design.md](orchestration-as-intent-design.md) (gap B — *what* to emit) and [host-effect-orchestration.md](host-effect-orchestration.md) (Phase D `EmitArtifactThenThinRun`); the residual census and arc-completion scoping that builds on this authority is tracked in [shell-to-dag-residual-census-and-arc-completion.md](shell-to-dag-residual-census-and-arc-completion.md). DESIGN refs: §2 (decompose, don't re-coin), §3 (intent / transport / policy are three facts; dispatch is realization), §5 (fail-closed; construction over validation), §6 (scaffold with named dissolution trigger).
 >
 > Every place I am unsure is tagged **⚠ FLAG**. This lane records direction for operator + parent sign-off; no load-bearing `.dag` edit until signed.
 

src/v1/stage0/src/cli_run.rs

@@ -12125,14 +12125,20 @@ const NON_FOLD_RESIDUE_ROSTER: &[&str] = &[
     "src/v2/compiler/05_eval.dag::run_test_claim_runtime_assert",
     "src/v2/compiler/06_translate.dag::translate_algebra_finalize",
     "src/v2/compiler/emit_host.dag::run_test_claim_emit_vs_eval_verdict",
+    "src/v2/compiler/emit_host.dag::runtime_value_signed_i32_le_as_int",
+    "src/v2/compiler/self_host/frontier_probe_types.dag::frontier_blocker_class_matches",
     "src/v2/test/claim/manual/eval_runtime.dag::eval_arg_is_two_literal",
     "src/v2/extdeps/formats/spice_passive_projection.dag::passive_spec_from_component",
     "src/v2/extdeps/formats/spice_passive_projection.dag::passive_topology_from_component",
+    "src/v2/extdeps/runtimes/v2_evaluator.dag::v2_eval_runtime_bool_is_false",
+    "src/v2/extdeps/runtimes/v2_evaluator.dag::v2_eval_runtime_bool_is_true",
+    "src/v2/extdeps/runtimes/v2_evaluator.dag::v2_eval_runtime_value_as_int",
     "src/v2/extdeps/runtimes/v2_effect_io_pure.dag::effect_io_pure_backends_match",
     "src/v2/lens/testgen.dag::algebra_law_subject_for_manual_anchor",
     "src/v2/lens/testgen.dag::nat_manual_anchor_key_eq",
     "src/v2/lens/testgen.dag::testgen_emit_language_behavior_equivalence_claim",
     "src/v2/lens/testgen.dag::testgen_emit_refinement_preservation_claim",
+    "src/v2/std/node.dag::connective_edge_discipline_for_children",
     "src/v2/test/claim/generated/coproduct_exhaustiveness.dag::anchor_is",
     "src/v2/test/claim/generated/cross_representation_equality.dag::anchor_is_straddle",
     "src/v2/lens/complexity.dag::complexity_bound_dominates",

src/v2/compiler/02_parse.dag

@@ -63,7 +63,7 @@ import v2.std.provenance {
 }
 import v2.std.collection { Absent, List, Map, Optional, Present, Set, empty_map, list_at_optional, map_get, map_insert }
 import std.algebra { Cons, Empty }
-import v2.std.algebra { HeadAbsent, HeadFound, TailAbsent, TailFound, any, contains, filter, fold_list, fold_list_right, is_empty, length, list_append, list_head, list_snoc_item, list_tail, unique }
+import v2.std.algebra { HeadAbsent, HeadFound, TailAbsent, TailFound, any, contains, filter, fold_list, fold_list_right, is_empty, length, list_append, list_head, list_reverse, list_snoc_item, list_tail, unique }
 import v2.std.text { Char, CharAbsent, CharFound, string_head }
 import v2.std.witness { Holds, Violates, Witness }
 import std.cache_identity { ArtifactKindId, CacheInterfaceId }
@@ -74,6 +74,7 @@ import v2.compiler.materialization_carriers {
   parse_table_memo_materialization,
   materialization_allows_memo_store,
 }
+import v2.extdeps.languages.dag { dag_int_literal_node_from_lexeme }
 import v2.std.compilers.lexing {
   Lexeme,
   Token,
@@ -901,8 +902,8 @@ fn parse_match_arm_stmt_body(
   } else {
     let init = ParseMatchArmStmtAcc {
       remaining: tokens,
-      acc_nodes: [],
-      acc_diags: [],
+      acc_nodes: Empty,
+      acc_diags: Empty,
       done: false,
       prov: prov,
       table: table
@@ -911,7 +912,7 @@ fn parse_match_arm_stmt_body(
     if is_empty(xs: result.acc_nodes) {
       ParseExprRejected { diagnostics: [], table: result.table }
     } else {
-      let ordered_nodes = result.acc_nodes.reverse()
+      let ordered_nodes = list_reverse(xs: result.acc_nodes)
       let stamped = parse_stamp_match_arm_stmt_nodes(acc_nodes: ordered_nodes, prov: result.prov)
       ParseExprAccepted {
         remaining: result.remaining,
@@ -1678,13 +1679,37 @@ fn parse_expr_terminal(
         true =>
           match list_tail(xs: tokens) {
             TailFound { tail: remaining } =>
-              let stamped = parse_stamp_terminal(tok: tok, stamp: stamp, prov: prov)
-              ParseExprAccepted {
-                remaining: remaining,
-                captured: stamped.node,
-                diagnostics: [],
-                prov: stamped.prov,
-                table: table
+              if token_class == ^dag_token_int_literal {
+                let minted = parse_mint_from_source(
+                  prov: prov,
+                  file: tok.file,
+                  start: tok.start,
+                  end: tok.end
+                )
+                match dag_int_literal_node_from_lexeme(
+                  lexeme: tok.lexeme,
+                  occurrence_id: node_occurrence_minted(id: minted.id)
+                ) {
+                  Accepted { value: captured, diagnostics: _ } =>
+                    ParseExprAccepted {
+                      remaining: remaining,
+                      captured: captured,
+                      diagnostics: Empty,
+                      prov: minted.prov,
+                      table: table
+                    }
+                  Rejected { diagnostics: d } =>
+                    ParseExprRejected { diagnostics: d, table: table }
+                }
+              } else {
+                let stamped = parse_stamp_terminal(tok: tok, stamp: stamp, prov: prov)
+                ParseExprAccepted {
+                  remaining: remaining,
+                  captured: stamped.node,
+                  diagnostics: [],
+                  prov: stamped.prov,
+                  table: table
+                }
               }
             TailAbsent => ParseExprRejected { diagnostics: [], table: table }
           }
@@ -1945,14 +1970,14 @@ fn parse_expr_repeat(
 ) -> ParseExprResult {
   let init = ParseRepeatAcc {
     remaining: tokens,
-    acc_nodes: [],
-    acc_diags: [],
+    acc_nodes: Empty,
+    acc_diags: Empty,
     done: false,
     prov: prov,
     table: table
   }
   let result = parse_expr_repeat_step(element: element, all_tokens: all_tokens, root: root, acc: init)
-  let stamped = parse_stamp_derived_repeat(acc_nodes: result.acc_nodes.reverse(), prov: result.prov)
+  let stamped = parse_stamp_derived_repeat(acc_nodes: list_reverse(xs: result.acc_nodes), prov: result.prov)
   ParseExprAccepted {
     remaining: result.remaining,
     captured: stamped.node,

src/v2/compiler/03_resolve.dag

@@ -7,6 +7,7 @@ import std.decl_ref { DeclarationRef, WholeDeclaration }
 import v2.extdeps.languages.dag {
   dag_fn_decl_param_binding_atoms,
   dag_language_model_canonical_symbols,
+  dag_node_is_int_literal_atom,
   dag_node_is_module_root_conj,
   dag_resolve_preserve_module_metadata_subtree,
   dag_surface_module_header_metadata_edge,
@@ -383,40 +384,44 @@ fn try_symbol_index_atom_identity(ctx: ResolveContext, name: Symbol) -> Optional
 }
 
 fn resolve_atom(ctx: ResolveContext, n: Node, identity: Symbol) -> Outcome<Node> {
-  match lookup_chain(s: ctx.scope, name: identity) {
-    Accepted { value: found, diagnostics: pending } => match found {
-      Present { value: canonical } =>
-        Accepted {
-          value: canonical_atom(identity: canonical, occurrence_id: n.occurrence_id),
-          diagnostics: pending
-        }
-      Absent =>
-        match try_symbol_index_atom_identity(ctx: ctx, name: identity) {
-          Present { value: canonical } =>
-            Accepted {
-              value: canonical_atom(identity: canonical, occurrence_id: n.occurrence_id),
-              diagnostics: pending
-            }
-          Absent =>
-            if namespace_has_canonical_symbol(
-              namespace: ctx.namespace,
-              name: identity
-            ) {
+  if dag_node_is_int_literal_atom(node: n) {
+    Accepted { value: n, diagnostics: None }
+  } else {
+    match lookup_chain(s: ctx.scope, name: identity) {
+      Accepted { value: found, diagnostics: pending } => match found {
+        Present { value: canonical } =>
+          Accepted {
+            value: canonical_atom(identity: canonical, occurrence_id: n.occurrence_id),
+            diagnostics: pending
+          }
+        Absent =>
+          match try_symbol_index_atom_identity(ctx: ctx, name: identity) {
+            Present { value: canonical } =>
               Accepted {
-                value: canonical_atom(identity: identity, occurrence_id: n.occurrence_id),
+                value: canonical_atom(identity: canonical, occurrence_id: n.occurrence_id),
                 diagnostics: pending
               }
-            } else {
-              Rejected {
-                diagnostics: rejected_with_pending(
-                  pending: pending,
-                  rejected: diagnostics_singleton(d: unbound_symbol_diagnostic(n: n))
-                )
+            Absent =>
+              if namespace_has_canonical_symbol(
+                namespace: ctx.namespace,
+                name: identity
+              ) {
+                Accepted {
+                  value: canonical_atom(identity: identity, occurrence_id: n.occurrence_id),
+                  diagnostics: pending
+                }
+              } else {
+                Rejected {
+                  diagnostics: rejected_with_pending(
+                    pending: pending,
+                    rejected: diagnostics_singleton(d: unbound_symbol_diagnostic(n: n))
+                  )
+                }
               }
-            }
-        }
+          }
+      }
+      Rejected { diagnostics: ds } => Rejected { diagnostics: ds }
     }
-    Rejected { diagnostics: ds } => Rejected { diagnostics: ds }
   }
 }
 

src/v2/compiler/04_infer.dag

@@ -7,6 +7,7 @@ import v2.std.bounded_lattice_completeness {
   partial_bounded_lattice_instances_in_tree
 }
 import v2.compiler.resolve { ResolvedTree }
+import v2.extdeps.languages.dag { dag_node_is_int_literal_atom }
 import v2.std.cardinality { TerminationProof, termination_proof_witness_for_node }
 import v2.std.collection {
   Absent,
@@ -464,11 +465,7 @@ fn infer_branch_is_bool_literal_atom(node: Node) -> Bool {
 }
 
 fn infer_branch_is_int_literal_atom(node: Node) -> Bool {
-  match node.kind {
-    TypeNode { connective: Atom { identity: id } } =>
-      (id == ^dag_pick_lit_one) || (id == ^dag_pick_lit_two)
-    _ => false
-  }
+  dag_node_is_int_literal_atom(node: node)
 }
 
 fn infer_atom_binding_sym(node: Node) -> Optional<Symbol> {

src/v2/compiler/05_eval.dag

@@ -93,6 +93,7 @@ import v2.std.node {
   byte_offset_cache_key,
   fold_node,
   is_positional,
+  node_for_structural_equality,
   well_formed,
   SyntheticOccurrence
 }
@@ -1144,7 +1145,7 @@ fn eval_bind_key(node: Node) -> Outcome<EnvironmentBindingKey> {
     ),
     f: fn(e) {
       Accepted {
-        value: EnvironmentBindingKey { declaration: e.target },
+        value: eval_environment_binding_key(declaration: e.target),
         diagnostics: None
       }
     }
@@ -1176,9 +1177,17 @@ fn eval_binding_key_node(sym: Symbol) -> Node {
   symbol_atom_node(sym: sym)
 }
 
+fn eval_environment_binding_key(declaration: Node) -> EnvironmentBindingKey {
+  EnvironmentBindingKey {
+    declaration: declaration
+  }
+}
+
 fn eval_runtime_binding_lookup(node: Node, environment: EvaluationEnvironment) -> Outcome<RuntimeValue> {
   eval_witness_outcome(
-    witness: environment.bindings.lookup(EnvironmentBindingKey { declaration: node })
+    witness: environment.bindings.lookup(
+      eval_environment_binding_key(declaration: node)
+    )
   )
 }
 
@@ -1212,7 +1221,9 @@ fn eval_bind_param_edge_step(
               ),
               f: fn(value) {
                 bind.bind_value(
-                  EnvironmentBindingKey { declaration: eval_binding_key_node(sym: binding_id) },
+                  eval_environment_binding_key(
+                    declaration: eval_binding_key_node(sym: binding_id)
+                  ),
                   value,
                   env
                 )