XL-2: two more silent drops rostered (match-arm statement body; data-initializer match scrutinee), residual attributed by sampling

[gunbai-bot]

XL-2 follow-up to #12309: two more silent drops rostered, and the residual recorded

These rows came out of the census rerun on #12313's lexer (exact loci): v2.compiler.reference_conservation_census reference_conservation_census_for_paths over reference_conservation_stratified_sample_paths, 13 batches of 25. The rerun has the same 3,472 atoms absent in accepted modules as before, and all 3,472 now match their spelling at the reported extent. No lowering change: both sites are in bright-boar-848's fold lane.

New rows, each with a pinned drop claim

The claims are in v2.test.claim.namespace_xl0.reference_conservation_accepted_drops, with subjects enrolled warm in v2.workflow.floor_pure_producer_share.

row	rows in census	site	claim
match_arm_statement_body_lowers_to_its_first_expression_at_v2_body_lowering	29, exact at chain grain (match_arm/stmt)	body_lower_match_arm_body_capture_optional: the first dag_surface_expr in the arm is the let's value; the binder and the continuation are dropped	a_statement_after_a_let_in_a_match_arm_is_reported_dropped_holds
data_initializer_match_reads_its_scrutinee_from_an_arm_at_v2_body_lowering	13, exact at chain grain (data_decl/expr/match_expr/binary_expr)	body_lower_match_scrutinee_optional searches the whole match. On the data route the scrutinee is already folded, so the first arm's body (true) becomes the scrutinee (traced with a tree dump)	a_data_initializer_match_scrutinee_is_reported_dropped_holds

Local gunbc run --claim-run on this head: all 8 claims in the module pass (6 from #12309 and 2 new). The rows and the roster load (--function __no_such_function__ gives NoSuchFunction).

Attribution of all 3,472 (rules from fixture-confirmed shapes)

shape	rows	row
argument label	1,140	an_application_binds_by_position_where_the_model_binds_by_name
list literal element	1,045	list_literal_has_no_lowered_form
match arm ≥3	455	match_arms_after_the_second_are_dropped_at_v2_body_lowering
as cast target/operand	160	as_cast_has_no_lowered_form
enclosing expression replaced by one control form	119	expression_enclosing_a_block_headed_operand_lowers_to_that_block_at_v2_body_lowering
first-atom fallback (map 43, qualified ctor 55, untagged record 12)	110	unrecognized_primary_expression_lowers_to_its_first_atom_at_v2_body_lowering
let binder	99	lowering_rebuilds_an_authored_atom_without_its_occurrence
match-arm statement body	29	new, this PR
data-initializer match scrutinee	13	new, this PR
residual	302	attributed by sampling, heuristic miss (below)

Residual 302: attributed by sampling

I traced the five largest unattributed declarations by extracting each one verbatim and dumping its normalized tree. That was the bounded effort agreed with quiet-seal-543; the full tail was not chased.

declaration	rows	trace result
v2.std.float float_body_compare_ieee_ordered_outcome	29	Enclosing-expression row. Accepted { value: match a {..} } in an else branch is replaced by an if found inside it. The source heuristic misses it.
gunbc.roadmap.roadmap_site_surface_witness stale_surface_read_does_not_ground_for_bundle	16	Existing row lowering_accessor_collapses_a_sequence_operand, by a new route. In call(..) && match g(..) {..} the match operand collapses to its scrutinee's first atom.
test.claim.manual.outcome_diagnostics_eq witness_diagnostics_merge_some	13	New class, the data-initializer scrutinee (this PR).
test.claim.runner.runner_connectivity_repair_plan_witness_test replace_action_projects_five_step_repair_sequence	12	Same as the roadmap witness: the operand-narrowing row.
extdeps.ollama.gpu_support ollama_nvidia_driver_version_from_wire_text	10	Enclosing-expression row. The else branch let ..; match .. is replaced by the if inside the match's arm.

Four of the five were under-detection of existing classes, and one was a new class, now rostered. The remaining 302 are recorded as heuristic misses, not as unexplained drops.

🤖 Generated with Claude Code

[gunbai-bot]

On review 71599's note about census counts in the receipts: kept as is, deliberately. Each count is a dated receipt, not a live figure. It sits next to the named producer (reference_conservation_census_for_paths over reference_conservation_stratified_sample_paths, on the #12313 lexer) and the chain grain it was selected at, so a reader re-derives it by running that entry rather than trusting the number. No gate or claim consumes the counts; the pinned drop claims are the evidence. #12309's rows use the same convention.

— sent from gentle-crane-869

[briansrls]

APPROVE-MERGE for exact head 86e5bd9, through the merge queue.

Reviewed the final four-file additive diff: two bounded refusal-mode rows, two pinned accepted-loss claims, and the census-attribution appendix. This is evidence and debt attribution, not a production lowering change or a claim that either defect is repaired.

The witnesses consume source_ingest_assembly_from_files_at -> reference_conservation_of_subject, rather than accepting PreparedOrError. Shape I pins the authored let binder t and continuation occurrence z as absent. Shape J pins the call head tick and call argument true as absent, with authored-occurrence counts guarding against a vacuous fixture. The function-body contrast is documented; paired data/function conservation is explicitly part of the repair verification, not something newly established by a paired executable control here.

The 29-atom and 13-atom populations are recorded as observations from the corrected-lexer census. The residual 302 of 3,472 is honestly labeled 'attributed by sampling, heuristic miss': the five largest sampled declarations map to existing shape H or the existing sequence-operand narrowing row by another route. This is not exhaustive occurrence classification, a new failure class, or completion of conservation. The pinned loss witnesses must be replaced by positive conservation plus discriminating red controls when their repairs land, not quietly deleted or retained as the desired behavior.

All five head-associated checks succeeded. The floor log identifies checkout e8d0c903dcfb0a7b6b2c1c39eea754b05f909f35 as the merge of this exact head into base 24ee1d006d3c95e865a0c9b28ffc0f4a4bde1b6f. Both new claims execute and pass; the accepted-drops suite reports 23/23, and the required floor reports 505 planned / 505 passed, zero failed, refused or skipped. This floor evidence is interpreted execution, not a claim of native v2 evaluation.

No new local test or full-census rerun was performed. Require the resulting merge_group candidate to pass against then-current main before landing. Approval is bound to the exact SHA above.

[gunbai-bot]

Re-baselined census after #12313 (and #12285): exact counts, located

Instrument: v2.compiler.reference_conservation_census reference_conservation_census_for_paths, run over reference_conservation_stratified_sample_paths in 13 batches of 25, on main 21f4d0c3907. Main at that commit contains both #12313 (line-comment loci) and #12285 (octet extents). 308 modules; 6 pinned paths are now unreadable.

Every locus is now exact. All 3,238 absent rows match their spelling at their byte extent. Before #12313, 1,755 of 3,472 matched. Every locus-based number quoted before this run is superseded.

Totals: authored 30,157, conserved 9,193, locus_erased 7,105, refused 488, dropped 13,371. Of the drops, 10,133 are refusal-not-at-or-above and 3,238 are absent in accepted modules. At #12309's measurement these were 3,472; main has moved since. #12208 landed, so list literals now lower, and the as-cast route changed.

shape	rows	row	how the rule selects
E argument label	1,759	an_application_binds_by_position_where_the_model_binds_by_name	production chain (exact)
A match arm ≥3	495	match_arms_after_the_second_are_dropped_at_v2_body_lowering	arm index in the enclosing match
H enclosing expression replaced by one control form	176	expression_enclosing_a_block_headed_operand_lowers_to_that_block_at_v2_body_lowering	source pattern
F let binder	141	lowering_rebuilds_an_authored_atom_without_its_occurrence	production chain (exact)
B list literal element	134	list_literal_has_no_lowered_form	enclosing [..]
C/D/D2 first-atom fallback (map 43, qualified ctor 55, untagged record 12)	110	unrecognized_primary_expression_lowers_to_its_first_atom_at_v2_body_lowering	source pattern
I match-arm statement body	29	this PR	production chain (exact)
J data-initializer match scrutinee	13	this PR	production chain (exact)
G as cast target/operand	10	as_cast_has_no_lowered_form	source pattern
residual	371	attributed by sampling, heuristic miss (five traces in the PR body)	—

Located: file (rows) and lines, per shape.

A match arm >=3: 495 rows in 28 files (row match_arms_after_the_second_are_dropped_at_v2_body_lowering)

src/v2/std/float.dag (60): lines 44,57,65,66,74,88,89,90,91,92,93,95,96,97
dag/extdeps/cloud/gcp/adc_document.dag (52): lines 85,86,87,88,89,90,91,92,93
src/v2/std/cross_tree/resolution.dag (48): lines 43,150,151,152,153,154,155,156,158,159,160,161,162,163,165,166,168,169
dag/gunbc/machine_intake/factory_segment_lease.dag (36): lines 61,62,63,64,83,85,86,87,88,98,99
dag/gunbc/host/host_effect_plan.dag (34): lines 69,70,71,72,73,74,75,76,77,78
dag/gunbc/live_deploy/deployed_tree_report.dag (31): lines 73,74,75,76,77,78,79,90,91
dag/extdeps/bazel/build_event_stream.dag (30): lines 53,54,55,56,57,58,59,60,61,62,70,71,72,73,74,75,76,77,78,79
dag/gunbc/cursor_sdk_provider_standing.dag (25): lines 53,54,55,57,58,59,60,62,63,65,66,67,71,72
dag/extdeps/llm/cli_lifecycle.dag (24): lines 33,69,70,71,72,73,74,75,76,77,78,102,103,104
dag/std/access.dag (22): lines 71,72,73,74,75
dag/gunbc/regen_receipt.dag (17): lines 112,124
dag/test/claim/branded_list_first_optional_witness_test.dag (16): lines 35,36,39,40,75,76,79,80
dag/gunbc/bootstrap.dag (13): lines 106,107,108,109,110,111,119
dag/test/claim/runner/runner_connectivity_repair_plan_witness_test.dag (10): lines 122,160
dag/gunbc/machine_intake/sol_collector_observation.dag (9): lines 71,72,73,74
dag/gunbc/fabric/fabric_executor_class.dag (8): lines 121,122
dag/std/execution_mode.dag (8): lines 29,38,43,45,46,47,48
dag/test/claim/effect_axes_witness_test.dag (8): lines 57,58,66,67,75,76,84,85
dag/gunbc/auth/access_request.dag (7): lines 81,82,83
dag/test/claim/srv3/srv3_unobservable_probe_refuses_witness_test.dag (7): lines 54,62,106
dag/extdeps/bmc/redfish.dag (6): lines 92
dag/extdeps/render/tier_glyphs.dag (5): lines 29
dag/test/claim/os_install_actuator_selection_witness_test.dag (5): lines 77
dag/gunbc/accelerator_demo/accelerator_demo_eval.dag (3): lines 57
dag/test/claim/opaque_census_declaration_scan_witness_test.dag (3): lines 30
dag/test/claim/runner_jit_admission_witness_test.dag (3): lines 31
src/v2/test/claim/qualified_name/path_algebra_test.dag (3): lines 17
dag/extdeps/time/rfc3339.dag (2): lines 89

B list literal element: 134 rows in 21 files (row list_literal_has_no_lowered_form)

dag/gunbc/plans/merge_admission_gate_shape_proposal.dag (35): lines 11,17,18,20,23,24,25,26,28,29,30,31,33,34,35,36,38,39,40,41,45,46,47,48,49,50,52,58,59,60,61,62
src/v2/extdeps/bmc/lifecycle_fidelity.dag (24): lines 37,38,41,42,43,56,57,60,61,64,65,68,69,81,82,85,86,89,90,93,94,106,107
src/v2/test/claim/floor_discovery_source_authority_test.dag (12): lines 48,116,117,118,134,135
src/v2/extdeps/languages/rust_sg2_mode2_fixtures.dag (10): lines 48,49,52,53,60,61,64,65,66
dag/extdeps/gpu/machine_shape.dag (9): lines 75,76,98,100,101,102,103
dag/gunbc/recurring_failure_mode/a_control_that_shares_its_derivation_with_its_subject.dag (6): lines 35,36,37
dag/test/claim/docker_container_stats_witness_test.dag (6): lines 43
dag/test/claim/markdown_inline_render_test.dag (6): lines 33,66,67
dag/gunbc/live_deploy/deployed_tree_report.dag (5): lines 66,70,71,107,111
src/v2/test/claim/graph_invariant/lens_unit/reach_kernel_test.dag (4): lines 47,48
dag/gunbc/accelerator_demo/accelerator_demo_eval.dag (3): lines 38
dag/test/claim/roadmap/roadmap_gate_test.dag (3): lines 11
dag/test/claim/html_markup_xss_witness_test.dag (2): lines 83
src/v2/test/claim/impossible_bug/nested_optional_flatten.dag (2): lines 44,56
dag/gunbc/guarantee_stall/external_model_scope_live_cover_stall.dag (1): lines 17
dag/gunbc/runner/runner_registration_labels.dag (1): lines 40
dag/test/claim/branded_list_first_optional_witness_test.dag (1): lines 12
dag/test/claim/computation_demand_duplication_witness_test.dag (1): lines 9
dag/test/claim/effect_axes_witness_test.dag (1): lines 31
src/v2/test/claim/build_artifact_verification_witness_test.dag (1): lines 24
src/v2/workflow/compiler_closure_ingest_transport.dag (1): lines 87

C map literal (first-atom): 43 rows in 1 files (row unrecognized_primary_expression_lowers_to_its_first_atom_at_v2_body_lowering)

dag/extdeps/languages/rust/syntax.dag (43): lines 53,54,58,59,60,61,62,63,64,65

D qualified constructor literal (first-atom): 55 rows in 5 files (row unrecognized_primary_expression_lowers_to_its_first_atom_at_v2_body_lowering)

src/v2/std/cross_tree/resolution.dag (21): lines 72,81,100,102,103,104,106,108,110,112,113,114,115,117
dag/test/claim/docker_container_stats_witness_test.dag (11): lines 14,15,16,17
src/v2/std/float.dag (10): lines 37,64
dag/test/claim/computation_demand_duplication_witness_test.dag (9): lines 7,8,9,36
dag/test/claim/ci/ci_oom_reclassify_witness_test.dag (4): lines 91

D2 untagged record literal (first-atom): 12 rows in 2 files (row unrecognized_primary_expression_lowers_to_its_first_atom_at_v2_body_lowering)

dag/extdeps/git/versioning.dag (8): lines 34,35,36,71
src/v2/test/lens_coverage/parallel_authority_defect_key_test.dag (4): lines 20

E argument label: 1759 rows in 132 files (row an_application_binds_by_position_where_the_model_binds_by_name)

dag/test/claim/roadmap/roadmap_gate_test.dag (102): lines 17,21,25,30,31,33,34,35,39,40,41,42,43,48,49,51,52,53,58,59,61,62,63,68,69,71,72,73,74,75
dag/test/claim/ci/ci_oom_reclassify_witness_test.dag (58): lines 6,30,34,38,47,48,49,50,51,56,57,58,59,60,65,66,67,72,73,74,75,79,80,81,85,86,90,92,94,96,97,98
dag/test/claim/spark/rank_memory_path_join_witness_test.dag (55): lines 28,56,69,73,77,82,91,101
dag/test/claim/witness_execution_class_test.dag (55): lines 45,46,57,58,69,70,94,95,106,107,118,119,120,121,122,123,124,128,129
src/v2/test/claim/floor_discovery_source_authority_test.dag (54): lines 37,38,39,47,48,66,68,69,77,79,85,87,94,96,97,104,105,114,115,123,124,125,132,133,139,152,153,159,161,162
dag/test/claim/cache_layer_planner_test.dag (50): lines 6,10,28,29,30,31,33,34,35,36,41,42,43,44,46,47,52,53,54,55,57,62,63,64,65,67,70,79,80,81,82,84,85,86,91,92,93,94
src/v2/test/algebra_laws/field_patch_monoid_test.dag (42): lines 21,25,29,33,36,43,47,51,55,59,63
dag/test/claim/prose_row_introduction_witness_test.dag (40): lines 45,49,52,57,66,69,70,77,78,82,83,90,91,95,96,101,104,105,112,113,117,125,129,130,131,141,142,148,151
src/v2/test/runtimes/effect_io_host_mode_test.dag (37): lines 45,49,53,57,58,60,66,67,72,73,74,76,84,85,86,88,96,97,98,100,108,109,110,112,114,115
dag/gunbc/roadmap/roadmap_site_surface_witness.dag (34): lines 37,68,69,70,71,73,74,83,84,86,88,89,90,91,94,104,107,108,109,110,125,126,142,143,144,145,146,147,148
dag/test/claim/long/v1_complexity_capability_census_resolution_test.dag (34): lines 35,37,41,42,43,51,52,53,62,63,64,74,75,76,81,85,86,87,90,99,103,104,105,109,118
dag/test/claim/type_ref_hit_ne_bind_measure_witness_test.dag (33): lines 30,33,34,35,53,57,61,65,69,73,74,75,79,80,81,82,86,87,88
src/v2/workflow/bash_emit.dag (30): lines 52,61,62,63,66,74,75,80,92,93,105,114,115,116,124,125,130,140,141,142,155
src/v2/test/claim/sql_create_table_fold_test.dag (29): lines 69,83,88,90,92,97,99,122,126,136,140,144,151,153,155,168,170,177,181,191,193,203,212,224,234,243
src/v2/workflow/compiler_closure_ingest_transport.dag (29): lines 53,54,55,56,57,62,63,75,76,77,79,84,85,99,100,109,113,115,122,126,127,134,149,150,152
dag/test/claim/char_at_unicode_witness_test.dag (28): lines 10,15,16,17,22,26,40,45,46,47,48,53
src/v2/test/claim/round_trip/source_authority_contract.dag (28): lines 19,31,32,45,46,50,51,54,59,70,71,75,87,88,104,105,109,110,120,121,129,131,132
src/v2/test/claim/construction_justification/outside_modeled_guarantee_witness_test.dag (27): lines 51,56,57,58,72,73,74,75,80,93,94,101,102,122,123,127,131,139,140,141,142,148,153,154
dag/test/claim/render_glyphs_ansi_witness_test.dag (26): lines 6,13,15,25,26,27,29,30,31,35,46,61,62,68,69
src/v2/test/claim/enforcement/cost_coverage_witness_test.dag (26): lines 21,25,29,34,39,40,55,56,69,77,81,86,87,90,91,93,97,100,108
dag/extdeps/crypto/nist_p256.dag (25): lines 57,58,59,62,65,69,73,82
dag/test/claim/cli_run_repo_grant_hand_rust_equivalence_witness_test.dag (24): lines 35,42,56,57,58,62,63,70,71,75,80,81,84,85,88,89,92,93
dag/test/claim/gate_receipt_witness_test.dag (23): lines 62,63,70,71,79,80,81,87,88,89,90,97,98,99,100,111
dag/test/claim/os_install_actuator_selection_witness_test.dag (23): lines 8,10,11,12,30,57,58,66,67,69,70,75,84,86,94,110,111,112,115
dag/test/claim/runner/runner_connectivity_repair_plan_witness_test.dag (23): lines 86,87,89,90,91,92,93,95,96,97,100,105,109,113,117,127,128,151,152,153,154,155,157
dag/test/claim/codex_package_delivery_wet_witness_test.dag (22): lines 36,41,56,66,67,82,101,121,122,127,130,150,165,166,167,179,180,181,194,195,199,200
dag/test/claim/effect_axes_witness_test.dag (22): lines 54,63,72,81,90,91,92,96,97,98,102,103,104,108,115,122,126,127
dag/gunbc/live_deploy/deployed_tree_report.dag (21): lines 109,111,112,113,125,129,133,134,135,138,139,140,141,150,152,154
src/v2/compiler/self_host/compiler_closure_emit_driver.dag (21): lines 57,58,68,69,78,79,104,107,112,118,138,140,143,144,145
src/v2/std/float.dag (21): lines 53,84,117,118,133,134,138,141,143,149,151,159
dag/test/claim/extdeps/apt_package_of_witness_test.dag (20): lines 31,42,53,60,71,84,92,102,109,110,111,112,119
src/v2/test/claim/build_artifact_verification_witness_test.dag (20): lines 22,31,35,47,49,50,58,65,72,73,74,75
src/v2/test/claim/graph_invariant/lens_unit/reach_kernel_test.dag (19): lines 31,32,33,34,53,57,62,63,67,69,70,73
dag/test/claim/srv3/srv3_unobservable_probe_refuses_witness_test.dag (18): lines 69,78,111,112,113,133,134,137,138
src/v2/test/claim/qualified_name/path_algebra_test.dag (18): lines 22,23,27,28,29,33,34,35,39,40,41,46,47,48,54,55,56
dag/test/claim/reconcile_in_process_cache_test.dag (17): lines 33,36,45,53,54,60,61,62,66,67,68,76,85,94
dag/extdeps/bmc/redfish.dag (16): lines 18,50,51,52,53,55,63,64,70,79,80,88,111,119,120,133
dag/gunbc/host/host_effect_plan.dag (16): lines 58,87,90,94,95,99,109,117,118,122
dag/extdeps/time/rfc3339.dag (15): lines 66,68,69,73,74,75,79,86
dag/test/claim/auth/approval_gate_witness_test.dag (15): lines 20,21,22,23,24
dag/test/claim/hermetic_fixture_realization_test.dag (15): lines 31,34,35,42,43,50,51,52,53,62,63,74,75
dag/extdeps/cloud/gcp/adc_document.dag (14): lines 82,113,116,120,121,122,129,131,142,144
dag/test/claim/computation_demand_duplication_witness_test.dag (14): lines 16,17,18,20,21,24,25,26,28,29,36,54
dag/test/claim/information_retrieval_witness_test.dag (14): lines 46,49,50,52,53,54,55,56,57,58,59,60,61
dag/test/probe/data_effect_permit_forged_probe.dag (14): lines 29,30,38,39,40,41,42,43
src/v2/test/lens_application/enforce_rejecting_gate_fires_test.dag (14): lines 22,26,27,28,29,30,37,42,48
src/v2/workflow/module_binding_supply_transport.dag (14): lines 63,67,68,69,73,74,84,96,97,99
dag/gunbc/accelerator_demo/accelerator_demo_eval.dag (13): lines 5,9,19,32,33,34,35,36,55
dag/test/claim/external_model_scope_live_cover_witness_test.dag (13): lines 28,42,47,49,52,63,68,70,75
dag/test/claim/grub_console_witness_test.dag (13): lines 18,19,20,22,31,34,39,41,46,47
dag/test/claim/scm/scm_compatibility_mercurial_witness_test.dag (13): lines 53,54,55,77,83,87,88,150,151,166,173,182,185
dag/test/claim/shell_stream_capture_witness_test.dag (13): lines 11,13,20,21,22,28,29,35,36
src/v2/test/claim/extdeps/spice_element_letter_test.dag (13): lines 64,65,73,79,82,90,109,110
dag/test/claim/runner_jit_admission_witness_test.dag (12): lines 16,18,27,29,36,38,47,50,52,55
src/v2/test/claim/emit/semantic_decl_binding_keys_parity_test.dag (12): lines 15,17,20,21,25,26,40,41,42,43,44,45
src/v2/test/lens_idempotency/write_effect_test.dag (12): lines 26,45,46,47,52,71,78,79,80,82
src/v2/test/lens_ownership/resource_dependency.dag (12): lines 26,45,46,47,52,71,78,79,80,82
dag/extdeps/systems/nvidia.dag (11): lines 66,69,105,106,110,111,116,120
dag/gunbc/ci/ci_compile_jobs.dag (11): lines 35,36,37,38,39,40,41,51,52,53,54
dag/gunbc/fabric/fabric_executor_class.dag (11): lines 54,69,70,71,97,100,115,118,119
dag/test/claim/markdown_inline_render_test.dag (11): lines 15,20,25,30,40,45,54,58,62
src/v2/test/claim/namespace_graft/zero_metadata_test.dag (11): lines 21,22,23,24,25,29,31,33,44,45,46
dag/gunbc/instruments/dag_compile_clean_shard_transport.dag (10): lines 29,30,33,34,35,48
dag/test/claim/opaque_census_declaration_scan_witness_test.dag (10): lines 24,38,44,50,55
src/v2/test/claim/extdeps_shape_transport_policy/lens_unit/clean_git_diff_test.dag (10): lines 65,66,67,68,69,72,73,74,75,76
dag/test/claim/cpu_l2_l3_cache_geometry_witness_test.dag (9): lines 29,30,40,45,46,47,48,54,55
src/v2/std/cross_tree/resolution.dag (9): lines 31,32,33,38,126,147
dag/extdeps/docker/hub.dag (8): lines 40,41,47,48
src/v2/test/claim/complexity_contract_subject_partition_witness_test.dag (8): lines 43,46,47,54,57,58,64,65
src/v2/test/claim/parse/parse_token_first_empty_semantics_test.dag (8): lines 13,18,20,29,31
src/v2/test/lens_table_decision_tree/sg_claims_test.dag (8): lines 5,17,33,35,42,43,47
dag/extdeps/pricing/gitlab_subscription.dag (7): lines 74,85,91,102,117,132,136
dag/test/claim/html_markup_xss_witness_test.dag (7): lines 18,25,32,39,46,89,96
src/v2/test/claim/body_lowering/match_as_field_name_test.dag (7): lines 18,32,36,40,44,48
dag/gunbc/instruments/parse_witness_transport.dag (6): lines 14,18
dag/test/claim/branded_list_first_optional_witness_test.dag (6): lines 32,33,72,73
dag/test/claim/unicode_ident_xid_grounding_test.dag (6): lines 7,8,9,10,11,12
src/v2/test/claim/impossible_bug/nested_optional_flatten.dag (6): lines 34,63,71,74,85,88
src/v2/test/claim/manual/outcome_diagnostics_eq.dag (6): lines 24,31,47,54
dag/gunbc/runner/runner_registration_labels.dag (5): lines 35,39,40
dag/std/key_relation.dag (5): lines 22,39,136
dag/test/claim/advertising_interface_witness_test.dag (5): lines 31,45,49,55,60
src/v2/compiler/self_host/seed_emitter_behavioral_wet_module_bindings.dag (5): lines 36,45,46,49
src/v2/lens/mandatory_tag/corpus_scan.dag (5): lines 33,72,80,88,96
src/v2/test/claim/vacuity_consumer_witness_test.dag (5): lines 10,11,16,17,25
dag/extdeps/ollama/gpu_support.dag (4): lines 66,70,71
dag/gunbc/dispatch_pipe_pane_emit.dag (4): lines 26,52,53,54
dag/gunbc/scm/integration.dag (4): lines 99,100
dag/gunbc/systemctl_status_read.dag (4): lines 36,38,54
dag/test/claim/lifecycle_survivor_scan_witness_test.dag (4): lines 25,30,36,43
src/v2/extdeps/bmc/lifecycle_fidelity.dag (4): lines 21,29,116,138
src/v2/extdeps/github/diagnostic_emit.dag (4): lines 21,27,31
src/v2/test/lens_visibility/visibility_test.dag (4): lines 32,36,40,44
dag/extdeps/git/versioning.dag (3): lines 53,59
dag/gunbc/cursor_sdk_provider_standing.dag (3): lines 89,106,107
dag/gunbc/fleet/fleet_acoustic_intent.dag (3): lines 75,100
dag/gunbc/host/host_resource.dag (3): lines 42,46
dag/test/claim/empty_list_element_fabrication_witness_test.dag (3): lines 32,38,42
dag/test/claim/spark/spark_secret_access_ensure_witness_test.dag (3): lines 32,37,42
src/v2/lens/simulated_relationship.dag (3): lines 11
src/v2/test/fixture/coercion_fold_int_rust_fixture.dag (3): lines 38,39,40
src/v2/workflow/ci_release_build_emit.dag (3): lines 24,28,32
dag/extdeps/ci_runner/buildjet.dag (2): lines 39,40
dag/extdeps/memory/sk_hynix.dag (2): lines 93
dag/extdeps/render/tier_glyphs.dag (2): lines 27,28
dag/extdeps/tools/tar.dag (2): lines 45,46
dag/gunbc/git_use_census/roadmap_publication_pull_create.dag (2): lines 8
dag/gunbc/guarantee_stall/external_model_scope_live_cover_stall.dag (2): lines 16,17
dag/gunbc/instruments/self_host_03_normalize_declared_source_refs.dag (2): lines 16,18
dag/gunbc/machine_intake/factory_segment_lease.dag (2): lines 58
dag/gunbc/plans/merge_admission_gate_shape_proposal.dag (2): lines 10,76
dag/test/claim/accelerator_demo_execution_witness_test.dag (2): lines 10
dag/test/claim/fleet/fleet_cap_observation_witness_test.dag (2): lines 14,24
src/v2/extdeps/formatters/google_java_format.dag (2): lines 18
src/v2/lens/grounding_ledger.dag (2): lines 60,61
dag/extdeps/gpu/machine_shape.dag (1): lines 70
dag/gunbc/evaluation_budget_consequence_emit.dag (1): lines 48
dag/gunbc/guarantee_stall/builtin_parameter_name_forked_across_hand_authored_sites_stall.dag (1): lines 13
dag/gunbc/guarantee_stall/information_retrieval_transport_cannot_report_status_stall.dag (1): lines 34
dag/gunbc/guarantee_stall/pci_address_rendering_equivalence_stall.dag (1): lines 16
dag/gunbc/guarantee_stall/trigger_capability_referent_free_by_construction_stall.dag (1): lines 27
dag/gunbc/infer_occurrence_binding_scaffold.dag (1): lines 16
dag/test/claim/seed_debt_bundle_item_2_floor_scope.dag (1): lines 38
dag/test/claim/self_host_discovery_enumeration_behavioral_witness_test.dag (1): lines 20
dag/test/fixture/effect_reach_conjunction/sink_and_path_entry.dag (1): lines 10
dag/test/fixture/sole_constructor_sealed/admitted_caller.dag (1): lines 9
src/v2/extdeps/languages/c_bool_literal_emit.dag (1): lines 16
src/v2/std/occurrence_id.dag (1): lines 19
src/v2/std/report.dag (1): lines 16
src/v2/test/claim/long/direct_rust_door_production_group_test.dag (1): lines 42
src/v2/test/fixture/realization_vocab_scan/leak/plant.dag (1): lines 7
src/v2/test/lens_cost/arrow_body_cost_domain_excluded.dag (1): lines 65

F let binder: 141 rows in 36 files (row lowering_rebuilds_an_authored_atom_without_its_occurrence)

dag/test/claim/ci/ci_oom_reclassify_witness_test.dag (14): lines 46,47,55,56,57,64,65,71,72,90,91,92,93,94
dag/test/claim/roadmap/roadmap_gate_test.dag (12): lines 29,33,39,40,47,51,57,61,67,71,72,74
dag/test/claim/witness_execution_class_test.dag (11): lines 45,46,57,58,69,70,105,118,119,120,128
dag/test/claim/docker_container_stats_witness_test.dag (9): lines 143,148,153,179,268,269,270,271,272
dag/test/claim/runner/runner_connectivity_repair_plan_witness_test.dag (8): lines 49,86,87,88,95,127,129,150
src/v2/test/claim/qualified_name/path_algebra_test.dag (7): lines 22,27,28,33,34,39,40
dag/test/claim/gate_receipt_witness_test.dag (6): lines 79,80,97,98,99,100
dag/test/claim/unicode_ident_xid_grounding_test.dag (6): lines 7,8,9,10,11,12
src/v2/test/runtimes/effect_io_host_mode_test.dag (6): lines 57,66,71,83,95,112
src/v2/workflow/compiler_closure_ingest_transport.dag (6): lines 98,112,124,125,134,149
dag/test/claim/cache_layer_planner_test.dag (5): lines 27,40,51,61,78
dag/test/claim/codex_package_delivery_wet_witness_test.dag (5): lines 177,192,203,204,205
dag/test/claim/char_at_unicode_witness_test.dag (4): lines 14,21,44,52
src/v2/test/claim/round_trip/source_authority_contract.dag (4): lines 74,91,108,124
dag/test/claim/hermetic_fixture_realization_test.dag (3): lines 52,53,70
dag/test/claim/reconcile_in_process_cache_test.dag (3): lines 72,81,90
src/v2/test/claim/sql_create_table_fold_test.dag (3): lines 121,167,176
dag/extdeps/ollama/gpu_support.dag (2): lines 66,70
dag/gunbc/live_deploy/deployed_tree_report.dag (2): lines 104,132
dag/gunbc/systemctl_status_read.dag (2): lines 24,53
dag/test/claim/advertising_interface_witness_test.dag (2): lines 79,83
dag/test/claim/auth/approval_gate_witness_test.dag (2): lines 18,19
dag/test/claim/scm/scm_compatibility_mercurial_witness_test.dag (2): lines 103,164
src/v2/std/float.dag (2): lines 53,84
src/v2/test/claim/enforcement/cost_coverage_witness_test.dag (2): lines 33,85
src/v2/test/claim/graph_invariant/lens_unit/reach_kernel_test.dag (2): lines 61,67
src/v2/workflow/module_binding_supply_transport.dag (2): lines 71,96
dag/extdeps/gpu/machine_shape.dag (1): lines 70
dag/extdeps/time/rfc3339.dag (1): lines 66
dag/gunbc/roadmap/roadmap_site_surface_witness.dag (1): lines 82
dag/test/claim/external_model_scope_live_cover_witness_test.dag (1): lines 48
dag/test/claim/render_glyphs_ansi_witness_test.dag (1): lines 24
dag/test/claim/spark/spark_secret_access_ensure_witness_test.dag (1): lines 32
src/v2/test/claim/build_artifact_verification_witness_test.dag (1): lines 71
src/v2/test/claim/extdeps/spice_element_letter_test.dag (1): lines 95
src/v2/test/lens_table_decision_tree/sg_claims_test.dag (1): lines 41

G as-cast target/operand: 10 rows in 3 files (row as_cast_has_no_lowered_form)

dag/test/claim/grub_console_witness_test.dag (6): lines 25,42
dag/test/claim/codex_package_delivery_wet_witness_test.dag (2): lines 147,148
dag/test/claim/spark/spark_secret_access_ensure_witness_test.dag (2): lines 23,34

H enclosing expression replaced by one control form: 176 rows in 16 files (row expression_enclosing_a_block_headed_operand_lowers_to_that_block_at_v2_body_lowering)

dag/test/claim/grub_console_witness_test.dag (59): lines 19,20,21,22,23,24,26,28,30,31,33,34,39,40,41,42,43,45,46,47
dag/test/claim/runner/runner_connectivity_repair_plan_witness_test.dag (41): lines 100,101,105,106,107,109,110,111,113,114,115,117,118,119
dag/test/claim/codex_package_delivery_wet_witness_test.dag (15): lines 131,135,136,137,139,140,141,143,144,145
dag/extdeps/container/oci/runtime_config.dag (11): lines 59,60,61,64,65,67,68
src/v2/test/claim/complexity_contract_subject_partition_witness_test.dag (10): lines 27,28,29,34,35,36
dag/test/claim/prose_row_introduction_witness_test.dag (8): lines 130,131
src/v2/compiler/self_host/compiler_closure_emit_driver.dag (8): lines 113,117,118,120,123
dag/gunbc/roadmap/roadmap_site_surface_witness.dag (5): lines 88,89,90,91
dag/test/claim/auth/approval_gate_witness_test.dag (5): lines 21,23,24
dag/test/claim/os_install_actuator_selection_witness_test.dag (3): lines 17,25,26
src/v2/std/float.dag (3): lines 130
dag/test/claim/cli_run_repo_grant_hand_rust_equivalence_witness_test.dag (2): lines 62
dag/test/claim/scm/scm_compatibility_mercurial_witness_test.dag (2): lines 67,68
src/v2/test/claim/round_trip/source_authority_contract.dag (2): lines 131,132
dag/test/claim/extdeps/apt_package_of_witness_test.dag (1): lines 119
src/v2/test/claim/build_artifact_verification_witness_test.dag (1): lines 57

I match-arm statement body (let + continuation): 29 rows in 1 files (row match_arm_statement_body_lowers_to_its_first_expression_at_v2_body_lowering (#12364))

src/v2/test/claim/sql_create_table_fold_test.dag (29): lines 71,75,76,77,78,79,81

J data-initializer match scrutinee: 13 rows in 1 files (row data_initializer_match_reads_its_scrutinee_from_an_arm_at_v2_body_lowering (#12364))

src/v2/test/claim/manual/outcome_diagnostics_eq.dag (13): lines 61,62,63

Z unattributed: 371 rows in 59 files (row residual: attributed by sampling, heuristic miss)

src/v2/std/float.dag (31): lines 131,132,141,143,144,156
dag/gunbc/roadmap/roadmap_site_surface_witness.dag (28): lines 37,72,74,93,94,95,96,110,114,130,141
dag/test/claim/scm/scm_compatibility_mercurial_witness_test.dag (21): lines 69,70,92,93,94,105,118,119,124,125,138,139,152,188,189
dag/extdeps/bmc/redfish.dag (18): lines 61,62,63,64,65,77,78,79,80,100,111,117,118,119,120
dag/test/claim/external_model_scope_live_cover_witness_test.dag (14): lines 29,44,47,48,49,58,64,71
dag/test/claim/runner/runner_connectivity_repair_plan_witness_test.dag (14): lines 59,99,102,103,121,146
dag/test/claim/grub_console_witness_test.dag (13): lines 32,35,36,38
src/v2/workflow/compiler_closure_ingest_transport.dag (12): lines 60,82,107,114,129,134,135,150,151,152
dag/extdeps/ollama/gpu_support.dag (11): lines 70,71,72,77,104,105
dag/test/claim/reconcile_in_process_cache_test.dag (11): lines 39,40,48,49,56,63,65,77,86,95
dag/test/claim/codex_package_delivery_wet_witness_test.dag (9): lines 36,41,51,67,101,132,133,154
src/v2/test/claim/round_trip/source_authority_contract.dag (9): lines 58,99,134,135
src/v2/test/claim/sql_create_table_fold_test.dag (9): lines 83,125,180,228,238
dag/gunbc/fabric/fabric_executor_class.dag (8): lines 67,68,69,70,104
dag/test/claim/hermetic_fixture_realization_test.dag (8): lines 38,46,58,65,66,78
src/v2/workflow/module_binding_supply_transport.dag (8): lines 61,71,84,85,97,98,99
dag/gunbc/instruments/dag_compile_clean_shard_transport.dag (7): lines 33,34,37,38
dag/test/claim/extdeps/apt_package_of_witness_test.dag (7): lines 118,119
src/v2/workflow/bash_emit.dag (7): lines 56,60,61,62,63,84
dag/extdeps/render/tier_glyphs.dag (6): lines 22
dag/std/key_relation.dag (6): lines 84,85,94,95,124,125
src/v2/std/cross_tree/resolution.dag (6): lines 30,31,32,33,38,46
src/v2/test/claim/construction_justification/outside_modeled_guarantee_witness_test.dag (6): lines 139,140,141,142,147,148
src/v2/test/claim/enforcement/cost_coverage_witness_test.dag (6): lines 50,68,76,93,102,113
dag/extdeps/git/versioning.dag (5): lines 41,58,59
dag/gunbc/cursor_sdk_provider_standing.dag (5): lines 104,105,107
dag/test/claim/cpu_l2_l3_cache_geometry_witness_test.dag (5): lines 30,41,56,57
dag/test/claim/information_retrieval_witness_test.dag (5): lines 50,64,65
dag/test/claim/os_install_actuator_selection_witness_test.dag (5): lines 76,117,118
src/v2/compiler/self_host/seed_emitter_behavioral_wet_module_bindings.dag (5): lines 43,44,45,46
dag/extdeps/pci/identity.dag (4): lines 41,42,53,58
dag/gunbc/accelerator_demo/accelerator_demo_eval.dag (4): lines 33,34,35,56
dag/gunbc/host/host_resource.dag (4): lines 56,94
dag/gunbc/scm/integration.dag (4): lines 99
dag/test/claim/html_markup_xss_witness_test.dag (4): lines 54,61,68,75
src/v2/compiler/self_host/compiler_closure_emit_driver.dag (4): lines 69,101,112
src/v2/test/claim/floor_discovery_source_authority_test.dag (4): lines 36,37,39,40
dag/gunbc/host/host_effect_plan.dag (3): lines 57,60,63
dag/gunbc/runner/runner_registration_labels.dag (3): lines 39,45
dag/gunbc/systemctl_status_read.dag (3): lines 24,39
dag/test/claim/docker_container_stats_witness_test.dag (3): lines 219
dag/test/claim/fleet/fleet_cap_observation_witness_test.dag (3): lines 19
dag/test/claim/prose_row_introduction_witness_test.dag (3): lines 129
src/v2/test/algebra_laws/field_patch_monoid_test.dag (2): lines 14,17
src/v2/test/claim/complexity_contract_subject_partition_witness_test.dag (2): lines 46,57
src/v2/test/claim/impossible_bug/nested_optional_flatten.dag (2): lines 77,91
src/v2/test/lens_table_decision_tree/sg_claims_test.dag (2): lines 17,33
dag/extdeps/cloud/gcp/adc_document.dag (1): lines 84
dag/extdeps/container/oci/runtime_config.dag (1): lines 58
dag/extdeps/github/ci.dag (1): lines 20
dag/extdeps/gpu/machine_shape.dag (1): lines 71
dag/extdeps/time/rfc3339.dag (1): lines 17
dag/test/claim/cache_layer_planner_test.dag (1): lines 96
dag/test/claim/spark/spark_secret_access_ensure_witness_test.dag (1): lines 39
dag/test/claim/witness_execution_class_test.dag (1): lines 101
src/v2/extdeps/github/diagnostic_emit.dag (1): lines 21
src/v2/test/claim/build_artifact_verification_witness_test.dag (1): lines 26
src/v2/test/claim/manual/outcome_diagnostics_eq.dag (1): lines 65
src/v2/test/runtimes/effect_io_host_mode_test.dag (1): lines 112

— sent from gentle-crane-869