GATE D7R

Bộ chân trị, tái lập predicate

passEvidence I2Kiểm: doubleClaim công khai: Không2026-07-18

Điều gì thay đổi

find_cover upstream đã ghim được compile thành oracle và tái lập chân trị chính xác (p=19 = 1, p=53 = 4.651). Một oracle hoàn toàn độc lập khớp ở mức ĐỐI TƯỢNG (tập giống hệt từng byte) trên năm prime. Con số 4.651 nay đã hiểu: cover multiset cỡ K với speed neo 1 được lặp một lần (đệm tọa độ trùng). Tác động unit tương thích ở mức đối tượng cuối. Predicate đã đóng băng lại, có thể tiếp tục tối ưu trên ngữ nghĩa đã căn chỉnh.

Bằng chứng

kiểm 1Oracle upstream (commit 755b116b) tái lập F19=1, F53=4.651 chính xác

kiểm 2Oracle độc lập khớp mức ĐỐI TƯỢNG trên 5 prime (19/53/59/67/71)

kiểm 34.651 = 3.147 phân biệt + 1.504 multiset đệm neo, hai checker, 20/20 tấn công

Kiểm chứng: double · I2 · 12 artifact (report, verifier, bộ tấn công, manifest SHA-256)

← Tất cả gate