GATE D3
Đóng residual, một chứng thư hoạt động
Điều gì thay đổi
Một oracle bitset độc lập khớp oracle D2 (0 bất đồng). Một hệ số không-đơn-vị đóng residual chính xác. Residual k=13 ở đây mới là ước lượng (~1.6e4), một tuyên bố bị Contractor rút thành RESIDUAL-UNKNOWN, chờ đếm chính xác.
Bằng chứng
kiểm 1Hai oracle độc lập cấu trúc khớp nhau vét cạn
kiểm 2Chứng thư trực tiếp: 14/14 mẫu tấn công bị CẢ HAI verifier từ chối
kiểm 3Đính chính: ước lượng k=13 không phải chặn (đã tính chính xác ở D4)
Kiểm chứng: double · I2 · 12 artifact (report, verifier, bộ tấn công, manifest SHA-256)