Toulmin
reins — لا يبقى من Quest CLI سوى النطاق، والـ ratchet يصير إطارًا
علّم how-make-quest كيف تبني Quest CLI بيديك العاريتين. لكنك حين تبني الـ CLI الثاني تعيد كتابة الـ ratchet نفسه، وscan/next/submit نفسها، والتجميع نفسه. يستخرج reins ذلك الثابت بوصفه إطارًا — يُورِّد reins الـ ratchet وهيكل الأوامر والتجميع وexport، وأنت لا تُنفّذ سوى بوابة النطاق (gate.Definition بأربع دوال). البوابة كتالوج قواعد صدّ الـ cheese، وdefeat graph في toulmin يعيد للوكيل دليل خطّة «لماذا خسرتَ، وبتغيير ماذا تربح».
الثلاثية ليست حقيقة، بل ادعاء
ثلاثيات ويكي بيانات ليست حقائق، بل ادعاءات. عند وضع نموذج Toulmin للحجاج فوق الثلاثيات، نحصل على رسم بياني معرفي ديناميكي يتغير حكمه وفقاً للسياق. التخزين هو بنية حجاجية، والحكم يحدث في وقت التشغيل.
toulmin — محرك قواعد يحسب العقود
على مدار 60 عامًا، تعاملت محركات القواعد مع موضوع التحقق باعتباره حقيقة (fact). أما toulmin فيتعامل معه باعتباره ادعاء (claim). تم تحويل نموذج تولمن للحجاج إلى محرك قواعد بلغة Go.