Align roadmap footnotes with the roadmap grammar - #552

Merged

leynos merged 5 commits into

mainfrom

docs/roadmap-syntax

Aug 17, 2026

Commits on Aug 17, 2026

Convert roadmap footnotes to inline links

leynos
authored and
leynos
committed
d495498
Standardize roadmap link text and note mapsplice exception

authored and
leynos
committed
29a3b89
Drop comma before restrictive "because" clause

leynos
and
claude
committed
76b840d
Standardize formal-verification guide link text

leynos
and
claude
committed
8847ce6
Document mapsplice roadmap editing for developers

leynos
and
claude
committed
679cba1