Toulmin
אמת אינה מתגלה
בעולם הפתוח אין אמת שאפשר לגלות — משום שכל תצפית תקועה במהירות האור ואינה מגיעה אל האירוע. אך בעולמות שנסגרו בהצהרה, כמו הסיפורת, המתמטיקה והמשפט, יש אמת. המשפט הוא תהליך של היטל המציאות אל העולם המשפטי, והפסק דין הוא חישוב שנעשה מעליו. מה שחסר כיום ל-LLM אינו מודל גדול יותר, אלא הליך סגירה מפורש כמו שלטון החוק.
TANGEUL — חוקים הכתובים ב-Markdown, מבוקרים בידי בני אדם
TANGL מאפשר לכתוב גרפי חוקים של toulmin כמשפטי markdown במקום קוד Go, כך שגם מי שאינו מתכנת יכול לבקר אותם. TANGEUL הוא מקור האמת הבינארי שאותם משטחי markdown מקודדים כעת.
reins — להשאיר רק את הדומיין מ‑Quest CLI, ולהפוך את ה‑ratchet ל‑framework
how-make-quest לימד איך לבנות Quest CLI במו ידיך. אבל אם תבנה CLI שני, תכתוב מחדש את אותו ratchet, אותם scan/next/submit, אותה אגרגציה. reins מחלץ את אותו אינווריאנט ל‑framework — את ה‑ratchet, שלד הפקודות, האגרגציה וה‑export reins מספק, ואתה מממש רק את ה‑gate של הדומיין (4 מתודות של gate.Definition). ה‑gate הוא קטלוג של חוקי הגנה מפני cheese, ו‑toulmin defeat graph מחזיר לסוכן מדריך פיצוח של 'למה הפסדת ומה לשנות כדי לנצח'.
שלשות הן טענות, לא עובדות
שלשות Wikidata אינן עובדות — הן טענות. הניחו את מודל הטיעון של Toulmin על גבי שלשות, ותקבלו גרף ידע דינמי שבו verdicts משתנים עם ההקשר. האחסון הוא מבנה טיעון; השיפוט מתרחש בזמן ריצה.
toulmin — מנוע כללים שמחשב חוזים
מנועי כללים התייחסו למושא האימות כעובדה (fact) במשך 60 שנה. toulmin מתייחס אליו כטענה (claim). מימוש מודל הטיעון של טולמין כמנוע כללים ב-Go.