Enforced by `tests/perf_gate.rs`. Run `cargo test -p mailrs-dmarc --test perf_gate`.
500-record report represents the upper end of typical daily DMARC volume
for a small-to-mid domain — anything more would be unusual.
Methodology + re-measurement protocol identical to `crates/jmap/BUDGETS.md`.