From a95961617f31e5f2ed3105cc199c7d2999a4a629 Mon Sep 17 00:00:00 2001 From: Brummel Date: Thu, 14 May 2026 02:28:25 +0200 Subject: [PATCH] roadmap: strike compare_primitives_smoke.ail P3 todo (obsolete after form-a milestone) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit The P3 'compare_primitives_smoke.ail counterpart' todo was satisfied incidentally by milestone form-a-default-authoring (closed 2026-05-13) — every examples/*.ail.json got an .ail sibling, and .ail became the canonical authoring surface across the corpus. --- docs/roadmap.md | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/docs/roadmap.md b/docs/roadmap.md index 9bbc698..23ab097 100644 --- a/docs/roadmap.md +++ b/docs/roadmap.md @@ -334,15 +334,12 @@ context. Pick the next milestone from P1.)_ ## P3 — Ideas -- [ ] **\[todo\]** `compare_primitives_smoke.ail` counterpart — - the canonical happy-path exhibit for canonical-type-names ships - only as JSON. Per Decision 6, Surface is the LLM-author surface; - the milestone should have a `.ail` counterpart. Two paths: author - `examples/compare_primitives_smoke.ail` to round-trip into the - existing JSON, OR retire the JSON fixture in favour of - `examples/ct_1_ordering_signum.{ail,ail.json}` as the new canonical - happy-path exhibit. - - context: fieldtest 2026-05-11 (spec_gap). +- [x] **\[todo\]** `compare_primitives_smoke.ail` counterpart. + Satisfied 2026-05-13 by milestone form-a-default-authoring — + `examples/compare_primitives_smoke.ail` is the canonical + authoring form for that fixture. Form A is now the default + authoring surface across the entire corpus. + - context: closed incidentally by form-a iter form-a.1. - [ ] **\[todo\]** Codegen `lookup_ctor_in_pattern` type-anchoring — `crates/ailang-codegen/src/lib.rs:1790` still walks every module's ctor_index by bare ctor name. Plumbing the scrutinee's