Vijay Janapa Reddi e0f49ecf2d chore(audit): extend audit_notation.py with bare-subscript and operator-spacing checks ...

Adds three new violation classes to the audit script:

  2. Bare subscripts: flags `_{lat}`, `_{hw}`, `_{vol}`, `_{peak}`, `_{req}`,
     and other multi-letter labels that should be wrapped per book-prose §2.
     Provides direct visibility into Bucket-B-style notation drift.

  3. Operators spacing (stub): placeholder for `\times` / `\cdot` spacing
     hygiene. Currently no-op, ready for future tightening.

  4. BW vs \text{BW} (stub): placeholder for bare BW detection in math.

Also tightens the existing Iron Law check to use the simpler regex
`R_{\text{peak}}\\cdot\\eta` instead of the previously over-escaped form.

2026-05-03 17:08:09 -04:00

3.0 KiB

Raw Permalink Blame History

View Raw