يطور هذا المقال نظراً لأنظمة الترميز التخميني التي تستخدم الترميز الجشع، أو قواعد قبول مرتخية، أو مجموعات مرشحين شجرية، بدلاً من الإعدادات العشوائية الحافظة للتوزيع المدروسة في الأدبيات الحالية. يميز المؤلفون مناطق الرفض كمجموعات مستوى أدنى للتوزيع المستهدف لاستنتاج متطلبات تباعد KL الدقيقة والحدود القائمة على الهامش لمعايير قبول مختلفة.
- يميز الشهادات الدقيقة والحدود القائمة على الهامش للترميز الجشع الصارم، والقبول المرتخي الجمعي والضربي، ومعايير top-(m) المرتخية، والقبول القائم على عتبة الإنتروبيا.
- يوسع الإطار ليشمل الترميز الشجري الجشع، مستنتجاً شهادات دقيقة وقائمة على الهامش فقط عندما يبقى الرمز المستهدف الجشع مغطى بمرشحين top-(m) من المسودة.
- يقيم هذه الشهادات على نماذج Qwen3، مُظهِراً أن المعايير المرتخية والشجرية تُوسع منطقة القبول المُصدق عليها بشكل كبير، خاصة خلال الخطوات ذات هامل توزيع النموذج المستهدف المنخفض.
تُكمل هذه النتائج التحليلات القائمة الحافظة للتوزيع من خلال تمييز أحداث القبول المحلي الحتمي الشائعة في أنظمة الاستدلال العملية.