Retire the batch-fed witness-cost materialization at the root: three writers and two census rows

dag/gunbc/observation_emit_census.dag

@@ -8,7 +8,7 @@ import std.decl_ref { DeclarationRef, WholeDeclaration }
 
 data observation_emit_census_note: String = "P3 of the progress-and-observation lane: the census wall. Every place the floor emits a progress line today is either a PROJECTION of the observation event stream (migrated, P1/P2) or a COUNTED FRONTIER ROW carrying a reason and a dissolve-on — the same discipline the site subsumption lane uses for unthemed colours. This module is the census authority: the classification is a closed sum, so a site cannot be half-classified, and the roster below names the structured-tag emit families that exist in the seed today. The executable hygiene witness is bidirectional: it reds when a rostered marker vanishes AND when a known live tag family is missing from the roster, so growth after the snapshot cannot silently understate."
 
-data observation_emit_census_sequencing_note: String = "Sequencing, per the operator ruling and live-log review (run 30142403230): tagged migrations landed (floor-memory, gantt, governor, typecheck-attribution, measurement, shell with named-intent subjects; Ambient ShellTrace Suppressed at Normal). Post-census growth tags ([floor-drain], [receipt], [file], #7205's [resolve-split]/[assembly-split], and #7284's [witness-row-cost]) are CountedFrontierSite rows so the roster cannot silently understate. [gate-warm-cost] and [witness-row-cost-drift] were rows here until 2026-08-11, when their raw emits were deleted outright rather than migrated — see observation_emit_roster_completeness_note for why that is not two families of progress. Unmarked raw eprintln residue in claim_executor remains counted separately."
+data observation_emit_census_sequencing_note: String = "Sequencing, per the operator ruling and live-log review (run 30142403230): tagged migrations landed (floor-memory, gantt, governor, typecheck-attribution, measurement, shell with named-intent subjects; Ambient ShellTrace Suppressed at Normal). Post-census growth tags ([floor-drain], [receipt], [file], and #7205's [resolve-split]/[assembly-split]) are CountedFrontierSite rows so the roster cannot silently understate. [gate-warm-cost] and [witness-row-cost-drift] were rows here until 2026-08-11, and #7284's [witness-row-cost] and [witness-row-cost-migration-disclosure] until 2026-08-22, each leaving when its raw emit was deleted outright rather than migrated — see observation_emit_roster_completeness_note for why that is not two families of progress. Unmarked raw eprintln residue in claim_executor remains counted separately."
 
 type EmitSiteDisposition
   = MigratedToObservation { via: NonEmptyStr }
@@ -128,22 +128,11 @@ data witness_row_cost_site: CensusedEmitSite = CensusedEmitSite {
   marker: "[witness-row-cost]" as NonEmptyStr,
   source_file: "src/v1/stage0/src/bin/claim_executor.rs" as NonEmptyStr,
   disposition: CountedFrontierSite {
-    reason: "falsifier-cadence per-witness cost TSV probe lines (#7284 / placement #5 spine) — complete join projection of the ObservationEvent N+1 stream mirrored to the cadence log for task #20 reproduction; per-PR keeps the complete TSV file and summary line, still a raw tag family" as NonEmptyStr,
-    dissolution: unbound_dissolution(description: "fold the TSV emit into ObservationEvent-native emission (N+1 stream) and retire the bracket tag; TSV remains a complete join projection of the same events")
+    reason: "the surviving [witness-row-cost] emit, and its reason is REWRITTEN rather than carried over because what emits under this tag changed underneath it on 2026-08-22. The batch-fed cost TSV probe this row used to describe is deleted at the root, together with the drift and migration-disclosure siblings. What still emits is the refusal line in claim_executor discovery_claim_result, on the live path with production callers -- so the tag family exists in the seed and the bidirectional rule requires a roster row for it, while the population it names is now one refusal rather than a per-witness join projection" as NonEmptyStr,
+    dissolution: unbound_dissolution(description: "the refusal speaks the observation vocabulary as a typed ObservationEvent rather than a bracket-tagged eprintln, at which point the tag retires with it")
   }
 }
 
-
-data witness_row_cost_migration_disclosure_site: CensusedEmitSite = CensusedEmitSite {
-  marker: "[witness-row-cost-migration-disclosure]" as NonEmptyStr,
-  source_file: "src/v1/stage0/src/bin/claim_executor.rs" as NonEmptyStr,
-  disposition: CountedFrontierSite {
-    reason: "falsifier-cadence mandatory-migration disclosure lines (gunbc.witness_row_cost's migration threshold gate) — the per-row verdict body is cadence-scoped exactly as witness_row_cost_site/witness_row_cost_drift_site are, and the per-PR floor keeps only the worst-5 rows plus the [receipt] summary naming the TSV; still a raw tag family. DESCRIPTION CORRECTED: this row previously read 'per-floor-pass ... per-row verdict plus a worst-5 summary', which described the pre-#8126 behavior where all 8,614 rows printed on every floor run; the row was not updated when the emit was gated, so the census described a cadence the seed no longer had" as NonEmptyStr,
-    dissolution: unbound_dissolution(description: "fold into ObservationEvent-native emission once the disclosure speaks the observation vocabulary, same trigger as witness_row_cost_site/witness_row_cost_drift_site")
-  }
-}
-
-
 data observation_emit_roster: List<CensusedEmitSite> = [
   floor_memory_site,
   typecheck_attribution_site,
@@ -157,8 +146,7 @@ data observation_emit_roster: List<CensusedEmitSite> = [
   file_trace_site,
   resolve_split_site,
   assembly_split_site,
-  witness_row_cost_site,
-  witness_row_cost_migration_disclosure_site
+  witness_row_cost_site
 ]
 
 data observation_emit_roster_completeness_disposition: Disposition = Scaffold {
@@ -170,7 +158,7 @@ data observation_emit_roster_completeness_disposition: Disposition = Scaffold {
   }
 }
 
-data observation_emit_roster_completeness_note: String = "Roster is bidirectional: every rostered marker must still exist in the seed, AND every known live tag family born after the initial snapshot must appear on the roster (operator finding 3, run 30142403230). Frontier count = 8 (floor-drain, receipt, file, resolve-split, assembly-split, witness-row-cost, witness-row-cost-migration-disclosure, selection-degradation). Eight families MigratedToObservation (floor-memory, gantt, governor, typecheck-attribution, measurement, shell, witness-claim-result, witness-budget-warn). RETIRED BY DELETION 2026-08-11, and the distinction matters: gate-warm-cost, witness-row-cost-drift and compile-clean-cost-drift left this roster because their raw emits were DELETED from the seed, not because they migrated to the observation vocabulary. There is no roster arm for that, and there should not be one — the census rosters emit sites that exist, so a site with no emit is simply absent. What replaced them is the floor-receipts artifact plus each receipt's [receipt] summary line, and [receipt] is itself still a counted frontier family on this roster, so the debt those three represented did not vanish, it CONSOLIDATED into a row that is still counted. Reading 10 -> 8 as two families' worth of progress would overstate it; the honest reading is that three raw TSV mirrors stopped existing and one already-counted summary family absorbed their role. The unmarked eprintln sites remain the per-print completeness scaffold."
+data observation_emit_roster_completeness_note: String = "Roster is bidirectional: every rostered marker must still exist in the seed, AND every known live tag family born after the initial snapshot must appear on the roster (operator finding 3, run 30142403230). The frontier families are floor-drain, receipt, file, resolve-split, assembly-split and witness-row-cost. THE COUNT IS DELIBERATELY NOT WRITTEN HERE: observation_emit_frontier_count folds the roster, so it is the only authority for how many there are, and a number recited beside an enumeration is a second account of a population this module already computes. TWO CORRECTIONS LANDED HERE ON 2026-08-22, in opposite directions, and both are recorded because each was nearly made worse by the other. The recital that stood here said 8 and named witness-row-cost-migration-disclosure among the live families; that one is genuinely gone, its emit deleted at the root with the batch-fed materialization. But this note ALSO named selection-degradation, which has no emit in the seed and has never been on this roster -- so the enumeration overstated by a family that never existed while the count beside it was computed from rows that did, and the two errors partially cancelled. AND witness-row-cost was removed from this roster in that same change on the premise that its marker was gone; it is not. A live eprintln survives in claim_executor discovery_claim_result on a path with production callers, so removing the row broke the bidirectional rule this very sentence states -- a live tag family absent from the roster. The row is restored above with a rewritten reason. What makes this worth recording rather than quietly fixing: the removal was reviewed, the review agreed the marker was gone, and NOTHING WOULD HAVE CAUGHT IT, because the hand-maintained bidirectional conjunction that covers this tag was deleted in the same diff. Correcting the prose to match the roster would have cemented the defect instead of exposing it -- the census's own hygiene depends on a check that a prose-consistency pass can silently remove. Eight families MigratedToObservation (floor-memory, gantt, governor, typecheck-attribution, measurement, shell, witness-claim-result, witness-budget-warn). RETIRED BY DELETION 2026-08-11, and the distinction matters: gate-warm-cost, witness-row-cost-drift and compile-clean-cost-drift left this roster because their raw emits were DELETED from the seed, not because they migrated to the observation vocabulary. There is no roster arm for that, and there should not be one — the census rosters emit sites that exist, so a site with no emit is simply absent. What replaced them is the floor-receipts artifact plus each receipt's [receipt] summary line, and [receipt] is itself still a counted frontier family on this roster, so the debt those three represented did not vanish, it CONSOLIDATED into a row that is still counted. Reading 10 -> 8 as two families' worth of progress would overstate it; the honest reading is that three raw TSV mirrors stopped existing and one already-counted summary family absorbed their role. The unmarked eprintln sites remain the per-print completeness scaffold."
 
 fn emit_site_is_frontier(site: CensusedEmitSite) -> Bool {
   match site.disposition {