C-D21-PILOT

Pilot prime-khó VALIDATED-BOUNDED: trên các prime khó D20 tới 2267 mọi truy vấn thu hẹp kết thúc dưới 0.35s với chứng chỉ replay, và ca padding-bắt-buộc cùng tiêm timeout hành xử đúng (timeout thành OPEN). Đây là bằng chứng đo được có chặn rằng tường mỗi-truy-vấn đã gỡ, không phải kết luận chiến dịch

Nói dễ hiểu

Trên một pilot có chặn của các prime khó nhất, truy vấn nhanh mới hoạt động và trung thực về timeout.

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

Pilot prime-khó VALIDATED-BOUNDED: trên các prime khó D20 tới 2267 mọi truy vấn thu hẹp kết thúc dưới 0.35s với chứng chỉ replay, và ca padding-bắt-buộc cùng tiêm timeout hành xử đúng (timeout thành OPEN). Đây là bằng chứng đo được có chặn rằng tường mỗi-truy-vấn đã gỡ, không phải kết luận chiến dịch