Show HN: Cruxible – 面向AI代理的开源治理真相层

Cruxible 是一个开源的“硬状态”层，专为 AI 代理和人类团队设计，提供类型化、可验证的共享状态。其核心思想是通过类似 Terraform 的配置文件来建模领域知识，包括实体类型、关系类型、确定性工作流以及写入规则。运行时严格强制执行这些规则，确保状态的一致性和可审计性。

状态的输入是确定性的：来自真实系统的导出文件和表格被固定为工件，并逐行匹配到提议中。只有在固定领域的逻辑无法做出决定时，才会引入模型判断。写入操作受到治理：受治理的关系只能通过提议流程写入，该流程要求声明证据，并根据设定的信任规则自动解析或路由到人工审查。每个接受的声明都附有归属信息和收据，记录其来源和推导过程。

Cruxible 的核心是确定性的，不依赖大语言模型或隐藏的 API 调用。它可以与任何代理框架集成，指向现有系统，并仅将值得协调的声明纳入状态。读取操作是可重复的：相同的查询和状态产生相同的结果，并带有解释推导过程的收据。查询支持多跳遍历、审查状态和时效性检查，这些都是传统检索方法无法实现的。

与 Markdown、RAG 或向量记忆不同，Cruxible 将持久性的真实状态与文本分离。Markdown 和检索对于草稿和一次性问题很合适，但对于需要协调、共享且成本高昂的声明，每次读取都需要重新构建。Cruxible 通过建模领域而不是设计上下文来提供保证：真实信息的持久部分成为类型化的、受治理的状态，可以被读取而不是重建。

项目附带了一个供应链场景的演示。配置文件定义了供应商、组件和事故等实体，以及它们之间的关系。例如，事故影响供应商的关系是受治理的，只能通过提议流程写入，然后由人类或受信任的代理审核批准。批准后，查询可以计算事故的波及范围，例如受影响的供应商所供应的组件。查询结果附带收据，记录确定性的推导路径。

Cruxible 的安装和使用非常简单：通过 pip 安装后，可以运行一个约 3 分钟的沙盒演示，无需消耗令牌。它还提供了将现有知识库（如 CLAUDE.md 文件或 Obsidian 笔记）转换为状态的工具。该项目完全开源，代码托管在 GitHub 上。