Toulmin
Истина не открывается
В открытом мире нет истины, которую можно было бы открыть, — потому что всякое наблюдение упирается в скорость света и не достигает события. Но в мирах, замкнутых декларацией, как роман, математика или право, истина есть. Суд — это процесс проекции реальности в правовой мир, а приговор — вычисление поверх неё. Сегодня LLM недостаёт не более крупной модели, а явной процедуры замыкания, подобной верховенству права.
TANGEUL — правила, написанные в Markdown и проверяемые людьми
TANGL позволяет записывать графы правил toulmin как markdown-предложения вместо кода на Go, чтобы их мог проверить непрограммист. TANGEUL — двоичный источник истины, в который теперь кодируются эти markdown-поверхности.
reins — оставь домен от Quest CLI, а ratchet вынеси во фреймворк
how-make-quest научила строить Quest CLI голыми руками. Но стоит взяться за второй CLI — и ты снова пишешь тот же ratchet, те же scan/next/submit, тот же свод. reins вытаскивает этот инвариант во фреймворк — ratchet, скелет команд, свод и export поставляет reins, а ты реализуешь лишь gate своего домена (4 метода gate.Definition). Gate — это каталог правил защиты от cheese, а toulmin defeat graph возвращает агенту прохождение: «почему проиграл и что поменять, чтобы выиграть».
Тройки — это утверждения, а не факты
Тройки Wikidata — не факты, а утверждения. Наложите модель аргументации Toulmin на тройки — и вы получите динамический граф знаний, где вердикты меняются в зависимости от контекста. Хранение — это структура аргументации; оценка происходит во время выполнения.
toulmin — движок правил, вычисляющий контракты
Движки правил 60 лет считали объект проверки фактом (fact). toulmin считает его утверждением (claim). Модель аргументации Тулмина реализована в виде движка правил на Go.