Explicit imports for the declared_elsewhere refusals the native resolve census names by gunbai-bot[bot] · Pull Request #12114 · gunb-ai/gunbc

gunbai-bot · 2026-09-23T03:49:56Z

Adds the explicit imports that the native v2 resolver's resolve_unbound_name_is_declared_elsewhere refusals name. The class is seed leniency: the seed accepted modules that used another module's declaration bare, while the native resolver refuses them, naming the declaration via a DeclarationLocus. Scope is the 85 declared_elsewhere rows only (operator decision C). The specimen src/v2/test/claim/parse/expression_bodied_fn_decl_parse_test.dag is excluded because #12099 already carries its imports.

No test logic changed; the diff is import lines only, plus one receipt on an existing recurring-failure-mode row.

Census instrument (re-derivable)

Entry: the emitted SourceRootEvalDriver's census-resolve verb (v1.compiler.emit_rust run_census_resolve): <binary> census-resolve dag src/v2. It prints one census_residual row per refused occurrence and one [native-census-resolve] outcome line per module.
Binary: host srv2, /home/briansrls/gunbc-native/census-e8c30f9b1e8f89c46c35b0b4778a5e9c4c63616a/gunbc-emitted-closure-src-v2-compiler-00-compile-dag, built at tree e8c30f9b1e8 from clean main (postdates Resolution carries the declaring path to its consumers, so a resolved reference is no longer a spelling #12048), sha256 12e7500064c7667d089ad96814500a584b97959e2b0b5348881b09099be1406e (verified before each run).
Trees read: pass 1 = main b8e0cc4eb98; passes 2 and 3 = this branch after each round of fixes. Private TMPDIR on every run.
Output: srv2:~/gunbc-native/sc104-census-b8e0cc4/ (sc104-census{,2,3}.{out,err}, plus sc104-nostring.out and sc104-nosymbol.out).
Limit: the census reports only the first refusal per module, so every count below is a lower bound. Fixing one import can expose a later refusal in the same file, and it did (see "Remaining").

Specimen: each omission refuses on its own

Run on this branch's tree before the file was dropped for #12099:

String removed only: resolve_unbound_name_is_declared_in_several_modules naming String
Symbol removed only: resolve_unbound_name_is_declared_elsewhere naming v2.std.node.Symbol
both present: the next wall is resolve_reason_unbound_symbol on Outcome, a frontier owned by Pkg11c: lower variant and record fields into declared field identities on the native route, and bind match-arm binders #12033 step 2 and left alone.

Dispositions of the 85 rows (pass 1)

disposition	rows
import added	43
left: import surfaces a latent defect outside this class on the required floor (see Remaining 5)	2
left: deliberately bare fixture (`dag/test/fixture/module_graph_edge_source/consumer_bare.dag`, the reference-only edge that `test.claim.module_graph_edge_source_witness` `witness_reference_only_dependency_reaches_the_union` discriminates on; import reverted per review 70376)	1
resolver frontier: the named declaration is a local binding inside another module's body (`join` ×13, `external_subject` ×4, `eq` ×3, `cargo` ×2, `tail_limit`, `live_qualified_name`), so no import can supply it	24
false candidate: the file already imports the name, from a module that does not declare it (`SourceSpan` from `std.types` ×5, `Nat` from `v2.std.nat` ×4, `Filesystem` from `extdeps.filesystem.filesystem_io` ×2)	11
false candidate: declared locally in the same file (`AttemptIdentity`, `ProvidedMarker`)	2
left: the import would create a cycle (`std.types` ← `v2.std.collection` `map_insert`, which already imports `std.types`)	1
left: production code would import test code (`contributor_onboarding_path` → `test.claim.…` `append`)	1

All 85 rows (file × name × disposition)

file	name (declaring module)	disposition
`dag/gunbc/contributor_onboarding_path.dag`	`append` (test.claim.review_sheet_batch_actuator_witness)	leave:production_would_import_test_code
`dag/gunbc/host/host_identity_access.dag`	`fleet_hostnamectl_command_path` (gunbc.fleet_posix_accounts)	import_added
`dag/gunbc/host/host_identity_knob.dag`	`HostIdentity` (product.placement_supply)	import_added
`dag/gunbc/install_media.dag`	`ObservationVerdict` (std.upsert_decision)	import_added
`dag/gunbc/runner/runner_microvm_lifecycle.dag`	`AttemptIdentity` (std.scoped_authorization)	false_candidate:declared_locally
`dag/gunbc/srv3/srv3_host_effect_apply.dag`	`ci_deploy_srv1_access` (gunbc.ci_deploy_access)	import_added
`dag/std/fermi.dag`	`FermiDepth` (std.types)	import_added
`dag/std/types.dag`	`map_insert` (v2.std.collection)	leave:import_would_cycle
`dag/test/claim/branded_list_first_optional_witness_test.dag`	`NonEmptyStr` (std.types)	import_added
`dag/test/claim/cable_plant_assessment_witness_test.dag`	`list_length` (std.types)	import_added
`dag/test/claim/ci/ci_runner_target_witness_test.dag`	`ci_runner_target_spec` (gunbc.ci_runner_target)	import_added
`dag/test/claim/codex_device_prompt_witness_test.dag`	`Filesystem` (v2.extdeps.file_system)	false_candidate:already_imported_from:extdeps.filesystem.filesystem_io
`dag/test/claim/deepseek/deepseek_v4_encoder_witness_test.dag`	`list_length` (std.types)	import_added
`dag/test/claim/emit_host_typed_smoke_test.dag`	`expected_stdout_nul_run` (tools.emit_host_transport)	import_added
`dag/test/claim/fabric/fabric_capacity_class_gap_witness_test.dag`	`any` (v2.std.algebra)	import_added
`dag/test/claim/filesystem_list_hermetic_witness_test.dag`	`Filesystem` (v2.extdeps.file_system)	import_added
`dag/test/claim/filesystem_write_witness.dag`	`Filesystem` (v2.extdeps.file_system)	import_added
`dag/test/claim/legacy_baseline_capture_witness_test.dag`	`SourceSpan` (v2.lens.application)	false_candidate:already_imported_from:std.types
`dag/test/claim/legacy_baseline_persisted_observation_witness_test.dag`	`SourceSpan` (v2.lens.application)	false_candidate:already_imported_from:std.types
`dag/test/claim/legacy_repair_tap_persisted_capture_witness_test.dag`	`SourceSpan` (v2.lens.application)	false_candidate:already_imported_from:std.types
`dag/test/claim/machine_intake/mtcollins1_census_image_local_wet_test.dag`	`Filesystem` (v2.extdeps.file_system)	false_candidate:already_imported_from:extdeps.filesystem.filesystem_io
`dag/test/claim/module_graph/conformance_imports_only.dag`	`Symbol` (v2.std.node)	import_added
`dag/test/claim/network_switch_catalog_witness_test.dag`	`Bandwidth` (std.measure)	import_added
`dag/test/claim/ray_threshold_memory_monitor_witness_test.dag`	`any` (v2.std.algebra)	import_added
`dag/test/claim/source_annotation_attachment_witness_test.dag`	`SourceSpan` (v2.lens.application)	false_candidate:already_imported_from:std.types
`dag/test/claim/spark/spark_bootstrap_password_session_witness_test.dag`	`any` (v2.std.algebra)	import_added
`dag/test/claim/spark/spark_cell_role_witness_test.dag`	`any` (v2.std.algebra)	import_added
`dag/test/claim/standoff_gauge_admission_witness_test.dag`	`Nat` (std.nat)	import_added
`dag/test/fixture/cross_file_clause_e_fixture.dag`	`SourceSpan` (v2.lens.application)	false_candidate:already_imported_from:std.types
`dag/test/fixture/module_graph_edge_source/consumer_bare.dag`	`edge_source_only_referenced_value` (test.fixture.module_graph_edge_source.provider_referenced)	left: deliberately bare fixture (review 70376)
`dag/test/fixture/nat_qualified_provider.dag`	`Nat` (std.nat)	false_candidate:already_imported_from:v2.std.nat
`src/v2/extdeps/languages/rust_test_fixtures.dag`	`bool_boolean_algebra` (v2.std.logic)	import_added
`src/v2/lens/cost/expr.dag`	`Nat` (std.nat)	false_candidate:already_imported_from:v2.std.nat
`src/v2/std/generic_instantiation.dag`	`empty_map` (v2.std.collection)	import_added
`src/v2/test/claim/compile_door_ledger_ownership_test.dag`	`Symbol` (v2.std.node)	import_added
`src/v2/test/claim/emit/fold_call_closure_fixture.dag`	`Symbol` (v2.std.node)	import_added
`src/v2/test/claim/generated/witness_validity.dag`	`testgen_emit_witness_validity_claim` (v2.lens.testgen)	import_added
`src/v2/test/claim/long/door_real_module_probe_test.dag`	`Symbol` (v2.std.node)	import_added
`src/v2/test/claim/manual/go_add_emit_translate_test.dag`	`go_emitted_add_fn_node` (v2.extdeps.languages.go)	import_added
`src/v2/test/claim/manual/go_language_model_anchor.dag`	`go_language_model` (v2.extdeps.languages.go)	import_added
`src/v2/test/claim/manual/infer_algebra_ref_grounding_anchor.dag`	`algebra_ref_is_grounded` (v2.compiler.infer)	import_added
`src/v2/test/claim/manual/kotlin_language_model_anchor.dag`	`kotlin_language_model` (v2.extdeps.languages.kotlin)	import_added
`src/v2/test/claim/manual/lean_language_model_anchor.dag`	`lean_language_model` (v2.extdeps.languages.lean)	import_added
`src/v2/test/claim/manual/llvm_ir_model_core_anchor.dag`	`llvm_ir_model_core` (v2.extdeps.languages.llvm_ir)	import_added
`src/v2/test/claim/manual/machine_code_model_core_anchor.dag`	`machine_code_model_core` (v2.extdeps.languages.machine_code)	import_added
`src/v2/test/claim/manual/qualified_pattern_reconcile_test.dag`	`Nat` (std.nat)	false_candidate:already_imported_from:v2.std.nat
`src/v2/test/claim/manual/rust_language_model_anchor.dag`	`rust_fn_add_language_model` (v2.extdeps.languages.rust)	import_added
`src/v2/test/claim/manual/swift_language_model_anchor.dag`	`swift_primitive_language_model` (v2.extdeps.languages.swift)	import_added
`src/v2/test/claim/manual/typescript_language_model_anchor.dag`	`ts_fn_add_language_model` (v2.extdeps.languages.typescript)	import_added
`src/v2/test/claim/nat_semiring/rung_5.dag`	`rung56_emit_vs_eval_run` (v2.test.rung_5_6_common)	import_added
`src/v2/test/claim/nat_semiring/rung_6.dag`	`rung56_emit_vs_eval_run` (v2.test.rung_5_6_common)	import_added
`src/v2/test/claim/round_trip/source_authority_contract.dag`	`dag_target_model` (v2.extdeps.languages.dag)	import_added
`src/v2/test/claim/self_host/peano_nat_structural_realization_test.dag`	`Nat` (std.nat)	false_candidate:already_imported_from:v2.std.nat
`src/v2/test/fixture/coproduct_reflection_generic_wrapper.dag`	`Symbol` (v2.std.node)	import_added
`src/v2/test/fixture/dag_add_fn_round_trip_fixture.dag`	`Symbol` (v2.std.node)	import_added
`src/v2/test/fixture/declaring_identity_spelling/cross_provider.dag`	`ProvidedMarker` (test.fixture.reference_derived_graph.provider)	false_candidate:declared_locally
`src/v2/test/fixture/derivable_coercion_task_id.dag`	`Symbol` (v2.std.node)	import_added
`src/v2/test/lens_wiring_liveness/wiring_liveness_test.dag`	`Symbol` (v2.std.node)	import_added
`src/v2/test/manual/tm_probe.dag`	`dag_language_model` (v2.extdeps.languages.dag)	import_added
`src/v2/test/manual/token_stream_content_hash_witness.dag`	`Hash` (v2.std.node)	import_added
`src/v2/workflow/emitted_closure_crate_partition.dag`	`Map` (std.types)	import_added
`dag/gunbc/auth/approval_broker_endpoint.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/auth/approval_broker_marker.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/claude_setup_token_enrollment.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/fabric/durable_cas_fabric_storage.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/fabric/fabric_cell_converge.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/fleet/fleet_workflow_steps.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/instruments/direct_rust_door_transport.dag`	`cargo` (test.claim.live_rust_observation_contract.observation_at)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/primitive_egress/dispositions_collection.dag`	`external_subject` (gunbc.primitive_egress.disposition.evidence_row)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/primitive_egress/dispositions_hosts.dag`	`external_subject` (gunbc.primitive_egress.disposition.evidence_row)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/primitive_egress/dispositions_seed_query.dag`	`external_subject` (gunbc.primitive_egress.disposition.evidence_row)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/primitive_egress/dispositions_text.dag`	`external_subject` (gunbc.primitive_egress.disposition.evidence_row)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/roadmap/roadmap_provider_events.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/runner/runner_unit.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/gunbc/runner/runner_unit_file.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/std/declaring_identity_spelling.dag`	`eq` (gunbc.primitive_egress.qualification.qualify_reference)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/test/claim/approval_broker_cutover_witness_test.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/test/claim/serve_liveness_witness_test.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/test/claim/shell_stream_capture_witness_test.dag`	`tail_limit` (std.shell_stream_capture.seed_host_stderr_tail_within_bound)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/test/claim/spark/container_inspect_decode_witness_test.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/test/claim/spark/serving_load_probe_witness_test.dag`	`join` (v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`dag/test/claim/stage0_regen_convergence_real_execution_witness_test.dag`	`cargo` (test.claim.live_rust_observation_contract.observation_at)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`src/v2/std/cross_tree/import_model.dag`	`eq` (gunbc.primitive_egress.qualification.qualify_reference)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`src/v2/std/find_witness.dag`	`eq` (gunbc.primitive_egress.qualification.qualify_reference)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it
`src/v2/test/claim/long/production_qualification_origin_probe_witness_test.dag`	`live_qualified_name` (v2.lens.production_qualification_origin_probe.structural_red_control_live_fixture_mint_site_discovered)	resolver frontier: the named declaration is a local binding inside another module's body, so no import can supply it

Round 2 added 10 more imports, each named by pass 2 as the next declared_elsewhere refusal in a file already in the 85:

Round-2 imports

file	name (declaring module)
`dag/test/claim/ci/ci_runner_target_witness_test.dag`	`gunbc_ci_selected_runner_spec` (gunbc.ci_runner_target)
`src/v2/test/claim/manual/go_language_model_anchor.dag`	`go_int_inhabitant_node` (v2.extdeps.languages.go)
`src/v2/test/claim/manual/infer_algebra_ref_grounding_anchor.dag`	`canonical_grounding_from_inferred_facts` (v2.compiler.infer)
`src/v2/test/claim/manual/kotlin_language_model_anchor.dag`	`kotlin_inhabitant_int_node` (v2.extdeps.languages.kotlin)
`src/v2/test/claim/manual/lean_language_model_anchor.dag`	`lean_inhabitant_int32_node` (v2.extdeps.languages.lean)
`src/v2/test/claim/manual/llvm_ir_model_core_anchor.dag`	`llvm_integer_facts_node` (v2.extdeps.languages.llvm_ir)
`src/v2/test/claim/manual/machine_code_model_core_anchor.dag`	`mc_integer_facts_node` (v2.extdeps.languages.machine_code)
`src/v2/test/claim/manual/rust_language_model_anchor.dag`	`rust_inhabitant_i32_node` (v2.extdeps.languages.rust)
`src/v2/test/claim/manual/swift_language_model_anchor.dag`	`swift_primitive_model_core` (v2.extdeps.languages.swift)
`src/v2/test/claim/manual/typescript_language_model_anchor.dag`	`ts_inhabitant_number_node` (v2.extdeps.languages.typescript)

Before and after, by file × name

Pass 1 (main) vs pass 3 (this branch). Across the 85 files: 8 now resolve completely (9 in pass 3; consumer_bare.dag was then reverted as a deliberate fixture). 45 still end on declared_elsewhere: 39 of those are the rows left above, and 6 are language-model anchors (see Remaining). 17 now end on a plain resolve_reason_unbound_symbol and 14 on declared_in_several_modules, both outside this class. Whole tree: 6899 residual rows before, 6863 after.

Per-file first refusal, before and after

file	before (pass 1 first refusal)	after (pass 3 first refusal)
`dag/gunbc/auth/approval_broker_endpoint.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/gunbc/auth/approval_broker_marker.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/gunbc/claude_setup_token_enrollment.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/gunbc/contributor_onboarding_path.dag`	unbound_name_is_declared_elsewhere `test.claim.review_sheet_batch_actuator_witness.append`	unbound_name_is_declared_elsewhere `test.claim.review_sheet_batch_actuator_witness.append`
`dag/gunbc/fabric/durable_cas_fabric_storage.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/gunbc/fabric/fabric_cell_converge.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/gunbc/fleet/fleet_workflow_steps.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/gunbc/host/host_identity_access.dag`	unbound_name_is_declared_elsewhere `gunbc.fleet_posix_accounts.fleet_hostnamectl_command_path`	reason_unbound_symbol `ComputeHost`
`dag/gunbc/host/host_identity_knob.dag`	unbound_name_is_declared_elsewhere `product.placement_supply.HostIdentity`	reason_unbound_symbol `HostIdentityKnobKey`
`dag/gunbc/install_media.dag`	unbound_name_is_declared_elsewhere `std.upsert_decision.ObservationVerdict`	unbound_name_is_declared_in_several_modules `Absent`
`dag/gunbc/instruments/direct_rust_door_transport.dag`	unbound_name_is_declared_elsewhere `test.claim.live_rust_observation_contract.observation_at.cargo`	unbound_name_is_declared_elsewhere `test.claim.live_rust_observation_contract.observation_at.cargo`
`dag/gunbc/primitive_egress/dispositions_collection.dag`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.disposition.evidence_row.external_subject`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.disposition.evidence_row.external_subject`
`dag/gunbc/primitive_egress/dispositions_hosts.dag`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.disposition.evidence_row.external_subject`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.disposition.evidence_row.external_subject`
`dag/gunbc/primitive_egress/dispositions_seed_query.dag`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.disposition.evidence_row.external_subject`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.disposition.evidence_row.external_subject`
`dag/gunbc/primitive_egress/dispositions_text.dag`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.disposition.evidence_row.external_subject`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.disposition.evidence_row.external_subject`
`dag/gunbc/roadmap/roadmap_provider_events.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/gunbc/runner/runner_microvm_lifecycle.dag`	unbound_name_is_declared_elsewhere `std.scoped_authorization.AttemptIdentity`	unbound_name_is_declared_elsewhere `std.scoped_authorization.AttemptIdentity`
`dag/gunbc/runner/runner_unit.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/gunbc/runner/runner_unit_file.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/gunbc/srv3/srv3_host_effect_apply.dag`	unbound_name_is_declared_elsewhere `gunbc.ci_deploy_access.ci_deploy_srv1_access`	reason_unbound_symbol `Srv3ActuatorTarget`
`dag/std/declaring_identity_spelling.dag`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.qualification.qualify_reference.eq`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.qualification.qualify_reference.eq`
`dag/std/fermi.dag`	unbound_name_is_declared_elsewhere `std.types.FermiDepth`	unbound_name_is_declared_in_several_modules `Xs`
`dag/std/types.dag`	unbound_name_is_declared_elsewhere `v2.std.collection.map_insert`	unbound_name_is_declared_elsewhere `v2.std.collection.map_insert`
`dag/test/claim/approval_broker_cutover_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/test/claim/branded_list_first_optional_witness_test.dag`	unbound_name_is_declared_elsewhere `std.types.NonEmptyStr`	unbound_name_is_declared_in_several_modules `s`
`dag/test/claim/cable_plant_assessment_witness_test.dag`	unbound_name_is_declared_elsewhere `std.types.list_length`	reason_unbound_symbol `None`
`dag/test/claim/ci/ci_runner_target_witness_test.dag`	unbound_name_is_declared_elsewhere `gunbc.ci_runner_target.ci_runner_target_spec`	unbound_name_is_declared_in_several_modules `SelfHosted`
`dag/test/claim/codex_device_prompt_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.file_system.Filesystem`	unbound_name_is_declared_elsewhere `v2.extdeps.file_system.Filesystem`
`dag/test/claim/deepseek/deepseek_v4_encoder_witness_test.dag`	unbound_name_is_declared_elsewhere `std.types.list_length`	unbound_name_is_declared_in_several_modules `String`
`dag/test/claim/emit_host_typed_smoke_test.dag`	unbound_name_is_declared_elsewhere `tools.emit_host_transport.expected_stdout_nul_run`	reason_unbound_symbol `string_length`
`dag/test/claim/fabric/fabric_capacity_class_gap_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.std.algebra.any`	unbound_name_is_declared_in_several_modules `m`
`dag/test/claim/filesystem_list_hermetic_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.file_system.Filesystem`	reason_unbound_symbol `None`
`dag/test/claim/filesystem_write_witness.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.file_system.Filesystem`	reason_unbound_symbol `None`
`dag/test/claim/legacy_baseline_capture_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.lens.application.SourceSpan`	unbound_name_is_declared_elsewhere `v2.lens.application.SourceSpan`
`dag/test/claim/legacy_baseline_persisted_observation_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.lens.application.SourceSpan`	unbound_name_is_declared_elsewhere `v2.lens.application.SourceSpan`
`dag/test/claim/legacy_repair_tap_persisted_capture_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.lens.application.SourceSpan`	unbound_name_is_declared_elsewhere `v2.lens.application.SourceSpan`
`dag/test/claim/machine_intake/mtcollins1_census_image_local_wet_test.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.file_system.Filesystem`	unbound_name_is_declared_elsewhere `v2.extdeps.file_system.Filesystem`
`dag/test/claim/module_graph/conformance_imports_only.dag`	unbound_name_is_declared_elsewhere `v2.std.node.Symbol`	resolves
`dag/test/claim/network_switch_catalog_witness_test.dag`	unbound_name_is_declared_elsewhere `std.measure.Bandwidth`	unbound_name_is_declared_in_several_modules `acc`
`dag/test/claim/ray_threshold_memory_monitor_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.std.algebra.any`	unbound_name_is_declared_in_several_modules `length`
`dag/test/claim/serve_liveness_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/test/claim/shell_stream_capture_witness_test.dag`	unbound_name_is_declared_elsewhere `std.shell_stream_capture.seed_host_stderr_tail_within_bound.tail_limit`	unbound_name_is_declared_elsewhere `std.shell_stream_capture.seed_host_stderr_tail_within_bound.tail_limit`
`dag/test/claim/source_annotation_attachment_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.lens.application.SourceSpan`	unbound_name_is_declared_elsewhere `v2.lens.application.SourceSpan`
`dag/test/claim/spark/container_inspect_decode_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/test/claim/spark/serving_load_probe_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`	unbound_name_is_declared_elsewhere `v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join`
`dag/test/claim/spark/spark_bootstrap_password_session_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.std.algebra.any`	resolves
`dag/test/claim/spark/spark_cell_role_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.std.algebra.any`	resolves
`dag/test/claim/stage0_regen_convergence_real_execution_witness_test.dag`	unbound_name_is_declared_elsewhere `test.claim.live_rust_observation_contract.observation_at.cargo`	unbound_name_is_declared_elsewhere `test.claim.live_rust_observation_contract.observation_at.cargo`
`dag/test/claim/standoff_gauge_admission_witness_test.dag`	unbound_name_is_declared_elsewhere `std.nat.Nat`	reason_unbound_symbol `None`
`dag/test/fixture/cross_file_clause_e_fixture.dag`	unbound_name_is_declared_elsewhere `v2.lens.application.SourceSpan`	unbound_name_is_declared_elsewhere `v2.lens.application.SourceSpan`
`dag/test/fixture/module_graph_edge_source/consumer_bare.dag`	unbound_name_is_declared_elsewhere `test.fixture.module_graph_edge_source.provider_referenced.edge_source_only_referenced_value`	resolves
`dag/test/fixture/nat_qualified_provider.dag`	unbound_name_is_declared_elsewhere `std.nat.Nat`	unbound_name_is_declared_elsewhere `std.nat.Nat`
`src/v2/extdeps/languages/rust_test_fixtures.dag`	unbound_name_is_declared_elsewhere `v2.std.logic.bool_boolean_algebra`	reason_unbound_symbol `RustEmitHostFamilyMember`
`src/v2/lens/cost/expr.dag`	unbound_name_is_declared_elsewhere `std.nat.Nat`	unbound_name_is_declared_elsewhere `std.nat.Nat`
`src/v2/std/cross_tree/import_model.dag`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.qualification.qualify_reference.eq`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.qualification.qualify_reference.eq`
`src/v2/std/find_witness.dag`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.qualification.qualify_reference.eq`	unbound_name_is_declared_elsewhere `gunbc.primitive_egress.qualification.qualify_reference.eq`
`src/v2/std/generic_instantiation.dag`	unbound_name_is_declared_elsewhere `v2.std.collection.empty_map`	unbound_name_is_declared_in_several_modules `Diagnostic`
`src/v2/test/claim/compile_door_ledger_ownership_test.dag`	unbound_name_is_declared_elsewhere `v2.std.node.Symbol`	unbound_name_is_declared_in_several_modules `Present`
`src/v2/test/claim/emit/fold_call_closure_fixture.dag`	unbound_name_is_declared_elsewhere `v2.std.node.Symbol`	reason_unbound_symbol `Node`
`src/v2/test/claim/generated/witness_validity.dag`	unbound_name_is_declared_elsewhere `v2.lens.testgen.testgen_emit_witness_validity_claim`	resolves
`src/v2/test/claim/long/door_real_module_probe_test.dag`	unbound_name_is_declared_elsewhere `v2.std.node.Symbol`	reason_unbound_symbol `Node`
`src/v2/test/claim/long/production_qualification_origin_probe_witness_test.dag`	unbound_name_is_declared_elsewhere `v2.lens.production_qualification_origin_probe.structural_red_control_live_fixture_mint_site_discovered.live_qualified_name`	unbound_name_is_declared_elsewhere `v2.lens.production_qualification_origin_probe.structural_red_control_live_fixture_mint_site_discovered.live_qualified_name`
`src/v2/test/claim/manual/go_add_emit_translate_test.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.go.go_emitted_add_fn_node`	reason_unbound_symbol `TargetModel`
`src/v2/test/claim/manual/go_language_model_anchor.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.go.go_language_model`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.go.go_target_model_node`
`src/v2/test/claim/manual/infer_algebra_ref_grounding_anchor.dag`	unbound_name_is_declared_elsewhere `v2.compiler.infer.algebra_ref_is_grounded`	unbound_name_is_declared_elsewhere `v2.std.node.Symbol`
`src/v2/test/claim/manual/kotlin_language_model_anchor.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.kotlin.kotlin_language_model`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.kotlin.kotlin_target_model_node`
`src/v2/test/claim/manual/lean_language_model_anchor.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.lean.lean_language_model`	resolves
`src/v2/test/claim/manual/llvm_ir_model_core_anchor.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.llvm_ir.llvm_ir_model_core`	resolves
`src/v2/test/claim/manual/machine_code_model_core_anchor.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.machine_code.machine_code_model_core`	resolves
`src/v2/test/claim/manual/qualified_pattern_reconcile_test.dag`	unbound_name_is_declared_elsewhere `std.nat.Nat`	unbound_name_is_declared_elsewhere `std.nat.Nat`
`src/v2/test/claim/manual/rust_language_model_anchor.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.rust.rust_fn_add_language_model`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.rust.rust_target_model_node`
`src/v2/test/claim/manual/swift_language_model_anchor.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.swift.swift_primitive_language_model`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.swift.swift_language_model`
`src/v2/test/claim/manual/typescript_language_model_anchor.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.typescript.ts_fn_add_language_model`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.typescript.ts_inhabitant_bigint_node`
`src/v2/test/claim/nat_semiring/rung_5.dag`	unbound_name_is_declared_elsewhere `v2.test.rung_5_6_common.rung56_emit_vs_eval_run`	unbound_name_is_declared_in_several_modules `String`
`src/v2/test/claim/nat_semiring/rung_6.dag`	unbound_name_is_declared_elsewhere `v2.test.rung_5_6_common.rung56_emit_vs_eval_run`	unbound_name_is_declared_in_several_modules `String`
`src/v2/test/claim/round_trip/source_authority_contract.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.dag.dag_target_model`	unbound_name_is_declared_in_several_modules `Medium`
`src/v2/test/claim/self_host/peano_nat_structural_realization_test.dag`	unbound_name_is_declared_elsewhere `std.nat.Nat`	unbound_name_is_declared_elsewhere `std.nat.Nat`
`src/v2/test/fixture/coproduct_reflection_generic_wrapper.dag`	unbound_name_is_declared_elsewhere `v2.std.node.Symbol`	reason_unbound_symbol `Outcome`
`src/v2/test/fixture/dag_add_fn_round_trip_fixture.dag`	unbound_name_is_declared_elsewhere `v2.std.node.Symbol`	resolves
`src/v2/test/fixture/declaring_identity_spelling/cross_provider.dag`	unbound_name_is_declared_elsewhere `test.fixture.reference_derived_graph.provider.ProvidedMarker`	unbound_name_is_declared_elsewhere `test.fixture.reference_derived_graph.provider.ProvidedMarker`
`src/v2/test/fixture/derivable_coercion_task_id.dag`	unbound_name_is_declared_elsewhere `v2.std.node.Symbol`	reason_unbound_symbol `Node`
`src/v2/test/lens_wiring_liveness/wiring_liveness_test.dag`	unbound_name_is_declared_elsewhere `v2.std.node.Symbol`	reason_unbound_symbol `Node`
`src/v2/test/manual/tm_probe.dag`	unbound_name_is_declared_elsewhere `v2.extdeps.languages.dag.dag_language_model`	reason_unbound_symbol `invariant_port_locus`
`src/v2/test/manual/token_stream_content_hash_witness.dag`	unbound_name_is_declared_elsewhere `v2.std.node.Hash`	reason_unbound_symbol `Token`
`src/v2/workflow/emitted_closure_crate_partition.dag`	unbound_name_is_declared_elsewhere `std.types.Map`	unbound_name_is_declared_in_several_modules `acc`

Remaining (reported, not fixed)

Language-model anchors, 6 files (src/v2/test/claim/manual/{go,kotlin,rust,swift,typescript}_language_model_anchor.dag, infer_algebra_ref_grounding_anchor.dag). Each exposes one more declared_elsewhere name per census pass (a whole-tree pass takes about 40 minutes). They are left at pass 3's frontier as a follow-up rather than guessed from source.
declared_in_several_modules is a §3 fork, not a missing import. The specimen's bare String refuses this way because String has two live declarations, std.string_type and v2.std.text. Sweeping import v2.std.text { String } across files would pick a winner at each site and cement the fork, so none were added. Pass-1 roster (1424 rows, first refusal per file) is below. Declarers come from a scan of top-level fn/type/data/service; "—" means the spelling is a variant arm, a local, or a builtin.

several_modules by name

name	files	top-level declarers (scan of fn/type/data/service)
`String`	583	std.string_type, v2.std.text
`SubstrateInputsOnly`	362	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Plan`	70	gunbc.plan
`List`	44	std.types, v2.std.collection
`ReadsLiveTree`	26	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`acc`	22	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`_`	17	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`count`	14	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`map`	13	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Scaffold`	13	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`length`	13	v2.std.algebra
`Optional`	13	v2.std.optional
`ContentHash`	12	std.content_hash
`shell`	12	extdeps.shell
`Diagnostic`	11	v2.std.diagnostic
`args`	8	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Absent`	8	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`EqualsClaim`	8	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Present`	6	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`all`	6	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Medium`	6	extdeps.communication.medium
`reason`	5	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`fold`	4	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`b`	4	test.claim.fabric.fabric_storage_wire_witness
`Step`	4	extdeps.github.actions
`wanted_subject`	4	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`xs`	4	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`p`	4	gunbc.plans.md_helpers
`RoundTripClaim`	4	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`profile`	4	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`c`	3	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`cause`	3	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`e`	3	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Float`	2	std.float, v2.std.float
`handler`	2	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`CodexRuntimeBundle`	2	gunbc.package_delivery
`Terminal`	2	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Fragment`	2	std.markup
`exclude_substrings`	2	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`items`	2	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`kind`	2	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`verdict_shape`	2	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Digest`	2	extdeps.crypto.hash
`filter`	2	v2.std.algebra
`ok`	2	test.claim.site_uefi_arm64_pxe_edge_witness, test.claim.heal_publisher_provision_witness, test.claim.organization_runner_roster_read_witness, test.claim.machine_intake.mtcollins1_census_medium_readback_witness_test (+1 more)
`sha`	2	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`s`	2	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`SharedArm`	2	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Empty`	2	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Cons`	2	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`idx`	2	v2.test.claim.concept_index_enumeration
`Rejected`	2	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`r`	2	test.claim.fabric.failure_scenario_admission_witness
`Strategy`	1	examples.blackjack.simulation
`Temperature`	1	examples.weather
`disposition`	1	test.claim.spark.spark_oobe_execution_placement_witness
`raw`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`primary`	1	test.claim.repository_convergence_witness_test
`candidate`	1	test.claim.build_selection_witness, test.claim.live_deploy.fleet_request_witness_test, test.claim.fleet_desired_expectation_witness, v2.test.claim.dag_acceptance
`NcclGidByAddressFamily`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Result`	1	std.error_primitives
`Subject`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`a`	1	test.claim.fabric.fabric_storage_wire_witness
`n`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`receipt`	1	test.claim.guarantee_disposition_witness, test.claim.job_admission_witness, test.claim.floor_demand_witness_test, test.claim.floor_cold_build_receipt_witness_test
`pass_marker`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`content`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`blocking`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`redfish`	1	extdeps.bmc.http
`ExitFailure`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`expected_text`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Int`	1	std.integer, v2.std.integer
`zero`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`causes`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`cpu`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`removals`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`CgroupMemoryEvents`	1	gunbc.floor_memory_demand, gunbc.build_cache_instance
`x`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`sp`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`d`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`t`	1	test.claim.pcb_footprint_witness
`modules`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`MachineShape`	1	std.machine_shape
`payload`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`sites`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`message`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`nodes`	1	test.claim.roadmap_authority, test.claim.roadmap_emit
`pr_number`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`BuildRule`	1	gunbc.design.material
`m`	1	test.claim.bounded_nat_witness_test
`stderr`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`h`	1	test.claim.training_observation_cut_witness, test.claim.training_resolution_witness, test.claim.training_reconciliation_witness, test.claim.training_checkpoint_witness (+5 more)
`v`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`f`	1	v2.test.fixture.declaring_identity_spelling.shorter
`generation`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`UnitStatusCaptured`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Refused`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`entries`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Hermetic`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`access`	1	extdeps.access.posix_effective_principal_read_op
`light_a`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`o`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`OnlyArm`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Time`	1	test.fixture.phantom_marker_identity.plain_provider
`ParseTree`	1	v2.std.grammar
`Edge`	1	v2.std.node
`discriminant`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`SubjectEvidence`	1	v2.std.subject_evidence
`golden`	1	v2.test.emit.semantic_decl_emit_substrings_test
`DiagnosticClaim`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`ManualLbeConjDagSurface`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`ManualRefinementNonEmptyListBase`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Job`	1	extdeps.github.actions
`refused`	1	test.claim.guarantee_disposition_witness, test.claim.review_sheet_batch_actuator_witness, test.claim.compute.test_selection_witness_test, test.claim.machine_intake.mtcollins1_census_medium_readback_witness_test (+4 more)
`found`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`LiveReadClassification`	1	v2.std.live_read
`entry`	1	test.claim.dispatch_stop_witness, test.claim.git_worktree_set_decoder_witness, test.claim.realization_selection_witness, test.claim.merge_queue_admission_witness_test (+2 more)
`else_arm`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`JsonNumberIntegerZeroWitness`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`ManualTcConjEmpty`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`CompilesClaim`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`Inputs`	1	v2.compiler.eval
`compared_crate_rust_paths`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)
`value`	1	— (no top-level fn/type/data of this spelling: a variant arm, local, or builtin)

Resolver frontier: local bindings refused as if they were module-level names. declared_elsewhere names a local inside another module (e.g. join → v2.compiler.effect_demand_floor_join.effect_demand_floor_join_digest_text.join), and several_modules also refuses locals (acc ×22, _ ×17, count ×14).
Not this class (plain resolve_reason_unbound_symbol, left): DagSourceReadWitness in 10 files, including src/v2/test/claim/native_census/whole_tree_census_resolve_test.dag, src/v2/test/claim/resolve/namespace_candidate_rule_test.dag and src/v2/test/native_decl_selection_test.dag. Also Outcome (Pkg11c: lower variant and record fields into declared field identities on the native route, and bind match-arm binders #12033 step 2) and Node, which several fixed files now hit as their next wall.
Imports that surfaced latent defects on the required floor (dropped, reported). Both come from main and are outside this class:
- dag/test/claim/network_switch_catalog_witness_test.dag + import std.measure { Bandwidth }. With Bandwidth unbound, rates_contain(rates: List<Bandwidth>, …) had an unchecked parameter type. Binding it makes the check live, and the floor then refuses line 184 (arista_port_group_is_fifty_two_1_10g_sfp_plus passes ….port_inventory.first().data_rates, an Optional<List<Bandwidth>>, where a List is declared). That is a defect in the test's logic, and this PR changes imports only, so the file is left for its owner.
- src/v2/test/claim/compile_door_ledger_ownership_test.dag + import v2.std.node { Symbol }. The floor compiles each touched module as an entry. This module's existing closure reaches v2.lens.reference_deps, which uses Outcome/Accepted bare, and in that closure the floor refuses reference_deps admission_from_module_root (expected 'Primitive(T)', got 'Product(Admission)'). Main's floor never seeds that closure, so the error is latent there. It belongs to the Outcome provider (Pkg11c: lower variant and record fields into declared field identities on the native route, and bind match-arm binders #12033 step 2), not to this class.
  Both come from floor run 35817717033 at 7840cd31f30. Latent type errors from #12114: Optional port groups are matched; reference_deps imports its Outcome #12118 fixes both type errors and carries the Bandwidth and Outcome/Accepted imports, so this PR does not re-add them. compile_door_ledger_ownership_test's Symbol import can follow once Latent type errors from #12114: Optional port groups are matched; reference_deps imports its Outcome #12118 lands.

Recurring failure mode

No new row. gunbc.recurring_failure_mode binding_chosen_by_pool_membership_rather_than_by_the_declared_rule already covers the seed accepting a dropped import (its 2026-09-14 receipt: a dropped import has no authorable red on this frontend). A 2026-09-23 receipt is appended: the native resolver is that red, it names the population per file, and the String half is a fork, not an import.

🤖 Generated with Claude Code

…ve census names Census: emitted SourceRootEvalDriver census-resolve (v1.compiler.emit_rust run_census_resolve) over dag + src/v2. Each import added is the one a resolve_unbound_name_is_declared_elsewhere refusal named. Receipt appended to gunbc.recurring_failure_mode binding_chosen_by_pool_membership_rather_than_by_the_declared_rule. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

…iminating fixture Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

gunbai-bot · 2026-09-23T04:17:08Z

Fixed in 7840cd3: reverted dag/test/fixture/module_graph_edge_source/consumer_bare.dag. review 70376 is right: this fixture is import-free on purpose. It is the reference-only consumer that test.claim.module_graph_edge_source_witness witness_reference_only_dependency_reaches_the_union discriminates on, so an import removes that witness's red (DESIGN §4b(4)). The body now lists it as left: deliberately bare fixture, and the counts are updated (45 imports added in pass 1). I checked the other edited fixtures for the same intent: rust_test_fixtures.dag is explicitly un-stripped to carry imports (its Class B note), and the rest carry no bare-on-purpose markers.

— sent from sleek-cat-104

…this class network_switch_catalog_witness_test: binding Bandwidth makes rates_contain's parameter type live, exposing an Optional passed as a List at the arista test (test logic, not an import). compile_door_ledger_ownership_test: touching it seeds the floor with a closure that reaches v2.lens.reference_deps, whose bare Outcome/Accepted fail typing there (#12033 territory). Both reported in the PR. Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

gunbc-ci-auto-heal and others added 3 commits September 23, 2026 03:49

Merge remote-tracking branch 'origin/main' into session/sleek-cat-104

0cca79f

Keep consumer_bare import-free: it is the reference-only edge's discr…

7840cd3

…iminating fixture Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

gunbai-bot Bot mentioned this pull request Sep 23, 2026

Latent type errors from #12114: Optional port groups are matched; reference_deps imports its Outcome #12118

Merged

gunbai-bot Bot added this pull request to the merge queue Sep 23, 2026

Merged via the queue into main with commit 66cd4e5 Sep 23, 2026
5 checks passed

gunbai-bot Bot deleted the session/sleek-cat-104 branch September 23, 2026 11:26

briansrls restored the session/sleek-cat-104 branch September 23, 2026 11:33

gunbai-bot Bot mentioned this pull request Sep 23, 2026

Explicit imports for bare String/Symbol in v2 test files #12136

Closed

6 tasks

This was referenced Sep 30, 2026

MQ PR2: anonymous record literals elaborate from the authored annotation in resolve's construct-tag writer #12740

Merged

srv3_host_effect_apply: import the ten names it uses bare (witness outside the gate closure stopped resolving) #13275

Merged

Navigation Menu

Repository navigation

Explicit imports for the declared_elsewhere refusals the native resolve census names - #12114

Explicit imports for the declared_elsewhere refusals the native resolve census names#12114
gunbai-bot[bot] merged 4 commits into
mainfrom
session/sleek-cat-104

gunbai-bot Bot commented Sep 23, 2026 •

edited

Loading

Uh oh!

gunbai-bot Bot commented Sep 23, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

0 participants

Conversation

gunbai-bot Bot commented Sep 23, 2026 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Census instrument (re-derivable)

Specimen: each omission refuses on its own

Dispositions of the 85 rows (pass 1)

Before and after, by file × name

Remaining (reported, not fixed)

Recurring failure mode

Uh oh!

gunbai-bot Bot commented Sep 23, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

0 participants

gunbai-bot Bot commented Sep 23, 2026 •

edited

Loading