GATE D24

Cut sớm trên reachable state

partialEvidence I2Kiểm: doubleClaim công khai: Không2026-07-19

Điều gì thay đổi

D23 chứng minh các cut sớm của nó an toàn và cho thấy, trên một pilot có chặn, chúng cắt mạnh trước tái dựng. Các số pilot, mọi ứng viên và mọi phủ lấy mẫu bị loại, là đo trên một mẫu, không phải phát biểu về cả không gian tìm. D24 kiểm các cut đã chứng minh nơi thực sự quan trọng: trên các trạng thái thật mà global master chạm, thay vì trên ứng viên ngẫu nhiên. Engine mang một đồng hồ chung duy nhất, một mẫu residue toàn cục modulo tám mươi tư, bội chung nhỏ nhất của các lưới level mười bốn, hai tám và bốn hai, và không bao giờ chọn lại mẫu đó riêng tại mỗi prime, nên các ràng buộc level giữ là một đối tượng toàn cục chung. Trên luồng reachable-state thật này nó đo các cut đã chứng minh cắt bao nhiêu, branching chúng tạo, chi phí chứng chỉ và chi phí chiến dịch dự phóng. 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 1Áp các cut sớm đã-chứng-minh-D23 (Branch A khả-dĩ số học + Branch B refinement 14/28/42) lên các reachable state THẬT liệt kê bởi global master, không phải một mẫu ngẫu nhiên

kiểm 2Mang MỘT residue multiset toàn cục modulo 84 = lcm(14,28,42), một đồng hồ modulus-nhỏ chung duy nhất; không bao giờ chọn lại residue level độc lập tại mỗi prime

kiểm 3D24-PARTIAL (đo trên phân phối reachable): ngữ nghĩa mod-84 toàn cục và ghép CRT refined đã chứng minh và kiểm kép; cut chính xác t=1/14 kích hoạt trên nhân chứng p=197; các cut refinement cố định tại 14/28/42 loại 55.3% reachable state. Hơn 190 tấn công bị bác. Nhưng giảm là hằng số: mod-84 khoảng 2^84, còn lại khoảng 2^83 so cap khoảng 2^42, chỉ báo cỡ cho kiến trúc hiện tại không phải sàn cứng. Đóng chính xác trên nhánh đã kiểm; nhánh OPEN chứng nhận còn lại; frontier chuyển sang D25 tách thời-gian-hữu-tỉ thích nghi. 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ị

xuất hiệnC-D24-REACHABLEĐã chứng minh (nội bộ)xuất hiệnC-D24-COUPLINGĐã chứng minh (nội bộ)xuất hiệnC-D24-PRUNINGĐã thẩm định (có chặn)xuất hiệnC-D24-CLOSUREMở thay đổiC-D23-CAMPAIGNMở

← Tất cả gate