Quipu 把代理寫入知識圖譜改為先驗證後提交，拒絕紀錄亦能跨版本重播

新開源知識圖譜儲存層 Quipu，針對語言模型與軟體代理大量、自動寫入知識的情境，反轉傳統「先接受、事後清理」設計。每次寫入會先放進 SQLite savepoint，治理規則再針對寫入後的候選狀態執行；若規則拒絕交易，資料增量會回滾，但帶有身分、時間與證據雜湊的 Ed25519 裁決仍會保存。這令系統不只能回答目前有哪些事實，也能追查某次拒絕當時依據哪一版資料與規則。

底層採 EAVT 追加式事實日誌，同時保存 transaction time 與 valid time；雙時間設計亦延伸至信任標籤、政策及裁決，而非只套在業務資料。不同來源位於 named graph，組合結果依信任、時效、耐久性及政策義務的 lattice 收窄，避免把隔離或未聲明來源與已認證資料合併後，查詢結果仍被視為高信任。規則本身也是圖中的事實，因此 `T ⊨ Σ` 合規檢查可由確定性查詢完成，不需要再次呼叫模型。

作者建立 Census 多寫入者生命週期，在同一個植入六項缺陷的種子流程中，未設閘門版本保留 6/6 缺陷，Quipu 則為 0/6；七項組合探針均維持「信任不得擴張」，50/50 歷史裁決可按當時規則重建。另一項 DEMM-Bench 測試包含八種證據劣化條件及 512 個治理問題，內容式判讀沒有過度聲稱，僅檢查容器是否存在的基線最多錯誤聲稱 87.5%。

工程上值得關注的是，把代理錯誤從清理佇列移到可重試的結構化拒絕迴圈；專案亦提供 Rust library、CLI、REST、SPARQL、SHACL 與 MCP 工具。不過論文明言這是工程特性描述而非同類資料庫效能比較，主要數字來自作者共同設計的確定性測試。下一步應觀察高併發下的交易與簽章成本、規則演進及跨圖組合是否仍可重播，以及是否有獨立團隊以真實 RAG 或長時代理工作負載驗證結果。