Vijay Janapa Reddi
e26b6e145b
Remove LEGO header import-export bookkeeping
2026-06-12 04:49:48 -04:00
Vijay Janapa Reddi
92f9165d03
fix(book): harden LEGO formatting across volumes
...
Add native Binder checks for LEGO formatting/unit/prose contracts, extend mlsysim formatter helpers, and normalize Vol1/Vol2 LEGO output strings through typed formatters.
Validate precision-sensitive prose rendering across both volumes and promote direct math/string assembly to fmt_math, fmt_display_math, fmt_text, and domain-specific helpers.
2026-06-11 14:36:35 -04:00
Vijay Janapa Reddi
12e8b0e05f
Hide forbidden inline LEGO suppression fixture
2026-06-05 15:47:16 -04:00
Vijay Janapa Reddi
c27f42de34
Reject inline LEGO suppressions in code cells
2026-06-05 15:07:22 -04:00
Vijay Janapa Reddi
ed2af2eed9
Keep scenario assumptions out of high-confidence audit
2026-06-01 15:42:23 -04:00
Vijay Janapa Reddi
4e36ae2d15
Classify only GPU-hour prices as high confidence
2026-06-01 15:35:42 -04:00
Vijay Janapa Reddi
3b7af5650f
Refine LEGO source audit word matching
2026-06-01 15:30:28 -04:00
Vijay Janapa Reddi
5f1cd065b3
Tighten LEGO source audit confidence
2026-06-01 15:27:23 -04:00
Vijay Janapa Reddi
a0b719c1d4
Harden LEGO unit audit gates
2026-06-01 07:08:06 -04:00
Vijay Janapa Reddi
e7c3f7e34f
Fix TFLOP/s per W rate integrity and add L011 lint rule.
...
GpuEfficiencyTrajectoryRecap now divides Pint quantities through OUTPUT;
L011 blocks magnitude-ratio rate reattachment without preserved denominators.
2026-05-31 19:35:08 -04:00
Vijay Janapa Reddi
5c2d9bfcd2
Fix L014 closed-name fmt detection and refresh honest baseline.
...
The linter silently missed *_unit_str = fmt(...) assignments; replace the broken
space-strip check with L014_CLOSED_FMT and allowlist 81 known cases until 8½-B.
2026-05-31 19:28:18 -04:00
Vijay Janapa Reddi
758e5ddfce
Clear lego-units lint debt and add closure codemods.
...
Zero the warning baseline, retire L017 false positives, add L019 blocking and
lint tests, and ship codemods for glued fences and bulk lint fixes.
2026-05-31 19:13:23 -04:00
