p=5, l=7: (p/l)=-1, (2/l)=1, (3/l)=-1; asserted
p=17, l=7: (p/l)=-1, (2/l)=1, (3/l)=-1; asserted
p=5, l=103: (p/l)=-1, (2/l)=1, (3/l)=-1; asserted
288 exact parameter checks: identities hold; R mod 8 = 2; delta mod 3 = 1
Root bound: 5 > 2; contradiction residues: 0 != 1; asserted
Excluded controls (2,7), (11,7), (5,31), (3,7): rejected
Finite consistency checks only; the universal proof is analytic.