GATE D6
Non-tight preflight, NO-GO-PROVISIONAL
What changed
The D5 tight theorem integrates correctly into the full reduction (rule TIGHT_UNIFORM_D5, state-equivalence proved, two verifiers, 20/20 attacks) and the exact threshold and prime inventory are frozen. The campaign verdict is NO-GO, but PROVISIONAL: the D6 cost proxy was later found unfaithful (D7), so its p=877 figure is withdrawn. The NO-GO rests on the exact reduction plus real upstream anchors (k=12 p=563 = 24.5h, k=9 p=151 = 46.6 GB), not a verified k=13 measurement.
Evidence
check 1Exact threshold B13 = 7^156·13^143, minimal inventory 109 primes [191,877]
check 2D5 rule integration verified, 20/20 adversarial attacks rejected
check 3Verdict NO-GO-PROVISIONAL, D6 cost proxy withdrawn as invalid (see D7/D7R)
Verification: double · I2 · 17 artifacts (reports, verifiers, corruption suites, manifest with SHA-256)