2 Commits
Author SHA1 Message Date
Vijay Janapa Reddi 6860c2459f Centralize book checks in Binder CLI 2026-05-30 13:41:34 -04:00
Vijay Janapa Reddi 1004b76a1b Add math canonical check and skip shelved QMDs in validate.
Wire fmt-family suffix discipline into the binder check path and exclude _shelved drafts from validate scans.
2026-05-24 15:01:41 -04:00