GATE C.004
Full k=9 campaign, estimate gate
What changed
p=19 fully certified by both verifiers. Campaign halted at preflight: p=151 exceeded the per-prime cap 9.3 times, exposing the lift-stage raw-expansion wall.
Evidence
check 1p=19 certified: tight fiber empty, both verifiers accept, manifest complete
check 2Exact integer threshold: 373-bit product beats 367-bit bound
check 3Stopped at the cap rather than dropping the hard prime
Verification: double · I2 · 12 artifacts (reports, verifiers, corruption suites, manifest with SHA-256)