2 Commits

Author	SHA1	Message	Date
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
Vijay Janapa Reddi	241080d49c	chore(notation): final verification and surgical fixes ... - Fixed B_{hw} in hw_acceleration.qmd - Fixed \eta_{scaling} in benchmarking.qmd - Finalized batch size B standardizations - Passed rigorous 5x automated audit	2026-05-03 15:32:45 -04:00