التحقق الحتمي
ما هو الـ«turn» في reins؟
تشريح للـ turn، أصغر وحدة تنفيذ في reins. ما لم يُسجَّل ليس turn — من هذا التعريف الواحد تنبثق استقلالية المُشغِّل ومناعة إعادة التشغيل وقابلية التدقيق جميعًا. وبمقارنته بخطاب Loop Engineering في يونيو 2026، نرى كيف يحوّل الـ turn تلك التوصيات إلى بنية.
لماذا تتباعد حلقة وكيلك بدل أن تتقارب
كلما انتشر Loop Engineering اصطدم الناس بالجدار نفسه — الحلقة تعجز عن التقارب فتتباعد. الدوران اللانهائي والانحراف وقرصنة المكافأة، وجوهٌ ثلاثة جذرها واحد: أنك أعدت غرس المُولِّد نفسه في خانة الحُكم داخل الحلقة. لكن التباعد حظٌّ طيب في الحقيقة، لأنه مرئي. الأخطر هو حلقةٌ تقاربت كذبًا في صمت. والوصفة واحدة — لا تمنح سلطة قفل الإنجاز إلا لبوابة حتمية، لا لـ LLM.
الأداةُ التي أعطَتنا الأعنّةَ لم تكن تملك أعنّةً بنفسها — الحدّ بين الطَّقم وReins
"Reins Engineering — أليست هندسة طَقم في نهاية المطاف؟" لا تتعارضان — بل هما جزآن مختلفان من مَرجٍ واحد. لكنّهما مختلفان. حتى أفضل وكيل برمجة في العالم لم يُلجم كودَه بأعنّة — لأن Reins ليست شيئاً تمتلكه، بل شيءٌ تُحكمه.
كيفية صنع Quest CLI — بناء أداة تجعل الآلة هي من يحكم على الإنجاز بنفسك
يقول الذكاء الاصطناعي «لقد أنجزت كل شيء». لكنه في الواقع لم يُنهِ المهمة. هذا المقال يشرح كيف تبني بنفسك الأداة التي تحل تلك المشكلة — Quest CLI. من المبدأ (لماذا) إلى هيكل أوامر cobra (كيف)، يمكّن هذا المقال وحده الوكيل من صنع Quest CLI بلغة Go. وhuma هو المثال المحلول.
الشروط المسبقة لتحسين دقة وكلاء LLM المتعددين
هل يصبح النظام أدق عند تشغيل عدة وكلاء؟ هذا صحيح بالنصف فقط. النماذج المدرَّبة على البيانات نفسها تخطئ في الموضع نفسه. شرطا عمل الوكلاء المتعددين اثنان — أن تُصمِّم استقلالية الأخطاء، أو أن تُقيم verifier خارج الـ LLM في مجال قابل للتحقق.
لماذا لا يتوقف وكيلك أبدًا
أمام التباهي بتشغيل وكيل على مدار 24 ساعة، فإن الشعور الذي ينتابك ليس الإعجاب بل التساؤل — لماذا لم ينتهِ بعد؟ البرمجة ليست مشكلة بحث بل مشكلة إرضاء قيود. النظام السليم هو النظام القادر على التوقف.
في الجمال
سبعون بالمئة من كل ما هو جميل رياضيات. تُحكم الآلة قفل النظام بشكل حتمي، ولا يقرّر الإنسان سوى الثلاثين بالمئة من التعقيد. Reins Engineering ليست أداة برمجة بالذكاء الاصطناعي — بل مبدأ يقفل النظام ويترك التعقيد وحده للإنسان.
من يُعرِّف «الإنجاز»؟ — مسألةٌ حلَّتها ألعاب الفيديو قبل أربعين عاماً
حين تُعرِّف التحقق من إخلاء المستأجر بخمس صور، يتحول الأمر إلى مهمة لعبة. تحديد «الإنجاز» بوصفه شرطاً قابلاً للتحقق آلياً لا ادّعاءً من المنفِّذ — تلك مسألةٌ حلَّتها ألعاب الفيديو قبل أربعين عاماً، وهي الطريقة الصحيحة لإسناد العمل إلى وكلاء الذكاء الاصطناعي.
السابقة ليست صحيحة — كيف يُضفي الذكاء الاصطناعي السلطة على الحلول الترقيعية
يقرأ الذكاء الاصطناعي بنية الكود لكنه لا يميز بين القرار المدروس والحل الترقيعي المؤقت. ولهذا يكتسب الخلل سلطةً زائفة كلما تكررت نسخه. ما كسر هذه الحلقة لم يكن نموذجاً أضخم، بل سؤال مضاد من إنسان في جملة واحدة.
Hurl يوقف انحراف Vibe Coding
ينهار Vibe Coding بسبب الانحراف المنطقي خلال 3 أشهر. حالات CMU وMETR وDORA وAmazon تثبت ذلك. أعلن عقود API بنص عادي عبر Hurl واقفلها بسقاطة — تقمع الانحراف هيكلياً دون تقييد حرية الذكاء الاصطناعي.
كود السقاطة الذي يستغل IFEval
انحياز المداهنة في النماذج اللغوية الكبيرة ليس خللاً بل أصل. عند الجمع بين قدرة اتباع التعليمات التي يقيسها IFEval والتغذية الراجعة الحتمية، حتى نموذج محلي بحجم 4.5B ينتج حلقة تقارب تولّد كوداً صحيحاً.