F1a: repoint deleted-TASKS.md cites in test/claim + v3 test comments to live concept issues

src/v3/compiler/src/v4_hollow_alias_gate.rs

@@ -13,7 +13,7 @@
 //! this file is **staging** until a **generated** `.dag` consumer reads it — it is **not**
 //! a landed substrate primitive; this Rust module is the **interim authority** for the
 //! Practice-8 hollow predicate. **Dissolution / richer `Node` payload:** same **T-30** bundle as
-//! `INVARIANTS.md` §P5(b) on this path — **`src/v4/TASKS.md`** (T-30 interim mirror paragraph) +
+//! `INVARIANTS.md` §P5(b) on this path +
 //! **`src/v4/DECISIONS.md`** T-30 `fact_density.dag` encoding note (generated `.dag` gate / bootstrap
 //! bridge), not a separate prose-only trigger.
 //! M1(2.8) rejects block-bodied `.dag` functions that walk `Node` with `match` in the

src/v3/compiler/tests/integration/sg0_census_test.rs

@@ -498,7 +498,7 @@ const EXPECTED_HAND_AUTHORED_TEST: &[&str] = &[
     //
     // **P5 receipt (INVARIANTS.md §P5 — SG-0 `EXPECTED_HAND_AUTHORED_TEST`):** explicit
     // deferral to **ROADMAP.md** `### Nine lanes` row **T-PB-B** /
-    // `pb_rust_tests_outside_residual_zero` + **TASKS.md** T-22/T-38 (Runtime/TestClaim
+    // `pb_rust_tests_outside_residual_zero` + gunbc#4757/gunbc#4765 (Runtime/TestClaim
     // verdict surface; interim host runner `scripts/v4-leaf-model-rust-r1-verify.sh`).
     // Dissolution: delete when modeled runner exercises
     // `src/v4/test/claim/language_model/rust_r1.dag` without this hand-Rust bridge.
@@ -512,7 +512,7 @@ const EXPECTED_HAND_AUTHORED_TEST: &[&str] = &[
     //
     // **P5 receipt (INVARIANTS.md §P5 — SG-0 `EXPECTED_HAND_AUTHORED_TEST`):** explicit
     // deferral to **ROADMAP.md** `### Nine lanes` row **T-PB-B** /
-    // `pb_rust_tests_outside_residual_zero` + **TASKS.md** T-22/T-38 (Runtime/TestClaim
+    // `pb_rust_tests_outside_residual_zero` + gunbc#4757/gunbc#4765 (Runtime/TestClaim
     // verdict surface; interim host runner `scripts/v4-leaf-model-rust-r3-internal-verify.sh`).
     // Dissolution: delete when modeled runner exercises
     // `RustEmitProjectionEqualityExpectation` without this hand-Rust bridge.

src/v3/compiler/tests/integration/v4_emit_host_harness_test.rs

@@ -5,7 +5,7 @@
 //! `nat_semiring_rung34_eval.dag`) + executable boundary `tools/emit_host_runner`.
 //!
 //! **ROADMAP:** `ROADMAP.md` § **Nine lanes** row **T-PB-B** / `pb_rust_tests_outside_residual_zero`;
-//! **TASKS.md** T-38 / rung-4 host receipt path.
+//! gunbc#4765 / rung-4 host receipt path.
 //!
 //! **PR receipt (P5 Mechanism (b)):** this harness + matching `EXPECTED_HAND_AUTHORED_TEST`
 //! line in `sg0_census_test.rs` land in the same PR. **This PR (+1 census path):**
@@ -40,7 +40,7 @@
 //! deferral remains T-PB-B / T-22: retire this host parse-surface probe when `.dag` TestClaim
 //! execution or a generated harness owns the L1 Python runtime fixture coverage roster.
 //! Substrate rows stay `Deferred` until T-22 dispatch. Dissolution: **ROADMAP.md** T-PB-B /
-//! **TASKS.md** T-22 T-38; delete these hand-authored per-target snippets when generated
+//! gunbc#4757/gunbc#4765; delete these hand-authored per-target snippets when generated
 //! `TestClaimRun` host transport materializes the six rung-5 law subjects for Rust/Python/Go.
 //!
 //! **TESTING.md:** substrate `.dag` models receipt assembly; behavior tests exercise

src/v3/compiler/tests/integration/v4_t15_self_host_fixed_point_harness_test.rs

@@ -1,5 +1,5 @@
 //! **T-15** bin/main.dag execution + self-host fixed-point validation harness
-//! (`src/v4/TASKS.md` §T-15; Lane C / operator-directive 2026-05-29).
+//! (operator-directive 2026-05-29).
 //!
 //! Fixed-point bar: **stage1 emitted == stage2 emitted** (`FixptStage1Stage2` in
 //! `workflow/bootstrap.dag`), **not** stage0==stage1 (stage0 is v2-emission-style).
@@ -187,7 +187,7 @@ fn copy_dir_all(src: &Path, dst: &Path) -> std::io::Result<()> {
     Ok(())
 }
 
-/// TASKS.md §T-15 CI gate name: `cargo test t_15_self_host_fixed_point`.
+/// CI gate name: `cargo test t_15_self_host_fixed_point`.
 #[test]
 fn t_15_self_host_fixed_point() {
     assert_parseable(MAIN_DAG, MAIN_DAG_PATH);

src/v3/compiler/tests/integration/v4_test_bootstrap_infra_closeout_test.rs

@@ -178,11 +178,8 @@ fn t19_non_tautological_generator_wishlist_parse_and_pins_dispatch_rows() {
 
     assert!(
         TESTGEN_WISHLIST_DAG.contains("type TestgenOracleBasis")
-            && TESTGEN_WISHLIST_DAG
-                .contains("feature:t19-generator-oracle-basis-carrier")
-            && TESTGEN_WISHLIST_DAG.contains(
-                "bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate",
-            )
+            && TESTGEN_WISHLIST_DAG.contains("feature:t19-generator-oracle-basis-carrier")
+            && TESTGEN_WISHLIST_DAG.contains("bound task: gunbc#4762",)
             && TESTGEN_WISHLIST_DAG.contains("dissolve-on-arrival: delete TestgenOracleBasis")
             && TESTGEN_WISHLIST_DAG.contains("StructuralConstructionWitness")
             && TESTGEN_WISHLIST_DAG.contains("AlgebraLawWitness")

src/v4/test/claim/boundary/english_ingest_fail_closed.dag

@@ -16,7 +16,7 @@
 // Prerequisites (sequencing — NOT parallel to an unfilled verification
 //   scaffold): concrete TestClaim payloads in this file bind
 //   to the closed schema in std/verification.dag. That file is T-3
-//   Wave-A2 work (needs algebra + diagnostic per TASKS.md T-3 ordering).
+//   follow-on work (needs algebra + diagnostic first).
 //   English (T-4.11) is intentionally sequenced *behind* verification.dag
 //   fill — cite verification.dag as schema authority only after T-3 lands
 //   it; do not list it as peer "Consumes" substrate while the scaffold is

src/v4/test/claim/claim_pipeline/infer.dag

@@ -27,7 +27,7 @@ data spine_infer_module_subject: Node = Node {
   children: [],
   occurrence_id: SyntheticOccurrence
 }
-// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind TASKS.md T-22 / G.3.5 spine harness —
+// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind gunbc#4757 / G.3.5 spine harness —
 // dissolve-on: T-22 claim runner evaluates infer Outcome<InferredTree> directly without Bool projection.
 fn spine_infer_accepts_mvp_resolved_tree() -> Bool {
   match infer(tree: fixture_add_resolved_tree()) {

src/v4/test/claim/claim_pipeline/normalize.dag

@@ -52,7 +52,7 @@ fn spine_normalize_service_parse_tree() -> Node {
 }
 }
 
-// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind TASKS.md T-22 / G.3.5 spine harness —
+// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind gunbc#4757 / G.3.5 spine harness —
 // dissolve-on: T-22 claim runner evaluates normalize Outcome<ParseTree> directly without Bool projection.
 fn spine_normalize_accepts_well_formed_sugar() -> Bool {
   match normalize(parse_tree: spine_normalize_service_parse_tree()) {

src/v4/test/claim/claim_pipeline/resolve.dag

@@ -46,7 +46,7 @@ fn spine_resolve_service_parse_tree() -> Node {
 }
 }
 
-// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind TASKS.md T-22 / G.3.5 spine harness —
+// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind gunbc#4757 / G.3.5 spine harness —
 // dissolve-on: T-22 claim runner evaluates normalize→resolve Outcome chain directly without Bool projection.
 fn spine_resolve_accepts_normalized_tree() -> Bool {
   match normalize(parse_tree: spine_resolve_service_parse_tree()) {

src/v4/test/claim/claim_pipeline/translate.dag

@@ -28,7 +28,7 @@ data spine_translate_module_subject: Node = Node {
   children: [],
   occurrence_id: SyntheticOccurrence
 }
-// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind TASKS.md T-22 / G.3.5 spine harness —
+// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind gunbc#4757 / G.3.5 spine harness —
 // dissolve-on: T-22 claim runner evaluates translate Outcome<TargetNodeTree> directly without Bool projection.
 fn spine_translate_accepts_mvp1_inferred_tree() -> Bool {
   match translate(tree: mvp1_rust_inferred_tree, target: rust_mvp1_target_model()) {

src/v4/test/claim/generated/algebra_law_conformance.dag

@@ -29,7 +29,7 @@ import v4.std.verification {
   Unit
 }
 import v4.std.diagnostic { Outcome }
-// 🟡 gated — feature:t19-nat-expression-node-encoding — bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate — dissolve-on-arrival: replace these local expression-shape tags with a canonical Nat-expression Node encoder that reflects function application identity directly; forbidden: exporting per-operation/per-value mirror symbols from v4.std.nat.
+// 🟡 gated — feature:t19-nat-expression-node-encoding — bound task: gunbc#4759 — dissolve-on-arrival: replace these local expression-shape tags with a canonical Nat-expression Node encoder that reflects function application identity directly; forbidden: exporting per-operation/per-value mirror symbols from v4.std.nat.
 fn algebra_law_generated_atom(s: Symbol) -> Node {
   Node { kind: TypeNode { connective: Atom { identity: s } }, children: [],
  occurrence_id: SyntheticOccurrence

src/v4/test/claim/generated/coproduct_exhaustiveness.dag

@@ -50,7 +50,7 @@ fn generated_coproduct_exhaustiveness_input() -> Outcome<Node> {
 }
 
 
-// 🟡 gated — predicate-dissolution interim (docs/modeling-discipline.md Practice 10) — feature: t19-coproduct-exhaustiveness-codegen — bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate — dissolve-on-arrival: generated corpus replaces this hand-rolled DiagnosticClaim arm check with canonical TestClaim variant reflection; forbidden: permanent hand-enumerated TestClaim arm discriminant in generated corpus.
+// 🟡 gated — predicate-dissolution interim (docs/modeling-discipline.md Practice 10) — feature: t19-coproduct-exhaustiveness-codegen — bound task: gunbc#4759 — dissolve-on-arrival: generated corpus replaces this hand-rolled DiagnosticClaim arm check with canonical TestClaim variant reflection; forbidden: permanent hand-enumerated TestClaim arm discriminant in generated corpus.
 fn witness_coproduct_exhaustiveness_claim_is_diagnostic() -> Bool {
   match generated_coproduct_exhaustiveness_claim() {
     Accepted { value: DiagnosticClaim { label: _, anchor: GeneratedClaimAnchor { generated_anchor: GeneratedCoproductExhaustiveness { omitted_variant: _ } }, input: _, expected_rejection: _, classification: _ }, diagnostics: _ } => true
@@ -60,7 +60,7 @@ fn witness_coproduct_exhaustiveness_claim_is_diagnostic() -> Bool {
 }
 
 
-// 🟡 gated — predicate-dissolution interim (docs/modeling-discipline.md Practice 10) — feature: t19-coproduct-exhaustiveness-codegen — bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate — dissolve-on-arrival: generated corpus replaces this hand-matched GeneratedClaimAnchor arm check with canonical anchor-type projection; forbidden: permanent hand-rolled anchor-variant discriminant in generated corpus.
+// 🟡 gated — predicate-dissolution interim (docs/modeling-discipline.md Practice 10) — feature: t19-coproduct-exhaustiveness-codegen — bound task: gunbc#4759 — dissolve-on-arrival: generated corpus replaces this hand-matched GeneratedClaimAnchor arm check with canonical anchor-type projection; forbidden: permanent hand-rolled anchor-variant discriminant in generated corpus.
 fn witness_coproduct_exhaustiveness_generated_anchor() -> Bool {
   match generated_coproduct_exhaustiveness_claim() {
     Accepted { value: claim, diagnostics: _ } =>
@@ -89,7 +89,7 @@ fn witness_coproduct_exhaustiveness_all_testclaim_variants_emit() -> Bool {
 }
 
 
-// 🟡 gated — predicate-dissolution interim (docs/modeling-discipline.md Practice 10) — feature: t19-coproduct-exhaustiveness-codegen — bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate — dissolve-on-arrival: generated corpus replaces this four-arm hand-enumerated TestClaimCoproductVariant equality check with canonical variant-key reflection; forbidden: permanent hand-rolled arm-identity match over TestClaimCoproductVariant in generated corpus.
+// 🟡 gated — predicate-dissolution interim (docs/modeling-discipline.md Practice 10) — feature: t19-coproduct-exhaustiveness-codegen — bound task: gunbc#4759 — dissolve-on-arrival: generated corpus replaces this four-arm hand-enumerated TestClaimCoproductVariant equality check with canonical variant-key reflection; forbidden: permanent hand-rolled arm-identity match over TestClaimCoproductVariant in generated corpus.
 fn witness_coproduct_exhaustiveness_variant_emits(anchor: GeneratedAnchorKey) -> Bool {
   match testgen_emit_coproduct_exhaustiveness_claim(anchor: anchor) {
     Accepted { value: DiagnosticClaim { label: _, anchor: GeneratedClaimAnchor { generated_anchor: GeneratedCoproductExhaustiveness { omitted_variant } }, input: _, expected_rejection: _, classification: _ }, diagnostics: _ } =>
@@ -129,7 +129,7 @@ fn witness_coproduct_exhaustiveness_variant_emits(anchor: GeneratedAnchorKey) ->
 }
 
 
-// 🟡 gated — predicate-dissolution interim (docs/modeling-discipline.md Practice 10) — feature: t19-coproduct-exhaustiveness-codegen — bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate — dissolve-on-arrival: replace count+emit conjunction with structural variant-set membership check over scheduled generators once M2 fold reflection is available; forbidden: permanent count-only scheduling proof in generated corpus.
+// 🟡 gated — predicate-dissolution interim (docs/modeling-discipline.md Practice 10) — feature: t19-coproduct-exhaustiveness-codegen — bound task: gunbc#4762 — dissolve-on-arrival: replace count+emit conjunction with structural variant-set membership check over scheduled generators once M2 fold reflection is available; forbidden: permanent count-only scheduling proof in generated corpus.
 fn witness_testgen_schedules_all_coproduct_exhaustiveness_generators() -> Bool {
   length(xs: testgen_scheduled_coproduct_exhaustiveness_generators()) == 4 &&
     witness_coproduct_exhaustiveness_all_testclaim_variants_emit()

src/v4/test/claim/generated/testgen_category_wishlist.dag

@@ -104,7 +104,7 @@ fn refinement_preservation_stub_generator_refined() -> Refined<List<Node>> {
   }
 }
 
-// 🟡 gated — coproduct dissolution (docs/modeling-discipline.md Practice 4) — feature:t19-generator-oracle-basis-carrier — bound task: src/v4/TASKS.md#t-19-lenstestgendag--producer-of-testclaim-corpus-from-substrate — owner:T-19 testgen follow-up — dissolve-on-arrival: delete TestgenOracleBasis when each wishlist arm is replaced by its category-specific generated corpus and that corpus carries oracle basis through the concrete generator helper or emitted TestClaim shape; forbidden: permanent parallel oracle-category authority in the wishlist ledger.
+// 🟡 gated — coproduct dissolution (docs/modeling-discipline.md Practice 4) — feature:t19-generator-oracle-basis-carrier — bound task: gunbc#4762 — owner:T-19 testgen follow-up — dissolve-on-arrival: delete TestgenOracleBasis when each wishlist arm is replaced by its category-specific generated corpus and that corpus carries oracle basis through the concrete generator helper or emitted TestClaim shape; forbidden: permanent parallel oracle-category authority in the wishlist ledger.
 type TestgenOracleBasis
   = StructuralConstructionWitness
   | AlgebraLawWitness

src/v4/test/claim/grounding_typescript/sg_claims.dag

@@ -164,7 +164,7 @@ fn ts_g2_sg5_free_monoid_absence_evidence_targets_canonical_carrier() -> Bool {
   }
 }
 
-// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind TASKS.md T-22 /
+// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind gunbc#4757 /
 // G.2 grounding_typescript run_test_claim roster — dissolve-on: T-22 claim runner evaluates
 // Outcome and lookup results directly without Accepted=>true / Rejected=>false Bool projection.
 fn ts_g2_sg1_atom_lookup_accepts(source_carrier: Node) -> Bool {

src/v4/test/claim/manual/fact_density_anchor.dag

@@ -1,7 +1,6 @@
 // src/v4/test/claim/manual/fact_density_anchor.dag
 // Scope: T-30 v2-bootstrap compile anchor — exercises the fact-density lens read on a hollow alias, a fact-bundle carrier, and a kernel-ambient atom.
 // Status: scaffold — compile-only until T-22; lens read pinned in lens/fact_density.dag.
-// Anchor: https://github.com/gunb-ai/gunbc/blob/main/src/v4/TASKS.md
 
 module v4.test.claim.manual.fact_density_anchor
 

src/v4/test/claim/manual/go_mvp1_grammar_claim.dag

@@ -41,7 +41,7 @@ fn go_claim_bool_atom(b: Bool) -> Node {
   }
 }
 
-// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind TASKS.md T-22 —
+// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind gunbc#4757 —
 // dissolve-on: T-22 claim runner evaluates Outcome fixtures directly without Bool projection.
 fn go_mvp1_grammar_validates_fixture() -> Bool {
   let at = port_locus(port: parse_stage_locus_port)
@@ -51,7 +51,7 @@ fn go_mvp1_grammar_validates_fixture() -> Bool {
   }
 }
 
-// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind TASKS.md T-22 —
+// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind gunbc#4757 —
 // dissolve-on: T-22 claim runner evaluates Outcome<ParseTree> directly without Bool projection.
 fn go_mvp1_grammar_parse_accepted() -> Bool {
   match go_mvp1_grammar_parse_fixture() {

src/v4/test/claim/manual/infer_algebra_ref_grounding_anchor.dag

@@ -1,7 +1,7 @@
 // src/v4/test/claim/manual/infer_algebra_ref_grounding_anchor.dag
 // Scope: Option B behavior receipts — algebra_ref_is_grounded guard in canonical_grounding_from_inferred_facts.
 // Status: compile-only anchor; execution deferred to T-22 runner bridge.
-// Anchor: TASKS.md T-4 Wave 2b — dissolves when constraint solver reads ModelCore.inhabitance.
+// Anchor: gunbc#4760 — dissolves when constraint solver reads ModelCore.inhabitance.
 
 module v4.test.claim.manual.infer_algebra_ref_grounding_anchor
 

src/v4/test/claim/manual/kotlin_mvp1_grammar_claim.dag

@@ -40,7 +40,7 @@ fn kotlin_claim_bool_atom(b: Bool) -> Node {
   }
 }
 
-// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind TASKS.md T-22 —
+// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind gunbc#4757 —
 // dissolve-on: T-22 claim runner evaluates Outcome fixtures directly without Bool projection.
 fn kotlin_mvp1_grammar_validates_fixture() -> Bool {
   let at = port_locus(port: parse_stage_locus_port)
@@ -50,7 +50,7 @@ fn kotlin_mvp1_grammar_validates_fixture() -> Bool {
   }
 }
 
-// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind TASKS.md T-22 —
+// 🟡 predicate dissolution — feature:T-22-outcome-to-bool-claim-bridge — bind gunbc#4757 —
 // dissolve-on: T-22 claim runner evaluates Outcome<ParseTree> directly without Bool projection.
 fn kotlin_mvp1_grammar_parse_accepted() -> Bool {
   match kotlin_mvp1_grammar_parse_fixture() {

src/v4/test/claim/manual/manual_corpus_roster.dag

@@ -1,7 +1,7 @@
 // src/v4/test/claim/manual/manual_corpus_roster.dag
 // Scope: T-38 manual TestClaim subject roster (RuntimeValue wedge).
 // Status: wedge — six rows; expand per-A.
-// 🟡 gated — feature:t38-testclaim-corpus-eval — bind src/v4/TASKS.md T-38 — dissolve-on-arrival: item-registry reflection replaces explicit import roster when T-19 testclaim-coproduct-reflection lands.
+// 🟡 gated — feature:t38-testclaim-corpus-eval — bind gunbc#4759 — dissolve-on-arrival: item-registry reflection replaces explicit import roster when T-19 testclaim-coproduct-reflection lands.
 
 module v4.test.claim.manual.manual_corpus_roster