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.Definition 的 4 个方法）。门是 cheese 防御规则的目录，而 toulmin defeat 图会把『为什么输了、改什么就能赢』的攻略手册返还给智能体。
三元组不是事实，而是主张
维基数据的三元组不是事实，而是主张。将 Toulmin 论证模型叠加在三元组之上，就能得到一个根据上下文动态判定的知识图谱。存储是论证结构，判定在运行时。
toulmin -- 计算契约的规则引擎
规则引擎60年来一直将验证对象视为事实(fact)。toulmin将其视为主张(claim)。用Go规则引擎实现了Toulmin的论证模型。