GATE D2
Direct properness, the open door
What changed
Ground-truth reversal: the tight fiber is all-proper for composite k+1. The obstruction was the affine route, not properness itself. The certificate covers the k=13 sample 100%.
Evidence
check 1Exhaustive full definition: all-proper for the small cases
check 2Richer witness rescues every earlier affine failure
check 3Self-audit caught a missing gcd branch in the oracle mid-gate
Verification: single · I2 · 9 artifacts (reports, verifiers, corruption suites, manifest with SHA-256)