v2: refuse references to test code at name resolution

src/v1/compile.dag

@@ -341,9 +341,7 @@ fn test_reference_debt() -> List<TestReferenceDebtRow> {
     test_reference_row(module_name: "test.claim.spark.serving_arm_launch_witness_test", referrer: "w_all_serving_arm_launch_claims_hold", target: "test.claim.spark.serving_arm_launch_witness_test.w_every_rank_names_this_fleets_leg_and_hca", occurrences: 1),
     test_reference_row(module_name: "test.claim.spark.serving_arm_launch_witness_test", referrer: "w_all_serving_arm_launch_claims_hold", target: "test.claim.spark.serving_arm_launch_witness_test.w_the_engine_argv_states_the_profiles_batching_bounds", occurrences: 1),
     test_reference_row(module_name: "test.claim.spark.serving_arm_launch_witness_test", referrer: "w_all_serving_arm_launch_claims_hold", target: "test.claim.spark.serving_arm_launch_witness_test.w_the_group_b_arm_plans_exactly_four_ranks", occurrences: 1),
-    test_reference_row(module_name: "test.claim.spark.serving_arm_launch_witness_test", referrer: "w_all_serving_arm_launch_claims_hold", target: "test.claim.spark.serving_arm_launch_witness_test.w_the_utilisation_argv_is_the_profiles_value_at_full_precision", occurrences: 1),
-    test_reference_row(module_name: "v2.test.manual.cross_language_add_python_to_typescript", referrer: "<import>", target: "v2.test.manual.typescript_effect_io_emit.ts_effect_io_emit_holds", occurrences: 1),
-    test_reference_row(module_name: "v2.test.manual.cross_language_add_python_to_typescript", referrer: "cross_language_add_python_to_typescript_chain_status_holds", target: "v2.test.manual.typescript_effect_io_emit.ts_effect_io_emit_holds", occurrences: 1)
+    test_reference_row(module_name: "test.claim.spark.serving_arm_launch_witness_test", referrer: "w_all_serving_arm_launch_claims_hold", target: "test.claim.spark.serving_arm_launch_witness_test.w_the_utilisation_argv_is_the_profiles_value_at_full_precision", occurrences: 1)
   ]
 }
 

src/v2/compiler/03_name_resolve.dag

@@ -4,6 +4,7 @@ import v2.std.language_model { LanguageModel }
 
 import v2.compiler.symbol_index_fill { symbol_index_fill_module_roots }
 import v2.compiler.normalized_tree { NormalizedTree, normalized_tree_roots_to_nodes }
+import v2.std.declaration_marker { TestCodeIndex, test_code_index_add_module, test_code_index_empty }
 import v2.std.symbol_index { SymbolIndex, empty_symbol_index }
 import v2.compiler.resolve {
   DeclaredBinding,
@@ -102,9 +103,12 @@ type Admission {
 // Shared by every subject admitted against the same language and root collection.
 // The Outcome stays with the caller so validation diagnostics retain their original
 // per-subject refusal boundary when the context is constructed before admission.
+// `test_code` is every root's test-marker channel keyed by the paths resolution binds to, built in
+// the same pass that names the roots, so no root can be resolvable while its markers are unread.
 type ValidatedModuleRoots {
   roots: FreeMonoid<NormalizedTree>
   by_name: Map<QualifiedName, NormalizedTree>
+  test_code: TestCodeIndex
 }
 
 type ResolutionContext {
@@ -147,7 +151,7 @@ type AdmissionState
   | AdmissionRejected { diagnostics: NonEmptyDiagnostics }
 
 type ModuleRootValidateState
-  = ModuleRootsValid { seen: Map<QualifiedName, NormalizedTree>, diagnostics: Diagnostics }
+  = ModuleRootsValid { seen: Map<QualifiedName, NormalizedTree>, test_code: TestCodeIndex, diagnostics: Diagnostics }
   | ModuleRootsDuplicate { diagnostics: Diagnostics }
   | ModuleRootsProjectionRejected { diagnostics: NonEmptyDiagnostics }
 
@@ -225,14 +229,14 @@ fn admit_export_symbol(
 fn validate_module_roots(roots: FreeMonoid<NormalizedTree>) -> Outcome<ValidatedModuleRoots> {
   match fold_list(
     xs: roots,
-    empty: ModuleRootsValid { seen: empty_map(), diagnostics: v2.std.diagnostic.None },
+    empty: ModuleRootsValid { seen: empty_map(), test_code: test_code_index_empty(), diagnostics: v2.std.diagnostic.None },
     cons: fn(acc, root) {
       match acc {
         ModuleRootsDuplicate { diagnostics: d } =>
           ModuleRootsDuplicate { diagnostics: d }
         ModuleRootsProjectionRejected { diagnostics: d } =>
           ModuleRootsProjectionRejected { diagnostics: d }
-        ModuleRootsValid { seen: prior, diagnostics: acc_diag } =>
+        ModuleRootsValid { seen: prior, test_code: prior_test_code, diagnostics: acc_diag } =>
           if well_formed(n: root.root) {
             match qualified_name_from_module_node(root: root.root) {
               Rejected { diagnostics: d } =>
@@ -245,6 +249,11 @@ fn validate_module_roots(roots: FreeMonoid<NormalizedTree>) -> Outcome<Validated
                   Absent =>
                     ModuleRootsValid {
                       seen: map_insert(m: prior, key: name, value: root),
+                      test_code: test_code_index_add_module(
+                        index: prior_test_code,
+                        module_qn: name,
+                        channel: root.test_markers
+                      ),
                       diagnostics: merged_diag
                     }
                   Present { value: _ } =>
@@ -262,8 +271,8 @@ fn validate_module_roots(roots: FreeMonoid<NormalizedTree>) -> Outcome<Validated
       }
     }
   ) {
-    ModuleRootsValid { seen: by_name, diagnostics: d } =>
-      Accepted { value: ValidatedModuleRoots { roots: roots, by_name: by_name }, diagnostics: d }
+    ModuleRootsValid { seen: by_name, test_code: test_code, diagnostics: d } =>
+      Accepted { value: ValidatedModuleRoots { roots: roots, by_name: by_name, test_code: test_code }, diagnostics: d }
     ModuleRootsDuplicate { diagnostics: d } =>
       Rejected {
         diagnostics: rejected_with_pending(
@@ -566,7 +575,10 @@ fn admission_namespace_base(canonical_symbols: PointwisePower<Symbol>) -> Namesp
     bindings: empty_map(),
     canonical_symbols: canonical_symbols,
     symbol_index: empty_symbol_index(),
-    module_qn: Empty
+    module_qn: Empty,
+    test_code: test_code_index_empty(),
+    declared_in: Empty,
+    imported_origins: empty_map()
   }
 }
 
@@ -606,7 +618,9 @@ fn admitted_subject_from_bindings(
   base: Namespace,
   subject_module_root: NormalizedTree,
   symbol_index: SymbolIndex,
-  module_qn: QualifiedName
+  module_qn: QualifiedName,
+  origins: Map<Symbol, QualifiedName>,
+  test_code: TestCodeIndex
 ) -> AdmittedSubject {
   AdmittedSubject {
     namespace: Namespace {
@@ -616,7 +630,10 @@ fn admitted_subject_from_bindings(
       ),
       canonical_symbols: base.canonical_symbols,
       symbol_index: symbol_index,
-      module_qn: module_qn
+      module_qn: module_qn,
+      test_code: test_code,
+      declared_in: module_qn,
+      imported_origins: origins
     },
     subject_root: subject_module_root
   }
@@ -681,14 +698,16 @@ fn namespace_for_subject_root(
             Rejected {
               diagnostics: rejected_with_pending(pending: validate_diag, rejected: d)
             }
-          AdmissionAccepted { bindings: b, origins: _ } =>
+          AdmissionAccepted { bindings: b, origins: o } =>
             Accepted {
               value: admitted_subject_from_bindings(
                 bindings: b,
                 base: base,
                 subject_module_root: subject_module_root,
                 symbol_index: shared.symbol_index,
-                module_qn: admission.subject.name
+                module_qn: admission.subject.name,
+                origins: o,
+                test_code: shared.roots.test_code
               ),
               diagnostics: validate_diag
             }
@@ -702,14 +721,16 @@ fn namespace_for_subject_root(
           index: index,
           active_roots: active_roots
         ) {
-          AdmissionAccepted { bindings: b, origins: _ } =>
+          AdmissionAccepted { bindings: b, origins: o } =>
             Accepted {
               value: admitted_subject_from_bindings(
                 bindings: b,
                 base: base,
                 subject_module_root: subject_module_root,
                 symbol_index: shared.symbol_index,
-                module_qn: admission.subject.name
+                module_qn: admission.subject.name,
+                origins: o,
+                test_code: shared.roots.test_code
               ),
               diagnostics: validate_diag
             }

src/v2/compiler/03_normalize.dag

@@ -38,6 +38,7 @@ import v2.compiler.body_lowering_fold {
   body_lower_is_deferred_lower_at_normalize
 }
 import v2.compiler.normalized_tree { NormalizedTree, admit_normalized_tree }
+import v2.compiler.test_marker_capture { test_marker_capture }
 import v2.compiler.namespace_graft {
   module_header_containment_graft,
   namespace_graft_is_graft_candidate
@@ -217,7 +218,12 @@ fn normalize(parse_tree: ParseTree) -> Outcome<NormalizedTree> {
         Rejected { diagnostics: r } => Rejected { diagnostics: r }
         Accepted { value: grafted, diagnostics: d1 } =>
           if well_formed(n: grafted) {
-            admit_normalized_tree(root: grafted, diagnostics: d1)
+            match test_marker_capture(tree: parse_tree) {
+              Rejected { diagnostics: r } =>
+                Rejected { diagnostics: rejected_with_pending(pending: d1, rejected: r) }
+              Accepted { value: markers, diagnostics: _ } =>
+                admit_normalized_tree(root: grafted, test_markers: markers, diagnostics: d1)
+            }
           } else {
             Rejected {
               diagnostics: rejected_with_pending(