C-D26-LABELED-ROOT

Chiến dịch CRT nghiệm-có-nhãn D26 MỞ: thay vì đợi tái dựng mọi hệ số tốc-độ-bình-phương sau ngưỡng 2H (khoảng B13 bình phương), giữ 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. Nhãn, dấu, hoán vị và scale là các đố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. D26 phải chứng minh tuple có-nhãn canonical, ghim ngưỡng CRT-trực-tiếp chính xác, dựng local oracle giữ-nhãn, dùng master phân-tích prime-power, tích hợp các cut thời-gian-hữu-tỉ, và đo net state complexity chính xác kể cả biến mới; một chiến dịch đầy đủ chỉ chạy nếu cây trạng thái reachable chứng minh vừa cap

Nói dễ hiểu

Hướng D26 giữ một global labeling cố định cho 13 vận tốc và tái dựng từng vận tốc trực tiếp bằng CRT ở ngưỡng thấp hơn, thay cho việc tái dựng các hệ số đối xứng ở ngưỡng cao. Nhãn, dấu và scale được cố định một lần ở cấp tuple, không theo từng prime.

Phát biểu chính xác

Chiến dịch CRT nghiệm-có-nhãn D26 MỞ: thay vì đợi tái dựng mọi hệ số tốc-độ-bình-phương sau ngưỡng 2H (khoảng B13 bình phương), giữ 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. Nhãn, dấu, hoán vị và scale là các đố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. D26 phải chứng minh tuple có-nhãn canonical, ghim ngưỡng CRT-trực-tiếp chính xác, dựng local oracle giữ-nhãn, dùng master phân-tích prime-power, tích hợp các cut thời-gian-hữu-tỉ, và đo net state complexity chính xác kể cả biến mới; một chiến dịch đầy đủ chỉ chạy nếu cây trạng thái reachable chứng minh vừa cap