From 5b64423f2f6ad85893699d7125eecbec0f3f255f Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Fri, 12 Jun 2026 17:48:37 +0000 Subject: [PATCH 1/2] F1a: repoint deleted-TASKS.md cites in extdeps to live concept issues (comment-only) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Repoints ๐ŸŸก bind marks in extdeps/languages to concept issues #4757-#4761 and rewrites dead-ledger status/scope cites in extdeps/formats (T-4.6 rows) and Theme-A prose as plain English. dag.dag and typescript.dag are skipped (touched by open PR #4741); their 7 cites defer to a follow-up pass. Co-Authored-By: Claude Fable 5 --- src/v4/extdeps/formats/csv.dag | 4 ++-- src/v4/extdeps/formats/json_schema.dag | 2 +- src/v4/extdeps/formats/openapi.dag | 2 +- src/v4/extdeps/formats/sql.dag | 2 +- src/v4/extdeps/formats/toml.dag | 2 +- src/v4/extdeps/languages/cpp.dag | 2 +- src/v4/extdeps/languages/ecmascript.dag | 14 +++++++------- src/v4/extdeps/languages/fidelity.dag | 2 +- src/v4/extdeps/languages/go.dag | 8 ++++---- src/v4/extdeps/languages/kotlin.dag | 2 +- src/v4/extdeps/languages/python.dag | 16 ++++++++-------- src/v4/extdeps/languages/rust.dag | 2 +- 12 files changed, 29 insertions(+), 29 deletions(-) diff --git a/src/v4/extdeps/formats/csv.dag b/src/v4/extdeps/formats/csv.dag index 732c4eacdb3..93884bacd7b 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 (former TASKS.md T-4.6 โ€” ledger deleted). +// 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..4daf0d39750 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 (former TASKS.md T-4.6 โ€” ledger deleted) // 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..074b2783bf0 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 (former TASKS.md T-4.6 โ€” ledger deleted). // 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..9a57413bd54 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 (former TASKS.md T-4.6 โ€” ledger deleted). // 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..83b30a32199 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 (re-anchor of deleted TASKS.md T-10) โ€” 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 { 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..916b36eb3bf 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 (re-anchor of deleted TASKS.md T-7) / 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 { ) } -// ๐ŸŸก 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 (re-anchor of deleted TASKS.md T-7) / 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 (re-anchor of deleted TASKS.md T-7) / 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 (re-anchor of deleted TASKS.md T-7) / 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) -> 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 (re-anchor of deleted TASKS.md T-7) / 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 (re-anchor of deleted TASKS.md T-6/T-7) โ€” // 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..2e190e9bc61 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 { ) } -// ๐ŸŸก needs-more-work โ€” feature:go-complex-algebra-inhabitance โ€” tracked in src/v4/TASKS.md. +// ๐ŸŸก needs-more-work โ€” feature:go-complex-algebra-inhabitance โ€” bind gunbc#4760 (former tracker src/v4/TASKS.md โ€” deleted). // 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 (re-anchor of deleted TASKS.md T-10) โ€” dissolve-on: find_witness enumerates inside declared_inhabitants without fixture zip-fold support edges. fn go_mvp1_int_zip_fold_closure_edges() -> List { [ go_named_edge( @@ -1612,7 +1612,7 @@ fn go_wave1_formal_productions() -> List { [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 (re-anchor of deleted 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. 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 (re-anchor of deleted TASKS.md ยงT-11) 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..60e72202bb2 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 (re-anchor of deleted TASKS.md T-11) โ€” 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 diff --git a/src/v4/extdeps/languages/python.dag b/src/v4/extdeps/languages/python.dag index 1675a3cb78f..1b6c5be1407 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 (re-anchor of deleted TASKS.md T-7) / 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 (re-anchor of deleted TASKS.md T-10) โ€” dissolve-on: find_witness enumerates inside declared_inhabitants without fixture zip-fold support edges. fn python_mvp1_int_zip_fold_closure_edges() -> List { [ python_named_edge( @@ -1055,7 +1055,7 @@ fn python_formal_rhs_from_token_classes() -> List { ) } -// ๐ŸŸก 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 (re-anchor of deleted TASKS.md T-7) / 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 (re-anchor of deleted TASKS.md T-7) / 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 (re-anchor of deleted TASKS.md T-7) / 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) -> 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 (re-anchor of deleted TASKS.md T-7) / 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 (re-anchor of deleted TASKS.md T-6/T-7) โ€” // 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..a7fe409ac00 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 (re-anchor of deleted 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. fn rust_mvp1_i32_zip_fold_closure_edges() -> List { [ rust_named_edge( From 8b15700b54079b88038bf916f6da361117195491 Mon Sep 17 00:00:00 2001 From: Brian Searls Date: Fri, 12 Jun 2026 18:08:42 +0000 Subject: [PATCH 2/2] =?UTF-8?q?F1a:=20drop=20historical=20'(re-anchor=20of?= =?UTF-8?q?=20deleted=20TASKS.md=20=E2=80=A6)'=20parentheticals=20per=20op?= =?UTF-8?q?erator;=20rebind=20go=20complex-algebra=20mark=20to=20focused?= =?UTF-8?q?=20issue=20#4773;=20fixes=20=C2=A7T-7.1=20mangle=20by=20deletio?= =?UTF-8?q?n?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Co-Authored-By: Claude Fable 5 --- src/v4/extdeps/formats/csv.dag | 2 +- src/v4/extdeps/formats/json_schema.dag | 2 +- src/v4/extdeps/formats/openapi.dag | 2 +- src/v4/extdeps/formats/toml.dag | 2 +- src/v4/extdeps/languages/cpp.dag | 2 +- src/v4/extdeps/languages/ecmascript.dag | 12 ++++++------ src/v4/extdeps/languages/go.dag | 8 ++++---- src/v4/extdeps/languages/kotlin.dag | 2 +- src/v4/extdeps/languages/python.dag | 14 +++++++------- src/v4/extdeps/languages/rust.dag | 2 +- 10 files changed, 24 insertions(+), 24 deletions(-) diff --git a/src/v4/extdeps/formats/csv.dag b/src/v4/extdeps/formats/csv.dag index 93884bacd7b..1f5996293e0 100644 --- a/src/v4/extdeps/formats/csv.dag +++ b/src/v4/extdeps/formats/csv.dag @@ -1,5 +1,5 @@ // src/v4/extdeps/formats/csv.dag -// Scope: RFC 4180 CSV; format slice (former TASKS.md T-4.6 โ€” ledger deleted). +// Scope: RFC 4180 CSV; format slice. // Status: scaffold โ€” parse/emit, numeric lexeme, unique-name profile axes. // Anchor: https://datatracker.ietf.org/doc/html/rfc4180 diff --git a/src/v4/extdeps/formats/json_schema.dag b/src/v4/extdeps/formats/json_schema.dag index 4daf0d39750..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 (former TASKS.md T-4.6 โ€” ledger deleted) +// 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 074b2783bf0..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; format slice (former TASKS.md T-4.6 โ€” ledger deleted). +// 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/toml.dag b/src/v4/extdeps/formats/toml.dag index 9a57413bd54..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: scaffold โ€” parse/emit, numeric/datetime, table-syntax axes (former TASKS.md T-4.6 โ€” ledger deleted). +// 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 83b30a32199..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 gunbc#4760 (re-anchor of deleted 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 { 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 916b36eb3bf..3721c72dd03 100644 --- a/src/v4/extdeps/languages/ecmascript.dag +++ b/src/v4/extdeps/languages/ecmascript.dag @@ -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 gunbc#4761 (re-anchor of deleted 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 { ) } -// ๐ŸŸก gated โ€” feature:ecmascript-formal-symbol-to-grammar-expr-shim โ€” bind gunbc#4761 (re-anchor of deleted 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 gunbc#4761 (re-anchor of deleted 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 gunbc#4761 (re-anchor of deleted 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) -> Gram } } -// ๐ŸŸก gated โ€” feature:ecmascript-formal-alt-choice-shim-fold โ€” bind gunbc#4761 (re-anchor of deleted 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 gunbc#4761 (re-anchor of deleted 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/go.dag b/src/v4/extdeps/languages/go.dag index 2e190e9bc61..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 { ) } -// ๐ŸŸก needs-more-work โ€” feature:go-complex-algebra-inhabitance โ€” bind gunbc#4760 (former tracker src/v4/TASKS.md โ€” deleted). +// ๐ŸŸก 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 gunbc#4760 (re-anchor of deleted 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 { [ go_named_edge( @@ -1612,7 +1612,7 @@ fn go_wave1_formal_productions() -> List { [go_formal_production_mvp1_fn_add()] } -// ๐ŸŸก coproduct dissolution โ€” feature:go-grammar-sequence-adapter โ€” consumer:go_grammar_sequence_from_token_classes โ€” bound task: gunbc#4761 (re-anchor of deleted 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: gunbc#4761 (re-anchor of deleted 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 60e72202bb2..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 gunbc#4761 (re-anchor of deleted TASKS.md T-11) โ€” 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 diff --git a/src/v4/extdeps/languages/python.dag b/src/v4/extdeps/languages/python.dag index 1b6c5be1407..43ffa452859 100644 --- a/src/v4/extdeps/languages/python.dag +++ b/src/v4/extdeps/languages/python.dag @@ -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 gunbc#4761 (re-anchor of deleted 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 gunbc#4760 (re-anchor of deleted 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 { [ python_named_edge( @@ -1055,7 +1055,7 @@ fn python_formal_rhs_from_token_classes() -> List { ) } -// ๐ŸŸก gated โ€” feature:python-formal-symbol-to-grammar-expr-shim โ€” bind gunbc#4761 (re-anchor of deleted 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 gunbc#4761 (re-anchor of deleted 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 gunbc#4761 (re-anchor of deleted 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) -> GrammarE } } -// ๐ŸŸก gated โ€” feature:python-formal-alt-choice-shim-fold โ€” bind gunbc#4761 (re-anchor of deleted 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 gunbc#4761 (re-anchor of deleted 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 a7fe409ac00..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 gunbc#4760 (re-anchor of deleted 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 { [ rust_named_edge(