GATE D7
Thiết kế lại kiến trúc, RESTART (đóng băng lại predicate)
Điều gì thay đổi
Trước khi tối ưu, predicate find_cover phải tái lập chân trị đã khóa. Nó tái lập k=9 p=19 = 1 chính xác, nhưng KHÔNG khớp upstream k=9 p=53 = 4.651 lớp chuẩn tắc, và proxy chi phí D6 bị phát hiện không trung thực (báo 0 cover nơi chân trị là 1), nên dự báo 21 giờ trước đó bị rút. RESTART trung thực: đóng băng lại predicate chính xác từ oracle upstream trước mọi run prime khó. Không bịa p=877. Đòn bẩy đối xứng unit đã được chứng minh và giữ lại.
Bằng chứng
kiểm 1Predicate tái lập p=19 = 1 chính xác, p=53 = 4.651 KHÔNG khớp (quy ước không phục hồi được)
kiểm 2Proxy chi phí D6 không trung thực (0 vs 1 cover tại p=19), dự báo 21h cho p=877 bị rút
kiểm 3Định lý đối xứng unit đã chứng minh (đòn bẩy ~(p-1)/2 lần), không bịa run prime khó
Kiểm chứng: double · I2 · 9 artifact (report, verifier, bộ tấn công, manifest SHA-256)