Packages: Essential $495 — rules review + severity-rated findings report + emulator spot-checks on the highest-risk paths (no rewrite — stated plainly). Standard $950 — full probe suite, the Proof Pack, hardened rules, re-test evidence, a 30-day re-probe window (one full re-run within 30 days of delivery), walkthrough call. Premium $1,800 — plus Storage rules, claims/App Check hardening.