Brummel a98da81e32 plan: 22-tidy DESIGN.md and spec drift after milestone-22 close

2026-05-09 22:50:25 +02:00

..

plans

plan: 22-tidy DESIGN.md and spec drift after milestone-22 close

2026-05-09 22:50:25 +02:00

specs

spec: 22 — drop Prelude-for-primitives, tighten 22c to existing vocabulary

2026-05-09 22:34:30 +02:00

DESIGN.md

iter 22b.4a.6: spec + DESIGN amendments — 22b.4 split, terminology fix, '__' separator, forall-constraints gap

2026-05-09 22:28:17 +02:00

JOURNAL.md

iter 22c: journal entry — milestone-22 acceptance fixture + mono pass user-ADT fix

2026-05-09 22:45:02 +02:00

PROSE_ROUNDTRIP.md

ail: embed Form-A spec in merge-prose prompt (iter 20f)

2026-05-08 23:31:27 +02:00