GATE D20
Lift tích các prime đồng thời, chặn ở quy mô
Điều gì thay đổi
D20 đã dựng toàn bộ bộ máy lift tích-các-prime rồi gặp bức tường tính toán. Rút gọn hữu hạn D6 và căn chỉnh D7R được đóng băng và replay độc lập không lệch predicate, nên không restart. Sửa chữa mấu chốt O-A: một phủ cục bộ tại một prime là cần nhưng chưa đủ cho phản ví dụ toàn cục: nhân chứng chính xác p=197 phủ ở mức nền nhưng lại proper ở một mức tinh hơn, nên phủ nền có thể bị phá bởi refinement. Điều đó khiến tìm kiếm tương thích phủ-nền thành bộ lọc một chiều đúng đắn, và mọi survivor chỉ là ứng viên còn phải qua tháp refinement. Trên nền đó, các quy tắc applicability, chuẩn hóa và tái dựng đã được chứng minh: một prime applicable đúng khi không chia hết tốc độ nào, dấu bị loại bằng bình phương, một scale toàn cục duy nhất tác động như một unit mỗi prime không có scaling riêng lẻ, đối tượng toàn cục là đa thức đơn khởi trên các tốc độ bình phương, và một inventory chứng nhận 294 prime vượt ngưỡng tái dựng. Engine tương thích, atlas xạ ảnh đầy đủ trên mọi stratum hệ số, oracle phủ ba trạng thái và generator phủ chính xác đầy đủ đều được dựng và kiểm kép. Nhưng sự thật quyết định là đo được, không phải giả định: liệt kê phủ cục bộ đầy đủ không kết thúc trong các cap tài nguyên cho các prime inventory, nên mọi block chiến dịch đều OPEN và không gì được chứng nhận đóng. Đây là D20-BLOCKED, một kết quả năng-lực-âm trung thực do chi phí, đúng như chiến dịch non-tight D6 trước đó. Không phải tuyên bố tương thích, không phải phản ví dụ, không phải lời giải. LRC(13) vẫn mở.
Bằng chứng
Kiểm chứng: double · I2 · 34 artifact (report, verifier, bộ tấn công, manifest SHA-256)