Census of main-latent refusals found by the #12761 widened subject: every row fixed or dispositioned

[gunbai-bot]

The census deep-ferret-305 asked for after #12761. On 2026-09-30 the widened subject (every admitted module Strict-prepared) refused on 34 blocking diagnostics in 14 files already on main. Fleet run 36751831054 and neat-boar-16's srv1 run agreed exactly, and #12381's run 36763001960 cross-checks 8 of them. Re-measured at main c95f906 with the drop's own instrument (whole-root gunbc compile … --measured-root-demands, neat-boar-16 on srv1: 73 blocking, 53 of them designed probes, std.algebra 0 blocking, the negative control) and per file. Every row is fixed or dispositioned.

file	disposition
bmc_fan_converge, compute_board_spice_projection_witness_test, compute_board_verilog_projection_witness_test, engram_materialization_witness_test, test_code_reference_wall_test	Already fixed on main between the two runs (#12791, #12797 ×3, #12715). Absent from the whole-root run, so the two instruments agree.
floor_preparation_shared_build_witness_test	Fixed: the exhaustive match gains CrossClaimPureProducerWarm, added to the phase type without updating this consumer.
llm_attempt_receipt_witness_test	Fixed: the zero-denominator fraction is declared at TokenThroughput (FieldOfFractions<Nat>) instead of constructed bare at the call argument, where its instantiation was inferred from Int literals.
citation_cit0_witness_test (new in the whole-root run)	Fixed: CitationTarget.selector is declared Selector?, and #12791 made matching an optional directly refuse, so it is unwrapped.
host_converge_delta, keyed_delta_fold_witness_test	Fixed at the root: std_list_keyed_scan_witness_test declared its own KeyedRow beside std.keyed_row's, a nickname fork (DESIGN §3). Renaming it KeyedScanRow clears both readers without touching them.
build_cache_endpoint_path_test	Fixed: an EndpointListening construct in a list literal had no expected type to choose between gunbc.build_cache_endpoint_path's arm and gunbc.spark.serving_incarnation_observe's; qualified.
srv3_os_install_actuate_workflow_witness_test	Fixed: AttemptIdentity is declared by std.scoped_authorization (the brand these casts mean) and by gunbc.runner_microvm_lifecycle (a product); qualified at the six casts.
build_cache_placement_observation_test	Fixed: placement_verdict is declared in two modules; qualified to gunbc.build_cache_provision_verdict, the one returning BuildCacheProvision*.
test/fixture/health_read_only/mutation_probe.dag	Designed refusal, excluded: a floor_prepared_subject_exclusions row, plus test.claim.fleet.health_read_only_fixture_refusal_witness asserting its refusal by class and subject.
srv3_websocat_sequence_witness_test	Not fixed here, on purpose: a seed infer regression. A bare kernel join on a lambda parameter typed by a literal list of call results is "not found in scope". The test is unchanged since #10485, so a checker change broke it. A 17-line repro is with clever-lynx-801 (quiet-gull-780's v1 checker lane), and the row is in the population of the standing drop gunbc.rung_drop.compiler_change_refusals_land_outside_every_compiled_closure. Rewriting the test would hide the checker defect.

Why five of the fixes are qualifications or a rename, not imports. The affected files are importless, so they are on the flat bare channel. A file that declares any import must import every other bare name too (UnimportedBareProvider), so a qualification at the site, or removing the duplicate declaration, is the smallest correct fix.

Controls

• Pool-dependent rows: a probe that pulls each competing declarer into one closure reproduces exactly the whole-root run's 11 errors on the original files, and resolves on the fixed ones. A per-file resolve cannot see these refusals.
• Every claim in every touched file returns true: citation_cit0, all three keyed-scan claims, endpoint, placement, four srv3_os_install claims, llm_attempt_receipt, and the two mutation_probe refusal witnesses.
• Whole-file resolve: both fixed witness files resolve whole at c95f906.

🤖 Generated with Claude Code