diff --git a/src/v2/compiler/00_compile.dag b/src/v2/compiler/00_compile.dag
index f1c0dca8dec..1faa81dba6f 100644
--- a/src/v2/compiler/00_compile.dag
+++ b/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
 }
 
diff --git a/src/v2/compiler/03_resolve.dag b/src/v2/compiler/03_resolve.dag
index 6c22ca05239..a96f8e78785 100644
--- a/src/v2/compiler/03_resolve.dag
+++ b/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 {
diff --git a/src/v2/compiler/04_infer.dag b/src/v2/compiler/04_infer.dag
index 0cfc990268d..c2da7d1809a 100644
--- a/src/v2/compiler/04_infer.dag
+++ b/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)
     }
   }
 }
diff --git a/src/v2/compiler/06_translate.dag b/src/v2/compiler/06_translate.dag
index 64d058cee63..5615087796a 100644
--- a/src/v2/compiler/06_translate.dag
+++ b/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) }
     }
   )
diff --git a/src/v2/compiler/emit_host.dag b/src/v2/compiler/emit_host.dag
index 77bff320b9b..02be31576bc 100644
--- a/src/v2/compiler/emit_host.dag
+++ b/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,9 +154,9 @@ 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
       )
     }
   )
@@ -164,7 +164,7 @@ fn run_emit_host(
 
 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,
diff --git a/src/v2/compiler/program_partition.dag b/src/v2/compiler/program_partition.dag
index fc3e8b0dc43..d8de75f6839 100644
--- a/src/v2/compiler/program_partition.dag
+++ b/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)
diff --git a/src/v2/compiler/self_host.dag b/src/v2/compiler/self_host.dag
index 10468ff6f0c..3ece6d1f72a 100644
--- a/src/v2/compiler/self_host.dag
+++ b/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())
diff --git a/src/v2/extdeps/formatters/black.dag b/src/v2/extdeps/formatters/black.dag
index 7c0b8c29238..ef03e5c698c 100644
--- a/src/v2/extdeps/formatters/black.dag
+++ b/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)
 }
diff --git a/src/v2/extdeps/formatters/clang_format.dag b/src/v2/extdeps/formatters/clang_format.dag
index 810f76ae2f3..4b715ad795b 100644
--- a/src/v2/extdeps/formatters/clang_format.dag
+++ b/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)
 }
diff --git a/src/v2/extdeps/formatters/gofmt.dag b/src/v2/extdeps/formatters/gofmt.dag
index e894be56eb4..9166eb559e6 100644
--- a/src/v2/extdeps/formatters/gofmt.dag
+++ b/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)
 }
diff --git a/src/v2/extdeps/formatters/google_java_format.dag b/src/v2/extdeps/formatters/google_java_format.dag
index e30363289da..ce289efb6ce 100644
--- a/src/v2/extdeps/formatters/google_java_format.dag
+++ b/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)
 }
diff --git a/src/v2/extdeps/formatters/ktfmt.dag b/src/v2/extdeps/formatters/ktfmt.dag
index 38530cbaba2..a71b7b3d325 100644
--- a/src/v2/extdeps/formatters/ktfmt.dag
+++ b/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)
 }
diff --git a/src/v2/extdeps/formatters/lean4_format.dag b/src/v2/extdeps/formatters/lean4_format.dag
index 029377362d1..180633cb56a 100644
--- a/src/v2/extdeps/formatters/lean4_format.dag
+++ b/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)
 }
diff --git a/src/v2/extdeps/formatters/prettier.dag b/src/v2/extdeps/formatters/prettier.dag
index 7c2b6643bee..8a0f2fd4a5e 100644
--- a/src/v2/extdeps/formatters/prettier.dag
+++ b/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 {
diff --git a/src/v2/extdeps/formatters/rustfmt.dag b/src/v2/extdeps/formatters/rustfmt.dag
index 5ab0a0b4643..26899517bd0 100644
--- a/src/v2/extdeps/formatters/rustfmt.dag
+++ b/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)
 }
diff --git a/src/v2/extdeps/formatters/swift_format.dag b/src/v2/extdeps/formatters/swift_format.dag
index c3e2942339a..484867ed2c1 100644
--- a/src/v2/extdeps/formatters/swift_format.dag
+++ b/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)
 }
diff --git a/src/v2/extdeps/language_model/python_l1_static.dag b/src/v2/extdeps/language_model/python_l1_static.dag
index d653c9d9586..e533f8bcf9d 100644
--- a/src/v2/extdeps/language_model/python_l1_static.dag
+++ b/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
diff --git a/src/v2/extdeps/languages/dag.dag b/src/v2/extdeps/languages/dag.dag
index f527e8a63e1..f57ac5bb4f8 100644
--- a/src/v2/extdeps/languages/dag.dag
+++ b/src/v2/extdeps/languages/dag.dag
@@ -307,7 +307,7 @@ fn dag_mvp1_field_access_concrete_tokens() -> List<ConcreteSyntaxToken> {
   ]
 }
 
-fn dag_surface_operator_canonicalization_miss_diagnostic(surface_token: Symbol) -> Diagnostic {
+fn dag_surface_operator_canonicalization_miss_diagnostic(_surface_token: Symbol) -> Diagnostic {
   Diagnostic {
     reason: ^dag_surface_operator_canonicalization_miss,
     at: port_locus(port: ^dag_surface_operator_canonicalization_port),
@@ -320,13 +320,13 @@ fn dag_surface_operator_canonicalization_member(surface_token: Symbol) -> Outcom
     outcome_accepted(canonical_operation_op_add())
   } else {
     outcome_rejected(
-      dag_surface_operator_canonicalization_miss_diagnostic(surface_token: surface_token)
+      dag_surface_operator_canonicalization_miss_diagnostic(_surface_token: surface_token)
     )
   }
 }
 
 fn dag_surface_operator_canonicalization_lookup(
-  lm: LanguageModel,
+  _lm: LanguageModel,
   surface_token: Symbol
 ) -> Outcome<CanonicalOperation> {
   dag_surface_operator_canonicalization_member(surface_token: surface_token)
diff --git a/src/v2/extdeps/runtimes/v2_evaluator.dag b/src/v2/extdeps/runtimes/v2_evaluator.dag
index d6e4c472bbe..ebe0fcf23d7 100644
--- a/src/v2/extdeps/runtimes/v2_evaluator.dag
+++ b/src/v2/extdeps/runtimes/v2_evaluator.dag
@@ -214,7 +214,7 @@ fn v2_eval_wave1_return_value(value: RuntimeValue, _frame: EvaluationFrame) -> O
   Accepted { value: Return { value: value }, diagnostics: None }
 }
 
-fn v2_eval_wave1_transfer(control: ControlTransfer, frame: EvaluationFrame) -> Outcome<EvaluationFrame> {
+fn v2_eval_wave1_transfer(control: ControlTransfer, _frame: EvaluationFrame) -> Outcome<EvaluationFrame> {
   match control {
     Continue { value: v } =>
       outcome_rejected(d: v2_eval_wave1_runtime_diagnostic(node: runtime_value_resolved_type(value: v)))
@@ -227,7 +227,7 @@ fn v2_eval_wave1_transfer(control: ControlTransfer, frame: EvaluationFrame) -> O
   }
 }
 
-fn v2_eval_wave1_terminal_value(control: ControlTransfer, frame: EvaluationFrame) -> Outcome<RuntimeValue> {
+fn v2_eval_wave1_terminal_value(control: ControlTransfer, _frame: EvaluationFrame) -> Outcome<RuntimeValue> {
   match control {
     Continue { value: v } =>
       Accepted { value: v, diagnostics: None }
diff --git a/src/v2/lens/affected_set.dag b/src/v2/lens/affected_set.dag
index 7eabb2aa96b..b8d95361fed 100644
--- a/src/v2/lens/affected_set.dag
+++ b/src/v2/lens/affected_set.dag
@@ -1220,7 +1220,7 @@ fn canonical_transitive_frontier(dag: Dag, edit_dimension: EditDimension) -> Fro
 }
 
 fn canonical_propagation_receipt(
-  dag: Dag,
+  _dag: Dag,
   edit_dimension: EditDimension,
   dependency: DependencyView
 ) -> PropagationReceipt {
diff --git a/src/v2/lens/affected_set/irt1_empty_diff_frontier_receipt.dag b/src/v2/lens/affected_set/irt1_empty_diff_frontier_receipt.dag
index 4172dd95445..0d9e6880d38 100644
--- a/src/v2/lens/affected_set/irt1_empty_diff_frontier_receipt.dag
+++ b/src/v2/lens/affected_set/irt1_empty_diff_frontier_receipt.dag
@@ -315,7 +315,7 @@ fn irt1_public_affected_set_missing_path_fails_closed() -> Bool {
 
 fn irt1_public_nonfrontier_dependency_without_read_receipt_reruns() -> Bool {
   match canonical_propagation_receipt(
-    dag: affected_set_example_node,
+    _dag: affected_set_example_node,
     edit_dimension: irt1_public_propagation_edit_dimension,
     dependency: irt1_public_nonfrontier_dependency_without_receipt
   ) {
@@ -326,7 +326,7 @@ fn irt1_public_nonfrontier_dependency_without_read_receipt_reruns() -> Bool {
 
 fn irt1_public_nonfrontier_dependency_with_read_receipt_excludes() -> Bool {
   match canonical_propagation_receipt(
-    dag: affected_set_example_node,
+    _dag: affected_set_example_node,
     edit_dimension: irt1_public_propagation_edit_dimension,
     dependency: irt1_public_nonfrontier_dependency_with_receipt
   ) {
@@ -337,7 +337,7 @@ fn irt1_public_nonfrontier_dependency_with_read_receipt_excludes() -> Bool {
 
 fn irt1_public_nonfrontier_dependency_with_mismatched_read_receipt_reruns() -> Bool {
   match canonical_propagation_receipt(
-    dag: affected_set_example_node,
+    _dag: affected_set_example_node,
     edit_dimension: irt1_public_propagation_edit_dimension,
     dependency: irt1_public_nonfrontier_dependency_with_mismatched_receipt
   ) {
@@ -348,7 +348,7 @@ fn irt1_public_nonfrontier_dependency_with_mismatched_read_receipt_reruns() -> B
 
 fn irt1_public_contains_dependency_with_read_receipt_reruns() -> Bool {
   match canonical_propagation_receipt(
-    dag: affected_set_example_node,
+    _dag: affected_set_example_node,
     edit_dimension: irt1_public_propagation_edit_dimension,
     dependency: irt1_public_contains_dependency_with_read_receipt
   ) {
diff --git a/src/v2/lens/affected_set_examples.dag b/src/v2/lens/affected_set_examples.dag
index d8d088aac7d..49b73e436e8 100644
--- a/src/v2/lens/affected_set_examples.dag
+++ b/src/v2/lens/affected_set_examples.dag
@@ -124,25 +124,25 @@ data expected_affected_set_whole_dag_absorbs_later_unknown: ReExecFrontier = Fai
   }
 }
 
-fn affected_set_example_boundary_hash_receipt(dag: Dag, path: Path, replacement: Node) -> HashReceipt {
+fn affected_set_example_boundary_hash_receipt(_dag: Dag, _path: Path, _replacement: Node) -> HashReceipt {
   HashChanged
 }
 
-fn affected_set_example_changed_dimension_receipt(dag: Dag, edit: Edit) -> ChangedDimensionReceipt {
+fn affected_set_example_changed_dimension_receipt(_dag: Dag, _edit: Edit) -> ChangedDimensionReceipt {
   ChangedDimensions {
     first: ^affected_set_example_dimension,
     rest: []
   }
 }
 
-fn affected_set_example_transitive_frontier(dag: Dag, edit_dimension: EditDimension) -> FrontierReceipt {
+fn affected_set_example_transitive_frontier(_dag: Dag, _edit_dimension: EditDimension) -> FrontierReceipt {
   FrontierProduced { dependencies: [] }
 }
 
 fn affected_set_example_propagation_receipt(
-  dag: Dag,
-  edit_dimension: EditDimension,
-  dependency: DependencyView
+  _dag: Dag,
+  _edit_dimension: EditDimension,
+  _dependency: DependencyView
 ) -> PropagationReceipt {
   Propagates
 }
@@ -158,13 +158,13 @@ data affected_set_example_read: AffectedSetRead = AffectedSetRead {
   propagation_receipt: affected_set_example_propagation_receipt
 }
 
-fn affected_set_example_post_edit_accepts(dag: Dag, edit: Edit) -> AffectedPostEditDagRead {
+fn affected_set_example_post_edit_accepts(dag: Dag, _edit: Edit) -> AffectedPostEditDagRead {
   AffectedPostEditDagRead {
     outcome: Accepted { value: dag, diagnostics: None }
   }
 }
 
-fn affected_set_example_post_edit_rejects(dag: Dag, edit: Edit) -> AffectedPostEditDagRead {
+fn affected_set_example_post_edit_rejects(_dag: Dag, _edit: Edit) -> AffectedPostEditDagRead {
   AffectedPostEditDagRead {
     outcome: Rejected {
       diagnostics: diagnostics_singleton(d: affected_set_example_invalid_edit_diagnostic)
diff --git a/src/v2/lens/application/apply_lens_enforce_uses_projection.dag b/src/v2/lens/application/apply_lens_enforce_uses_projection.dag
index bd1a3df9c97..a5713e52ba5 100644
--- a/src/v2/lens/application/apply_lens_enforce_uses_projection.dag
+++ b/src/v2/lens/application/apply_lens_enforce_uses_projection.dag
@@ -47,7 +47,7 @@ fn projection_test_read(root: Node) -> Outcome<Symbol> {
 
 data projection_test_lens: Lens<Symbol> = Lens { read: projection_test_read }
 
-fn projection_test_project(output: Symbol) -> Symbol {
+fn projection_test_project(_output: Symbol) -> Symbol {
   ^projection_projected_symbol
 }
 
diff --git a/src/v2/lens/complexity.dag b/src/v2/lens/complexity.dag
index c4220749505..56ccdd15bfb 100644
--- a/src/v2/lens/complexity.dag
+++ b/src/v2/lens/complexity.dag
@@ -54,7 +54,7 @@ import v2.std.refinement {
 }
 import v2.std.witness { Holds, Violates, Witness }
 
-fn complexity_variables_admits(xs: List<SizeVariable>) -> Bool {
+fn complexity_variables_admits(_xs: List<SizeVariable>) -> Bool {
   true
 }
 
diff --git a/src/v2/lens/cost.dag b/src/v2/lens/cost.dag
index 71f583f8009..f1950cb7197 100644
--- a/src/v2/lens/cost.dag
+++ b/src/v2/lens/cost.dag
@@ -142,7 +142,7 @@ fn unknown_cost(diagnostic: Diagnostic) -> SymbolicCost {
   UnknownCost { diagnostic: diagnostic }
 }
 
-fn symbolic_cost_witness(c: SymbolicCost, n: Node) -> Witness<SymbolicCost> {
+fn symbolic_cost_witness(c: SymbolicCost, _n: Node) -> Witness<SymbolicCost> {
   match c {
     UnknownCost { diagnostic: d } =>
       Violates { diagnostic: d }
@@ -403,7 +403,7 @@ fn symbolic_cost_of_node(n: Node) -> SymbolicCost {
 }
 
 fn cost_lens(n: Node) -> Witness<SymbolicCost> {
-  symbolic_cost_witness(c: symbolic_cost_of_node(n: n), n: n)
+  symbolic_cost_witness(c: symbolic_cost_of_node(n: n), _n: n)
 }
 
 fn asymptotic_class_join(a: AsymptoticClass, b: AsymptoticClass) -> AsymptoticClass {
diff --git a/src/v2/lens/effect.dag b/src/v2/lens/effect.dag
index ffaed9173ce..bfa1babb40c 100644
--- a/src/v2/lens/effect.dag
+++ b/src/v2/lens/effect.dag
@@ -35,7 +35,7 @@ type EffectFact {
 }
 
 fn effect_classify(
-  tree: InferredTree,
+  _tree: InferredTree,
   view: DependencyView
 ) -> ClassifiedDependencyView<EffectClassification> {
   ClassifiedDependencyView {
@@ -47,7 +47,7 @@ fn effect_classify(
 fn effect_fact(tree: InferredTree, dependencies: List<DependencyView>) -> EffectFact {
   EffectFact {
     dependencies: fold(dependencies, init: [], f: fn(acc, view) {
-      list_snoc_item(xs: acc, item: effect_classify(tree: tree, view: view))
+      list_snoc_item(xs: acc, item: effect_classify(_tree: tree, view: view))
     })
   }
 }
@@ -98,7 +98,7 @@ fn effect_witness(tree: InferredTree, dependencies: List<DependencyView>) -> Wit
   }
 }
 
-fn effect_classification_eq(a: EffectClassification, b: EffectClassification) -> Bool {
+fn effect_classification_eq(_a: EffectClassification, _b: EffectClassification) -> Bool {
   true
 }
 
diff --git a/src/v2/lens/effect/effect_depends_on.dag b/src/v2/lens/effect/effect_depends_on.dag
index fb424f3a36d..4609cf86471 100644
--- a/src/v2/lens/effect/effect_depends_on.dag
+++ b/src/v2/lens/effect/effect_depends_on.dag
@@ -146,14 +146,14 @@ fn effect_runtime_type_node() -> Node {
   claim_atom_node(s: ^effect_type_symbol)
 }
 
-fn effect_runtime_unit(node: Node) -> RuntimeValue {
+fn effect_runtime_unit(_node: Node) -> RuntimeValue {
   RuntimeUnit {
     value: RuntimeUnitValue { unit_type: effect_runtime_type_node() }
   }
 }
 
 fn effect_allocate_literal(node: Node, _env: EvaluationEnvironment) -> Outcome<RuntimeValue> {
-  Accepted { value: effect_runtime_unit(node: node), diagnostics: None }
+  Accepted { value: effect_runtime_unit(_node: node), diagnostics: None }
 }
 
 fn effect_reject_runtime(node: Node) -> Outcome<RuntimeValue> {
@@ -185,7 +185,7 @@ fn effect_choose_branch(
 }
 
 fn effect_step_loop(node: Node, _env: EvaluationEnvironment) -> Outcome<ControlTransfer> {
-  Accepted { value: Continue { value: effect_runtime_unit(node: node) }, diagnostics: None }
+  Accepted { value: Continue { value: effect_runtime_unit(_node: node) }, diagnostics: None }
 }
 
 fn effect_bind_value(
diff --git a/src/v2/lens/extdeps_shape_transport_policy.dag b/src/v2/lens/extdeps_shape_transport_policy.dag
index 95d8bc80500..09b7d43c325 100644
--- a/src/v2/lens/extdeps_shape_transport_policy.dag
+++ b/src/v2/lens/extdeps_shape_transport_policy.dag
@@ -503,7 +503,7 @@ fn filter_fusion_facts_for_module(
 
 fn extdeps_shape_transport_policy_violation_count_for_operation(
   argv_facts: List<ExtdepsTransportArgvFact>,
-  fusion_facts: List<ExtdepsTransportFusionFact>,
+  _fusion_facts: List<ExtdepsTransportFusionFact>,
   module: QualifiedName,
   service: String,
   operation: String
diff --git a/src/v2/lens/idempotency.dag b/src/v2/lens/idempotency.dag
index d6ddfce92dd..ac34a2f8f4d 100644
--- a/src/v2/lens/idempotency.dag
+++ b/src/v2/lens/idempotency.dag
@@ -62,7 +62,7 @@ fn idempotency_classify(view: DependencyView) -> ClassifiedDependencyView<Idempo
   classify_dependency_view(classifier: idempotency_dependency_kind_classifier(), view: view)
 }
 
-fn idempotency_fact(tree: InferredTree, dependencies: List<DependencyView>) -> IdempotencyFact {
+fn idempotency_fact(_tree: InferredTree, dependencies: List<DependencyView>) -> IdempotencyFact {
   IdempotencyFact {
     dependencies: fold(dependencies, init: [], f: fn(acc, view) {
       list_snoc_item(xs: acc, item: idempotency_classify(view: view))
@@ -109,7 +109,7 @@ fn idempotency_witness_diagnostic() -> Diagnostic {
 }
 
 fn idempotency_witness(tree: InferredTree, dependencies: List<DependencyView>) -> Witness<IdempotencyFact> {
-  let fact = idempotency_fact(tree: tree, dependencies: dependencies)
+  let fact = idempotency_fact(_tree: tree, dependencies: dependencies)
   let law_diagnostic = idempotency_first_law_violation_diagnostic(fact: fact)
   match optional_present_witness(opt: law_diagnostic) {
     Holds { value: d } =>
diff --git a/src/v2/lens/ownership.dag b/src/v2/lens/ownership.dag
index c12646f0edf..db717f03f67 100644
--- a/src/v2/lens/ownership.dag
+++ b/src/v2/lens/ownership.dag
@@ -58,7 +58,7 @@ fn ownership_classify(view: DependencyView) -> ClassifiedDependencyView<Ownershi
   classify_dependency_view(classifier: ownership_dependency_kind_classifier(), view: view)
 }
 
-fn ownership_fact(tree: InferredTree, dependencies: List<DependencyView>) -> OwnershipFact {
+fn ownership_fact(_tree: InferredTree, dependencies: List<DependencyView>) -> OwnershipFact {
   OwnershipFact {
     dependencies: fold(dependencies, init: [], f: fn(acc, view) {
       list_snoc_item(xs: acc, item: ownership_classify(view: view))
@@ -91,7 +91,7 @@ fn ownership_witness_diagnostic() -> Diagnostic {
 }
 
 fn ownership_witness(tree: InferredTree, dependencies: List<DependencyView>) -> Witness<OwnershipFact> {
-  let fact = ownership_fact(tree: tree, dependencies: dependencies)
+  let fact = ownership_fact(_tree: tree, dependencies: dependencies)
   if ownership_fact_unresolved(fact: fact) {
     Violates { diagnostic: ownership_witness_diagnostic() }
   } else {
diff --git a/src/v2/lens/unused_parameters.dag b/src/v2/lens/unused_parameters.dag
index 7ec0d4d2deb..eb1a4fc592e 100644
--- a/src/v2/lens/unused_parameters.dag
+++ b/src/v2/lens/unused_parameters.dag
@@ -59,7 +59,7 @@ fn use_classify(view: DependencyView) -> ClassifiedDependencyView<UseRelation> {
   classify_dependency_view(classifier: use_relation_dependency_kind_classifier(), view: view)
 }
 
-fn use_classification_fact(tree: InferredTree, dependencies: List<DependencyView>) -> UseClassificationFact {
+fn use_classification_fact(_tree: InferredTree, dependencies: List<DependencyView>) -> UseClassificationFact {
   UseClassificationFact {
     uses: fold(dependencies, init: [], f: fn(acc, view) {
       list_snoc_item(xs: acc, item: use_classify(view: view))
@@ -69,7 +69,7 @@ fn use_classification_fact(tree: InferredTree, dependencies: List<DependencyView
 
 fn use_classification_witness(tree: InferredTree, dependencies: List<DependencyView>) -> Witness<UseClassificationFact> {
   Holds {
-    value: use_classification_fact(tree: tree, dependencies: dependencies)
+    value: use_classification_fact(_tree: tree, dependencies: dependencies)
   }
 }
 
@@ -126,7 +126,7 @@ fn rollup_unused(use_fact: UseClassificationFact) -> UnusedParametersFact {
 }
 
 fn unused_parameters_fact(tree: InferredTree, dependencies: List<DependencyView>) -> UnusedParametersFact {
-  rollup_unused(use_fact: use_classification_fact(tree: tree, dependencies: dependencies))
+  rollup_unused(use_fact: use_classification_fact(_tree: tree, dependencies: dependencies))
 }
 
 fn unused_parameters_witness(tree: InferredTree, dependencies: List<DependencyView>) -> Witness<UnusedParametersFact> {
diff --git a/src/v2/std/compilers/target_model.dag b/src/v2/std/compilers/target_model.dag
index 78f0b8c0516..01b4dc32a6b 100644
--- a/src/v2/std/compilers/target_model.dag
+++ b/src/v2/std/compilers/target_model.dag
@@ -1440,7 +1440,7 @@ fn target_operator_realizations_catalog_node(rows: List<Node>) -> Node {
   )
 }
 
-fn target_value_projection_field_missing_diagnostic(bundle: Node, field: Symbol) -> Diagnostic {
+fn target_value_projection_field_missing_diagnostic(bundle: Node, _field: Symbol) -> Diagnostic {
   Diagnostic {
     reason: ^target_value_projection_field_missing,
     at: node_locus(node: bundle),
@@ -11146,10 +11146,10 @@ fn target_project_bind_let(
 }
 
 fn target_project_loop(
-  arrow: Node,
+  _arrow: Node,
   body: Node,
-  target: TargetModel,
-  handle_transform: fn(Node, Node, TargetModel) -> Outcome<TargetValueExpression>
+  _target: TargetModel,
+  _handle_transform: fn(Node, Node, TargetModel) -> Outcome<TargetValueExpression>
 ) -> Outcome<TargetValueExpression> {
   if !target_value_expr_loop_gate(node: body) {
     outcome_rejected(
@@ -11214,10 +11214,10 @@ fn target_value_expr_project_body_subexpression(
       )
     ComputationNode { behavior: Loop } =>
       target_project_loop(
-        arrow: arrow,
+        _arrow: arrow,
         body: node,
-        target: target,
-        handle_transform: handle_transform
+        _target: target,
+        _handle_transform: handle_transform
       )
     ComputationNode { behavior: Match } =>
       target_project_match(
@@ -11359,10 +11359,10 @@ fn target_project_arrow_body_to_value_expression(
           )
         ComputationNode { behavior: Loop } =>
           target_project_loop(
-            arrow: arrow,
+            _arrow: arrow,
             body: body,
-            target: target,
-            handle_transform: handle_transform
+            _target: target,
+            _handle_transform: handle_transform
           )
         ComputationNode { behavior: Match } =>
           target_project_match(
diff --git a/src/v2/std/find_witness.dag b/src/v2/std/find_witness.dag
index af5679d1c62..90577d68dd0 100644
--- a/src/v2/std/find_witness.dag
+++ b/src/v2/std/find_witness.dag
@@ -98,7 +98,7 @@ fn find_witness_invalid_witness_diagnostic(source_facts: Node) -> Diagnostic {
 
 fn enumeration_candidate_list(
   candidates: CandidateSet,
-  predicate: PreservationPredicate
+  _predicate: PreservationPredicate
 ) -> List<Node> {
   candidates.candidates
 }
@@ -141,7 +141,7 @@ fn passing_candidate_count(
   candidates: CandidateSet,
   predicate: PreservationPredicate
 ) -> Int {
-  fold(enumeration_candidate_list(candidates: candidates, predicate: predicate), init: 0, f: fn(acc, candidate) {
+  fold(enumeration_candidate_list(candidates: candidates, _predicate: predicate), init: 0, f: fn(acc, candidate) {
     if preservation_predicate_holds(
       source_facts: source_facts,
       candidate: candidate,
@@ -158,7 +158,7 @@ fn only_passing_candidate(
   candidates: CandidateSet,
   predicate: PreservationPredicate
 ) -> Outcome<Node> {
-  match fold(enumeration_candidate_list(candidates: candidates, predicate: predicate), init: NoPassingCandidate, f: fn(acc, candidate) {
+  match fold(enumeration_candidate_list(candidates: candidates, _predicate: predicate), init: NoPassingCandidate, f: fn(acc, candidate) {
     if preservation_predicate_holds(
       source_facts: source_facts,
       candidate: candidate,
@@ -187,7 +187,7 @@ fn selected_candidate_count(
   predicate: PreservationPredicate,
   selection: Node
 ) -> Int {
-  fold(enumeration_candidate_list(candidates: candidates, predicate: predicate), init: 0, f: fn(acc, candidate) {
+  fold(enumeration_candidate_list(candidates: candidates, _predicate: predicate), init: 0, f: fn(acc, candidate) {
     if (candidate == selection) && preservation_predicate_holds(
       source_facts: source_facts,
       candidate: candidate,
diff --git a/src/v2/std/grammar.dag b/src/v2/std/grammar.dag
index 19ed8523b21..f21a7cbff49 100644
--- a/src/v2/std/grammar.dag
+++ b/src/v2/std/grammar.dag
@@ -1626,7 +1626,7 @@ fn grammar_symbol_fold_init(n: Node, sym: Symbol) -> GrammarSymbolFoldState {
 
 fn grammar_symbol_fold_step(
   acc: GrammarSymbolFoldState,
-  edge: Edge,
+  _edge: Edge,
   child_has_symbol: GrammarSymbolFoldState
 ) -> GrammarSymbolFoldState {
   GrammarSymbolFoldState { found: acc.found || child_has_symbol.found }
diff --git a/src/v2/std/language_model.dag b/src/v2/std/language_model.dag
index f39cb6aa410..6b86d11253d 100644
--- a/src/v2/std/language_model.dag
+++ b/src/v2/std/language_model.dag
@@ -49,7 +49,7 @@ fn void_language_model(identity: Symbol) -> LanguageModel {
   }
 }
 
-fn language_model_canonical_symbols_to_node(symbols: Set<Symbol>) -> Node {
+fn language_model_canonical_symbols_to_node(_symbols: Set<Symbol>) -> Node {
   grammar_empty_node()
 }
 
@@ -71,7 +71,7 @@ fn language_model_to_node(lm: LanguageModel) -> Node {
       ),
       language_model_named_edge(
         name: ^language_model_field_canonical_symbols,
-        target: language_model_canonical_symbols_to_node(symbols: lm.canonical_symbols)
+        target: language_model_canonical_symbols_to_node(_symbols: lm.canonical_symbols)
       ),
       language_model_named_edge(
         name: ^language_model_field_core,
diff --git a/src/v2/std/leaf_model_verification.dag b/src/v2/std/leaf_model_verification.dag
index 76dd4a2af0f..42a9c514d42 100644
--- a/src/v2/std/leaf_model_verification.dag
+++ b/src/v2/std/leaf_model_verification.dag
@@ -266,7 +266,7 @@ fn leaf_model_python_static_falsification_invocation(
 }
 
 fn leaf_model_python_static_happy_verdict(
-  c: LeafModelPythonStaticHappyCase
+  _c: LeafModelPythonStaticHappyCase
 ) -> TargetStaticAnalysisVerdict {
   StaticAnalysisAccepted
 }
diff --git a/src/v2/std/patch.dag b/src/v2/std/patch.dag
index 11d90cc173c..e5e48fc9fa5 100644
--- a/src/v2/std/patch.dag
+++ b/src/v2/std/patch.dag
@@ -4,7 +4,7 @@ import v2.std.algebra { Magma, Semigroup, Monoid }
 
 type ConfigPatchRecord<Config>
 
-fn config_patch_layer<Config>(base: Config, patch: ConfigPatchRecord<Config>) -> Config {
+fn config_patch_layer<Config>(base: Config, _patch: ConfigPatchRecord<Config>) -> Config {
   base
 }
 
diff --git a/src/v2/test/claim/extdeps_shape_transport_policy/lens_unit/clean_gist_create_test.dag b/src/v2/test/claim/extdeps_shape_transport_policy/lens_unit/clean_gist_create_test.dag
index 5f91fb1b74a..4d32638836c 100644
--- a/src/v2/test/claim/extdeps_shape_transport_policy/lens_unit/clean_gist_create_test.dag
+++ b/src/v2/test/claim/extdeps_shape_transport_policy/lens_unit/clean_gist_create_test.dag
@@ -19,7 +19,7 @@ data clean_gist_create_fusion_facts: List<ExtdepsTransportFusionFact> = []
 test fn clean_gist_create_is_green_holds() -> Bool {
   extdeps_shape_transport_policy_violation_count_for_operation(
     argv_facts: clean_gist_create_argv_facts,
-    fusion_facts: clean_gist_create_fusion_facts,
+    _fusion_facts: clean_gist_create_fusion_facts,
     module: extdeps_github_gists_module,
     service: clean_gist_create_service,
     operation: clean_gist_create_operation
diff --git a/src/v2/test/claim/extdeps_shape_transport_policy/lens_unit/clean_git_diff_test.dag b/src/v2/test/claim/extdeps_shape_transport_policy/lens_unit/clean_git_diff_test.dag
index 59160b75560..0002ffad410 100644
--- a/src/v2/test/claim/extdeps_shape_transport_policy/lens_unit/clean_git_diff_test.dag
+++ b/src/v2/test/claim/extdeps_shape_transport_policy/lens_unit/clean_git_diff_test.dag
@@ -69,7 +69,7 @@ data clean_git_diff_fusion_facts: List<ExtdepsTransportFusionFact> = []
 test fn clean_git_diff_is_green_holds() -> Bool {
   extdeps_shape_transport_policy_violation_count_for_operation(
     argv_facts: clean_git_diff_argv_facts,
-    fusion_facts: clean_git_diff_fusion_facts,
+    _fusion_facts: clean_git_diff_fusion_facts,
     module: extdeps_git_module,
     service: clean_git_diff_service,
     operation: clean_git_diff_operation
diff --git a/src/v2/test/claim/generated/testgen_category_wishlist.dag b/src/v2/test/claim/generated/testgen_category_wishlist.dag
index 9dde69990a9..615ab98c86e 100644
--- a/src/v2/test/claim/generated/testgen_category_wishlist.dag
+++ b/src/v2/test/claim/generated/testgen_category_wishlist.dag
@@ -61,7 +61,7 @@ fn refinement_preservation_stub_locus() -> Locus {
   port_locus(port: ^refinement_preservation_stub_locus_port)
 }
 
-fn refinement_preservation_stub_admits(xs: List<Node>) -> Bool {
+fn refinement_preservation_stub_admits(_xs: List<Node>) -> Bool {
   true
 }
 
diff --git a/src/v2/test/claim/manual/comprep_b3_ts_descriptor_node_run.dag b/src/v2/test/claim/manual/comprep_b3_ts_descriptor_node_run.dag
index ddebe95f1f0..991121e726c 100644
--- a/src/v2/test/claim/manual/comprep_b3_ts_descriptor_node_run.dag
+++ b/src/v2/test/claim/manual/comprep_b3_ts_descriptor_node_run.dag
@@ -48,7 +48,7 @@ fn comprep_b3_host_run_i32(target: TargetModel, source: Medium<String>) -> Outco
         Accepted { value: HostLogicalRun { stdout: stdout }, diagnostics: None } =>
           match runtime_value_parse(target: target, stdout: stdout) {
             Accepted { value: rv, diagnostics: None } =>
-              runtime_value_signed_i32_le_as_int(value: rv)
+              runtime_value_signed_i32_le_as_int(_value: rv)
             Rejected { diagnostics: ds } => Rejected { diagnostics: ds }
           }
         _ =>
diff --git a/src/v2/test/claim/manual/comprep_eval_by_execution_test.dag b/src/v2/test/claim/manual/comprep_eval_by_execution_test.dag
index 6e3a3050129..9355cee6e12 100644
--- a/src/v2/test/claim/manual/comprep_eval_by_execution_test.dag
+++ b/src/v2/test/claim/manual/comprep_eval_by_execution_test.dag
@@ -720,7 +720,7 @@ fn comprep_eval_lazy_arm_branch_suppression_holds() -> Bool {
   }
 }
 
-fn comprep_eval_step_loop_continue(node: Node, _env: EvaluationEnvironment) -> Outcome<ControlTransfer> {
+fn comprep_eval_step_loop_continue(_node: Node, _env: EvaluationEnvironment) -> Outcome<ControlTransfer> {
   outcome_accepted(value: Continue { value: comprep_eval_five_value() })
 }
 
diff --git a/src/v2/test/claim/manual/comprep_fold_call_closure_emit_test.dag b/src/v2/test/claim/manual/comprep_fold_call_closure_emit_test.dag
index bc00271c55e..c0d19fe42a5 100644
--- a/src/v2/test/claim/manual/comprep_fold_call_closure_emit_test.dag
+++ b/src/v2/test/claim/manual/comprep_fold_call_closure_emit_test.dag
@@ -60,7 +60,7 @@ fn fold_call_positional(target: Node) -> Edge {
   Edge { label: Positional, target: target }
 }
 
-fn fold_call_domain_conj(params: List<Symbol>) -> Node {
+fn fold_call_domain_conj(_params: List<Symbol>) -> Node {
   node_synthetic(
     kind: TypeNode { connective: Conj },
     children: [
@@ -122,7 +122,7 @@ fn fold_call_arrow(closure: Node) -> Node {
     kind: TypeNode { connective: Arrow },
     children: [
       fold_call_positional(
-        target: fold_call_domain_conj(params: [^fold_call_param_xs, ^fold_call_param_z])
+        target: fold_call_domain_conj(_params: [^fold_call_param_xs, ^fold_call_param_z])
       ),
       fold_call_positional(target: fold_call_atom(id: ^fold_call_type_int)),
       fold_call_named_edge(
diff --git a/src/v2/test/claim/manual/effect_io_eval_by_execution_test.dag b/src/v2/test/claim/manual/effect_io_eval_by_execution_test.dag
index 4410bfd5fa8..642d9276a75 100644
--- a/src/v2/test/claim/manual/effect_io_eval_by_execution_test.dag
+++ b/src/v2/test/claim/manual/effect_io_eval_by_execution_test.dag
@@ -123,7 +123,7 @@ data effect_io_eval_roundtrip_node: Node = effect_io_roundtrip_transform(
   payload: effect_io_eval_payload_literal
 )
 
-fn effect_io_eval_allocate_literal(node: Node, _env: EvaluationEnvironment) -> Outcome<RuntimeValue> {
+fn effect_io_eval_allocate_literal(_node: Node, _env: EvaluationEnvironment) -> Outcome<RuntimeValue> {
   Accepted { value: effect_io_eval_literal_value(), diagnostics: None }
 }
 
diff --git a/src/v2/test/claim/manual/find_witness_project_to_core_controls.dag b/src/v2/test/claim/manual/find_witness_project_to_core_controls.dag
index 37a63d9c11b..e1f8bb95d60 100644
--- a/src/v2/test/claim/manual/find_witness_project_to_core_controls.dag
+++ b/src/v2/test/claim/manual/find_witness_project_to_core_controls.dag
@@ -78,7 +78,7 @@ fn control_rule_accepts(source: Node, target: Node, rule: Symbol) -> Bool {
   }
 }
 
-fn control_stub_project_to_core_returns_false(source: Node, target: Node) -> Bool {
+fn control_stub_project_to_core_returns_false(_source: Node, _target: Node) -> Bool {
   false
 }
 
@@ -91,7 +91,7 @@ fn control_old_rules_faithful_for_siblings() -> Bool {
 
 fn project_to_core_stub_gap_stays_true() -> Bool {
   let old_rules = control_old_rules_faithful_for_siblings()
-  let stub = control_stub_project_to_core_returns_false(source: task_id_api_inhabitant_node(), target: task_id_db_inhabitant_node())
+  let stub = control_stub_project_to_core_returns_false(_source: task_id_api_inhabitant_node(), _target: task_id_db_inhabitant_node())
   !old_rules && !stub
 }
 
diff --git a/src/v2/test/claim/manual/loop_demand_driven_eval_test.dag b/src/v2/test/claim/manual/loop_demand_driven_eval_test.dag
index fbdae3bfe85..fd1e3aefa47 100644
--- a/src/v2/test/claim/manual/loop_demand_driven_eval_test.dag
+++ b/src/v2/test/claim/manual/loop_demand_driven_eval_test.dag
@@ -151,7 +151,7 @@ fn loop_eval_choose_branch(
   outcome_rejected(d: loop_eval_diagnostic(n: _node))
 }
 
-fn loop_eval_step_loop_continue(node: Node, _env: EvaluationEnvironment) -> Outcome<ControlTransfer> {
+fn loop_eval_step_loop_continue(_node: Node, _env: EvaluationEnvironment) -> Outcome<ControlTransfer> {
   outcome_accepted(value: Continue { value: loop_eval_one_value() })
 }
 
diff --git a/src/v2/test/claim/manual/nominal_distinctness_cross_call.dag b/src/v2/test/claim/manual/nominal_distinctness_cross_call.dag
index 48fb244353e..c4902ba1803 100644
--- a/src/v2/test/claim/manual/nominal_distinctness_cross_call.dag
+++ b/src/v2/test/claim/manual/nominal_distinctness_cross_call.dag
@@ -196,7 +196,7 @@ fn nominal_distinct_runtime_type_node() -> Node {
 }
 }
 
-fn nominal_distinct_runtime_unit(node: Node) -> RuntimeValue {
+fn nominal_distinct_runtime_unit(_node: Node) -> RuntimeValue {
   RuntimeUnit {
     value: RuntimeUnitValue { unit_type: nominal_distinct_runtime_type_node() }
   }
@@ -207,18 +207,18 @@ fn nominal_distinct_compile_for_input(node: Node) -> Outcome<RuntimeValue> {
     match nominal_distinct_records_compile_receipt {
       Rejected { diagnostics: r } => Rejected { diagnostics: r }
       Accepted { value: _, diagnostics: _ } =>
-        Accepted { value: nominal_distinct_runtime_unit(node: node), diagnostics: None }
+        Accepted { value: nominal_distinct_runtime_unit(_node: node), diagnostics: None }
     }
   } else if node == nominal_distinct_brands_input {
     match nominal_distinct_brands_compile_receipt {
       Rejected { diagnostics: r } => Rejected { diagnostics: r }
       Accepted { value: _, diagnostics: _ } =>
-        Accepted { value: nominal_distinct_runtime_unit(node: node), diagnostics: None }
+        Accepted { value: nominal_distinct_runtime_unit(_node: node), diagnostics: None }
     }
   } else if node == nominal_distinct_control_input {
     match nominal_distinct_control_compile_receipt {
       Accepted { value: _, diagnostics: _ } =>
-        Accepted { value: nominal_distinct_runtime_unit(node: node), diagnostics: None }
+        Accepted { value: nominal_distinct_runtime_unit(_node: node), diagnostics: None }
       Rejected { diagnostics: r } => Rejected { diagnostics: r }
     }
   } else {
@@ -255,7 +255,7 @@ fn nominal_distinct_step_loop(
   node: Node,
   _env: EvaluationEnvironment
 ) -> Outcome<ControlTransfer> {
-  Accepted { value: Continue { value: nominal_distinct_runtime_unit(node: node) }, diagnostics: None }
+  Accepted { value: Continue { value: nominal_distinct_runtime_unit(_node: node) }, diagnostics: None }
 }
 
 fn nominal_distinct_bind_value(
diff --git a/src/v2/test/claim/manual/v4_evaluator_runtime_anchor.dag b/src/v2/test/claim/manual/v4_evaluator_runtime_anchor.dag
index 2f3d27fa0a0..2a837ecf5c9 100644
--- a/src/v2/test/claim/manual/v4_evaluator_runtime_anchor.dag
+++ b/src/v2/test/claim/manual/v4_evaluator_runtime_anchor.dag
@@ -77,7 +77,7 @@ data witness_v4_evaluator_semantics_fail_closed: Bool = match v2_eval_wave1_call
 
 data witness_v4_evaluator_transfer_fail_closed: Bool = match v2_eval_wave1_transfer(
   control: Suspend { continuation: v2_eval_wave1_empty_frame() },
-  frame: v2_eval_wave1_empty_frame()
+  _frame: v2_eval_wave1_empty_frame()
 ) {
   Rejected { diagnostics: _ } => true
   _ => false
diff --git a/src/v2/test/claim/self_host/fixed_point_test.dag b/src/v2/test/claim/self_host/fixed_point_test.dag
index f6055e20948..d1cbbc6534c 100644
--- a/src/v2/test/claim/self_host/fixed_point_test.dag
+++ b/src/v2/test/claim/self_host/fixed_point_test.dag
@@ -96,9 +96,9 @@ test fn stage_emission_equality_violates_on_perturbed() -> Bool {
 
 test fn self_host_fixed_point_fails_closed_until_substrate() -> Bool {
   match self_host_fixed_point_validate(
-    stage1_candidate: stage_emission_leaf(),
-    source_models: SourceModels { model_corpus: [] },
-    reference_stage1: stage_emission_leaf()
+    _stage1_candidate: stage_emission_leaf(),
+    _source_models: SourceModels { model_corpus: [] },
+    _reference_stage1: stage_emission_leaf()
   ) {
     Rejected { diagnostics: d } => d.head.reason == ^self_host_runner_not_realized
     Accepted { value: _, diagnostics: _ } => false
diff --git a/src/v2/test/claim/staging_test.dag b/src/v2/test/claim/staging_test.dag
index 441fdc36f4a..26ef13b3a7e 100644
--- a/src/v2/test/claim/staging_test.dag
+++ b/src/v2/test/claim/staging_test.dag
@@ -40,8 +40,8 @@ test fn then_outcome_builder_capture() -> Bool {
   acc_int(o: stage(1), dflt: 0) == 12
 }
 
-fn lookup_always_42(n: Int) -> CacheProbe<Int> { Hit { value: 42 } }
-fn lookup_never(n: Int) -> CacheProbe<Int> { Miss }
+fn lookup_always_42(_n: Int) -> CacheProbe<Int> { Hit { value: 42 } }
+fn lookup_never(_n: Int) -> CacheProbe<Int> { Miss }
 
 test fn cached_stage_hit_skips_stage() -> Bool {
   let staged = cached_stage(lookup: lookup_always_42, stage: s_double)
diff --git a/src/v2/workflow/bootstrap.dag b/src/v2/workflow/bootstrap.dag
index b5ff9e9672e..3f3c0feac5a 100644
--- a/src/v2/workflow/bootstrap.dag
+++ b/src/v2/workflow/bootstrap.dag
@@ -218,7 +218,7 @@ fn bootstrap_construct_fold_init(n: Node) -> BootstrapConstructFoldState {
 
 fn bootstrap_construct_fold_step(
   acc: BootstrapConstructFoldState,
-  edge: Edge,
+  _edge: Edge,
   child: BootstrapConstructFoldState
 ) -> BootstrapConstructFoldState {
   BootstrapConstructFoldState {
@@ -251,14 +251,14 @@ fn bootstrap_target_model_bundle_construct_facet(label: Symbol) -> List<Bootstra
   }
 }
 
-fn bootstrap_target_model_bundle_construct_fold_init(n: Node) -> BootstrapConstructFoldState {
+fn bootstrap_target_model_bundle_construct_fold_init(_n: Node) -> BootstrapConstructFoldState {
   BootstrapConstructFoldState { constructs: [] }
 }
 
 fn bootstrap_target_model_bundle_construct_fold_step(
   acc: BootstrapConstructFoldState,
   edge: Edge,
-  child: BootstrapConstructFoldState
+  _child: BootstrapConstructFoldState
 ) -> BootstrapConstructFoldState {
   let facet_constructs = match edge.label {
     Named { name: label } => bootstrap_target_model_bundle_construct_facet(label: label)
diff --git a/src/v2/workflow/runtime_run.dag b/src/v2/workflow/runtime_run.dag
index 0aa67fce78d..01cf6f5d704 100644
--- a/src/v2/workflow/runtime_run.dag
+++ b/src/v2/workflow/runtime_run.dag
@@ -122,7 +122,7 @@ fn runtime_run_step_state(
 
 fn runtime_run_result_from_state(
   nodes: List<Node>,
-  dependencies: List<DependencyView>,
+  _dependencies: List<DependencyView>,
   state: RuntimeRunState
 ) -> RuntimeRunResult {
   let remaining = scheduler_remaining_nodes(nodes: nodes, scheduled: state.scheduled)
@@ -163,5 +163,5 @@ fn runtime_run(
       )
     }
   )
-  runtime_run_result_from_state(nodes: nodes, dependencies: dependencies, state: state)
+  runtime_run_result_from_state(nodes: nodes, _dependencies: dependencies, state: state)
 }