quiet-otter-242

ROADMAP.md

@@ -559,7 +559,7 @@ Surfaced by paired Exploratory Analysis (gpt-5-5-pro main@8cd5359; 9 findings ag
 
 - **`??` and `%` declared in dag-syntax authority but absent from v3 token/parser/operator surface — RESOLVED 2026-05-03 (Grounding parser-grammar slice)** (sharpened from operator-ontology-three-coexisting-authorities at ROADMAP:424-425): unsupported `dag_operators` rows for `??` (`NullCoalesce` binop) and `%` (`Mod` binop) were removed from `dsl/extdeps/languages/dag/syntax.dag`; the v3-supported `.dag` binary operator set is now exactly `||`, `&&`, comparisons, `+`, `-`, `*`, and `/`, with `|>` / `.` remaining tokenized parser forms whose `binop` is `none`. Regression coverage now requires every `dag_operators` row with a binary `binop` to have matching `TokenKind` coverage, a `BinaryOpRow` in `src/v3/compiler/parse_tables.dag`, and an `operators.dag::from_symbol` mapping; tokenizer authority also rejects parser-only shared operators. **Future scope:** reviving `%` or `??` is additive, not debt cleanup, and must land the full chain together (token + parse + `OperatorKind` + algebra-field/lowering/inference semantics) after the R3 Substrate operator-ontology decision. Surfaced 2026-05-01 (Exploratory Finding 4); resolved by deletion + executable cross-validation gate.
 
-- **`CollectionOps` / `StringOps` / `MapOps` duplicate algebra operation surfaces as target-string templates** (sharpened from language-fact-duplication / LanguageSpec-dual-authority at ROADMAP:365 + :424): `dsl/std/algebra.dag:301-326` declares `FreeMonoid<T>` carrying `concat`, `empty`, `length`, `map`, `filter`, `fold`, `flat_map`, etc. as algebraic operations; `:328-349` declares `PartialFunction<K,V>` carrying `lookup`, `empty`, `insert`, `merge`, `keys`, `values`. `dsl/std/languages.dag:281-318` then declares per-target `CollectionOps`, `StringOps`, `MapOps` records with `count: String` / `first: String` / `fold: String` / `empty_list: String` etc. — second operation ontology parallel to FreeMonoid + PartialFunction. **Dissolution**: realize operations should reference `DeclarationRef` / method contracts for algebra fields. Target templates can remain render-data, but identity is "realization of `FreeMonoid<T>.fold` for Rust", not a second `fold: String` field. **Phase-1 partial (2026-05-03, v3 emit-model path):** `src/v3/std/emit_model.dag` `CollectionOps.fold` → `fold_contract: DeclarationRef` with named per-target `MethodTemplateContract` rows for `fold_method` (`docs/briefs/collectionops-algebra-reframe.md` carries the migration order for remaining `CollectionOps` fields, then `StringOps` / `MapOps` / `PartialFunction`, and defers touching `dsl/std/languages.dag` until v3 consumers are authoritative). **Remaining:** migrate `concat` / `length` / `map` / related `CollectionOps` strings; align `StringOps` / `MapOps`; retire the parallel dsl ontology last. Surfaced 2026-05-01 (Exploratory Finding 7). Owner: R3 Grounding (T-Ground-LanguageSpec + algebra method contracts).
+- **`CollectionOps` / `StringOps` / `MapOps` duplicate algebra operation surfaces as target-string templates** (sharpened from language-fact-duplication / LanguageSpec-dual-authority at ROADMAP:365 + :424): `dsl/std/algebra.dag:301-326` declares `FreeMonoid<T>` carrying `concat`, `empty`, `length`, `map`, `filter`, `fold`, `flat_map`, etc. as algebraic operations; `:328-349` declares `PartialFunction<K,V>` carrying `lookup`, `empty`, `insert`, `merge`, `keys`, `values`. `dsl/std/languages.dag:281-318` then declares per-target `CollectionOps`, `StringOps`, `MapOps` records with `count: String` / `first: String` / `fold: String` / `empty_list: String` etc. — second operation ontology parallel to FreeMonoid + PartialFunction. **Dissolution**: realize operations should reference `DeclarationRef` / method contracts for algebra fields. Target templates can remain render-data, but identity is "realization of `FreeMonoid<T>.fold` for Rust", not a second `fold: String` field. **Phase-1 partial (2026-05-03, v3 emit-model path):** `src/v3/std/emit_model.dag` `CollectionOps.fold` → `fold_contract: DeclarationRef` with named per-target `MethodTemplateContract` rows for `fold_method` (`docs/briefs/collectionops-algebra-reframe.md` carries the migration order for remaining `CollectionOps` fields, then `StringOps` / `MapOps` / `PartialFunction`, and defers touching `dsl/std/languages.dag` until v3 consumers are authoritative). **Phase-3 `map` (2026-05-05, v3 path):** `CollectionOps.map: String` → `map_contract: DeclarationRef` with per-target `MethodTemplateContract` carriers for `map_method` (`rust_language_spec_map_contract` / `python_language_spec_map_contract` / `go_language_spec_map_contract`). Like **fold**, Python/Go **omit** `map_method` from `{python,go}_method_template_contracts`: those lists feed the legacy `{arg}`/`NamedArg` projection; `map_contract` uses CollectionOps `{body}`/`{item}` (Python) or a stub (Go) — listing the same carrier would project the wrong shape into the legacy adapter. **Go stub dissolution trigger** (P5): `go_language_spec_map_contract` drops comment-placeholder templates (`/* map(...) */`) when Go emit resolves `map_contract` to real templates (e.g. `v2rt.Map`-family strings wired from this row in `emit/go_target.rs`); closure check: grep/`rg` finds no `/* map(` in `src/v3/std/go_method_template_contracts.dag` for that declaration. `filter` / `flat_map` / `any` / `all` + monoid ops remain contract-backed as before. **Remaining:** legacy literal fields (`contains`, `empty_list`, `list_literal`, `cons` on v3 `CollectionOps`, plus `StringOps` / `MapOps`); delete per emit_model dissolution comment once all render paths consume templates only through contract refs. Surfaced 2026-05-01 (Exploratory Finding 7). Owner: R3 Grounding (T-Ground-LanguageSpec + algebra method contracts).
 
 #### C. Exploratory findings — already tracked (no new ROADMAP row needed)