GATE D29

Ghép xuyên-prime trước-tái-dựng: PARTIAL

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

Điều gì thay đổi

D29 hỏi liệu bất biến không-nhãn, bất-biến-dấu nào ghép các lựa chọn phủ cục bộ xuyên prime trước tái dựng đầy đủ. Pha 1 chứng minh một thu gọn nội dung cục bộ: nội dung không-nhãn bất-biến-dấu đầy đủ của một phủ gấp cục bộ đúng bằng đa-tập bình phương, tương đương các dư hệ số đối xứng sơ cấp, nên mọi carrier cục bộ ứng viên đều qua một đối tượng hệ số. Pha 2 xác định ghép xuyên-prime khẳng định đầu tiên trong chương trình. Hệ số cao nhất bằng bình phương tích tốc độ, do đó một bình phương hoàn hảo bị chặn, và yêu cầu dư tái dựng của nó nhận một căn bậc hai bị chặn loại các trạng thái hệ số cục bộ mà thành viên độc lập nhận, với chứng chỉ chính xác và replay được, trên miền hữu hạn đầy đủ. Pha 3 khóa predicate này thành định lý: soundness, ngữ nghĩa một-scale-toàn-cục, cấu trúc modular-root chính xác, và một định lý đếm non-vacuity tổng quát. Bộ đánh giá chính xác quyết định nó là blocked-compute trong miền hữu ích dưới cap đóng băng, nên ghép được thiết lập toán học nhưng chưa dùng-được cho chiến dịch. LRC(13) vẫn mở.

Bằng chứng

kiểm 1Pha 1 PASS-REDUCTION: thu gọn nội dung cục bộ được chứng minh; mọi observable cục bộ không-nhãn bất-biến-dấu qua đối tượng hệ số. V1 15/15, V2 10/10 độc lập, corruption 400/400

kiểm 2Pha 2 COUPLING-SURVIVOR: predicate square-lift hệ số cao nhất sound và non-vacuous trên miền đầy đủ, loại 62 tới 78 phần trăm trạng thái admissible với chứng chỉ chính xác, trong miền trước-tái-dựng giữa B13 và B13 bình phương

kiểm 3Pha 3 PASS-Q13-THEOREM: soundness, ngữ nghĩa một-scale-toàn-cục, cấu trúc modular-root và một định lý đếm non-vacuity tổng quát được chứng minh và kiểm kép; bộ đánh giá chính xác blocked-compute trong miền hữu ích. Không BASE-SURVIVOR, không GLOBAL-WITNESS. LRC(13) MỞ

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

← Tất cả gate