GATE D28

Cầu vượt phình chứng nhận: BLOCKED-BEFORE-BUILD

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

Điều gì thay đổi

D28 kiểm liệu vùng số-lượng-trạng-thái đã chặn D27 có thể vượt qua mà không liệt kê orbit con hay không, xét một meet biểu tượng hai chiều và một chuyển hệ-số-sang-nghiệm ở mức thiết kế trước khi có code sản xuất. Đường hai chiều thiết kế với frontier dạng-tích hoãn ghép-cặp và dấu, và frontier lùi được chỉ ra sinh được mà không biết tuple đích, loại nguy cơ vòng lặp. Meet của nó vẫn để nguyên tích lựa-chọn-phủ cục bộ, vì không ràng buộc đóng băng nào ghép các lựa chọn phủ xuyên prime dưới vùng tái dựng. Đường switch chỉ sound khi thông tin hệ số đã ghim đa-tập nghiệm, khi đó nó về kiến trúc hệ số trước và chi phí seeding đã biết. Một carrier hệ số không-nhãn ghim ở 979 bit được ghi làm phát hiện ứng viên. Cả hai đường do đó có nghĩa vụ chịu lực mà các bức tường thượng nguồn đo được mâu thuẫn, nên không cầu nào triển khai được dưới cap xuất hiện mà thiếu một định lý ghép mới. LRC(13) vẫn mở.

Bằng chứng

kiểm 1Đường A meet hai chiều: frontier dạng-tích hoãn ghép-cặp và dấu; frontier lùi sinh được không cần tuple đích. Nhưng meet không cắt tích phủ cục bộ, nên không hợp lệ dưới cap đóng băng như đặc tả

kiểm 2Đường B chuyển hệ-số-sang-nghiệm: chỉ sound tại ngưỡng ghim, nơi nó dựng lại kiến trúc bị chặn trước; một switch trước-ghim chứng nhận vẫn là định lý mở. Một carrier hệ số không-nhãn 979 bit là ứng viên

kiểm 3D28-BLOCKED-BEFORE-BUILD. Bốn định lý còn thiếu được ghi làm điều kiện mở lại. Không viết code sản xuất theo quyết định. Không BASE-SURVIVOR, không GLOBAL-WITNESS. LRC(13) MỞ

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

← Tất cả gate