H-Categoriser
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的论证模型。