tidylisted

# tidy ## When to use `magi math check` reports errors, tags have sprawled into near-duplicates, or two concept cards are about the same thing. ## Method **Maths.** Mechanical first, each run undoable with `magi math undo`: for arXiv-HTML papers `magi math repair --dry-run` then `magi math repair`; then `magi math format --dry-run` and `magi math format`. Then `magi math check --json`: fix one file's *first* entry and re-check — one unclosed `$$` reports as many errors as it swallows. `likely-macro` is a package or the author's macro, not a typo: define it in `math.preamble` or `<paper>.macros.tex`, never in the formula; check the PDF first (`magi ingest crop <pdf>`). A figure inside a formula becomes `\text{[omitted: <what it was>]}` — that shape exactly. **Tags.** `magi tags extract .`, read the counts, and write the mapping that collapses synonyms, acronyms and plurals into one tag. Show it to the human before `magi tags apply . <tag_map> <alias_map>` — it rewrites every card. Two tags that are aliases of each other usually mean two cards about one concept. **Concepts.** `magi link --dedup-only` proposes merges. Confirm each is really one concept, then `magi wiki refactor-concept --project-dir . --old <a> --new <b>`. A sub-concept merges into its parent; read it back with `magi wiki context --name <c>` first. Close with `magi lint --fix` and `magi index`. ## Rules - **Never** apply a tag mapping the human has not seen. It is not reversible by hand. - **Never** rena