stage0 surface-ownership: disposition the 10-row required-regen population (1 emitted-not-committed + 9 committed-not-emitted) one row at a time; NOT a roster append

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 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 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;\npub mod v2_compiler_compile;\npub mod v2_compiler_program_assembly;\npub mod v2_compiler_source_authority;"
 
 data generated_pub_mod_basenames: List<String> = [
   "v1_interpreter",
@@ -26,7 +26,10 @@ data generated_pub_mod_basenames: List<String> = [
   "v2_compiler_program_partition",
   "v2_compiler_tokenize",
   "v2_compiler_infer",
-  "v1_interpreter_dispatch_generated"
+  "v1_interpreter_dispatch_generated",
+  "v2_compiler_compile",
+  "v2_compiler_program_assembly",
+  "v2_compiler_source_authority"
 ]
 
 data generated_stage0_filenames: List<String> = [
@@ -53,14 +56,21 @@ data generated_stage0_filenames: List<String> = [
   "v2_compiler_discovery_enumeration.rs",
   "v2_compiler_parse_engine_hooks.rs",
   "v2_compiler_use_site_verdict.rs",
+  "bootstrap_stage0_crate_layout_generated.rs",
+  "cssl_seed_linked_closure_assembly.rs",
+  "required_regen_host.rs",
+  "compiler_tests.rs",
   "usv_pilot_v2_std_algebra.rs",
   "usv_pilot_v2_std_collection.rs",
   "usv_pilot_v2_std_node.rs",
   "v2_compiler_resolve.rs",
   "v2_compiler_program_partition.rs",
   "v2_compiler_tokenize.rs",
   "v2_compiler_infer.rs",
-  "v1_interpreter_dispatch_generated.rs"
+  "v1_interpreter_dispatch_generated.rs",
+  "v2_compiler_compile.rs",
+  "v2_compiler_program_assembly.rs",
+  "v2_compiler_source_authority.rs"
 ]
 
 data generated_stage0_dirs: List<String> = [

dag/gunbc/stage0_emit_plan_generated.dag

@@ -4,8 +4,9 @@ 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."
 
+data stage0_emit_plan_generated_orphan_correction_note: String = "This file's claimed generating authority, gunbc.stage0_emit_plan, was deleted by #8406 (the regen root cut) — no module by that name remains in the corpus, and neither generated_artifact.dag's registry nor generated_artifact_emit.dag's dispatch names this path, so main_wet has no live rule that regenerates this file; it is orphaned data from a deleted fold, not a currently-produced artifact. One row was hand-corrected rather than left standing: compiler_tests.rs was removed from generated_stage0_files/generated_stage0_paths. It is hand-authored Rust test code with no corresponding .dag source module (v1.compiler.compiler_tests does not exist — see stage0_crate_layout.dag's compiler_tests_seed_retained_note) and structurally cannot be freshly emitted, so its presence here falsely modeled it as a planned regen target and collided with its correct SeedRetainedIntrinsicRegistration, breaking derived_generated_hand_disjoint_holds. Restoring this file's real generating authority (or replacing it per the file's own dissolve-on trigger) is out of scope of this correction."
+
 data generated_stage0_files: List<String> = [
-  "compiler_tests.rs",
   "extdeps_cargo.rs",
   "extdeps_cargo_version.rs",
   "extdeps_container_oci_digest.rs",
@@ -137,7 +138,6 @@ data generated_stage0_files: List<String> = [
 ]
 
 data generated_stage0_paths: List<String> = [
-  "src/v1/stage0/src/compiler_tests.rs",
   "src/v1/stage0/src/extdeps_cargo.rs",
   "src/v1/stage0/src/extdeps_cargo_version.rs",
   "src/v1/stage0/src/extdeps_container_oci_digest.rs",

dag/gunbc/stage0_rust_source_lifecycle_scaffold.dag

@@ -482,18 +482,10 @@ fn path_matches_discovery_prefix_hint(path: String) -> Bool {
   )
 }
 
-data residue_cssl_assembly_reason: String = "hand-retained cssl seed-linked closure assembly kernel — not regen-emitted; counted scaffold until harness consolidation emits it"
-
-data residue_cssl_assembly_dissolution: DissolutionCondition = unbound_dissolution(description: "dissolve-on: cssl_seed_linked_closure_assembly.rs migrates to generated_stage0_files membership or a typed emit producer row deletes the hand file")
-
 data residue_module_path_index_reason: String = "hand_maintained_stage0_dirs lists module_path_index/ but file membership is not enumerated by any join authority yet"
 
 data residue_module_path_index_dissolution: DissolutionCondition = unbound_dissolution(description: "dissolve-on: module_path_index/*.rs paths derive from hand_maintained_stage0_dirs + host census, or the directory dissolves into generated emit")
 
-data residue_frontier_module_gap_reason: String = "frontier module with behavioral receipt roster row but not yet on hand_maintained_stage0_filenames / generated_stage0_files join"
-
-data residue_frontier_module_gap_dissolution: DissolutionCondition = unbound_dissolution(description: "dissolve-on: the module basename appears on hand_maintained_stage0_filenames() or generated_stage0_files and this residue row deletes")
-
 data residue_stage0_core_lib_reason: String = "src/v1/stage0_core/src/lib.rs exists on disk but is absent from stage0_partition_crate_rows — authority contradiction surfaced for operator resolution"
 
 data residue_stage0_core_lib_dissolution: DissolutionCondition = unbound_dissolution(description: "dissolve-on: stage0_partition_crate_rows enrolls src/v1/stage0_core OR the crate deletes")
@@ -509,11 +501,6 @@ fn residue_row(path: String, reason: String, dissolution: DissolutionCondition)
 }
 
 data rust_source_lifecycle_residue_rows: List<RustSourceLifecycleRow> = [
-  residue_row(
-    path: "src/v1/stage0/src/cssl_seed_linked_closure_assembly.rs",
-    reason: residue_cssl_assembly_reason,
-    dissolution: residue_cssl_assembly_dissolution
-  ),
   residue_row(
     path: "src/v1/stage0/src/module_path_index/mod.rs",
     reason: residue_module_path_index_reason,
@@ -529,21 +516,6 @@ data rust_source_lifecycle_residue_rows: List<RustSourceLifecycleRow> = [
     reason: residue_module_path_index_reason,
     dissolution: residue_module_path_index_dissolution
   ),
-  residue_row(
-    path: "src/v1/stage0/src/v2_compiler_compile.rs",
-    reason: residue_frontier_module_gap_reason,
-    dissolution: residue_frontier_module_gap_dissolution
-  ),
-  residue_row(
-    path: "src/v1/stage0/src/v2_compiler_program_assembly.rs",
-    reason: residue_frontier_module_gap_reason,
-    dissolution: residue_frontier_module_gap_dissolution
-  ),
-  residue_row(
-    path: "src/v1/stage0/src/v2_compiler_source_authority.rs",
-    reason: residue_frontier_module_gap_reason,
-    dissolution: residue_frontier_module_gap_dissolution
-  ),
   residue_row(
     path: "src/v1/stage0_core/src/lib.rs",
     reason: residue_stage0_core_lib_reason,

dag/test/claim/stage0_rust_source_lifecycle_scaffold_witness_test.dag

@@ -404,8 +404,11 @@ test fn scaffold_generated_artifact_emit_authority_ref_populated() -> Bool {
     && generated_artifact_emit_authority_ref.decl_name == "artifact_generate"
 }
 
-test fn scaffold_generated_artifact_layout_overlap_repo_paths_is_exactly_v1_interpreter_dispatch() -> Bool {
-  generated_artifact_layout_overlap_repo_paths() == [v1_interpreter_dispatch_generated_repo_path]
+test fn scaffold_generated_artifact_layout_overlap_repo_paths_is_exactly_the_two_dual_pipeline_artifacts() -> Bool {
+  generated_artifact_layout_overlap_repo_paths() == [
+    bootstrap_stage0_crate_layout_generated_repo_path,
+    v1_interpreter_dispatch_generated_repo_path
+  ]
 }
 
 test fn scaffold_generated_artifact_layout_overlap_subset_of_hand_maintained_holds_green() -> Bool {

src/v1/stage0/src/bootstrap_stage0_crate_layout_generated.rs

@@ -26,14 +26,21 @@ pub const HAND_MAINTAINED_STAGE0_FILES: &[&str] = &[
     "v2_compiler_discovery_enumeration.rs",
     "v2_compiler_parse_engine_hooks.rs",
     "v2_compiler_use_site_verdict.rs",
+    "bootstrap_stage0_crate_layout_generated.rs",
+    "cssl_seed_linked_closure_assembly.rs",
+    "required_regen_host.rs",
+    "compiler_tests.rs",
     "usv_pilot_v2_std_algebra.rs",
     "usv_pilot_v2_std_collection.rs",
     "usv_pilot_v2_std_node.rs",
     "v2_compiler_resolve.rs",
     "v2_compiler_program_partition.rs",
     "v2_compiler_tokenize.rs",
     "v2_compiler_infer.rs",
-    "v1_interpreter_dispatch_generated.rs"
+    "v1_interpreter_dispatch_generated.rs",
+    "v2_compiler_compile.rs",
+    "v2_compiler_program_assembly.rs",
+    "v2_compiler_source_authority.rs"
 ];
 
 #[rustfmt::skip]