GATE D27

CRT không-nhãn nén-orbit: BLOCKED

blockedEvidence I2Kiểm: doubleClaim công khai: Không2026-07-20

Điều gì thay đổi

D26 chứng minh ngưỡng CRT tọa độ trực tiếp nhưng đo nghĩa vụ gán nhãn là chi phí net âm. D27 giữ ngưỡng tái dựng thấp trong khi bỏ nhãn cố định theo prime, giữ trạng thái toàn cục dưới dạng đa-tập không thứ tự các lớp nghiệm CRT cùng stabilizer của nó. Ghép một prime mới thực hiện bằng liệt kê các orbit khớp, tức transport matrix trên đồ thị tương thích, thay vì hoán vị thô. Orbit quotient được chứng minh chính xác, không false merge và không false split, và hệ số sign-lift 2^13 mỗi prime được tách lần đầu. Kết quả quyết định là một obstruction chứng nhận, không phải proxy trường hợp xấu nhất: một merge generic residue-phân-biệt đơn đã sinh 25.505.877.196.800 orbit con, khoảng 2^44.5, vượt trần trạng thái 2^42 tại độ sâu ghép một. Gate đóng kiến trúc CRT-nghiệm không-nhãn liệt-kê-orbit tiến dưới cap đóng băng. Nó không loại phương pháp hai chiều hay hybrid, và không quyết giả thuyết. LRC(13) vẫn mở.

Bằng chứng

kiểm 1Định lý orbit quotient: trạng thái CRT không thứ tự con tương ứng song ánh với transport matrix; số matching thô mỗi orbit bằng đa thức bội chính xác. Chứng minh và kiểm độc lập, không false merge/split, xử lý nghiệm lặp và stabilizer không tự do

kiểm 2Định lý shallow-zone: dưới vùng ngưỡng chứng nhận các cut số học và thời-gian-hữu-tỉ mù-với-ghép-cặp, nên độ rộng reachable là tích chính xác các đếm orbit; một merge generic là 2^44.5, trên trần 2^42 tại độ sâu một

kiểm 3D27-BLOCKED (đo được, chứng nhận tại độ sâu một). Verifier V1 19/19 và V2 15/15 ACCEPT, corruption 255/255. Định lý ngưỡng vẫn đứng; kiến trúc liệt-kê-orbit tiến không vừa cap. Không BASE-SURVIVOR, không GLOBAL-WITNESS. LRC(13) MỞ

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

← Tất cả gate