GATE D26
Chiến dịch CRT nghiệm-có-nhãn
partialEvidence I2Kiểm: doubleClaim công khai: Không2026-07-19
Điều gì thay đổi
Mọi đường tới nay đều trả giá nặng ở bước tái dựng, vì nó dựng lại các hàm đối xứng của tốc độ bình phương, sống dưới một ngưỡng rất cao, khoảng chặn tốc độ bình phương. D26 tấn công ngưỡng đó trực tiếp. Ý tưởng là nếu tìm kiếm duy trì một nhãn toàn cục đúng và cố định cho cả mười ba tốc độ, thì mỗi tốc độ riêng có thể ghim bằng định lý phần dư Trung Hoa ở ngưỡng thấp hơn nhiều, dựa trên chặn tốc độ thường thay vì bình phương của nó. Kỷ luật không thương lượng là danh tính người chạy, dấu, hoán vị và scale tổng thể được quyết một lần, cho cả tuple, ở cấp toàn cục, và không bao giờ canonicalize lại riêng tại mỗi prime hay mỗi denominator thời-gian-hữu-tỉ, vì đó chính là lỗi mà các gate trước phải gỡ. Gate phải chứng minh một tuple có-nhãn canonical duy nhất tồn tại và xác định rõ, ghim ngưỡng thấp chính xác cho tái dựng trực tiếp, dựng kiểm cục bộ giữ nhãn toàn cục, giữ trạng thái trong một master phân-tích prime-power, gộp các cut thời-gian-hữu-tỉ từ gate trước, và đo net state complexity thật, đếm mọi biến mới nhãn đưa vào. Một chiến dịch đầy đủ chỉ chạy khi cây trạng thái reachable chứng minh vừa giới hạn cố định. Không ngân sách compute lớn hơn được duyệt, và không có gì về giả thuyết được quyết bởi việc mở gate này. LRC(13) vẫn mở.
Bằng chứng
kiểm 1Giữ một nhãn TOÀN CỤC đúng cho 13 tốc độ và CRT từng V_i trực tiếp ở ngưỡng dựa trên B13 (thấp hơn nhiều ngưỡng hệ-số-bình-phương ~B13^2). Chứng minh tuple có-nhãn canonical tồn tại và ghim ngưỡng CRT-trực-tiếp chính xác
kiểm 2Nhãn, dấu, hoán vị và scale là đối tượng TOÀN CỤC cố định MỘT LẦN ở cấp tuple, KHÔNG BAO GIỜ canonicalize lại theo prime hay theo denominator thời-gian-hữu-tỉ. Dựng local oracle giữ-nhãn và master phân-tích prime-power, tích hợp các cut thời-gian-hữu-tỉ D25
kiểm 3Đo net state complexity chính xác, đếm mọi biến mới nhãn đưa vào; chạy chiến dịch đầy đủ chỉ khi cây trạng thái reachable chứng minh vừa cap. Không tăng ngân sách compute; không GLOBAL-WITNESS; BASE-SURVIVOR leo thang tới D20-R. LRC(13) MỞ
kiểm 4D26-PARTIAL (đo được): tuple có-nhãn canonical và CRT tọa độ trực tiếp được chứng minh và kiểm kép. Ngưỡng trực tiếp chứng minh khoảng một nửa ngưỡng hệ-số-bình-phương, 969 bit so với 1946 bit, giảm tích prime chứng nhận từ khoảng 205 xuống khoảng 109 prime, một giảm thật. 723 trên 723 tấn công bị bác. Nhưng ledger net-complexity chính xác quyết định và âm: cố định một nhãn toàn cục buộc tới 13 giai thừa, khoảng 6.2 tỉ, gán nhãn mỗi prime tích lũy, khoảng 2^3546 entropy nhãn, vượt xa cả tiết kiệm ngưỡng 977 bit lẫn cap compute 2^42. Theo quy tắc gate, một denominator thêm nhiều trạng thái tự do hơn nó bỏ không phải tiến bộ, nên chiến dịch có-nhãn không net-vừa cap. Định lý tái dựng vẫn đứng; campaign-fit đóng âm. 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ác động đồ thị