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