Show HN: Cruxible – 面向AI代理的開源治理真相層

Cruxible 是一個開源的“硬狀態”層，專為 AI 代理和人類團隊設計，提供類型化、可驗證的共享狀態。其核心思想是通過類似 Terraform 的配置文件來建模領域知識，包括實體類型、關係類型、確定性工作流以及寫入規則。運行時嚴格強制執行這些規則，確保狀態的一致性和可審計性。

狀態的輸入是確定性的：來自真實系統的導出文件和表格被固定為工件，並逐行匹配到提議中。只有在固定領域的邏輯無法做出決定時，才會引入模型判斷。寫入操作受到治理：受治理的關係只能通過提議流程寫入，該流程要求聲明證據，並根據設定的信任規則自動解析或路由到人工審查。每個接受的聲明都附有歸屬信息和收據，記錄其來源和推導過程。

Cruxible 的核心是確定性的，不依賴大語言模型或隱藏的 API 調用。它可以與任何代理框架集成，指向現有系統，並僅將值得協調的聲明納入狀態。讀取操作是可重複的：相同的查詢和狀態產生相同的結果，並帶有解釋推導過程的收據。查詢支持多跳遍歷、審查狀態和時效性檢查，這些都是傳統檢索方法無法實現的。

與 Markdown、RAG 或向量記憶不同，Cruxible 將持久性的真實狀態與文本分離。Markdown 和檢索對於草稿和一次性問題很合適，但對於需要協調、共享且成本高昂的聲明，每次讀取都需要重新構建。Cruxible 通過建模領域而不是設計上下文來提供保證：真實信息的持久部分成為類型化的、受治理的狀態，可以被讀取而不是重建。

項目附帶了一個供應鏈場景的演示。配置文件定義了供應商、組件和事故等實體，以及它們之間的關係。例如，事故影響供應商的關係是受治理的，只能通過提議流程寫入，然後由人類或受信任的代理審核批准。批准後，查詢可以計算事故的波及範圍，例如受影響的供應商所供應的組件。查詢結果附帶收據，記錄確定性的推導路徑。

Cruxible 的安裝和使用非常簡單：通過 pip 安裝後，可以運行一個約 3 分鐘的沙盒演示，無需消耗令牌。它還提供了將現有知識庫（如 CLAUDE.md 文件或 Obsidian 筆記）轉換為狀態的工具。該項目完全開源，代碼託管在 GitHub 上。