يطبّق طلب السحب #4441 في مستودع CrocSwap/integer-mult-bounds إعادة توقيت موثّقة باستخدام مساعد جديد على جميع الاستدعاءات الأصلية الـ19 الكاملة للمتحكّم المعقّد ذي الاستعلامات المُقلّصة الذي قُدّم في #4440. ويذكر المؤلف أنه تم الإبقاء على جميع استعلامات القص المدفوعة الـ16، والاستدعاءات الخاملة كاملةً، والعوامل الرئيسية، ومزوّد BIT الأقوى.
الحد الشرطي الناتج الذي تحقق منه المؤلف هو T(n) = O(n (log n)^(1 - 0.00300105)). وهذا يرفع κ بمقدار 0.00004105 (+1.3868%) على 0.00296 في #4440، و11.7098% على 0.00268647 في #4416، و30.4804% على 0.0023 المثبّت والمختار. وتنخفض الاستدعاءات المدفوعة من 72,902 إلى 69,273، أي توفير قدره 3,629، وتصبح كتل الرتب المنتجة والمدفوعة 260,798 و259,998 على التوالي، مع الحفاظ على فائض قدره 800.
يذكر المؤلف أن الحدود الدقيقة للفترات تضع جذر الملف الثابت بين 0.0030010541830 و0.0030010541834، وأن إثبات الفترات يغطي كل عدد حقيقي 0<C<1. وتتطلب اللحظة الجديدة حداً مُصلحاً لذيل المدفوعات هو gamma < 97/100، لأن القيمة 31/32 في #4440 تفشل على هذا الملف. ولم يتغيّر بناء BIT الأقوى، ويُذكر أن الصفوف الخارجية التسعة و54 مسنداً حالياً وأربعة حراس وظيفية تجتاز الاختبار.
العمل بناءٌ شرطي تحقق منه المؤلف وينتظر المراجعة. ولم تُتحقق فرضياته من أطراف مستقلة، ولا يدّعي المؤلف نظرية غير مشروطة، ولا نتيجة عملية لزمن التشغيل، ولا أمثلية شاملة، ولا قبولاً رسمياً. ولا يزال تكامل CI الشامل أحمر في ثلاثة فحوصات مؤرشفة لتثبيت المصدر.
المصدر: Hacker News · لخّصه HeadlinesBriefing