Read README.md before doing anything in this repository. It is normative: the
Writing a roadmap section is the checklist all roadmap content is held against, including how
we relate to Mathlib, Tau Ceti and LML (use their vocabulary, never wait for their plans, never
upstream). Read CONTRIBUTING.md before opening or reviewing a pull request.
Roadmaps are human-owned. Agents may help a human draft or review a roadmap, but never open pull requests or issues here on their own initiative.
Skip praise and summaries. List the defects that need fixing, most important first, and say concretely what is wrong and what would fix it.