GEUL
真相不是被发现的
开放世界里没有可供发现的真相——因为一切观测都被光速所困，永远触不到事件本身。然而在小说、数学、法律这类由声明所封闭的世界里，真相是存在的。审判是把实在投影到法律世界的过程，判决则是在其上进行的运算。当下LLM所缺的不是更大的模型，而是像法治那样明示的封闭程序。
漂移为何永不消亡
漂移修好了还会卷土重来。把业务逻辑用 SSOT 封闭之后，同样的漂移在生成那个 SSOT 的生成器里又上移了一层。为什么它永远杀不死？从熵开始重新构建答案。
三元组不是事实，而是主张
维基数据的三元组不是事实，而是主张。将 Toulmin 论证模型叠加在三元组之上，就能得到一个根据上下文动态判定的知识图谱。存储是论证结构，判定在运行时。
约束即契约
没有约定就是混沌，约定过多就是压迫。合理的约束构成黄金比例。法治的原理同样适用于代码与知识。