Fix inert_lens witness-builtin scope errors in bare compile

.github/workflows/ci.yml

@@ -18,7 +18,7 @@ env:
 jobs:
   ci:
     runs-on: [self-hosted, linux, arm64]
-    timeout-minutes: 130
+    timeout-minutes: 145
     steps:
       - name: Checkout
         uses: actions/checkout@v5
@@ -82,7 +82,7 @@ jobs:
           rm -f "$BUILD_LOG"
           "$ROOT/target/release/claim_executor" --verify-build-artifacts "$ROOT/target/release/claim_executor" "$ROOT/target/release/gunbc"
           sccache --show-stats 2>/dev/null || true
-        timeout-minutes: 30
+        timeout-minutes: 45
       - name: gunbc ci (.dag witnesses + gates)
         run: |
           ROOT=$(git rev-parse --show-toplevel 2>/dev/null || pwd)
@@ -126,7 +126,7 @@ jobs:
         timeout-minutes: 5
   rust_tests:
     runs-on: [self-hosted, linux, arm64]
-    timeout-minutes: 30
+    timeout-minutes: 105
     steps:
       - name: Checkout
         uses: actions/checkout@v5
@@ -174,7 +174,7 @@ jobs:
             curl -LsSf --retry 3 "https://get.nexte.st/0.9.138/$A" | tar zxf - -C "$CARGO_HOME/bin"
           fi
         timeout-minutes: 5
-      - name: v1 rust gate (fmt + clippy + nextest)
+      - name: Build release bins (claim_executor + gunbc)
         run: |
           ROOT=$(git rev-parse --show-toplevel 2>/dev/null || pwd)
           set -o pipefail
@@ -199,6 +199,9 @@ jobs:
           rm -f "$BUILD_LOG"
           "$ROOT/target/release/claim_executor" --verify-build-artifacts "$ROOT/target/release/claim_executor" "$ROOT/target/release/gunbc"
           sccache --show-stats 2>/dev/null || true
+        timeout-minutes: 45
+      - name: v1 rust gate (fmt + clippy + nextest)
+        run: |
           ROOT=$(git rev-parse --show-toplevel 2>/dev/null || pwd)
           git fetch --no-tags origin main 2>/dev/null || true
           set -o pipefail
@@ -221,7 +224,7 @@ jobs:
             fi
           fi
           rm -f "$BUILD_LOG"
-        timeout-minutes: 15
+        timeout-minutes: 45
       - name: rust_tests cgroup peak (placement divisor)
         run: |
           BIN="$(git rev-parse --show-toplevel 2>/dev/null || pwd)/target/release/claim_executor"
@@ -297,3 +300,4 @@ jobs:
           "$ROOT/target/release/claim_executor" --verify-build-artifacts "$ROOT/target/release/claim_executor" "$ROOT/target/release/gunbc"
           sccache --show-stats 2>/dev/null || true
           "$ROOT/target/release/gunbc" run --source-root dag --source-root src/v2 --entry dag/gunbc/live_deploy/apply.dag --function live_deploy_apply_srv1_wet
+

dag/gunbc/ci_layer_roots.dag

@@ -2,6 +2,12 @@ module gunbc.ci_layer_roots
 
 data witness_layer_roots: List<String> = ["dag", "src/v2"]
 
+data compile_clean_source_roots_note: String = "Compile-clean pool extends witness_layer_roots with src/v1 for cross-tree import resolution only (e.g. dag/test/claim/ownership_movable_test imports v1.compiler.ownership). src/v1 stays excluded from floor witness_layer_roots per gunbc.plans.seed_debt_bundle_item_2 §1 (parse-cursor fork deferred — no floor witness discovery over src/v1)."
+
+fn compile_clean_source_roots() -> List<String> {
+  concat(witness_layer_roots, ["src/v1"])
+}
+
 data witness_discovery_scan_dirs: List<String> = ["dag/test/claim", "src/v2/test/claim/manual"]
 
 data witness_exclusion_substrings: List<String> = [

dag/gunbc/ci_spec.dag

@@ -355,6 +355,10 @@ fn gunbc_ci_workflow_run(spec: CiSpec) -> String {
   gunbc_ci_floor_only_script(spec: spec)
 }
 
+fn gunbc_ci_floor_run(spec: CiSpec) -> String {
+  gunbc_ci_floor_only_script(spec: spec)
+}
+
 fn gunbc_ci_rust_gate_invoke() -> String {
   ci_cargo_eagain_retry_script(
     command: concat(

dag/gunbc/ci_workflow.dag

@@ -5,7 +5,7 @@ import gunbc.ci_workflow_expressions {
   ci_concurrency_group, ci_setup_rust_home, ci_cache_path, ci_cache_key, ci_cache_restore_keys
 }
 import gunbc.ci_spec {
-  CiSpec, gunbc_ci_spec, gunbc_ci_workflow_run, gunbc_ci_rust_job_run,
+  CiSpec, gunbc_ci_spec, gunbc_ci_floor_run,
   gunbc_ci_deploy_stages, DeployStage, gunbc_ci_deploy_run_script,
   ci_release_build_script,
   gunbc_ci_rust_gate_only_script,
@@ -182,13 +182,13 @@ fn ci_floor_step() -> Step {
   RunStep {
     name: Present { value: "gunbc ci (.dag witnesses + gates)" },
     id: none,
-    run: gunbc_ci_workflow_run(spec: ci_floor_spec_from_roster()),
+    run: gunbc_ci_floor_run(spec: ci_floor_spec_from_roster()),
     shell: none,
     env: none,
     working_directory: none,
     if_condition: none,
     continue_on_error: none,
-    timeout_minutes: Present { value: gunbc_ci_job_timeout_policy_minutes }
+    timeout_minutes: Present { value: gunbc_ci_floor_gate_step_timeout_minutes }
   }
 }
 
@@ -250,7 +250,7 @@ fn ci_rust_gate_step() -> Step {
   RunStep {
     name: Present { value: "v1 rust gate (fmt + clippy + nextest)" },
     id: none,
-    run: gunbc_ci_rust_job_run(),
+    run: gunbc_ci_rust_gate_only_script(),
     shell: none,
     env: none,
     working_directory: none,
@@ -296,26 +296,38 @@ fn ci_deploy_step(stage: DeployStage) -> Step {
 
 data gunbc_ci_job_timeout_policy_minutes: Int = 90
 
-data gunbc_ci_rust_gate_step_timeout_minutes: Int = 15
+data gunbc_ci_rust_gate_step_timeout_minutes: Int = 45
 
-data gunbc_ci_release_build_step_timeout_minutes: Int = 30
+data gunbc_ci_rust_gate_step_budget_note: String = "Interim rust-gate-only step budget (fmt/clippy/nextest after release build): 45 = prior 30m + margin after post-main-merge cold clippy exceeded gates-only step (job 85246635625, run 28749725167 on f2aa0ab). Prior: job 85237415376 bundled build+gates at 60m (10c53165bd split); job 85235032960 bundled at 30m. Re-derive DOWNWARD when fleet cache/build path stabilizes."
+
+data ci_rust_build_gate_step_split_note: String = "Build and rust gate are separate workflow steps (same discipline as ci_build_floor_step_split_note): bundling cargo build + rust_gates_ci under one step timeout produced step-FAILURE during v1-compiler compile with zero gate verdict (receipt: rust_tests job 85237415376, run 28746200534 on dfbff0f). Build step carries gunbc_ci_release_build_step_timeout_minutes; rust gate step carries gunbc_ci_rust_gate_step_timeout_minutes."
 
 data gunbc_ci_aux_step_timeout_minutes: Int = 5
 
 data gunbc_ci_prelude_allowance_minutes: Int = 5
 
+data ci_build_floor_step_split_note: String = "Build and floor are separate workflow steps so gate budgets apply to claim_executor only, not cargo build: bundling both under one step timeout produced step-FAILURE during v1-compiler compile with zero gate verdict (receipt: PR #6259 ci job 85192573905, 2026-07-05). Build step carries gunbc_ci_release_build_step_timeout_minutes; floor step carries gunbc_ci_floor_gate_step_timeout_minutes."
+
+data gunbc_ci_release_build_step_timeout_minutes: Int = 45
+
+data gunbc_ci_release_build_step_budget_note: String = "Interim release-build step budget until cold v1-compiler fits 15m: 45 = prior 30m + margin after main merge (CARGO_BUILD_JOBS=6, text_lookup_work_counter). Receipt: job 85235032962 timed out at 30m still Compiling v1-compiler (~25m dep prelude + compile in progress; run 28745277854 on 1ba1895). Prior: job 85194701830 at 15m. Re-derive DOWNWARD when fleet cache/build path stabilizes."
+
+data gunbc_ci_floor_gate_step_timeout_minutes: Int = 90
+
+data gunbc_ci_floor_gate_step_budget_note: String = "Interim floor-gate step budget until dag_compile_clean_gate fits gunbc_ci_job_timeout_policy_minutes (10): 90 = prior 60m budget + margin; compile_clean_source_roots src/v1 pool measured ~58m shell at 60m kill (still in batch-1), ~78m full compile locally. Receipt: job 85223768433 timed out at 60m mid batch-1 compile-clean (~58m in shell, zero verdict; run 28741045613 on abd03b9). Prior: job 85219793614 at 45m (dc05863), job 85217499061 at 30m (5c1131). Re-derive DOWNWARD when S2a node store / compile-clean scoping lands."
+
 data gunbc_ci_deploy_job_backstop_timeout_minutes: Int = 10
 
 data gunbc_ci_job_timeout_policy_disposition: Disposition = Terminal {
   reason: "gunbc CI budget semantics (operator ruling, 2026-07-05): any timed-out gate is a FAILURE, not a silent pass - no verdict == failure. The budget is enforced at the STEP level (GitHub Actions step timeout-minutes fails the step, conclusion=failure, logs + [t+Xs] phase marks intact), never as a job-level kill: the prior 10-minute job-kill policy (2026-07-04) produced conclusion=cancelled, which every consumer treated as not-red - operationally a silent pass. Receipt: the last successful main ci run was 2026-07-01T01:00Z; 29 of the next 30 main runs were cancelled; four days of merges landed with zero gate verdicts while two latent reds entered the tree (04_resolve.dag emit-fresh hard diagnostics; inert_lens witness-builtin scope errors). Step budgets are authored on-carrier: floor gunbc_ci_job_timeout_policy_minutes (90m interim landing knob — batch-1 dag_compile_clean_gate runs five sequential compile shells; receipt run 28741451143 timed out at 50m on srv1-09 with compile-clean still in first shell pass; prior receipt 28739462879 at 25m — dissolve-on: affected-set-scoped compile-clean restores the 10m forcing budget), release build gunbc_ci_release_build_step_timeout_minutes (30m — receipt runs 28746525941 srv1-08 and 28746406899 srv1-09: cold v1-compiler release compile still in-flight at 15m step kill; rust gate gunbc_ci_rust_gate_step_timeout_minutes stays 15 for rust_tests job), aux gunbc_ci_aux_step_timeout_minutes (5). Until resolver-graph work fits the floor inside the forcing budget, main runs red-by-STEP-FAILURE with [t+Xs] phase attribution: an honest, countable deficit signal, unlike the cancelled-silence it replaces. Job-level timeouts are retained only as per-job backstops = that job's step-budget sum + prelude allowance: step timeouts start at step start, so a tighter backstop could job-cancel (silence) before a step fails red, resurrecting the exact defect this policy removes. Every post-prelude step is step-budgeted and fails RED first; a backstop firing means a wedged prelude - itself a mechanism bug to investigate, never a gate verdict. default_job_timeout_minutes (extdeps/github/actions.dag) still models GitHub's 360min platform default - workflow-layer policy on top."
 }
 
 fn gunbc_ci_job_backstop_timeout_minutes() -> Int {
-  gunbc_ci_release_build_step_timeout_minutes + gunbc_ci_job_timeout_policy_minutes + gunbc_ci_aux_step_timeout_minutes + gunbc_ci_prelude_allowance_minutes
+  gunbc_ci_release_build_step_timeout_minutes + gunbc_ci_floor_gate_step_timeout_minutes + gunbc_ci_aux_step_timeout_minutes + gunbc_ci_prelude_allowance_minutes
 }
 
 fn gunbc_ci_rust_job_backstop_timeout_minutes() -> Int {
-  gunbc_ci_rust_gate_step_timeout_minutes + gunbc_ci_aux_step_timeout_minutes + gunbc_ci_aux_step_timeout_minutes + gunbc_ci_prelude_allowance_minutes
+  gunbc_ci_release_build_step_timeout_minutes + gunbc_ci_rust_gate_step_timeout_minutes + gunbc_ci_aux_step_timeout_minutes + gunbc_ci_aux_step_timeout_minutes + gunbc_ci_prelude_allowance_minutes
 }
 
 fn ci_deploy_job(stage: DeployStage) -> Job {
@@ -361,7 +373,7 @@ fn rust_tests_job() -> Job {
     id: "rust_tests",
     name: none,
     runner: gunbc_ci_runner_spec(),
-    steps: concat(ci_prelude_steps(), [ci_nextest_install_step(), ci_rust_gate_step(), ci_rust_cgroup_measurement_step()]),
+    steps: concat(ci_prelude_steps(), [ci_nextest_install_step(), ci_release_build_step(), ci_rust_gate_step(), ci_rust_cgroup_measurement_step()]),
     needs: [],
     env: none,
     outputs: none,

dag/test/claim/dag_compile_clean_shard_a_witness_test.dag

@@ -2,7 +2,7 @@ module test.claim.dag_compile_clean_shard_a_witness
 
 import tools.dag_compile_clean_partition {
   witness_partition_entry_root_is_first_witness_layer_root,
-  witness_partition_pool_roots_are_witness_layer_roots,
+  witness_partition_pool_roots_are_compile_clean_source_roots,
   witness_compose_all_clean_is_clean,
   witness_compose_any_failure_fails_closed,
   witness_compose_associativity,
@@ -21,9 +21,9 @@ data witness_compose_red_on_injected_failure: Bool = compose_compile_clean_shard
   verdicts: [ShardClean, ShardFailed { entry_path: shard_a_exemplar_entry_path }]
 ) != ShardClean
 
-test fn compile_clean_partition_boundary_matches_witness_layer_roots() -> Bool {
+test fn compile_clean_partition_boundary_matches_compile_clean_source_roots() -> Bool {
   witness_partition_entry_root_is_first_witness_layer_root()
-    && witness_partition_pool_roots_are_witness_layer_roots()
+    && witness_partition_pool_roots_are_compile_clean_source_roots()
 }
 
 test fn compile_clean_shard_verdict_compose_laws_hold() -> Bool {

dag/test/claim/inert_lens_hygiene_witness_test.dag

@@ -1,9 +1,14 @@
 module test.claim.inert_lens_hygiene_witness
 
+import v2.lens.inert_lens {
+  inert_lens_hygiene_has_no_unreached_modules_holds,
+  inert_lens_hygiene_universe_is_nonempty_holds
+}
+
 test fn inert_lens_hygiene_has_no_unreached_modules() -> Bool {
-  return inert_lens_unreached_module_count() == 0
+  return inert_lens_hygiene_has_no_unreached_modules_holds()
 }
 
 test fn inert_lens_hygiene_universe_is_nonempty() -> Bool {
-  return inert_lens_top_level_module_count() > 0
+  return inert_lens_hygiene_universe_is_nonempty_holds()
 }

dag/tools/dag_compile_clean_partition.dag

@@ -1,6 +1,6 @@
 module tools.dag_compile_clean_partition
 
-import gunbc.ci_layer_roots { witness_layer_roots }
+import gunbc.ci_layer_roots { witness_layer_roots, compile_clean_source_roots }
 import std.list { List }
 import std.types { String, Bool }
 import std.reducible {
@@ -24,7 +24,7 @@ type CompileCleanShardVerdict
 fn compile_clean_partition_boundary() -> CompileCleanPartitionBoundary {
   CompileCleanPartitionBoundary {
     entry_root: witness_layer_roots.first(),
-    pool_roots: witness_layer_roots
+    pool_roots: compile_clean_source_roots()
   }
 }
 
@@ -77,8 +77,8 @@ fn witness_partition_entry_root_is_first_witness_layer_root() -> Bool {
   compile_clean_partition_boundary().entry_root == witness_layer_roots.first()
 }
 
-fn witness_partition_pool_roots_are_witness_layer_roots() -> Bool {
-  compile_clean_partition_boundary().pool_roots == witness_layer_roots
+fn witness_partition_pool_roots_are_compile_clean_source_roots() -> Bool {
+  compile_clean_partition_boundary().pool_roots == compile_clean_source_roots()
 }
 
 fn witness_compose_all_clean_is_clean() -> Bool {

dag/tools/dag_compile_clean_transport.dag

@@ -1,7 +1,7 @@
 module tools.dag_compile_clean_transport
 
 import extdeps.shell
-import gunbc.ci_layer_roots { witness_layer_roots }
+import gunbc.ci_layer_roots { compile_clean_source_roots }
 import std.disposition { Disposition, Scaffold, RealizationDispatch }
 import std.decl_ref { DeclarationRef, WholeDeclaration }
 import extdeps.languages.bash.program {
@@ -14,7 +14,7 @@ import extdeps.languages.bash.program {
 import tools.host_prelude { ensure_gunbc_built }
 
 fn dcc_source_root_flags() -> List<ShellWord> {
-  fold(witness_layer_roots, init: [], f: (acc, r) => concat(acc, [lit(text: "--source-root"), lit(text: r)]))
+  fold(compile_clean_source_roots(), init: [], f: (acc, r) => concat(acc, [lit(text: "--source-root"), lit(text: r)]))
 }
 
 fn dcc_pool_index_flags() -> List<ShellWord> {
@@ -220,6 +220,7 @@ data dcc_target_dag_marker: String = "'--target' 'dag'"
 data dcc_source_root_marker: String = "'--source-root'"
 data dcc_witness_root_dag_marker: String = "'dag'"
 data dcc_witness_root_v2_marker: String = "'src/v2'"
+data dcc_witness_root_v1_marker: String = "'src/v1'"
 data dcc_pool_index_marker: String = "'--dependency-pool-index' 'primary-precedence'"
 
 data clean_tree_compile_invocation_marker: String = "'compile' '--source-root' 'dag'"
@@ -237,6 +238,7 @@ fn shell_serializes_dcc_common_compile_invocation(script: String) -> Bool {
     && string_contains(s: script, pattern: dcc_source_root_marker)
     && string_contains(s: script, pattern: dcc_witness_root_dag_marker)
     && string_contains(s: script, pattern: dcc_witness_root_v2_marker)
+    && string_contains(s: script, pattern: dcc_witness_root_v1_marker)
     && string_contains(s: script, pattern: dcc_pool_index_marker)
 }
 

src/v1/04_method.dag

@@ -93,6 +93,8 @@ fn builtin_function_registry() -> Map<String, Node> {
   let m = map_insert(m, "hash_combine", hash_type)
   let m = map_insert(m, "atom_identity_hash", hash_type)
   let m = map_insert(m, "string_contains", bool_type)
+  let m = map_insert(m, "length", int_type)
+  let m = map_insert(m, "starts_with", bool_type)
   let m = map_insert(m, "replace", string_type)
   let m = map_insert(m, "filesystem_read", type_variable_node(id: "filesystem_read_result"))
   let m = map_insert(m, "contiguous_loop_elementwise_kernel", list_of_type_variable(id: "collection_element"))

src/v1/stage0/src/v1_compiler_infer_method.rs

@@ -186,6 +186,8 @@ pub fn builtin_function_registry() -> Rc<HashMap<String, Rc<Node>>> {
         let m = v1_rt::rc_map_insert(m.clone(), "hash_combine".to_string(), hash_type());
         let m = v1_rt::rc_map_insert(m.clone(), "atom_identity_hash".to_string(), hash_type());
         let m = v1_rt::rc_map_insert(m.clone(), "string_contains".to_string(), bool_type());
+        let m = v1_rt::rc_map_insert(m.clone(), "length".to_string(), int_type());
+        let m = v1_rt::rc_map_insert(m.clone(), "starts_with".to_string(), bool_type());
         let m = v1_rt::rc_map_insert(m.clone(), "replace".to_string(), string_type());
         let m = v1_rt::rc_map_insert(
             m.clone(),

src/v1/stage0/src/v1_interpreter.rs

@@ -2264,6 +2264,11 @@ pub(crate) const STD_FN_INDEX_BRIDGE_FNS: &[&str] = &["fn_arrow_decl_facts_live"
 
 pub(crate) const STD_DATA_INDEX_BRIDGE_FNS: &[&str] = &["data_init_decl_facts_live"];
 
+pub(crate) const INERT_LENS_BRIDGE_FNS: &[&str] = &[
+    "inert_lens_unreached_module_count",
+    "inert_lens_top_level_module_count",
+];
+
 pub fn std_node_bridge_fn_names() -> &'static [&'static str] {
     STD_NODE_BRIDGE_FNS
 }
@@ -2351,6 +2356,15 @@ fn is_v4_std_qualified_name_bridge_call(ctx: &InterpContext, func_name: &str) ->
         .is_some_and(|info| info.module_name == "v2.std.qualified_name")
 }
 
+fn is_v4_inert_lens_bridge_call(ctx: &InterpContext, func_name: &str) -> bool {
+    if !INERT_LENS_BRIDGE_FNS.contains(&func_name) {
+        return false;
+    }
+    ctx.item_registry
+        .get(func_name)
+        .is_some_and(|info| info.module_name == "v2.lens.inert_lens")
+}
+
 fn eval_call(node: &Rc<Node>, env: &Rc<Env>, ctx: &InterpContext) -> InterpResult<Value> {
     let func_name = {
         let key = Rc::as_ptr(node) as usize;
@@ -2437,6 +2451,18 @@ fn eval_call(node: &Rc<Node>, env: &Rc<Env>, ctx: &InterpContext) -> InterpResul
         };
     }
 
+    if is_v4_inert_lens_bridge_call(ctx, &func_name) {
+        return match func_name.as_str() {
+            "inert_lens_unreached_module_count" => Ok(Value::Int(
+                crate::cli_run::inert_lens_unreached_module_count(),
+            )),
+            "inert_lens_top_level_module_count" => Ok(Value::Int(
+                crate::cli_run::inert_lens_top_level_module_count(),
+            )),
+            _ => unreachable!("inert_lens bridge fn set mismatch"),
+        };
+    }
+
     match func_name.as_str() {
         "fold_list" => return eval_fold_list_native(&args, env, ctx),
         "fold_list_right" => return eval_fold_list_right_native(&args, env, ctx),
@@ -5309,6 +5335,21 @@ fn eval_builtin(
             Ok(Some(Value::Bool(s.contains(&sub))))
         }
 
+        "starts_with" => {
+            let s = expect_str(positional.first().copied(), "starts_with")?;
+            let prefix = expect_str(positional.get(1).copied(), "starts_with prefix")?;
+            Ok(Some(Value::Bool(s.starts_with(&prefix))))
+        }
+
+        "length" => match positional.first() {
+            Some(Value::Str(s)) => Ok(Some(Value::Int(s.chars().count() as i64))),
+            Some(v) => match free_monoid_to_vec(v) {
+                Some(items) => Ok(Some(Value::Int(items.len() as i64))),
+                None => Ok(None),
+            },
+            None => Ok(None),
+        },
+
         "contains" => match positional.as_slice() {
             [Value::Str(s), Value::Str(sub), ..] => Ok(Some(Value::Bool(s.contains(sub)))),
             [xs, target, ..] => match free_monoid_to_vec(xs) {