The last two files blocking required-regen, and the nine seed oracles no behavioral receipt can link without

dag/gunbc/stage0_crate_layout_generated.dag

@@ -4,7 +4,7 @@ import std.types { List, String }
 
 data stage0_crate_layout_generated_note: String = "Generated by gunbc stage0_crate_layout_emit — do not hand-edit. Authority: v2.compiler.self_host.stage0_crate_layout; regen via dag/tools/generated_artifact_gate.dag main_wet."
 
-data generated_pub_mod_block: String = "\n#[macro_use]\npub mod v1_interpreter_dispatch_generated;\npub mod v1_interpreter;\npub mod cli_run;\npub mod codex_app_server_stdio_session;\npub mod coproduct_reflection;\npub mod data_initializer_identity;\npub mod resolved_graph_cache;\npub mod shared_typecheck_store;\npub mod recorded_fixture;\npub mod derived_realization_schedule;\npub mod v1_compiler_expected_red_roster_join;\npub mod memory_governor;\npub mod module_path_index;\npub mod usv_pilot_v2_std_algebra;\npub mod usv_pilot_v2_std_collection;\npub mod usv_pilot_v2_std_node;\npub mod v2_compiler_resolve;\npub mod v2_compiler_program_partition;\npub mod v2_compiler_tokenize;\npub mod v2_compiler_infer;"
+data generated_pub_mod_block: String = "\n#[macro_use]\npub mod v1_interpreter_dispatch_generated;\npub mod v1_interpreter;\npub mod cli_run;\npub mod codex_app_server_stdio_session;\npub mod coproduct_reflection;\npub mod data_initializer_identity;\npub mod resolved_graph_cache;\npub mod shared_typecheck_store;\npub mod recorded_fixture;\npub mod derived_realization_schedule;\npub mod v1_compiler_expected_red_roster_join;\npub mod memory_governor;\npub mod module_path_index;\npub mod v2_compiler_body_producer;\npub mod v2_compiler_normalize;\npub mod v2_compiler_target_carriers;\npub mod v2_compiler_discovery_enumeration;\npub mod v2_compiler_parse_engine_hooks;\npub mod v2_compiler_use_site_verdict;\npub mod v2_compiler_compile;\npub mod v2_compiler_program_assembly;\npub mod v2_compiler_source_authority;\npub mod usv_pilot_v2_std_algebra;\npub mod usv_pilot_v2_std_collection;\npub mod usv_pilot_v2_std_node;\npub mod v2_compiler_resolve;\npub mod v2_compiler_program_partition;\npub mod v2_compiler_tokenize;\npub mod v2_compiler_infer;"
 
 data generated_pub_mod_basenames: List<String> = [
   "v1_interpreter",
@@ -19,6 +19,15 @@ data generated_pub_mod_basenames: List<String> = [
   "v1_compiler_expected_red_roster_join",
   "memory_governor",
   "module_path_index",
+  "v2_compiler_body_producer",
+  "v2_compiler_normalize",
+  "v2_compiler_target_carriers",
+  "v2_compiler_discovery_enumeration",
+  "v2_compiler_parse_engine_hooks",
+  "v2_compiler_use_site_verdict",
+  "v2_compiler_compile",
+  "v2_compiler_program_assembly",
+  "v2_compiler_source_authority",
   "usv_pilot_v2_std_algebra",
   "usv_pilot_v2_std_collection",
   "usv_pilot_v2_std_node",

dag/gunbc/stage0_emit_plan_generated.dag

@@ -2,7 +2,28 @@ module gunbc.stage0_emit_plan_generated
 
 import std.types { List, String }
 
-data stage0_emit_plan_generated_note: String = "Generated projection — do not hand-edit. Authority: gunbc.stage0_emit_plan over parse-derived regen source identities. DECLARED SCAFFOLD supply; dissolve-on: generated_artifact_gate accepts v2.compiler.source_authority.ModuleStorageIndex, then the host supply deletes. Regen via dag/tools/generated_artifact_gate.dag main_wet."
+// THIS PROJECTION HAS NO PRODUCER, and the note below asserted one until 2026-08-20. Its named
+// authority `gunbc.stage0_emit_plan` is DELETED -- `gunbc.generated_projection_paths` records the
+// deletion in its own header ("One source remains after the stage0_emit_plan deletion") -- and
+// `gunbc.roster_registry` still registers this roster `ByDerivation` from that dead module. So
+// "regenerate via generated_artifact_gate main_wet" is false: main_wet leaves this file untouched,
+// which is why two rows here survived the disappearance of the thing they describe.
+//
+// THE TWO ROWS REMOVED. `gunbc_namespace_reference_derived_closure_{admission,contract}.rs` were
+// listed here as generated stage0 files and declared in the seed's lib.rs, but their `.dag`
+// authorities under dag/gunbc are no longer reachable from the src/v1 import closure, so the emit
+// has not produced them for some time and no Rust in the crate referenced them. They were the last
+// two names in `--required-regen`'s population refusal. The removal is verified rather than
+// asserted: with the two files deleted, the emitted lib.rs and the committed lib.rs differ by
+// exactly the two `pub mod` lines this change also deletes and by nothing else (measured, remote
+// runner, this branch) -- so the committed seed converges ONTO its authority's output here.
+//
+// EDITING A GENERATED FILE BY HAND IS NORMALLY THE ONE UNHEALABLE DRIFT CLASS, and this is stated
+// rather than quietly done: with the generator deleted, this file is de facto hand-maintained and
+// has been since that deletion. The honest repair is to restore a producer or to reclassify the
+// roster, and neither is this change's subject; what this change refuses to do is leave a roster
+// naming files that do not exist so that regen keeps refusing.
+data stage0_emit_plan_generated_note: String = "Projection of the stage0 emit plan. ITS PRODUCER gunbc.stage0_emit_plan IS DELETED, so it is hand-maintained in fact (see the block above); main_wet does not rewrite it. DECLARED SCAFFOLD supply; dissolve-on: generated_artifact_gate accepts v2.compiler.source_authority.ModuleStorageIndex, then the host supply deletes. Regen via dag/tools/generated_artifact_gate.dag main_wet."
 
 data generated_stage0_files: List<String> = [
   "compiler_tests.rs",
@@ -30,8 +51,6 @@ data generated_stage0_files: List<String> = [
   "extdeps_uri_path.rs",
   "extdeps_version.rs",
   "extdeps_version_semver.rs",
-  "gunbc_namespace_reference_derived_closure_admission.rs",
-  "gunbc_namespace_reference_derived_closure_contract.rs",
   "gunbc_rust_decl_type_overlay.rs",
   "gunbc_stage0_crate_layout_generated.rs",
   "gunbc_stage0_crate_partition_generated.rs",
@@ -162,8 +181,6 @@ data generated_stage0_paths: List<String> = [
   "src/v1/stage0/src/extdeps_uri_path.rs",
   "src/v1/stage0/src/extdeps_version.rs",
   "src/v1/stage0/src/extdeps_version_semver.rs",
-  "src/v1/stage0/src/gunbc_namespace_reference_derived_closure_admission.rs",
-  "src/v1/stage0/src/gunbc_namespace_reference_derived_closure_contract.rs",
   "src/v1/stage0/src/gunbc_rust_decl_type_overlay.rs",
   "src/v1/stage0/src/gunbc_stage0_crate_layout_generated.rs",
   "src/v1/stage0/src/gunbc_stage0_crate_partition_generated.rs",