1 Commits
Author SHA1 Message Date
Vijay Janapa Reddi 98075a9c3b Retire the root tools/ folder
- Math-rendering audits move to binder/tools/audit/math_render/, beside
  the other book audits. Their repo anchor, usage lines, the CodeQL
  ignore path, and binder's render-audit scope follow. The scope now
  resolves the script from the repo root; it previously looked under
  the book directory, where the script never lived.
- The Playwright release smoke checks move to scripts/release-smoke/.
- The StaffML lint-calibration consensus record moves to
  staffml/vault/docs/lint_calibration/, where enums.py cites it.
- The one-off phase_b..phase_g cleanup manifests, the unused playbook
  validator, and the tools README are removed; git history keeps them.
2026-09-10 16:50:29 +02:00