wiring-liveness whole-tree: underscore-prefix dead-wire sweep + inherited drift fixes

src/v2/compiler/00_compile.dag

@@ -434,7 +434,7 @@ fn stage_resolve(lm: LanguageModel) -> fn(NormalizedTree) -> Outcome<ResolvedTre
   fn(normalized) { resolve(tree: normalized, lm: lm) }
 }
 
-fn resolve_cache_miss(normalized: NormalizedTree) -> CacheProbe<ResolvedTree> {
+fn resolve_cache_miss(_normalized: NormalizedTree) -> CacheProbe<ResolvedTree> {
   Miss
 }
 

src/v2/compiler/03_resolve.dag

@@ -293,7 +293,7 @@ fn resolve_surface_operator_atom(
   lm: LanguageModel,
   identity: Symbol
 ) -> Outcome<Node> {
-  match dag_surface_operator_canonicalization_lookup(lm: lm, surface_token: identity) {
+  match dag_surface_operator_canonicalization_lookup(_lm: lm, surface_token: identity) {
     Accepted { value: canonical_op, diagnostics: pending } => {
       let wire = target_model_canonical_operation_wire_node(operation: canonical_op)
       Accepted {

src/v2/compiler/04_infer.dag

@@ -996,7 +996,7 @@ fn infer_gather_failed_non_empty(acc: InferGatherFoldAcc) -> NonEmptyDiagnostics
 
 fn infer_gather_fold_step(
   acc: InferGatherFoldAcc,
-  edge: Edge,
+  _edge: Edge,
   child: InferGatherFoldAcc,
   partials: List<Node>,
 ) -> InferGatherFoldAcc {
@@ -1050,7 +1050,7 @@ fn infer_gather_fold_algebra(partials: List<Node>) -> NodeFold<InferGatherFoldAc
       infer_gather_fold_init(n: n0, partials: partials)
     },
     step: fn(acc, e, child) {
-      infer_gather_fold_step(acc: acc, edge: e, child: child, partials: partials)
+      infer_gather_fold_step(acc: acc, _edge: e, child: child, partials: partials)
     }
   }
 }

src/v2/compiler/06_translate.dag

@@ -277,7 +277,7 @@ fn translate_target_bundle_malformed_diagnostic(target: TargetModel) -> Diagnost
 }
 fn translate_target_bundle_duplicate_edge_diagnostic(
   target: TargetModel,
-  edge_name: Symbol
+  _edge_name: Symbol
 ) -> Diagnostic {
   Diagnostic {
     reason: ^translate_target_bundle_duplicate_edge,
@@ -516,7 +516,7 @@ fn grammar_relation_row_with_bodied_scaffold(rules: Node) -> Outcome<Node> {
 
 fn grammar_relation_row_for_bodied_arrow_serialize(
   rules: Node,
-  emitted: Node
+  _emitted: Node
 ) -> Outcome<TargetBodiedArrowStatementScaffold> {
   bind_outcome(
     o: grammar_relation_row_with_bodied_scaffold(rules: rules),
@@ -534,7 +534,7 @@ fn grammar_inverse_bodied_arrow_validated(
     o: target_bundle_child(target: target, edge_name: ^target_model_edge_translation_rules),
     f: fn(rules) {
       bind_outcome(
-        o: grammar_relation_row_for_bodied_arrow_serialize(rules: rules, emitted: emitted),
+        o: grammar_relation_row_for_bodied_arrow_serialize(rules: rules, _emitted: emitted),
         f: fn(_) {
           outcome_accepted(emitted)
         }
@@ -888,7 +888,7 @@ fn target_serialize_bodied_arrow_from_model(
     o: target_bundle_child(target: target, edge_name: ^target_model_edge_translation_rules),
     f: fn(rules) {
       bind_outcome(
-        o: grammar_relation_row_for_bodied_arrow_serialize(rules: rules, emitted: emitted),
+        o: grammar_relation_row_for_bodied_arrow_serialize(rules: rules, _emitted: emitted),
         f: fn(scaffold) {
           bind_outcome(
             o: target_value_expression_projection_from_target(target: target),
@@ -1205,7 +1205,7 @@ fn target_bundle_child(target: TargetModel, edge_name: Symbol) -> Outcome<Node>
           outcome_rejected(
             translate_target_bundle_duplicate_edge_diagnostic(
               target: target,
-              edge_name: edge_name
+              _edge_name: edge_name
             )
           )
         BundleChildInvalidEdge =>
@@ -1233,7 +1233,7 @@ fn target_bundle_optional_child(target: TargetModel, edge_name: Symbol) -> Outco
           outcome_rejected(
             translate_target_bundle_duplicate_edge_diagnostic(
               target: target,
-              edge_name: edge_name
+              _edge_name: edge_name
             )
           )
         BundleChildInvalidEdge =>
@@ -1736,7 +1736,7 @@ fn translate_type_expression_arrow_project(
           original_split: original_split,
           target: target,
           projection: projection,
-          anchor: node
+          _anchor: node
         ),
         f: fn(split) {
           outcome_accepted(
@@ -2936,7 +2936,7 @@ fn translate_project_arrow_split_types(
   original_split: TypeExprArrowSplit,
   target: TargetModel,
   projection: TargetTypeExpressionProjection,
-  anchor: Node
+  _anchor: Node
 ) -> Outcome<TypeExprArrowSplit> {
   bind_outcome(
     o: translate_project_arrow_input_types(
@@ -3511,8 +3511,8 @@ fn translate_computation_fold_init(node: Node) -> Outcome<Node> {
 }
 fn translate_fold_init(
   node: Node,
-  tree: InferredTree,
-  target: TargetModel
+  _tree: InferredTree,
+  _target: TargetModel
 ) -> Outcome<Node> {
   match node.kind {
     TypeNode { connective: _ } => translate_type_fold_init(node: node)
@@ -3603,7 +3603,7 @@ fn translate_grammar_relation_row_match(target: TargetModel, emitted: Node) -> O
 }
 fn translate_type_expression_tree(
   node: Node,
-  tree: InferredTree,
+  _tree: InferredTree,
   target: TargetModel,
   projection: TargetTypeExpressionProjection
 ) -> Outcome<Node> {
@@ -3641,7 +3641,7 @@ fn translate_node_with_projection(
         TypeNode { connective: _ } =>
           translate_type_expression_tree(
             node: node,
-            tree: tree,
+            _tree: tree,
             target: target,
             projection: projection
           )
@@ -3716,7 +3716,7 @@ fn translate_node_computation(
   fold_node(
     n: node,
     algebra: NodeFold {
-      init: fn(n0) { translate_fold_init(node: n0, tree: tree, target: target) },
+      init: fn(n0) { translate_fold_init(node: n0, _tree: tree, _target: target) },
       step: fn(acc, e, child) { translate_fold_step(acc: acc, edge: e, child: child) }
     }
   )

src/v2/compiler/emit_host.dag

@@ -128,15 +128,15 @@ fn runtime_value_parse(target: TargetModel, stdout: HostRunStdout) -> Outcome<Ru
   )
 }
 
-fn runtime_value_signed_i32_le_as_int(value: RuntimeValue) -> Outcome<Int> {
+fn runtime_value_signed_i32_le_as_int(_value: RuntimeValue) -> Outcome<Int> {
   outcome_rejected(d: emit_host_run_unsupported_target_diagnostic())
 }
 
 fn run_host_process(
   row: EmitHostRuntimeRow,
-  target: TargetModel,
-  source: Medium<String>,
-  fixture_inputs: Inputs
+  _target: TargetModel,
+  _source: Medium<String>,
+  _fixture_inputs: Inputs
 ) -> Outcome<EmitHostRunReceipt> {
   let _transport = row.transport
   Rejected {
@@ -154,17 +154,17 @@ fn run_emit_host(
     f: fn(row) {
       run_host_process(
         row: row,
-        target: target,
-        source: source,
-        fixture_inputs: fixture_inputs
+        _target: target,
+        _source: source,
+        _fixture_inputs: fixture_inputs
       )
     }
   )
 }
 
 fn run_test_claim_emit_vs_eval_verdict(
   subject: TestClaimEvalSubject<Node>,
-  target: TargetModel,
+  _target: TargetModel,
   host_receipt: EmitHostRunReceipt,
   host_actual: RuntimeValue,
   expected: Outcome<RuntimeValue>
@@ -229,7 +229,7 @@ fn run_test_claim_emit_vs_eval_for_claim(
                 Accepted { value: host_actual, diagnostics: _ } =>
                   run_test_claim_emit_vs_eval_verdict(
                     subject: subject,
-                    target: target,
+                    _target: target,
                     host_receipt: host_receipt,
                     host_actual: host_actual,
                     expected: expected
@@ -253,7 +253,7 @@ fn run_test_claim_emit_vs_eval_for_claim(
 
 fn run_test_claim_emit_vs_eval_run(
   subject: TestClaimEvalSubject<Node>,
-  target: TargetModel,
+  _target: TargetModel,
   verdict: Verdict<TestClaimEvalSubject<Node>, RuntimeValue>
 ) -> TestClaimRun<Node, RuntimeValue> {
   TestClaimRun {
@@ -270,7 +270,7 @@ fn run_test_claim_emit_vs_eval(
     EqualsClaim { rhs: rhs, label: _, anchor: _, lhs: lhs, classification: _ } =>
       run_test_claim_emit_vs_eval_run(
         subject: subject,
-        target: target,
+        _target: target,
         verdict: run_test_claim_emit_vs_eval_for_claim(
           subject: subject,
           target: target,
@@ -281,7 +281,7 @@ fn run_test_claim_emit_vs_eval(
     CompilesClaim { expected_value: expected_value, label: _, anchor: _, input: input, classification: _ } =>
       run_test_claim_emit_vs_eval_run(
         subject: subject,
-        target: target,
+        _target: target,
         verdict: run_test_claim_emit_vs_eval_for_claim(
           subject: subject,
           target: target,

src/v2/compiler/program_partition.dag

@@ -115,7 +115,7 @@ fn partition_grounding_subject_in_segment(
 fn partition_fail_closed_boundary_admits(
   segment_root: Node,
   boundary: PartitionBoundaryPolicy,
-  node: Node,
+  _node: Node,
   facts: InferredFacts
 ) -> Bool {
   match boundary {
@@ -136,7 +136,7 @@ fn partition_closure_entry_for_node(
       if partition_fail_closed_boundary_admits(
         segment_root: segment_root,
         boundary: boundary,
-        node: node,
+        _node: node,
         facts: facts
       ) {
         admitted_inferred_facts_entry(node: node, facts: facts)

src/v2/compiler/self_host.dag

@@ -73,18 +73,18 @@ fn candidate_promotion_witness(
 ) -> PromotionWitness {
   PromotionWitness {
     candidate_bootstrap_roundtrip_sub_check: bootstrap_roundtrip_scaffold(
-      produced_stage: stage1_candidate,
+      _produced_stage: stage1_candidate,
       expected_stage: reference_stage1
     ),
     candidate_fixed_point_sub_check: fixed_point_scaffold(
-      emitted_stage: stage1_candidate,
+      _emitted_stage: stage1_candidate,
       reference_stage: reference_stage1
     )
   }
 }
 
 fn bootstrap_roundtrip_scaffold(
-  produced_stage: CoreNode,
+  _produced_stage: CoreNode,
   expected_stage: CoreNode
 ) -> BootstrapRoundtripCheck {
   Violates {
@@ -97,7 +97,7 @@ fn bootstrap_roundtrip_scaffold(
 }
 
 fn fixed_point_scaffold(
-  emitted_stage: CoreNode,
+  _emitted_stage: CoreNode,
   reference_stage: CoreNode
 ) -> FixedPointCheck {
   Violates {
@@ -152,9 +152,9 @@ fn stage_emission_equality(
 }
 
 fn self_host_fixed_point_validate(
-  stage1_candidate: CoreNode,
-  source_models: SourceModels,
-  reference_stage1: CoreNode
+  _stage1_candidate: CoreNode,
+  _source_models: SourceModels,
+  _reference_stage1: CoreNode
 ) -> Outcome<PromotionWitness> {
   Rejected {
     diagnostics: diagnostics_singleton(d: self_host_runner_not_realized_diagnostic())

src/v2/extdeps/formatters/black.dag

@@ -82,5 +82,5 @@ data black_defaults: BlackConfig = BlackConfig {
 type BlackConfigPatch = ConfigPatchRecord<BlackConfig>
 
 fn black_layer(base: BlackConfig, patch: BlackConfigPatch) -> BlackConfig {
-  config_patch_layer(base: base, patch: patch)
+  config_patch_layer(base: base, _patch: patch)
 }

src/v2/extdeps/formatters/clang_format.dag

@@ -888,5 +888,5 @@ data clang_format_defaults: ClangFormatConfig = ClangFormatConfig {
 type ClangFormatConfigPatch = ConfigPatchRecord<ClangFormatConfig>
 
 fn clang_format_layer(base: ClangFormatConfig, patch: ClangFormatConfigPatch) -> ClangFormatConfig {
-  config_patch_layer(base: base, patch: patch)
+  config_patch_layer(base: base, _patch: patch)
 }

src/v2/extdeps/formatters/gofmt.dag

@@ -9,5 +9,5 @@ data gofmt_defaults: GofmtConfig = GofmtConfig {}
 type GofmtConfigPatch = ConfigPatchRecord<GofmtConfig>
 
 fn gofmt_layer(base: GofmtConfig, patch: GofmtConfigPatch) -> GofmtConfig {
-  config_patch_layer(base: base, patch: patch)
+  config_patch_layer(base: base, _patch: patch)
 }

src/v2/extdeps/formatters/google_java_format.dag

@@ -17,5 +17,5 @@ data google_java_format_defaults: GoogleJavaFormatConfig = GoogleJavaFormatConfi
 type GoogleJavaFormatConfigPatch = ConfigPatchRecord<GoogleJavaFormatConfig>
 
 fn google_java_format_layer(base: GoogleJavaFormatConfig, patch: GoogleJavaFormatConfigPatch) -> GoogleJavaFormatConfig {
-  config_patch_layer(base: base, patch: patch)
+  config_patch_layer(base: base, _patch: patch)
 }

src/v2/extdeps/formatters/ktfmt.dag

@@ -76,5 +76,5 @@ data ktfmt_defaults: KtfmtConfig = KtfmtConfig {
 type KtfmtConfigPatch = ConfigPatchRecord<KtfmtConfig>
 
 fn ktfmt_layer(base: KtfmtConfig, patch: KtfmtConfigPatch) -> KtfmtConfig {
-  config_patch_layer(base: base, patch: patch)
+  config_patch_layer(base: base, _patch: patch)
 }

src/v2/extdeps/formatters/lean4_format.dag

@@ -184,5 +184,5 @@ data lean4_format_defaults: Lean4FormatConfig = Lean4FormatConfig {
 type Lean4FormatConfigPatch = ConfigPatchRecord<Lean4FormatConfig>
 
 fn lean4_format_layer(base: Lean4FormatConfig, patch: Lean4FormatConfigPatch) -> Lean4FormatConfig {
-  config_patch_layer(base: base, patch: patch)
+  config_patch_layer(base: base, _patch: patch)
 }

src/v2/extdeps/formatters/prettier.dag

@@ -174,7 +174,7 @@ data prettier_defaults: PrettierConfig = PrettierConfig {
 type PrettierFormattingOptionsPatch = ConfigPatchRecord<PrettierFormattingOptions>
 
 fn apply_prettier_formatting_options_patch(base: PrettierFormattingOptions, patch: PrettierFormattingOptionsPatch) -> PrettierFormattingOptions {
-  config_patch_layer(base: base, patch: patch)
+  config_patch_layer(base: base, _patch: patch)
 }
 
 type PrettierConfigPatch {

src/v2/extdeps/formatters/rustfmt.dag

@@ -281,5 +281,5 @@ data rustfmt_defaults: RustfmtConfig = RustfmtConfig {
 type RustfmtConfigPatch = ConfigPatchRecord<RustfmtConfig>
 
 fn rustfmt_layer(base: RustfmtConfig, patch: RustfmtConfigPatch) -> RustfmtConfig {
-  config_patch_layer(base: base, patch: patch)
+  config_patch_layer(base: base, _patch: patch)
 }

src/v2/extdeps/formatters/swift_format.dag

@@ -105,5 +105,5 @@ data swift_format_defaults: SwiftFormatConfig = SwiftFormatConfig {
 type SwiftFormatConfigPatch = ConfigPatchRecord<SwiftFormatConfig>
 
 fn swift_format_layer(base: SwiftFormatConfig, patch: SwiftFormatConfigPatch) -> SwiftFormatConfig {
-  config_patch_layer(base: base, patch: patch)
+  config_patch_layer(base: base, _patch: patch)
 }

src/v2/extdeps/language_model/python_l1_static.dag

@@ -67,7 +67,7 @@ data claim_python_l1_static_fixture_pair_wired: TestClaim = EqualsClaim {
 }
 
 fn python_l1_static_expected_verdicts_wired() -> Bool {
-  match leaf_model_python_static_happy_verdict(c: python_l1_static_fixture().happy) {
+  match leaf_model_python_static_happy_verdict(_c: python_l1_static_fixture().happy) {
     StaticAnalysisAccepted => true
     StaticAnalysisRejected { tool_id: _, diagnostic_code: _ } => false
     StaticAnalysisAdvisory { tool_id: _, diagnostic_code: _ } => false
@@ -110,7 +110,7 @@ fn python_l1_static_roster_pair_verdicts_wired(
   p: LeafModelPythonStaticFixturePair,
   expected_diag_code: Symbol
 ) -> Bool {
-  match leaf_model_python_static_happy_verdict(c: p.happy) {
+  match leaf_model_python_static_happy_verdict(_c: p.happy) {
     StaticAnalysisAccepted => true
     StaticAnalysisRejected { tool_id: _, diagnostic_code: _ } => false
     StaticAnalysisAdvisory { tool_id: _, diagnostic_code: _ } => false
@@ -191,7 +191,7 @@ data claim_python_l1_static_mypy_fixture_pair_wired: TestClaim = EqualsClaim {
 }
 
 fn python_l1_static_mypy_expected_verdicts_wired() -> Bool {
-  match leaf_model_python_static_happy_verdict(c: python_l1_static_mypy_fixture().happy) {
+  match leaf_model_python_static_happy_verdict(_c: python_l1_static_mypy_fixture().happy) {
     StaticAnalysisAccepted => true
     StaticAnalysisRejected { tool_id: _, diagnostic_code: _ } => false
     StaticAnalysisAdvisory { tool_id: _, diagnostic_code: _ } => false