GATE D11
Moment đục lỗ, đóng toàn kho
Điều gì thay đổi
Điểm nghẽn D10 là một atom phổ quát, không phải thiếu dual. Loại spike t=0 CHÍNH XÁC (nơi cả 13 runner đều bị cấm tầm thường) mở khoá dual bậc thấp: dual đục-lỗ bậc-5 nay có margin generic dương cho CẢ 109 prime trong kho (xấu nhất +0,1221, chính xác). Định lý cặp nghịch đảo trở nên đồng đều toàn kho (tương quan ngoại lệ kéo theo chiều cao tỉ số ≤ 3). Mỗi vector khi đó được dual đóng (chiều cao tỉ số cao) hoặc xuất chứng thư cấu trúc tỉ-số-ngoại-lệ chính xác.
Bằng chứng
kiểm 1Loại spike chính xác μ_j = C(13,j)/p + (p-1)/p·μ_j* (chứng minh + verifier kiểm)
kiểm 2Dual đục-lỗ bậc-5: margin generic DƯƠNG cho cả 109 prime (xấu nhất +0,1221)
kiểm 3Định lý cặp đồng đều toàn kho, dichotomy đóng-hoặc-tỉ-số-ngoại-lệ, 2 verifier, 30/30 tấn công
Kiểm chứng: double · I2 · 12 artifact (report, verifier, bộ tấn công, manifest SHA-256)