GATE D3
Residual closure, a working certificate
What changed
An independent bitset oracle agrees with the D2 oracle (0 disagreements). A non-unit multiplier closes the residual exactly. The k=13 residual was only estimated here (~1.6e4), a claim the Contractor withdrew as RESIDUAL-UNKNOWN pending an exact count.
Evidence
check 1Two structurally independent oracles agree exhaustively
check 2Direct certificate: 14 of 14 corruption fixtures rejected by BOTH verifiers
check 3Correction: k=13 estimate is not a bound (fixed exactly in D4)
Verification: double · I2 · 12 artifacts (reports, verifiers, corruption suites, manifest with SHA-256)