Packed binary PCS including the GHASH field switch, over 2^31 Boolean evaluations, proved on an AWS Graviton4 (Neoverse V2, SVE2, 8 vCPUs, no AVX-512) and verified on x86 by the same pinned verifier as the x86 track. Edit solution-arm. Score: median prover process time in milliseconds across five sequential runs. Also records each run's time and proof size, plus the verified commitment modulus.