GATE D4
Đóng giao diện tight chính xác tại p=191
Điều gì thay đổi
Ước lượng được thay bằng con số CHÍNH XÁC: residual tight k=13 là 16.171 lớp orbit, với đẳng thức khối lượng chính xác B0 + B1 + residual = 14^13, tính mà không liệt kê fiber 14^13. Mọi đại diện đều proper tại prime cố định p=191.
Bằng chứng
kiểm 1Đếm orbit residual chính xác = 16.171 (Burnside = canonical augmentation)
kiểm 2Đẳng thức khối lượng chính xác B0 + B1 + residual = 14^13, cả 16.171 đại diện proper tại p=191
kiểm 3Hai verifier độc lập CHẤP NHẬN, 16/16 tấn công bị CẢ HAI từ chối
Kiểm chứng: double · I2 · 13 artifact (report, verifier, bộ tấn công, manifest SHA-256)