GATE D6
Preflight non-tight, NO-GO-TẠM-THỜI
Điều gì thay đổi
Định lý tight D5 tích hợp đúng vào rút gọn đầy đủ (rule TIGHT_UNIFORM_D5, chứng minh tương đương trạng thái, hai verifier, 20/20 tấn công) và ngưỡng chính xác + kho prime đã khóa. Kết luận chiến dịch là NO-GO, nhưng TẠM THỜI: proxy chi phí D6 về sau bị phát hiện không trung thực (D7), nên con số p=877 bị rút. NO-GO dựa trên rút gọn chính xác + mốc upstream thật (k=12 p=563 = 24.5h, k=9 p=151 = 46.6 GB), không phải phép đo k=13 đã kiểm.
Bằng chứng
kiểm 1Ngưỡng chính xác B13 = 7^156·13^143, kho tối thiểu 109 prime [191,877]
kiểm 2Tích hợp rule D5 đã kiểm, 20/20 tấn công bị từ chối
kiểm 3Kết luận NO-GO-TẠM-THỜI, proxy chi phí D6 bị rút vì không hợp lệ (xem D7/D7R)
Kiểm chứng: double · I2 · 17 artifact (report, verifier, bộ tấn công, manifest SHA-256)