Honest frontier refresh: namespace-terminal trigger refuted by execution + full 21-module probe sweep

docs/probes/curated_cargo_frontier_probe_sweep.tsv

@@ -1,3 +1,27 @@
 # classifier_stamp: rule1-first-error-dup-harness-unknown-unresolved-v2
+# Full-frontier re-sweep 2026-07-22 (sharp-bee-290, operator-directed disentangle-by-measurement).
+# branch_head=a26c440750a0  CSSL_STD_SEED_LINK=1  shim=empty  gunbc_sha256_prefix=488f4bbff36fb106
+# NOTE: two racing sweep invocations produced duplicate rows with IDENTICAL verdicts (accidental determinism receipt); deduped here.
+# CAVEAT: 03_normalize row is a KNOWN FALSE-RED under empty shim (lane shim REQUIRED per probe contract); it is SelfEmitted with an executing receipt.
 module	emit	cargo	first_error	mapped_gate	verdict
-src/v2/compiler/02_parse.dag	73 files emitted, 55 diagnostics	refuse	error: expected `,`, or `}`, found `.`	UNKNOWN	UNKNOWN-error:_expected_`,`,_or_`}`,_found_`.`
+src/v2/compiler/00_compile.dag	145 files emitted, 285 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for test_claim_materialization_ladder_witness: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE
+src/v2/compiler/01_tokenize.dag	23 files emitted, 0 diagnostics	refuse	error: struct literal body without path	UNKNOWN	UNKNOWN-error:_struct_literal_body_without_path
+src/v2/compiler/02_parse.dag	74 files emitted, 55 diagnostics	refuse	error: expected `,`, or `}`, found `.`	UNKNOWN	UNKNOWN-error:_expected_`,`,_or_`}`,_found_`.`
+src/v2/compiler/03_ingest.dag	147 files emitted, 285 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for test_claim_materialization_ladder_witness: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE
+src/v2/compiler/03_name_resolve.dag	54 files emitted, 38 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for gunbc_plans_md_helpers: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE
+src/v2/compiler/03_normalize.dag	50 files emitted, 29 diagnostics	refuse	error: expected one of `:`, `@`, or `|`, found `.`	UNKNOWN_emit_shape	UNKNOWN-error:_expected_one_of_`:`,_`@`,_or_`|`,_found_`.`
+src/v2/compiler/03_resolve.dag	45 files emitted, 0 diagnostics	refuse	error[E0425]: cannot find type `T` in this scope	namespace_resolution	CONFIRMED-namespace
+src/v2/compiler/04_infer.dag	50 files emitted, 0 diagnostics	refuse	error[E0425]: cannot find type `T` in this scope	namespace_resolution	CONFIRMED-namespace
+src/v2/compiler/05_emit.dag	75 files emitted, 75 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for test_claim_materialization_ladder_witness: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE
+src/v2/compiler/05_emit_orchestration.dag	81 files emitted, 75 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for test_claim_materialization_ladder_witness: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE
+src/v2/compiler/05_eval.dag	57 files emitted, 0 diagnostics	refuse	error[E0425]: cannot find type `T` in this scope	namespace_resolution	CONFIRMED-namespace
+src/v2/compiler/06_translate.dag	74 files emitted, 75 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for test_claim_materialization_ladder_witness: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE
+src/v2/compiler/emit_host.dag	88 files emitted, 76 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for test_claim_materialization_ladder_witness: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE
+src/v2/compiler/emit_module.dag	76 files emitted, 75 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for test_claim_materialization_ladder_witness: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE
+src/v2/compiler/emit_produced.dag	85 files emitted, 97 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for test_claim_materialization_ladder_witness: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE
+src/v2/compiler/emit_semantic_decl.dag	76 files emitted, 75 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for test_claim_materialization_ladder_witness: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE
+src/v2/compiler/fold_lowering.dag	42 files emitted, 0 diagnostics	refuse	error[E0425]: cannot find type `T` in this scope	namespace_resolution	CONFIRMED-namespace
+src/v2/compiler/materialization_carriers.dag	41 files emitted, 46 diagnostics	refuse	error[E0425]: cannot find value `extdeps` in this scope	namespace_resolution	CONFIRMED-namespace
+src/v2/compiler/program_assembly.dag	109 files emitted, 156 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for test_claim_materialization_ladder_witness: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE
+src/v2/compiler/program_partition.dag	81 files emitted, 75 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for test_claim_materialization_ladder_witness: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE
+src/v2/compiler/source_authority.dag	107 files emitted, 135 diagnostics	harness_refuse	CSSL_ASSEMBLE: REFUSED refused dep assembly for test_claim_materialization_ladder_witness: unroutable closure dependency (not entry/compiler/std-bridge/bootstrap/lens/peripheral)	HARNESS_SEED_LINK	HARNESS_REFUSE

src/v2/compiler/self_host/frontier.dag

@@ -20,6 +20,7 @@ import v2.compiler.self_host.frontier_probe_types {
   curated_cargo_probe_namespace_qualified_rust_emit_reason,
   curated_cargo_probe_import_closure_cargo_refuse_reason,
   curated_cargo_probe_emit_assemble_refuse_reason,
+  curated_cargo_probe_generic_type_render_reason,
   frontier_blocker_class_matches,
   frontier_probe_blocker_rank
 }
@@ -286,11 +287,13 @@ data compiler_frontier_row_03_ingest: CompilerModuleFrontierRow = execution_meas
   migration_trigger: ^migrate_when_closure_self_emits_cargo_green
 )
 
-data compiler_frontier_row_03_name_resolve: CompilerModuleFrontierRow = knowledge_attributed_blocker_class_seed_retained_row(
+data compiler_frontier_row_03_name_resolve: CompilerModuleFrontierRow = execution_measured_seed_retained_row(
   module_path: "src/v2/compiler/03_name_resolve.dag",
   closure_reads: 44,
   measured_blocker: EmitSurfaceGap,
-  migration_trigger: ^migrate_when_namespace_only_resolution_lands
+  located_stage: ProbeStageAssemble,
+  located_reason: curated_cargo_probe_emit_assemble_refuse_reason,
+  migration_trigger: ^migrate_when_closure_self_emits_cargo_green
 )
 
 data compiler_frontier_row_03_normalize: CompilerModuleFrontierRow = execution_measured_self_emitted_row(
@@ -305,11 +308,13 @@ data compiler_frontier_row_03_normalize: CompilerModuleFrontierRow = execution_m
   tractability_rank: self_emitted_tractability_rank_at_flip(closure_reads: 37, pre_flip_blocker: EmitSurfaceGap)
 )
 
-data compiler_frontier_row_03_resolve: CompilerModuleFrontierRow = knowledge_attributed_blocker_class_seed_retained_row(
+data compiler_frontier_row_03_resolve: CompilerModuleFrontierRow = execution_measured_seed_retained_row(
   module_path: "src/v2/compiler/03_resolve.dag",
   closure_reads: 39,
   measured_blocker: EmitSurfaceGap,
-  migration_trigger: ^migrate_when_namespace_only_resolution_lands
+  located_stage: ProbeStageEmit,
+  located_reason: curated_cargo_probe_generic_type_render_reason,
+  migration_trigger: ^migrate_when_closure_self_emits_cargo_green
 )
 
 data compiler_frontier_row_04_infer: CompilerModuleFrontierRow = execution_measured_seed_retained_row(

src/v2/compiler/self_host/frontier_probe_types.dag

@@ -83,9 +83,12 @@ data curated_cargo_probe_import_closure_cargo_refuse_reason: Symbol = ^curated_c
 
 data curated_cargo_probe_emit_assemble_refuse_reason: Symbol = ^curated_cargo_probe_emit_assemble_refuse
 
+data curated_cargo_probe_generic_type_render_reason: Symbol = ^curated_cargo_probe_generic_type_render
+
 data honest_frontier_refresh_probe_note: String = "Honest frontier refresh 2026-07-20 (neat-swift-795 @ d904abdeae): reverted premature Gate-A flip-wave 6 from SelfEmitted→SeedRetained after CSSL_STD_SEED_LINK=1 curated_cargo_probe_one.sh execution showed 0/6 cargo-green and 0/6 emit-clean post-#6848 merge. Current buckets by probe: curated_cargo_probe_namespace_qualified_rust_emit (emit+cargo dotted-path rustc refuse on 00_compile/02_parse/03_ingest/source_authority); curated_cargo_probe_import_closure_cargo_refuse (E0422 namespace on materialization_carriers + prior std_dup cargo residue on 01_tokenize/04_infer/program_partition); curated_cargo_probe_emit_assemble_refuse (program_assembly EMIT_REFUSE). Baseline 6 SelfEmitted (body_producer, normalize, target_carriers, discovery_enumeration, parse_engine_hooks, use_site_verdict). #6881 stays DRAFT until emit regression fixed and >=1 module cargo-green by execution."
 
 data gate_a_flip_probe_wave_note: String = "SUPERSEDED by honest_frontier_refresh_probe_note (2026-07-20): Jul-19 flip-wave claim retracted — never cargo-green by execution on current HEAD."
+data honest_frontier_refresh_2026_07_22_note: String = "Honest frontier refresh 2026-07-22 (sharp-bee-290, operator-directed: disentangle dependencies — a blocker edge without a named MEASURED reason is removed). The two resolver rows (03_resolve, 03_name_resolve) were the only knowledge_attributed rows carrying migration_trigger migrate_when_namespace_only_resolution_lands; probed by execution (CSSL_STD_SEED_LINK=1 curated_cargo_probe_one.sh, empty shim per sr transport contract, gunbc rebuilt at the probe head) and the namespace-terminal trigger is REFUTED on both: (1) 03_resolve emits clean (45 files, 0 diagnostics) and cargo-refuses on E0425 cannot-find-type-T — the generic-T fold-lambda render class (crisp-fox-839 site map: emit_typed_fold_lambda -> lambda_param_type_strs -> render_rust_type), a DISTINCT class from import-closure, new reason row curated_cargo_probe_generic_type_render; re-probe after the generic-T guard lands. (2) 03_name_resolve refuses at ASSEMBLE: cssl_assemble unroutable closure dependency gunbc_plans_md_helpers — its reference closure is contaminated by a gunbc.plans reach (suspect edge: src/v2/compiler/self_host/frontier_probe_survey.dag imports gunbc.plans, a layer inversion per DESIGN section 3 strict layer DAG; own separate fix). Both rows re-declared execution_measured with trigger migrate_when_closure_self_emits_cargo_green (the 04_infer pattern). The pre-existing contradiction is itself a receipt: self_host_03_resolve_behavioral_transport.dag (Wave-2 flip machinery, already built) names its dependency as post-#6775 Rc/Optional emit surface greens — never the namespace terminal. The namespace-only-resolution terminal no longer appears anywhere in the v1-delete dependency graph."
 
 data honest_frontier_refresh_2026_07_21_note: String = "Honest frontier refresh 2026-07-21 (warm-lark-815), re-probed on fresh main AFTER the Gate-1 import-closure root (PR 6960) merged. Method: CSSL_STD_SEED_LINK=1 curated_cargo_probe_one.sh per module, first rustc error only. FLIPS: ZERO — the flip wave produced no SelfEmitted transition, and that negative result is the receipt.