Brummel edccc087a4 WhatsNew: audit-23 — milestone closed, regression ratified

2026-05-12 00:57:36 +02:00

..

journals

audit 23: ratify compile_check baseline + DESIGN.md stub-fix

2026-05-12 00:57:12 +02:00

plans

plan: iter 23.5 prelude free fns + E2E — 8 tasks

2026-05-12 00:16:23 +02:00

specs

spec: 23 — correct prep-commit reachability against main

2026-05-11 22:04:49 +02:00

DESIGN.md

audit 23: ratify compile_check baseline + DESIGN.md stub-fix

2026-05-12 00:57:12 +02:00

journal-archive.md

iter or.1.1: migrate JOURNAL.md to journal-archive.md + docs/journals/

2026-05-11 11:14:08 +02:00

PROSE_ROUNDTRIP.md

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

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

roadmap.md

iter 23.5: prelude free fns + E2E — Eq/Ord milestone close

2026-05-12 00:38:52 +02:00

WhatsNew.md

WhatsNew: audit-23 — milestone closed, regression ratified

2026-05-12 00:57:36 +02:00