v1 census close (C): the Cargo manifest medium as a relation keyed on the package graph, minted renderers joined to the produced seed-link population

[gunbai-bot]

What

Close (C) of the v1 consumer-census completeness program. Stacked on #11018 (B) — it consumes B's producer; the diff against B is the last commit. No new production module.

The relation (gunbc.v1_consumer_census): CargoPathDependency rows keyed on gunbc.stage0_partition_package_graph identities.

• Partition-internal edges and the host-shell edge are derived from the graph's own functions (stage0_partition_package_dependency_names, stage0_host_shell_dependency_names) — never restated.
• Authored rows only where no partition authority renders the manifest: the hand src/v1/tests/Cargo.toml edge, and the minted manifests — emit_copy_qualification_fixture_gen::shard_manifest_text, self_host_curated_seed_linked_harness::cssl_v1_compiled_cargo_deps_block, self_host_logic_behavioral_transport::slb_cargo_toml, and the stale-red control in cssl_seed_linked_closure_assembly's tests — each joined to SeedLinkage (NotASeedEdge | SeedLinkedIntoHandRust | SeedLinkedIntoEmittedCode | SeedBesideEmittedCodeAsOracle), per the addendum.
• Seed edges become CargoManifestDependency consumer rows; a minted-into-emitted-code edge is retained-open on the same closing capability as the shim rows (the emitted crate compiling with no v1-compiler path dependency), so the seed-free lane retires it by identity.

The join, derived not scanned: the Rust renderers are joined in both directions against a produced population — (B)'s observe_rust_references folded under src/v1 with the seed's package name spelled as a Rust literal (v1_seed_link_tokens). A produced site with no row is an Undecided consumer and blocks; a rostered renderer the tree no longer carries is stale and excluded; the behavioral receipt's rlib --extern oracle (ReceiptCrate::v1_compiler, an impl method the vocabulary cannot cite) is rostered by item key under a new medium RustcExternLink with the oracle linkage.

probe_manifest is deliberately not a row (per eager-raven-113): #10988 removes the seed path dependency it minted and this table is authored to that shape. On a pre-#10988 tree the join reports v1_compiler.emitted_closure_compile_host::probe_manifest as an undisposed produced site — that tree's true state, entering the population as an Undecided consumer.

Producer refinement (gunbc.rust_item_host_observation): observe_current_rust_references_under (the dual selection), and a // line is not a reference — the doc comment #10988 leaves above probe_manifest naming the removed edge must not read as a consumer.

Home

The brief named v2.workflow.rust_crate_partition; the package-dependency question already has one authority above it, gunbc.stage0_partition_package_graph (consumed by v1.compiler.stage0_crates and stage0_partition_rebuild_scope, and it carries the host shell the partition cannot name). That module is inside the stage0 compile closure (imported by src/v1/stage0_crates.dag, src/v1/05_emit_rust.dag; mirrored at src/v1/stage0/src/gunbc_stage0_partition_package_graph.rs), so rows about the harnesses that mint manifests around the seed would be emitted into the seed and force a mirror regen. The names are the graph's (imported); the relation is the census's. Reported to the parent before building.

Census after this step (re-run, not transcribed)

v1_blocking_consumer_count → 42 (36 + 4 minted retained-open + 1 oracle uncitable + 1 undisposed pre-#10988 probe_manifest); members 53; state PopulationMeasuredLowerBound. v1_minted_manifest_join on this tree: produced=2 uncitable=1 undisposed=[v1_compiler.emitted_closure_compile_host::probe_manifest] stale=[] unattributed=[].

missing_basis now records what the join does not reach: the three .dag renderers are cited and wall-checked but their join to a produced .dag literal population waits on tools.v1_consumer_discovery (#10939); a minted manifest is only found where the renderer spells the seed's package name as a Rust literal on a non-comment line.

Evidence

• Hermetic (self_host_v1_consumer_census_witness_test): clean join when every rostered site is produced; an unrostered site is an Undecided consumer that blocks; a stale rostered renderer is excluded and the consumer count drops by one; an unrostered uncitable site is undisposed and a comment line is not a site; the relation keys on the graph and only seed edges are consumers.
• Hermetic (rust_item_host_observation_witness_test): a token inside ////// yields no row and no unattributed line.
• Live (_live_witness_test, wet): the join is observed and the two directions this table controls are clean; passes locally with claim_batch --wet.

🤖 Generated with Claude Code

https://claude.ai/code/session_013ML4eiifGFgP18ALPw6inw

[gunbai-bot]

Addressed reviews 63432 and 63450: (1) path_has_prefix and rust_line_is_comment are gone — the producer consumes gunbc.rust_item_scan line_is_attribute_or_comment (exported) and starts_with; (2) the prose now states the predicate's real scope (leading comment/attribute lines only; a trailing or block comment carrying the token is counted and surfaces loudly as an undisposed site), and a new witness arm pins the trailing case; (3) UncitableSeedLinkSite { item_key, detail } replaces the positional [[k, d]] pair and its accessors; (4) RustUseEdge → RustSourceReference (landed on B); (5) v1_seed_link_tokens is now derived by concat over stage0_host_shell_package_name(), and the witness assertion reads the same authority instead of the literal. Merge-forward of B (population read once per question) included.

[gunbai-bot]

Addressed review 63478: the drop row's population now names all five live fns (the seed-link join witness added); the exclusion row and the live witness file name the roster (bin_witness_wet_entries rows for the entry, the drop row's identities) instead of transcribing three/four.

[gunbai-bot]

Addressed review 63507 (on B, merged forward here): a listed path that git.Core.Show cannot read refuses the whole read via head_rust_sources_complete — HeadRustSourcesRefused naming the paths — so it reaches the census as PopulationUnmeasured / V1BlockingUnmeasured rather than a silently smaller population.

[gunbai-bot]

Addressed review 63538: v1_consumer_population() reads HEAD once (v1_current_head_rust_sources) and partitions the sources between the Rust-reference medium (outside the deletion set) and the seed-link medium (under it) by predicate — v1_rust_references_over / v1_seed_link_sites_over take the one HeadRustSources value, so both media are one tree. The single-medium live entries in rust_item_host_observation (observe_current_rust_references, _under, _selected) had no remaining execution consumer and are deleted; prose repointed.

[gunbai-bot]

Addressed review 63684: (1) stale rows (stale_rows, stale_uncitable) now land in the uncitable column as Undecided consumers naming the stale renderer/site — a drifted roster subtracts a consumer row only by adding a blocking one; the witness pins the +1 blocking row beside the -1 consumer row. (2) minted_manifest_join_rendered is consumed by v1_blocking_consumer_count_report, which now renders the join beside the count from the same HEAD read (blocking=42 members=53 | seed-link join: produced=2 uncitable=1 undisposed=[...probe_manifest] stale=[] ... on this tree); seed_linkage_key deleted. (3) docs/design-rung-drops.md regenerated from the current authority (four identities, no stale symbol).

[gunbai-bot]

Same repair as #11018, merged forward (live witness file deleted; drop population re-declared; ledger regenerated), plus review 63745's alias deletion.

[gunbai-bot]

Landing-hold repair: V1UncitableConsumer now carries consumed_old_authority (V1UncitableAuthorityKnown { authority } | V1UncitableAuthorityUnknownToken { token }) and v1_shim_uncitable_absent dedups on v1_uncitable_row_key = item × authority — the census grain — not item + detail. Planted control consumer_census_one_item_naming_two_authorities_is_two_relations (one crate root naming v1_rt and v1_interpreter keeps two rows in both the cited and the uncitable column) sits beside the existing two-lines-one-authority control; mutation control executed (old key reds it). Also carries the review 63834 prose fix (missing_basis states (A)/(B)/(C) at their current standing). Instrument on this tree unchanged: blocking=67 members=84.

[gunbai-bot]

Addressed review 63990: v1_current_rust_references() (unconsumed after the one-HEAD-read refactor) deleted; v1_blocking_consumer_count_report binds the minted-manifest join once and hands it to both v1_consumer_population_with and the renderer.