PR #416 ships the absolute allocs/event ceiling gate at make bench-allocs-check but the target is standalone — not invoked from make verify (pre-push), make ci-fast, or make ci-full (CI).
Result: the ratchet only fires on manual invocation; per-PR enforcement is missing.
Fix: Add bench-allocs-check to ci-full (or verify if fast enough) so any PR that introduces a per-event allocs regression above the ceiling fails CI automatically.
Cost: 1-line Makefile edit + verify wall-time impact stays under the documented budget (PRINCIPLES.md §10: ci-fast <60s, ci-full <2.5m).
Tracked from adversarial review of #416.
PR #416 ships the absolute allocs/event ceiling gate at
make bench-allocs-checkbut the target is standalone — not invoked frommake verify(pre-push),make ci-fast, ormake ci-full(CI).Result: the ratchet only fires on manual invocation; per-PR enforcement is missing.
Fix: Add
bench-allocs-checktoci-full(orverifyif fast enough) so any PR that introduces a per-event allocs regression above the ceiling fails CI automatically.Cost: 1-line Makefile edit + verify wall-time impact stays under the documented budget (PRINCIPLES.md §10: ci-fast <60s, ci-full <2.5m).
Tracked from adversarial review of #416.