diff --git a/src/v4/extdeps/formats/csv.dag b/src/v4/extdeps/formats/csv.dag
index 732c4eacdb3..1f5996293e0 100644
--- a/src/v4/extdeps/formats/csv.dag
+++ b/src/v4/extdeps/formats/csv.dag
@@ -1,6 +1,6 @@
 // src/v4/extdeps/formats/csv.dag
-// Scope: RFC 4180 CSV; Lane C format slice (TASKS.md T-4.6).
-// Status: T-4.6 scaffold — parse/emit, numeric lexeme, unique-name profile axes per TASKS.md T-4.6.
+// Scope: RFC 4180 CSV; format slice.
+// Status: scaffold — parse/emit, numeric lexeme, unique-name profile axes.
 // Anchor: https://datatracker.ietf.org/doc/html/rfc4180
 
 module v4.extdeps.formats.csv
diff --git a/src/v4/extdeps/formats/json_schema.dag b/src/v4/extdeps/formats/json_schema.dag
index 351270be357..4d4254be4ee 100644
--- a/src/v4/extdeps/formats/json_schema.dag
+++ b/src/v4/extdeps/formats/json_schema.dag
@@ -1,6 +1,6 @@
 // src/v4/extdeps/formats/json_schema.dag
 // Scope: JSON Schema Draft 2020-12 instance shell + default-dialect keyword bundle (Lane C T-4.6); typed slots favor Core-shaped surface; additional_keywords enumerates keywords authorized by the meta-schema anchor.
-// Status: scaffold — TASKS.md T-4.6
+// Status: scaffold
 // Anchor: https://json-schema.org/draft/2020-12/schema
 
 module v4.extdeps.formats.json_schema
diff --git a/src/v4/extdeps/formats/openapi.dag b/src/v4/extdeps/formats/openapi.dag
index 5731492890f..a9343415af7 100644
--- a/src/v4/extdeps/formats/openapi.dag
+++ b/src/v4/extdeps/formats/openapi.dag
@@ -1,5 +1,5 @@
 // src/v4/extdeps/formats/openapi.dag
-// Scope: OpenAPI 3.1.0 document slice; Lane C (TASKS.md T-4.6).
+// Scope: OpenAPI 3.1.0 document slice; format slice.
 // Status: T-4.6 — parse/emit axes (gated T-6/T-7/T-10), numeric-lexeme profile (OAS §4.1 openapi semver),
 //         unique-name profile (OAS Map-key uniqueness), OPENAPI-NETWORK-BRIDGE (HttpMethod + status-code),
 //         document/operation wire-contract facts.
diff --git a/src/v4/extdeps/formats/sql.dag b/src/v4/extdeps/formats/sql.dag
index be5f04e5836..4139b1fa17d 100644
--- a/src/v4/extdeps/formats/sql.dag
+++ b/src/v4/extdeps/formats/sql.dag
@@ -1,6 +1,6 @@
 // src/v4/extdeps/formats/sql.dag
 // Scope: ISO/IEC 9075 SQL relational/DDL surface; Shape-B checked format — T-4.6 dsl extdeps port (migration.dag) + ISO spec.
-// Status: T-4.6 — DDL/relational facts + numeric lexeme (wave-1 bundles) landed; parse/emit axes + identifier/unique-name profile gated (SL-3229-T4-FORMAT-T6T7, SL-3229-SQL-IDENTIFIER-UNIQUENESS). Transport execution config (`SqlStatementKind`, `SqlParameterStyle`, `SqlTransactionMode`, `SqlTransportConfig`) remains sole authority in `dsl/extdeps/transports/sql.dag` until the v4 port retires the v3 split (TASKS.md §T-4.6 / #3224 single-authority ruling).
+// Status: DDL/relational facts + numeric lexeme (wave-1 bundles) landed; parse/emit axes + identifier/unique-name profile gated (SL-3229-T4-FORMAT-T6T7, SL-3229-SQL-IDENTIFIER-UNIQUENESS). Transport execution config (`SqlStatementKind`, `SqlParameterStyle`, `SqlTransactionMode`, `SqlTransportConfig`) remains sole authority in `dsl/extdeps/transports/sql.dag` until the v4 port retires the v3 split (#3224 single-authority ruling).
 // Anchor: https://www.iso.org/standard/76583.html
 
 module v4.extdeps.formats.sql
diff --git a/src/v4/extdeps/formats/toml.dag b/src/v4/extdeps/formats/toml.dag
index 7892d473951..336c0418e52 100644
--- a/src/v4/extdeps/formats/toml.dag
+++ b/src/v4/extdeps/formats/toml.dag
@@ -1,6 +1,6 @@
 // src/v4/extdeps/formats/toml.dag
 // Scope: TOML v1.0.0 structural value model — declarative only; parse/emit deferred.
-// Status: T-4.6 scaffold — parse/emit, numeric/datetime, table-syntax axes per TASKS.md T-4.6.
+// Status: scaffold — parse/emit, numeric/datetime, table-syntax axes.
 // Anchor: https://toml.io/en/v1.0.0
 
 module v4.extdeps.formats.toml
diff --git a/src/v4/extdeps/languages/cpp.dag b/src/v4/extdeps/languages/cpp.dag
index d6799b00e5a..660215ffa47 100644
--- a/src/v4/extdeps/languages/cpp.dag
+++ b/src/v4/extdeps/languages/cpp.dag
@@ -987,7 +987,7 @@ fn cpp_declared_inhabitants_root(target_profile: Node) -> Node {
 }
 
 // Zip-fold support nodes derived from cpp signed-int facts — not parallel fixture data.
-// 🟡 gated — feature:W-T-10-mvp1-exact-zip-closure — bind TASKS.md T-10 — dissolve-on: find_witness enumerates inside declared_inhabitants without fixture zip-fold support edges.
+// 🟡 gated — feature:W-T-10-mvp1-exact-zip-closure — bind gunbc#4760 — dissolve-on: find_witness enumerates inside declared_inhabitants without fixture zip-fold support edges.
 fn cpp_mvp1_int_zip_fold_closure_edges(target_profile: Node) -> List<Edge> {
   let facts = cpp_signed_integer_facts(
     spelling: Int,
diff --git a/src/v4/extdeps/languages/ecmascript.dag b/src/v4/extdeps/languages/ecmascript.dag
index 9f69c397ef0..3721c72dd03 100644
--- a/src/v4/extdeps/languages/ecmascript.dag
+++ b/src/v4/extdeps/languages/ecmascript.dag
@@ -139,7 +139,7 @@ type EcmascriptGrammarRelationRow {
 
 // 🟡 gated — feature:language-model-lex-grammar-bundle — per-language lex/grammar/core
 // authoring record; compiler ingest authority is `v4.std.language_model` `LanguageModel`
-// (TASKS.md Theme-A #9: LexRules/Grammar are projections, not parallel authorities). Peer:
+// (LexRules/Grammar are projections, not parallel authorities). Peer:
 // `PythonLanguageModel`, `TsLanguageModel`, `KotlinLanguageModel`. dissolve-on: wave-1 bundle
 // projects to `Node` at the ingest boundary (cf. `python_mvp1_target_model_node`).
 type EcmascriptLanguageModel {
@@ -196,7 +196,7 @@ type EcmascriptSingletonPrimitiveFacts {
   std_projection: Symbol
 }
 // Layout-baked composite tokens (🟡 feature:T-6-token-layout-trivia-policy — see lex header).
-// 🟡 gated — feature:ecmascript-formal-epsilon-shim-terminal — bind TASKS.md T-7 / CP-1b —
+// 🟡 gated — feature:ecmascript-formal-epsilon-shim-terminal — bind gunbc#4761 / CP-1b —
 // dissolve-on: std/grammar canonical epsilon carrier; empty FormalProduction.rhs lowers
 // without fabricated parse-only token_class.
 data ecmascript_mvp1_source_text: String = "function add(x, y) { return x + y; }"
@@ -913,7 +913,7 @@ fn ecmascript_formal_rhs_from_token_classes() -> List<FormalGrammarSymbol> {
   )
 }
 
-// 🟡 gated — feature:ecmascript-formal-symbol-to-grammar-expr-shim — bind TASKS.md T-7 / CP-1b —
+// 🟡 gated — feature:ecmascript-formal-symbol-to-grammar-expr-shim — bind gunbc#4761 / CP-1b —
 // interim FormalGrammarSymbol → GrammarExpr projection for operational parse lowering only;
 // dissolve-on: std/grammar substrate projects FormalGrammarSymbol to GrammarExpr directly.
 fn ecmascript_formal_symbol_to_grammar_expr(sym: FormalGrammarSymbol) -> GrammarExpr {
@@ -925,7 +925,7 @@ fn ecmascript_formal_symbol_to_grammar_expr(sym: FormalGrammarSymbol) -> Grammar
   }
 }
 
-// 🟡 gated — feature:ecmascript-formal-epsilon-grammar-expr-shim — bind TASKS.md T-7 / CP-1b —
+// 🟡 gated — feature:ecmascript-formal-epsilon-grammar-expr-shim — bind gunbc#4761 / CP-1b —
 // dissolve-on: std/grammar epsilon projection replaces Optional+sentinel terminal shim.
 fn ecmascript_formal_epsilon_grammar_expr() -> GrammarExpr {
   Optional {
@@ -933,7 +933,7 @@ fn ecmascript_formal_epsilon_grammar_expr() -> GrammarExpr {
   }
 }
 
-// 🟡 gated — feature:ecmascript-formal-rhs-to-expr-shim-fold — bind TASKS.md T-7 / CP-1b —
+// 🟡 gated — feature:ecmascript-formal-rhs-to-expr-shim-fold — bind gunbc#4761 / CP-1b —
 // interim fold carrier for FormalProduction.rhs → GrammarExpr Sequence lowering only;
 // dissolve-on: std/grammar substrate fold_non_empty_right (or equivalent) replaces this coproduct.
 type EcmascriptFormalRhsToExprState
@@ -961,7 +961,7 @@ fn ecmascript_formal_rhs_to_grammar_expr(rhs: List<FormalGrammarSymbol>) -> Gram
   }
 }
 
-// 🟡 gated — feature:ecmascript-formal-alt-choice-shim-fold — bind TASKS.md T-7 / CP-1b —
+// 🟡 gated — feature:ecmascript-formal-alt-choice-shim-fold — bind gunbc#4761 / CP-1b —
 // interim fold carrier for multi-alt FormalProduction lhs → GrammarExpr Choice lowering only;
 // dissolve-on: std/grammar substrate fold_non_empty_right (or equivalent) replaces this coproduct.
 type EcmascriptFormalAltChoiceState
@@ -1150,7 +1150,7 @@ fn ecmascript_ident_lex_rule() -> LexRule {
   }
 }
 
-// 🟡 predicate dissolution — feature:ecmascript-wave2a-decimal-int-literal — bind TASKS.md T-6/T-7 —
+// 🟡 predicate dissolution — feature:ecmascript-wave2a-decimal-int-literal — bind gunbc#4761 —
 // dissolve-on: std LexCharClass carries NonZeroDigitChar (or full ES2022 NumericLiteral LexPattern).
 // 🟡 gated — feature:ecmascript-wave2a-decimal-int-literal — ASCII 49–57 ladder until
 // `NonZeroDigitChar` lands on v4.std.compilers.lexing; consumed only by ecmascript_decimal_int_literal_pattern.
diff --git a/src/v4/extdeps/languages/fidelity.dag b/src/v4/extdeps/languages/fidelity.dag
index 67f5f4ba9dc..71e685f5fbd 100644
--- a/src/v4/extdeps/languages/fidelity.dag
+++ b/src/v4/extdeps/languages/fidelity.dag
@@ -1,7 +1,7 @@
 // src/v4/extdeps/languages/fidelity.dag
 // Scope: C5 ingest/emit fidelity disposition carrier (target-realization-side).
 // Status: shared extdeps-language carrier for llvm_ir / lean / machine_code.
-// Anchor: src/v4/TASKS.md C5-fidelity (Modeled | Declared-normalized | Fail-closed).
+// Fidelity taxonomy: Modeled | Declared-normalized | Fail-closed.
 
 module v4.extdeps.languages.fidelity
 
diff --git a/src/v4/extdeps/languages/go.dag b/src/v4/extdeps/languages/go.dag
index 61b217e6113..a9a078b5f1a 100644
--- a/src/v4/extdeps/languages/go.dag
+++ b/src/v4/extdeps/languages/go.dag
@@ -1418,7 +1418,7 @@ fn go_string_algebra_inhabitance_decls() -> List<AlgebraInhabitanceDecl> {
   )
 }
 
-// 🟡 needs-more-work — feature:go-complex-algebra-inhabitance — tracked in src/v4/TASKS.md.
+// 🟡 needs-more-work — feature:go-complex-algebra-inhabitance — bind gunbc#4773.
 // Go complex values are unordered and backed by finite-precision float components;
 // std.algebra currently has no complex-specific approximate algebra constructor,
 // so Wave 2b keeps their primitive fact-bundles but does not advertise a stronger
@@ -1481,7 +1481,7 @@ fn go_declared_inhabitants_root() -> Node {
 }
 
 // Zip-fold support nodes derived from go_facts_int constructors — not parallel fixture data.
-// 🟡 gated — feature:W-T-10-mvp1-exact-zip-closure — bind TASKS.md T-10 — dissolve-on: find_witness enumerates inside declared_inhabitants without fixture zip-fold support edges.
+// 🟡 gated — feature:W-T-10-mvp1-exact-zip-closure — bind gunbc#4760 — dissolve-on: find_witness enumerates inside declared_inhabitants without fixture zip-fold support edges.
 fn go_mvp1_int_zip_fold_closure_edges() -> List<Edge> {
   [
     go_named_edge(
@@ -1612,7 +1612,7 @@ fn go_wave1_formal_productions() -> List<FormalProduction> {
   [go_formal_production_mvp1_fn_add()]
 }
 
-// 🟡 coproduct dissolution — feature:go-grammar-sequence-adapter — consumer:go_grammar_sequence_from_token_classes — bound task: src/v4/TASKS.md §T-7.1 / T-4.17 grammar-as-data migration — dissolve-on-arrival: ParseGrammar/GrammarProduction consume flat FormalProduction rhs directly and this parser-facing GrammarExpr sequence adapter is deleted.
+// 🟡 coproduct dissolution — feature:go-grammar-sequence-adapter — consumer:go_grammar_sequence_from_token_classes — bound task: gunbc#4761 — dissolve-on-arrival: ParseGrammar/GrammarProduction consume flat FormalProduction rhs directly and this parser-facing GrammarExpr sequence adapter is deleted.
 type GoGramBuild1State
   = GoGramBuild1StateInit
   | GoGramBuild1StateReady { expr: GrammarExpr }
@@ -1822,7 +1822,7 @@ fn go_keyword_lex_rule(token_class: Symbol, text: String) -> LexRule {
 }
 
 fn go_whitespace_trivia_rule() -> LexRule {
-  // 🟡 gated — feature:go-semicolon-insertion-layout — bound task: src/v4/TASKS.md §T-11 Layout-in-literals bridge + T-4.17 fail-closed ingest — Go newlines can insert
+  // 🟡 gated — feature:go-semicolon-insertion-layout — bound task: gunbc#4761 Layout-in-literals bridge + T-4.17 fail-closed ingest — Go newlines can insert
   // semicolons after line-final identifiers, literals, break/continue/fallthrough/
   // return, and selected delimiters. Wave 2a accepts only the horizontal-space
   // MVP subset; newline layout fails closed until std.lexing carries Go layout.
diff --git a/src/v4/extdeps/languages/kotlin.dag b/src/v4/extdeps/languages/kotlin.dag
index d29ce544c2c..9c8a3fa891b 100644
--- a/src/v4/extdeps/languages/kotlin.dag
+++ b/src/v4/extdeps/languages/kotlin.dag
@@ -1154,7 +1154,7 @@ fn kotlin_concrete_tokens_list(
   Cons { head: head, tail: tail }
 }
 
-// 🟡 coproduct dissolution — SL-T11-GRAMMAR-FROM-TOKEN-ROW — feature:t11-grammar-from-token-row — bind task: src/v4/TASKS.md#t-11-emit-per-target-specialization — owner:T-11 target-model grammar rows — dissolve-on-arrival: replace the fold with a std list-to-sequence helper once that helper lands and T-11 grammar rows consume it; forbidden: hand-authoring token-class sequence trees beside the *_mvp1_concrete_tokens source.
+// 🟡 coproduct dissolution — SL-T11-GRAMMAR-FROM-TOKEN-ROW — feature:t11-grammar-from-token-row — bind gunbc#4761 — owner:T-11 target-model grammar rows — dissolve-on-arrival: replace the fold with a std list-to-sequence helper once that helper lands and T-11 grammar rows consume it; forbidden: hand-authoring token-class sequence trees beside the *_mvp1_concrete_tokens source.
 fn kotlin_grammar_sequence_from_nonempty(
   head: ConcreteSyntaxToken,
   tail: List<ConcreteSyntaxToken>
diff --git a/src/v4/extdeps/languages/python.dag b/src/v4/extdeps/languages/python.dag
index 1675a3cb78f..43ffa452859 100644
--- a/src/v4/extdeps/languages/python.dag
+++ b/src/v4/extdeps/languages/python.dag
@@ -132,7 +132,7 @@ type PythonGrammarRelationRow {
 
 // 🟡 gated — feature:language-model-lex-grammar-bundle — per-language lex/grammar/core
 // authoring record; compiler ingest authority is `v4.std.language_model` `LanguageModel`
-// (TASKS.md Theme-A #9: LexRules/Grammar are projections, not parallel authorities). Peer:
+// (LexRules/Grammar are projections, not parallel authorities). Peer:
 // `KotlinLanguageModel`, `SwiftLanguageModel`, `JavaLanguageModel`. dissolve-on: wave-1 bundle
 // projects to `Node` at the ingest boundary (cf. `kotlin_mvp1_target_model_node`).
 type PythonLanguageModel {
@@ -180,7 +180,7 @@ type PythonSingletonPrimitiveFacts {
 // Leaf-model Layer-A — derived fact exposure + PLANNED SG-1 slot (mirror rust.dag:809–813).
 data python_integer_algebra_inhabitance_python_facts_int: AlgebraInhabitanceDecl = python_integer_algebra_inhabitance(facts: python_facts_int)
 data python_atom_realization_symbol_node: Node = python_inhabitant_atom(id: ^python_atom_realization_symbol)
-// 🟡 gated — feature:python-formal-epsilon-shim-terminal — bind TASKS.md T-7 / CP-1b —
+// 🟡 gated — feature:python-formal-epsilon-shim-terminal — bind gunbc#4761 / CP-1b —
 // dissolve-on: std/grammar canonical epsilon carrier; empty FormalProduction.rhs lowers
 // without fabricated parse-only token_class.
 data python_mvp1_source_text: String = "def add(x, y): return x + y"
@@ -946,7 +946,7 @@ fn python_declared_inhabitants_root() -> Node {
 }
 
 // Zip-fold support nodes derived from python_facts_int constructors — not parallel fixture data.
-// 🟡 gated — feature:W-T-10-mvp1-exact-zip-closure — bind TASKS.md T-10 — dissolve-on: find_witness enumerates inside declared_inhabitants without fixture zip-fold support edges.
+// 🟡 gated — feature:W-T-10-mvp1-exact-zip-closure — bind gunbc#4760 — dissolve-on: find_witness enumerates inside declared_inhabitants without fixture zip-fold support edges.
 fn python_mvp1_int_zip_fold_closure_edges() -> List<Edge> {
   [
     python_named_edge(
@@ -1055,7 +1055,7 @@ fn python_formal_rhs_from_token_classes() -> List<FormalGrammarSymbol> {
   )
 }
 
-// 🟡 gated — feature:python-formal-symbol-to-grammar-expr-shim — bind TASKS.md T-7 / CP-1b —
+// 🟡 gated — feature:python-formal-symbol-to-grammar-expr-shim — bind gunbc#4761 / CP-1b —
 // interim FormalGrammarSymbol → GrammarExpr projection for operational parse lowering only;
 // dissolve-on: std/grammar substrate projects FormalGrammarSymbol to GrammarExpr directly.
 fn python_formal_symbol_to_grammar_expr(sym: FormalGrammarSymbol) -> GrammarExpr {
@@ -1067,7 +1067,7 @@ fn python_formal_symbol_to_grammar_expr(sym: FormalGrammarSymbol) -> GrammarExpr
   }
 }
 
-// 🟡 gated — feature:python-formal-epsilon-grammar-expr-shim — bind TASKS.md T-7 / CP-1b —
+// 🟡 gated — feature:python-formal-epsilon-grammar-expr-shim — bind gunbc#4761 / CP-1b —
 // dissolve-on: std/grammar epsilon projection replaces Optional+sentinel terminal shim.
 fn python_formal_epsilon_grammar_expr() -> GrammarExpr {
   Optional {
@@ -1075,7 +1075,7 @@ fn python_formal_epsilon_grammar_expr() -> GrammarExpr {
   }
 }
 
-// 🟡 gated — feature:python-formal-rhs-to-expr-shim-fold — bind TASKS.md T-7 / CP-1b —
+// 🟡 gated — feature:python-formal-rhs-to-expr-shim-fold — bind gunbc#4761 / CP-1b —
 // interim fold carrier for FormalProduction.rhs → GrammarExpr Sequence lowering only;
 // dissolve-on: std/grammar substrate fold_non_empty_right (or equivalent) replaces this coproduct.
 type PythonFormalRhsToExprState
@@ -1103,7 +1103,7 @@ fn python_formal_rhs_to_grammar_expr(rhs: List<FormalGrammarSymbol>) -> GrammarE
   }
 }
 
-// 🟡 gated — feature:python-formal-alt-choice-shim-fold — bind TASKS.md T-7 / CP-1b —
+// 🟡 gated — feature:python-formal-alt-choice-shim-fold — bind gunbc#4761 / CP-1b —
 // interim fold carrier for multi-alt FormalProduction lhs → GrammarExpr Choice lowering only;
 // dissolve-on: std/grammar substrate fold_non_empty_right (or equivalent) replaces this coproduct.
 type PythonFormalAltChoiceState
@@ -1292,7 +1292,7 @@ fn python_ident_lex_rule() -> LexRule {
   }
 }
 
-// 🟡 predicate dissolution — feature:python-wave2a-decimal-int-literal — bind TASKS.md T-6/T-7 —
+// 🟡 predicate dissolution — feature:python-wave2a-decimal-int-literal — bind gunbc#4761 —
 // dissolve-on: std LexCharClass carries NonZeroDigitChar (or full integerliteral LexPattern).
 // 🟡 gated — feature:python-wave2a-decimal-int-literal — ASCII 49–57 ladder until
 // `NonZeroDigitChar` lands on v4.std.compilers.lexing; consumed only by python_decimal_int_literal_pattern.
diff --git a/src/v4/extdeps/languages/rust.dag b/src/v4/extdeps/languages/rust.dag
index fe9ec3d92d5..0d90471961d 100644
--- a/src/v4/extdeps/languages/rust.dag
+++ b/src/v4/extdeps/languages/rust.dag
@@ -1066,7 +1066,7 @@ fn rust_mvp1_i32_scalar_node() -> Node {
 }
 
 // Zip-fold support nodes derived from rust_facts_i32 constructors — not parallel fixture data.
-// 🟡 gated — feature:W-T-10-mvp1-exact-zip-closure — bind TASKS.md T-10 (Tracked scaffolds) — dissolve-on: find_witness enumerates inside declared_inhabitants without fixture zip-fold support edges; forbidden: duplicate i32 fact-bundle data nodes as parallel coercion authority.
+// 🟡 gated — feature:W-T-10-mvp1-exact-zip-closure — bind gunbc#4760 (Tracked scaffolds) — dissolve-on: find_witness enumerates inside declared_inhabitants without fixture zip-fold support edges; forbidden: duplicate i32 fact-bundle data nodes as parallel coercion authority.
 fn rust_mvp1_i32_zip_fold_closure_edges() -> List<Edge> {
   [
     rust_named_edge(