Declare the imports 77 files already use (transitive-closure bindings made explicit; zero binding change)

[gunbai-bot]

The first of the two PRs quiet-gull-780 ruled for the transitive-pick defect (gunbc.recurring_failure_mode an_import_turns_an_ambiguous_bare_name_into_a_transitive_pick, bold-bat-516). It lands before the declared-scope resolver change, so that change shrinks to readers, leak removal and the old joins.

What it does

It adds, to 77 files, the explicit import for a name each file uses but never imported. Those names reached the file only because an imported module itself imports the declaring module. Each added import names the one declaration the transitive pick already bound: the declarer inside the file's own import closure. Where the file already imported the module, the names were merged into its brace list.

Receipt: zero binding change

Whole corpus: gunbc compile --source-root dag --source-root src/v2 --target dag --repository gunbc --measured-root-demands tools/whole_corpus_compile_measured_root_demands.json, with main's seed, on this tree against its own base (df9cda7). Diagnostics were compared by file and message, positions stripped, because added lines shift them.

• New diagnostics: 0, blocking or advisory.
• Removed: 39 unlisted import use and 2 unlisted variant value use advisories, exactly the warnings a declared import silences.

Where it came from

The census compared main's seed with a seed carrying only the declared-scope change. The declared-scope seed produced 722 new blocking diagnostics. This PR discharges the import-gap part. What remains goes to the transition or to separate lists:

• List-1 readers, not import gaps (about 312): variant Cons/Empty not found in type List persists even with std.algebra { Cons, Empty } imported. The checker re-resolves the alias's variants in the consumer scope, the same class as operand_declaration_of_type on SourceSpan.start: Int. The transition moves those readers to Node.declaration.
• Defects list, two distinct declarations both reachable, so the transitive pick chose one silently:
  • dag/gunbc/instruments/self_host_logic_behavioral_transport.dag BuildFailed: v2.compiler.self_host.promotion_admission versus v2.std.verdict. Not papered over here.
• Not import gaps, left for individual reading (no corpus declaration of the name reachable):
  • split, fold, map, sort_by in dag/extdeps/tools/sha256sum, dag/gunbc/devboot/{build,produce}, dag/gunbc/host/host_hygiene_{liveness,reaper}_observe, dag/gunbc/product/fabric/contention, dag/gunbc/superseded_run_starvation_census, src/v2/compiler/04_infer, src/v2/std/compilers/body_lowering;
  • variants RulesetListed/RulesetUnreadable, MtJadeRev1_0, GoogleCloudInteractiveAuthenticationRequired, DeriveGrammarRelationTokensProgress.

🤖 Generated with Claude Code