GATE D2
Properness trực tiếp, cánh cửa mở
Điều gì thay đổi
Đảo chiều chân trị: fiber tight là all-proper cho k+1 hợp số. Rào cản nằm ở tuyến affine, không phải bản thân properness. Chứng thư phủ mẫu k=13 100%.
Bằng chứng
kiểm 1Định nghĩa đầy đủ vét cạn: all-proper cho các ca nhỏ
kiểm 2Nhân chứng giàu hơn cứu mọi thất bại affine trước đó
kiểm 3Tự audit bắt được một nhánh gcd thiếu trong oracle giữa gate
Kiểm chứng: single · I2 · 9 artifact (report, verifier, bộ tấn công, manifest SHA-256)