test umbrella dissolution: corpus sweep B (src/v2 + orphan wire)

dag/gunbc/ci_layer_roots.dag

@@ -492,7 +492,7 @@ data witness_exclusion_frontier: List<WitnessExclusionRow> = [
   },
   WitnessExclusionRow {
     pattern: "expectation_frontier_witness_test.dag",
-    classification: BinWitnessWet,
+    classification: FalsifierRehomedBinWet,
     reason: excl_expectation_frontier_reason,
     dissolve_on: excl_expectation_frontier_dissolve
   },
@@ -748,9 +748,9 @@ fn bin_wet(entry: String, f: String) -> ScheduleWitnessEntry {
   ScheduleWitnessEntry { entry: entry, function: f, kind: ExecutionWitnessKind }
 }
 
-data excl_no_fake_anomalies_reason: String = "The expectation-backfill WALL spawns claim_batch as a child process to read a passing corpus's own stderr, so it is Wet BY CONSTRUCTION — its whole subject is what the observation layer prints, which only exists when the effects really run. The Hermetic discovery corpus refuses it exactly as install_media_real_execution_wet_note describes ('no mock_response for operation Run — refusing to fabricate Unit'), and that refusal is correct: a mocked child emits no real observation stream, so a hermetic version of this witness could only ever pass vacuously. Measured walls on CI run 30212463696 (~91s green / ~93s RED while cargo was still in the child path) blew FLOOR-BATCH-OVER-BUDGET on the per-PR wet batch; after the RED re-point to cheap /bin/false the RED leg is ~49s (under the 60s per-row budget) but stays paired with the still-over-budget green sibling on falsifier_rehomed_bin_wet_rows (FalsifierRehomedBinWet) rather than BinWitnessWet."
+data excl_no_fake_anomalies_reason: String = "The expectation-backfill WALL spawns claim_batch as a child process to read a passing corpus's own stderr, so it is Wet BY CONSTRUCTION — its whole subject is what the observation layer prints, which only exists when the effects really run. The Hermetic discovery corpus refuses it exactly as install_media_real_execution_wet_note describes ('no mock_response for operation Run — refusing to fabricate Unit'), and that refusal is correct: a mocked child emits no real observation stream, so a hermetic version of this witness could only ever pass vacuously. Landed into hermetic discovery by filename convention on first authoring (run 30178544618 @ b2411f0, batch 3) and re-homed to BinWitnessWet; then D6-rehomed to FalsifierRehomedBinWet (run 30220304152: ~85–90s/row vs bin_witness_wet_per_row_wall_budget_seconds=60, batch-4 FLOOR-BATCH-OVER-BUDGET)."
 
-data excl_expectation_frontier_reason: String = "Reads the [expectation-frontier] receipt out of a real child run's stderr, so it is Wet BY CONSTRUCTION for the same reason the anomaly wall beside it is: the receipt only exists when effects actually dispatch, and a hermetic child emits no real observation stream, so a mocked version could only pass vacuously. Sibling mechanism, same lane, deliberately not a forked one (DESIGN §3)."
+data excl_expectation_frontier_reason: String = "Reads the [expectation-frontier] receipt out of a real child run's stderr, so it is Wet BY CONSTRUCTION for the same reason the anomaly wall beside it is: the receipt only exists when effects actually dispatch, and a hermetic child emits no real observation stream, so a mocked version could only pass vacuously. Sibling mechanism, same lane, deliberately not a forked one (DESIGN §3). D6-rehomed to FalsifierRehomedBinWet with its anomaly sibling (run 30220304152: ~89–136s/row vs the 60s per-row budget)."
 
 data excl_expectation_frontier_dissolve: String = "fires with the UntracedDefault arm itself: when the counted frontier reaches zero corpus-wide, an undeclared expectation becomes a hard typed refusal at the dispatch boundary, the receipt has nothing left to report, and this witness plus these rows delete together. Until then the frontier is the thing being shrunk, so the receipt that measures it must keep executing."
 
@@ -759,8 +759,6 @@ data excl_no_fake_anomalies_dissolve: String = "paired with falsifier_rehomed_bi
 data install_media_real_execution_wet_note: String = "The four srv3_install_media_fetch_real_execution_witness_test.dag / srv3_seeded_install_media_real_execution_witness_test.dag entries at the tail of bin_witness_wet_entries below share this lane with the bin-execution witnesses (same RunnableDiscoveryBatch Wet mechanism, not a forked one - DESIGN §3) though they are not bin-execution: they drive real shell.Mktemp.Dir/Filesystem.Write/shell.Remove.RecursiveForce effects that dag/extdeps/shell/shell.dag has no mock_response for (only shell.Exec.Run/Check do), so the Hermetic discovery corpus refuses them by construction (typed 'no mock_response for operation Dir' error). Split out of their parent files (shell-to-dag B1, 2026-07-14) so the parent files' pure classification witnesses keep hermetic per-PR discovery undiminished. Dissolve-on: shell.dag's file-effect operations gain mock_response coverage AND these fns' assertions are re-checked for correctness under a fixed mock (some assert behavior-dependent outcomes, e.g. matched == false on a wrong hash, which a naive fixed mock would falsify) - then they re-enroll as ordinary hermetic discovery rows and these rows delete."
 
 data bin_witness_wet_entries: List<ScheduleWitnessEntry> = [
-  bin_wet(entry: "dag/test/claim/expectation_frontier_witness_test.dag", f: "undeclared_effects_emit_the_frontier_receipt_holds"),
-  bin_wet(entry: "dag/test/claim/expectation_frontier_witness_test.dag", f: "fully_declared_effects_emit_no_frontier_receipt_holds"),
   bin_wet(entry: "dag/test/claim/dag_collect_fingerprint_witness_test.dag", f: "dag_collect_fingerprint_witness_keystone_holds"),
   bin_wet(entry: "dag/test/claim/dag_compile_clean_perturb_receipts_test.dag", f: "perturb_optional_skew_fixture_red_holds"),
   bin_wet(entry: "dag/test/claim/dag_compile_clean_perturb_receipts_test.dag", f: "perturb_unresolved_import_fixture_red_holds"),
@@ -859,17 +857,29 @@ data falsifier_rehomed_bin_wet_rows: List<RehomedBinWetRow> = [
     reason: "Class C corpus-totality claim (docs/plans/test-decomposition-wcf-cut.md §5, criterion 2, session bright-newt-31 2026-07-25): shells out git.Core.Toplevel + shell.Find.Files over the whole live tree to prove the shard roster is total against the real corpus (~15s) — the claim is legitimately corpus-grain, not shrinkable, since the whole point is whether the REAL tree's partition is still total. The mechanism (orphan/duplicate/surplus verdict algebra) is proven per-PR on synthetic glob results by compile_clean_shard_totality_algebra_holds, which stays per-PR",
     dissolve_on: "re-priced only if the shard partition boundary itself changes shape enough that a fixture can stand in for the real tree without losing coverage — until then this is the honest corpus-grain residue, not a defect"
   },
+  RehomedBinWetRow {
+    entry: "dag/test/claim/expectation_frontier_witness_test.dag",
+    function: "undeclared_effects_emit_the_frontier_receipt_holds",
+    reason: "135556ms measured eval on run 30220304152 (2.3x bin_witness_wet_per_row_wall_budget_seconds): child claim_batch read of a real [expectation-frontier] receipt. Sibling fully_declared arm is the same cost class; together they were ~224s of the batch-4 wall that blew FLOOR-BATCH-OVER-BUDGET (wall_ms=589718 vs clamp_ms=540000) once a broad-diff PR selected the full ExecutionWitnessKind first corpus",
+    dissolve_on: "child-run receipt read lands under bin_witness_wet_per_row_wall_budget_seconds on a measured run — then re-enroll per-PR consciously, or keep on falsifier cadence if the wall stays corpus-grain"
+  },
+  RehomedBinWetRow {
+    entry: "dag/test/claim/expectation_frontier_witness_test.dag",
+    function: "fully_declared_effects_emit_no_frontier_receipt_holds",
+    reason: "88779ms measured eval on run 30220304152 (1.5x the per-row budget): complementary pole of undeclared_effects_emit_the_frontier_receipt_holds — same child-run receipt subject, re-homed with its sibling so the pair stays together on one cadence",
+    dissolve_on: "fires with undeclared_effects_emit_the_frontier_receipt_holds dissolve_on (same file, same mechanism)"
+  },
   RehomedBinWetRow {
     entry: "dag/test/claim/no_fake_anomalies_witness_test.dag",
     function: "passing_run_shows_no_fake_anomaly_holds",
-    reason: "91497ms measured wall on CI run 30212463696 @ 4883541 (~1.5x bin_witness_wet_per_row_wall_budget_seconds): spawns a cold claim_batch child to read a real observation stream — irreducible Wet cost of the anomaly-glyph wall, not shrinkable without losing the subject. Together with its RED sibling it blew FLOOR-BATCH-OVER-BUDGET on the per-PR wet batch (wall_ms=600540 clamp_ms=540000)",
-    dissolve_on: "the wall gains a cheaper discrimination that still reads a real rendered stream under the per-row budget on a measured run — then re-enroll per-PR; until then falsifier cadence owns the coverage"
+    reason: "89722ms measured eval on run 30220304152 (1.5x the per-row budget): child claim_batch stderr glyph scan. With its RED-control sibling (~85s) this pair was ~174s of the same batch-4 over-budget wall",
+    dissolve_on: "child-run glyph scan lands under bin_witness_wet_per_row_wall_budget_seconds on a measured run — then re-enroll per-PR consciously; wall stays Wet as long as the anomaly-glyph mechanism exists (excl_no_fake_anomalies_dissolve)"
   },
   RehomedBinWetRow {
     entry: "dag/test/claim/no_fake_anomalies_witness_test.dag",
     function: "red_control_entry_with_real_anomaly_still_shows_glyph_holds",
-    reason: "93069ms measured wall on CI run 30212463696 @ 4883541 (when the child still ran cargo) / ~49s after the child was re-pointed at cheap unannotated /bin/false — under the 60s per-row budget on that cheap path, but stays falsifier-rehomed with its green sibling (passing_run_shows_no_fake_anomaly_holds remains ~91s / ~1.5x). Residual cost is the cold claim_batch child resolve, not the failing effect. Sibling of passing_run_shows_no_fake_anomaly_holds; both leave the per-PR wet batch together",
-    dissolve_on: "paired with passing_run_shows_no_fake_anomaly_holds — re-enroll per-PR only when that sibling's dissolve_on fires"
+    reason: "84785ms measured eval on run 30220304152 (1.4x the per-row budget): RED-control pole of passing_run_shows_no_fake_anomaly_holds — re-homed with its sibling so the discriminating pair stays together",
+    dissolve_on: "fires with passing_run_shows_no_fake_anomaly_holds dissolve_on (same file, same mechanism)"
   }
 ]
 
@@ -953,6 +963,18 @@ data falsifier_substrate_long_lane_rows: List<SubstrateLongLaneRow> = [
     reason: "Class C live-grain row (edit-locus provenance producer ×3 family): malformed-source refusal through parse pipeline exceeds per-PR 5s budget. Renamed off the imported fn's own name 2026-07-26 — the same-name wrapper self-recursed instead of delegating (edit_locus_source_provenance_wrapper_shadowing_note); the row had never executed",
     dissolve_on: "eval lands under gunbc_ci_fast_lane_witness_eval_budget on a measured run and re-enrolls per-PR discovery, or deletes as duplicate of a faster receipt"
   },
+  SubstrateLongLaneRow {
+    entry: "src/v2/test/claim/long/edit_locus_source_provenance_witness_test.dag",
+    function: "lens_edit_locus_source_provenance_producer_holds",
+    reason: "Class C live-grain edit-locus provenance producer (review 43557): was if-false-pinned in the lens module; now a real long/ wrapper on the substrate long lane with its siblings",
+    dissolve_on: "eval lands under gunbc_ci_fast_lane_witness_eval_budget on a measured run and re-enrolls per-PR discovery, or deletes as duplicate of a faster receipt"
+  },
+  SubstrateLongLaneRow {
+    entry: "src/v2/test/claim/long/edit_locus_source_provenance_witness_test.dag",
+    function: "lens_edit_locus_source_provenance_parse_root_span_holds",
+    reason: "Class C live-grain edit-locus parse-root-span pole (review 43557); pair with producer_holds",
+    dissolve_on: "eval lands under gunbc_ci_fast_lane_witness_eval_budget on a measured run and re-enrolls per-PR discovery, or deletes as duplicate of a faster receipt"
+  },
   SubstrateLongLaneRow {
     entry: "src/v2/test/claim/long/fallback_arm_census_witness_test.dag",
     function: "fallback_arm_census_reconciliation_holds",

dag/gunbc/commit_workflow.dag

@@ -155,10 +155,14 @@ data commit_gate_roster: List<CommitCheckEnrollment> = [
     check: CommitWitnessClaim {
       entry: "src/v2/test/claim/long/parse_table_memo_governed_witness_test.dag",
       check_fns: [
-        "parse_table_memo_governed_store_refused_when_recompute",
+        "witness_materialization_gate_recompute_denies_store",
+        "witness_recompute_fixture_carries_recompute_verdict",
+        "witness_door_insert_refused_for_recompute_table",
+        "witness_door_lookup_refused_for_recompute_table",
+        "parse_table_memo_door_order_independent",
         "parse_table_memo_bypass_store_reds",
-        "parse_table_memo_governed_memoize_allows_store",
-        "parse_table_memo_door_order_independent"
+        "witness_memoize_carrier_allows_store",
+        "witness_content_key_subject_stable"
       ],
       kind: CorpusWitnessKind,
       span: SpanUndeclared
@@ -339,7 +343,10 @@ data commit_gate_roster: List<CommitCheckEnrollment> = [
   CommitCheckEnrollment {
     check: CommitWitnessClaim {
       entry: "src/v2/test/claim/execution/emit_host_native_only_verdict_test.dag",
-      check_fns: ["emit_host_native_only_verdict_mock_all_holds"],
+      check_fns: [
+        "emit_host_native_only_verdict_stdout_match_mock_holds",
+        "emit_host_native_only_verdict_stdout_mismatch_mock_holds"
+      ],
       kind: ExecutionWitnessKind,
       span: SpanUndeclared
     },
@@ -348,7 +355,12 @@ data commit_gate_roster: List<CommitCheckEnrollment> = [
   CommitCheckEnrollment {
     check: CommitWitnessClaim {
       entry: "src/v2/test/claim/execution/emit_host_classical_not_ingested_equals_eval_test.dag",
-      check_fns: ["ingested_classical_not_emit_mock_shape_all_holds"],
+      check_fns: [
+        "ingested_classical_not_resolves_holds",
+        "ingested_classical_not_arrow_has_match_holds",
+        "ingested_classical_not_emit_octet_bridge_shape_holds",
+        "ingested_classical_not_emit_source_arm_shape_holds"
+      ],
       kind: ExecutionWitnessKind,
       span: SpanUndeclared
     },
@@ -431,7 +443,7 @@ data commit_gate_roster: List<CommitCheckEnrollment> = [
   CommitCheckEnrollment {
     check: CommitWitnessClaim {
       entry: "src/v2/test/claim/host_language_transport_script/corpus/facts_readback_verdict_perturb_test.dag",
-      check_fns: ["transport_script_facts_readback_verdict_perturb_witness"],
+      check_fns: [],
       kind: CorpusWitnessKind,
       span: SpanUndeclared
     },
@@ -561,7 +573,8 @@ data commit_gate_roster: List<CommitCheckEnrollment> = [
     check: CommitWitnessClaim {
       entry: "src/v2/test/claim/long/gauntlet_lane_enrollment_witness_test.dag",
       check_fns: [
-        "gauntlet_lane_rehomed_rows_are_cadence_enrolled_holds",
+        "witness_rehomed_rows_are_cadence_enrolled",
+        "witness_split_entries_keep_cheap_half_per_pr",
         "gauntlet_lane_rehome_is_never_bare_deenrollment_holds",
         "gauntlet_lane_rehome_bare_deenrollment_RED_control_holds",
         "gauntlet_lane_gate_rehome_is_never_bare_deenrollment_holds",

dag/gunbc/test_module_hygiene_scaffold.dag

@@ -0,0 +1,38 @@
+module gunbc.test_module_hygiene_scaffold
+
+import std.disposition { Disposition, Scaffold, SingleAuthority }
+import std.decl_ref { DeclarationRef, WholeDeclaration }
+import std.types { String }
+
+data test_module_hygiene_orphan_gate_scaffold: Disposition = Scaffold {
+  dissolves_to: SingleAuthority,
+  bind: DeclarationRef {
+    module_path: "v1_compiler.test_module_hygiene",
+    decl_name: "TEST_MODULE_HYGIENE_ORPHAN_GATE_SCAFFOLD_MARKER",
+    field: WholeDeclaration
+  }
+}
+
+data test_module_hygiene_orphan_gate_dissolve_trigger: String = "🟡 dissolve-on: test_module_hygiene — U1/U2/U3 seed-retained host (umbrella roster, orphan enroll-or-refuse, file-grain expand); DISSOLVES WHEN the hygiene fold is expressed in .dag and src/v1/stage0/src/test_module_hygiene.rs deletes from HAND_MAINTAINED_STAGE0_FILES (ROADMAP §1 checkbox drain the HAND_MAINTAINED queue — gunbc.roadmap_authority ticket 5-dissolve-patches; v1_deletion_plan milestone hand_queue_drain). Discriminating receipt: the unit RED plants named below (not a marker-count rg)."
+
+data test_module_hygiene_orphan_gate_receipt_lane_deferral: String = "ROADMAP §1 drain the HAND_MAINTAINED queue (gunbc.roadmap_authority ticket 5-dissolve-patches; ROADMAP.md line under §1 Get off v1) / DESIGN §7 hand-Rust shrink-to-zero — test_module_hygiene.rs is already on HAND_MAINTAINED_STAGE0_FILES; explicit interim lane deferral (review 43601), not unmarked workaround"
+
+data test_module_hygiene_orphan_gate_receipt_plan_anchor: String = "dag/gunbc/v1_deletion_plan.dag ^hand_queue_drain"
+
+data test_module_hygiene_orphan_gate_test_discriminator_demotion: String = "zero_enrolled_plain_helpers_refuse_demotion"
+
+data test_module_hygiene_orphan_gate_test_discriminator_fixture_allowlist: String = "cross_module_export_roster_seeds_named_plain_not_whole_file"
+
+data test_module_hygiene_orphan_gate_test_discriminator_directory_bypass_refused: String = "directory_prefix_alone_does_not_exempt_zero_enrolled_plains"
+
+data test_module_hygiene_orphan_gate_test_discriminator_export_roster_no_whole_file_green: String = "cross_module_export_roster_alone_does_not_green_empty_file"
+
+data test_module_hygiene_orphan_gate_test_discriminator_unparsable_refuse: String = "orphan_collect_refuses_unparsable_test_dag"
+
+data test_module_hygiene_orphan_gate_test_discriminator_test_data: String = "test_data_only_module_still_orphans_unreachable_plains"
+
+data test_module_hygiene_orphan_gate_test_discriminator_plain_data_not_enrollment: String = "plain_data_alone_does_not_enroll_demoted_holds"
+
+data test_module_hygiene_orphan_gate_test_discriminator_dead_plain_data: String = "unrelated_test_plus_dead_plain_data_does_not_enroll"
+
+data test_module_hygiene_orphan_gate_test_discriminator_plain_data_chain: String = "plain_data_reached_from_test_data_still_covers_helpers"

dag/test/claim/builtin_get_resolver_test.dag

@@ -2,21 +2,21 @@ module test.claim.builtin_get_resolver
 
 data live_tree_disposition: LiveTreeDisposition = SubstrateInputsOnly
 
-fn witness_get_in_bounds_returns_element() -> Bool {
+test fn witness_get_in_bounds_returns_element() -> Bool {
   match get(xs: [10, 20, 30], index: 1) {
     Present { value: v } => v == 20
     Absent => false
   }
 }
 
-fn witness_get_out_of_bounds_is_absent() -> Bool {
+test fn witness_get_out_of_bounds_is_absent() -> Bool {
   match get(xs: [10, 20, 30], index: 7) {
     Present { value: _ } => false
     Absent => true
   }
 }
 
-fn witness_get_negative_index_is_absent() -> Bool {
+test fn witness_get_negative_index_is_absent() -> Bool {
   match get(xs: [10, 20, 30], index: 0 - 1) {
     Present { value: _ } => false
     Absent => true