模型之外的一块板
模型不能靠叙述改写的
推理状态
Rulith 是规则驱动的工作板和执行协议。模型提议；板决定什么被支撑、什么可以运行。
执行基底
事实与出处
每条论断保留它的来源和支撑。模型断言与来源证实的观察、执行结果始终分开。
规则闭包
规则推出结论、维护支撑、发现冲突，并撤回失去支撑的结论——不需要模型记住推理链。
类型化动作
动作声明输入、前置条件和执行要求。服务在准入受治理的工作前核对当前证据。
案件生命周期
每个案件标识一项有验收条件和记录结果的工作。案件共享智能体的图；能力包的规则必须明确区分业务对象。