門控)
LifeOS Cortex 本地契約完整解析本地記憶 CLI 的隱私邊界、確定性重建與證據(jù)門控【免費(fèi)下載鏈接】LifeOS?? LifeOS — The universal AI Harness designed to move you from Current to Ideal state in both life and work.項目地址: https://gitcode.com/GitHub_Trending/pe/LifeOSLifeOS 是開源 AI Harness 項目Cortex 是它的本地記憶 CLI一個構(gòu)建在既有文件型記憶系統(tǒng)之上的 Bun CLI以 fail-closed 隱私邊界提供可驗證檢索與受控寫入不引入向量索引、守護(hù)進(jìn)程或網(wǎng)絡(luò)服務(wù)。本文完整解析 Cortex 本地契約——讀完你將掌握 5 字段響應(yīng)信封與語義退出碼的讀法、寫權(quán)限如何逐次授予、privatespan 與確定性重建如何被強(qiáng)制以及如何運(yùn)行檢索基準(zhǔn)與運(yùn)營健康門控。Cortex v1 模塊定位本地 Bun CLI而非記憶運(yùn)行時**先給結(jié)論Cortex v1 不新增常駐進(jìn)程、不新增索引、不新增網(wǎng)絡(luò)面。**它不是 MCP 服務(wù)器不是 HTTP 服務(wù)不是第二個記憶運(yùn)行時不引入 Chroma、CMEM、外部遙測不提供跨設(shè)備同步。實現(xiàn)入口是 Cortex.ts僅在被調(diào)用時啟動寫完全信封后退出。隨系統(tǒng)發(fā)布的進(jìn)程內(nèi)適配器工廠是 CortexAdapter.ts。createCortexAdapter()識別claude、hermes、codex、subagent四種身份返回Object.freeze凍結(jié)的對象status/search/timeline/get/export全為只讀remember/propose雖暴露在接口上但每次調(diào)用仍保持只讀除非該次調(diào)用顯式傳入{allowWrite:true}。寫權(quán)限是逐次授予身份只負(fù)責(zé)標(biāo)識。源碼writePermission()僅在選項對象恰好含allowWrite一個鍵且值為布爾true時放行向底層命令追加--allow-write選項對象出現(xiàn)任何其他鍵權(quán)限判定返回null整次調(diào)用按invalid_input拒絕。調(diào)用形式與規(guī)范根解析優(yōu)先級所有命令的調(diào)用形式固定bun LIFEOS/TOOLS/Cortex.ts command [arguments] [options]規(guī)范根canonical root按四級優(yōu)先級解析在 Cortex.ts 第 283 行可直接驗證測試/運(yùn)行時注入的memoryRoot--memory-root命令行選項環(huán)境變量CORTEX_MEMORY_ROOT默認(rèn)值~/.claude/LIFEOS/MEMORY。響應(yīng)信封與退出碼怎么讀5 字段信封與內(nèi)建自校驗每條命令向 stdout 恰好寫一個 JSON 對象{schema:lifeos-cortex/v1,ok:true,command:status,data:{},error:null}失敗時保持相同五個頂層字段ok:false、data:nullerror承載{code, message}額外頂層字段被禁止。發(fā)布版 schema 為LIFEOS/TOOLS/schemas/lifeos-cortex-v1.schema.jsonsuccess 與 failure 兩形態(tài)均聲明additionalProperties:false以oneOf互斥。源碼層面validateCortexEnvelope()第 22–38 行校驗字段集合恰好為command/data/error/ok/schema、schema常量、ok與error/data的一致性且ok(...)/fail(...)構(gòu)造結(jié)果后都先過一遍該校驗器——信封自校驗內(nèi)建于庫不依賴調(diào)用方。語義化退出碼退出碼含義典型錯誤碼0成功—1未預(yù)期的內(nèi)部失敗internal_error3顯式 ID 或擴(kuò)展根未找到not_found4非法命令、選項、payload、過濾器、邊界值或規(guī)范完整性問題invalid_input、integrity_error5缺少寫授權(quán)或既有治理拒絕變更write_refused、governance_refused調(diào)用方必須同時使用進(jìn)程退出碼和信封能解析出 JSON 不等于成功。這對應(yīng)源碼EXIT常量第 9 行與main()中寫 stdout process.exit(result.exitCode)的雙重約定。八個子命令怎么調(diào)嚴(yán)格選項、卡片與漸進(jìn)披露parseArguments()第 215–230 行實現(xiàn)嚴(yán)格選項表每個命令有固定ALLOWED選項集合未知選項、重復(fù)選項、缺值、命令不適用某選項一律被拒絕而非被忽略進(jìn)入退出碼 4 的invalid_input。所有命令接受--memory-root dir與--adapter claude|hermes|codex|subagent。命令契約要點status只讀、無位置參數(shù)報告規(guī)范根、記錄數(shù)、mode:local-read-only、indexes:[]只報形狀不測健康search本地 BM25只返回卡片從不返回正文timeline--anchor接受活躍記錄 ID 或合法日期按created排序、同刻按 IDget/export只返回顯式選中活躍 ID 的完整凈化記錄all-or-nothingexport不創(chuàng)建文件僅打印lifeos-cortex-export/v1到 stdoutrebuild必須帶--from-canonicalSHA-256 對比構(gòu)成只讀可重建證明不創(chuàng)建任何索引remember/propose唯一的變更命令雙重綁定授權(quán)見下search基于本地 BM25詞元按[a-z0-9]切分。rankBM25()第 236–248 行參數(shù)化完整idf 取log(1 (n-df0.5)/(df0.5))tf 飽和系數(shù) 2.5長度歸一化b 0.25 0.75·len/avgdl同分按 ID 字典序穩(wěn)定排序。--type/--source/--session為精確匹配--from/--to對created做閉區(qū)間過濾--recency必須是有限非負(fù)數(shù)對updated加權(quán)但不替代詞法相關(guān)性源碼體現(xiàn)為score recency·Date.parse(updated)/1e13?？蛇x圖擴(kuò)展從顯式--expandID 出發(fā)沿規(guī)范relatedID 做廣度優(yōu)先遍歷默認(rèn)預(yù)算 10 節(jié)點 / 2,000 估算 token上限 100 節(jié)點 / 50,000 token——它不構(gòu)建也不查詢?nèi)魏纬志没瘓D數(shù)據(jù)庫。timeline的before/after默認(rèn)各 5可為 0上限 100ID 錨點在中心記錄仍落在所選過濾器內(nèi)時包含中心記錄本身。get/export單次最多 100 個 ID任一缺失、過期或尚未生效整條命令以退出碼 3 失敗。remember與propose的授權(quán)是雙重綁定。其一身份與授權(quán)分離必須同時給出受識別的顯式--adapter和--allow-write只命名適配器本身不授予任何寫權(quán)限。其二命令與條目判別器綁定remember只接受type:memory|idea|knowledgepropose只接受type:proposal不匹配在調(diào)用MemorySystem.add()之前就被拒絕。每條命令恰好接受一個 JSON payload上限 262,144 字節(jié)把已授權(quán)條目委托給MemorySystem.add()既有的變更分層、目標(biāo)釘住、提案審批、審計日志、快照、源所有權(quán)與收縮守衛(wèi)保持權(quán)威地位。治理拒絕是退出碼 5不存在部分成功。卡片字段、分頁與硬上限search/timeline 卡片包含且僅包含id、type、created、updated、provenancesource、可空session、相對path、數(shù)值score、est_tokens?？ㄆ缓琧ontent或任何摘錄。est_tokens 凈化后正文字符數(shù)除以 4 向上取整toCortexCard()第 234 行。列表響應(yīng)含精確過濾后的total、從 1 開始的page、page_size與items默認(rèn)第 1 頁、每頁 10 條頁大小上限 100。各表面硬上限與源碼LIMITS常量一致表面上限檢索查詢2,048 字符且 64 個詞法詞元列表頁大小100Timelinebefore/after各自 0–100圖擴(kuò)展100 節(jié)點、50,000 估算 token顯式get/exportID 數(shù)100CLI 寫 payload262,144 字節(jié)類型化條目自由文本字段65,536 字符類型化元數(shù)據(jù)字符串1,024 字符提案目標(biāo)路徑4,096 字符熱記憶集合48 條、每條 256 字符Related 鏈接數(shù)64類型化持久化還拒絕未知字段、非法枚舉或字段類型、非有限/越界 confidence、控制字符、frontmatter/注釋注入、含糊的 session 元數(shù)據(jù)、超尺寸數(shù)組以及隱私剝離后變空的必填文本。這些數(shù)字只是拒絕上限沒有任何目標(biāo)語義。 Fail-Closed完整性檢查、隱私 span 與有效期窗口符號鏈接策略頂層別名允許釘住根之下全部禁止pinCanonicalRoot()對根做一次realpath解析、確認(rèn)目標(biāo)是目錄把解析后的真實目錄釘住作為信任邊界并在status中報告該路徑——這正是默認(rèn)LIFEOS/MEMORY符號鏈接指向私有用戶數(shù)據(jù)倉庫時仍能工作的機(jī)制。但釘住根之下的任何符號鏈接都被禁止checkedRealpath()第 53–59 行每次遍歷都做lstat判定并校驗realpath不逃逸釘住的根任何越界拋IntegrityError。下列情況一律以integrity_error失敗、退出碼 4根之下的目錄/文件符號鏈接、realpath 逃逸重復(fù)的記錄 ID、格式錯誤的 JSONL不可能時間戳updated早于created、valid_from valid_until、非法日歷日期非常規(guī)模塊文件symlink、socket 等。語料級 fail-closed 上限CANONICAL_CORPUS_LIMITS第 12 行在讀取任何內(nèi)容之前檢查最多 10,000 個文件、單文件 ≤ 8 MiB、總量 ≤ 128 MiB、記錄數(shù) ≤ 50,000超限同樣報integrity_error。privatespan 的匹配語義public privatenever persist or export this/private publicCaptureEnvelope.ts 的stripPrivateContent()定義完整匹配語義匹配不區(qū)分大小寫容忍無害空白與屬性嵌套 span 用深度計數(shù)整體移除而非單條正則孤兒閉合標(biāo)簽作為控制標(biāo)記移除保留其兩側(cè)公開文本未閉合的開頭標(biāo)簽 fail closed從該位置起抑制字符串剩余部分歸一化后形似 private 開頭標(biāo)簽但格式不良的構(gòu)造NUL/控制字符插入、全角 Unicode、丟失右尖括號一律視為不可信開頭并 fail closed不做寬松 HTML 恢復(fù)。該邊界應(yīng)用于 reviewer 推斷之前、reviewer 調(diào)試/錯誤序列化之前、類型化條目路由、規(guī)范詞法排序、圖擴(kuò)展、get、export 與 rebuild 之前。規(guī)范讀再次執(zhí)行隱私凈化防止舊的已標(biāo)記內(nèi)容繞過當(dāng)前邊界。類型化條目凈化是遞歸的覆蓋 content 及承載持久化語義的元數(shù)據(jù)標(biāo)題、名稱、rationale、session provenance、entries、related slugs剝離后變空的必填字段被拒絕。源中立的攝取助手是ingestCaptureEnvelope(input, consumer)先調(diào)createCaptureEnvelope()剝離私有內(nèi)容只把凈化后的 envelope 交給給定 consumer。必須同時承認(rèn)邊界外的事實原生 harness 轉(zhuǎn)錄可能在 harness 文檔所述的 30 天保留期內(nèi)保留private內(nèi)容這超出 Cortex 的控制范圍。Cortex 不觸碰轉(zhuǎn)錄字節(jié)私有標(biāo)簽是持久化與處理邊界不是對 harness 轉(zhuǎn)錄、終端滾動回顯、上游提供方日志或標(biāo)簽到達(dá)前已發(fā)送內(nèi)容的清洗承諾。有效期窗口valid_from含邊界、valid_until不含邊界缺失邊界視為開放非法邊界 fail closedisEnvelopeValidAt()Date.parse產(chǎn)生 NaN 即返回 false。search、timeline、get、export 默認(rèn)排除查詢時刻不生效的記錄。--from/--to是另一維度它們約束created不覆蓋、也不替代有效期判定。 證據(jù)鏈規(guī)范源、檢索基準(zhǔn)與運(yùn)營健康規(guī)范源地位與 no-index-v1 標(biāo)記Markdown 與 JSONL 保持規(guī)范地位派生索引可丟棄禁止成為事實源。默認(rèn)檢索語料是既有KNOWLEDGE/樹排除下劃線與點號前綴路徑根級*_MEMORY.md一并納入MEMORY/KNOWLEDGE/布局用于隔離測試canonicalFiles()按KNOWLEDGE→MEMORY/KNOWLEDGE→ 根本身三級回退。缺失 Markdown ID 的記錄獲得穩(wěn)定路徑派生 IDpath: 路徑 SHA-256 前 16 位provenance 使用相對規(guī)范根的路徑更換絕對根別名不改變記錄摘要。系統(tǒng)發(fā)布的 CORTEX_INDEX_POLICY.json 是肯定性lifeos-cortex-index-policy/v1標(biāo)記內(nèi)容policy:no-index-v1。各狀態(tài)語義索引證據(jù)狀態(tài)結(jié)果標(biāo)記在、清單缺健康的no-index-v1BM25 直讀規(guī)范文件status報indexes:[]rebuild不創(chuàng)建任何東西不為證明未采用索引而遍歷或哈希整個語料標(biāo)記與清單雙缺狀態(tài)歧義健康檢查僅告警index-evidence-missing標(biāo)記格式錯誤critical合法已采用索引清單存在優(yōu)先于 no-index 標(biāo)記實際字節(jié)與哈希逐字節(jié)驗證非法清單、路徑違規(guī)、字節(jié)缺失、哈希不匹配均為 critical檢索基準(zhǔn)25 次重復(fù)與兩條披露路徑帶標(biāo)簽查詢集是LIFEOS/MEMORY/BENCHMARKS/cortex-retrieval-v1.jsonl。標(biāo)簽文件存放在私有 MEMORY 樹中由操作者在自己的語料上、首次基準(zhǔn)運(yùn)行之前自行編寫不隨系統(tǒng)發(fā)布。每行必須攜帶lifeos-cortex-benchmark-label-provenance/v1溯源證明期望 ID 來自真實live-cortex-cli執(zhí)行與人工語料核驗。bun LIFEOS/TOOLS/CortexBenchmark.ts \ --labels LIFEOS/MEMORY/BENCHMARKS/cortex-retrieval-v1.jsonl \ --memory-root LIFEOS/MEMORY \ --output LIFEOS/MEMORY/BENCHMARKS/cortex-benchmark-v1-YYYYMMDD.json基準(zhǔn)工具CortexBenchmark.ts導(dǎo)入生產(chǎn)代碼——activeCortexRecords、rankBM25、toCortexCard與規(guī)范摘要函數(shù)——而非攜帶基準(zhǔn)專用排序器。每條帶標(biāo)簽查詢運(yùn)行 25 次每個查詢/樣本只做一次生產(chǎn)排序同一排序結(jié)果在兩種披露測量間共享bm25-baseline序列化完整 top-5 記錄progressive序列化 top-5 卡片、僅抓取被選中的第一條完整記錄。排序質(zhì)量因此被刻意保持完全相同被比較的是披露與注入成本。每個配置報告Recall5、MRR、時序成對排序準(zhǔn)確率、假陽性召回、注入 token、p95 延遲、延遲樣本數(shù)、語料盤上字節(jié)數(shù)、實測磁盤增長、后代進(jìn)程數(shù)、峰值 RSS、執(zhí)行路徑名。報告 schema 為lifeos-cortex-benchmark/v1stdout 始終收到報告持久化輸出經(jīng)--output顯式開啟必須位于解析后的MEMORY/BENCHMARKS/之下、使用版本化文件名cortex-benchmark-vN-*.json且不覆蓋已存在的報告。報告是操作者針對自己語料與標(biāo)簽的、可復(fù)現(xiàn)的時點本地測量。向量索引的采用門檻當(dāng)前vector_config為null沒有向量基準(zhǔn)候選也沒有向量索引。采納向量或混合索引的前提是帶標(biāo)簽報告證明了相對漸進(jìn)式 BM25 的檢索質(zhì)量提升且索引可規(guī)范重建、保持在單獨文檔化的磁盤與進(jìn)程邊界內(nèi)僅僅降低 token 用量不構(gòu)成采納證據(jù)。運(yùn)營健康缺失的證據(jù)永遠(yuǎn)不產(chǎn)生綠燈Cortex.ts status報告契約可用性與語料形狀運(yùn)營健康由獨立工具產(chǎn)出bun LIFEOS/TOOLS/MemoryHealthCheck.ts --json機(jī)器可讀報告含overall、實測證據(jù)、生效閾值、findings以及按 ok/warn/critical 派生的健康退出碼 0/1/2。核心原則**缺失的證據(jù)永遠(yuǎn)不產(chǎn)生綠燈。**默認(rèn)閾值CortexHealth.ts的DEFAULT_CORTEX_THRESHOLDS證據(jù)默認(rèn)閾值越界結(jié)果Reviewer 成功新鮮度7 天陳舊時 WARN進(jìn)行中 reviewer 終行寬限10 分鐘CRITICAL 超時檢索證據(jù)新鮮度24 小時缺失/陳舊時 WARN待審提案積壓大于 10WARN可觀測性字節(jié)數(shù)大于 256 MiBWARN最老可觀測性日志年齡大于 30 天WARN已采用索引新鮮度大于 7 天WARN判定規(guī)則最新 reviewer 證據(jù)優(yōu)先于歷史成功最新一次運(yùn)行失敗、解析失敗、超時、格式錯誤、schema 不完整或無效均為 CRITICAL新運(yùn)行目錄在 10 分鐘寬限后仍無終行即判超時格式錯誤的 JSONL 被暴露而不是靜默跳回上一次成功非法或未來時間戳不能證明新鮮度提案證據(jù)只統(tǒng)計狀態(tài)恰為pending的行可觀測性證據(jù)遞歸測量MEMORY/OBSERVABILITY/下全部.jsonl與.log文件。閾值覆蓋只接受有限正數(shù)值非法值產(chǎn)生 critical 的cortex-threshold-invalidfinding而不是讓比較失效。運(yùn)營覆蓋變量CORTEX_RETRIEVAL_STALE_MS、CORTEX_PROPOSAL_BACKLOG、CORTEX_OBSERVABILITY_MAX_BYTES、CORTEX_OBSERVABILITY_MAX_AGE_MS。測試/自動化路徑變量CORTEX_HEALTH_ROOT、CORTEX_HEALTH_NOW、CORTEX_INDEX_MANIFEST、CORTEX_HEALTH_NO_WRITE、CORTEX_HEALTH_REPORT_PATH。明確不聲明與適用前提已實現(xiàn)的升級不提供MCP 服務(wù)器或網(wǎng)絡(luò) API跨設(shè)備或云端同步CMEM / CMEM Cloud / Chroma / SQLite FTS / 嵌入 / 向量索引外部 Cortex 遙測Cortex 守護(hù)進(jìn)程或常駐 sidecar所有 hook/通道/采集表面的自動采納對原生 harness 轉(zhuǎn)錄的清洗從搜索結(jié)果自動注入完整記錄。適用前提全部描述以當(dāng)前倉庫LIFEOS/install/LIFEOS/TOOLS/的實現(xiàn)為準(zhǔn)運(yùn)行環(huán)境要求 Bun 運(yùn)行時與已部署的~/.claude/LIFEOS/MEMORY或CORTEX_MEMORY_ROOT指定的規(guī)范根私有 MEMORY 樹中的基準(zhǔn)標(biāo)簽、檢索日志與索引清單均為操作者本地資產(chǎn)不隨開源倉庫分發(fā)?！久赓M(fèi)下載鏈接】LifeOS?? LifeOS — The universal AI Harness designed to move you from Current to Ideal state in both life and work.項目地址: https://gitcode.com/GitHub_Trending/pe/LifeOS創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考 LifeOS Cortex 本地契約完整解析：本地記憶 CLI 的隱私邊界、確定性重建與證據(jù)門控
LifeOS Cortex 本地契約完整解析本地記憶 CLI 的隱私邊界、確定性重建與證據(jù)門控【免費(fèi)下載鏈接】LifeOS?? LifeOS — The universal AI Harness designed to move you from Current to Ideal state in both life and work.項目地址: https://gitcode.com/GitHub_Trending/pe/LifeOSLifeOS 是開源 AI Harness 項目Cortex 是它的本地記憶 CLI一個構(gòu)建在既有文件型記憶系統(tǒng)之上的 Bun CLI以 fail-closed 隱私邊界提供可驗證檢索與受控寫入不引入向量索引、守護(hù)進(jìn)程或網(wǎng)絡(luò)服務(wù)。本文完整解析 Cortex 本地契約——讀完你將掌握 5 字段響應(yīng)信封與語義退出碼的讀法、寫權(quán)限如何逐次授予、privatespan 與確定性重建如何被強(qiáng)制以及如何運(yùn)行檢索基準(zhǔn)與運(yùn)營健康門控。Cortex v1 模塊定位本地 Bun CLI而非記憶運(yùn)行時**先給結(jié)論Cortex v1 不新增常駐進(jìn)程、不新增索引、不新增網(wǎng)絡(luò)面。**它不是 MCP 服務(wù)器不是 HTTP 服務(wù)不是第二個記憶運(yùn)行時不引入 Chroma、CMEM、外部遙測不提供跨設(shè)備同步。實現(xiàn)入口是 Cortex.ts僅在被調(diào)用時啟動寫完全信封后退出。隨系統(tǒng)發(fā)布的進(jìn)程內(nèi)適配器工廠是 CortexAdapter.ts。createCortexAdapter()識別claude、hermes、codex、subagent四種身份返回Object.freeze凍結(jié)的對象status/search/timeline/get/export全為只讀remember/propose雖暴露在接口上但每次調(diào)用仍保持只讀除非該次調(diào)用顯式傳入{allowWrite:true}。寫權(quán)限是逐次授予身份只負(fù)責(zé)標(biāo)識。源碼writePermission()僅在選項對象恰好含allowWrite一個鍵且值為布爾true時放行向底層命令追加--allow-write選項對象出現(xiàn)任何其他鍵權(quán)限判定返回null整次調(diào)用按invalid_input拒絕。調(diào)用形式與規(guī)范根解析優(yōu)先級所有命令的調(diào)用形式固定bun LIFEOS/TOOLS/Cortex.ts command [arguments] [options]規(guī)范根canonical root按四級優(yōu)先級解析在 Cortex.ts 第 283 行可直接驗證測試/運(yùn)行時注入的memoryRoot--memory-root命令行選項環(huán)境變量CORTEX_MEMORY_ROOT默認(rèn)值~/.claude/LIFEOS/MEMORY。響應(yīng)信封與退出碼怎么讀5 字段信封與內(nèi)建自校驗每條命令向 stdout 恰好寫一個 JSON 對象{schema:lifeos-cortex/v1,ok:true,command:status,data:{},error:null}失敗時保持相同五個頂層字段ok:false、data:nullerror承載{code, message}額外頂層字段被禁止。發(fā)布版 schema 為LIFEOS/TOOLS/schemas/lifeos-cortex-v1.schema.jsonsuccess 與 failure 兩形態(tài)均聲明additionalProperties:false以oneOf互斥。源碼層面validateCortexEnvelope()第 22–38 行校驗字段集合恰好為command/data/error/ok/schema、schema常量、ok與error/data的一致性且ok(...)/fail(...)構(gòu)造結(jié)果后都先過一遍該校驗器——信封自校驗內(nèi)建于庫不依賴調(diào)用方。語義化退出碼退出碼含義典型錯誤碼0成功—1未預(yù)期的內(nèi)部失敗internal_error3顯式 ID 或擴(kuò)展根未找到not_found4非法命令、選項、payload、過濾器、邊界值或規(guī)范完整性問題invalid_input、integrity_error5缺少寫授權(quán)或既有治理拒絕變更write_refused、governance_refused調(diào)用方必須同時使用進(jìn)程退出碼和信封能解析出 JSON 不等于成功。這對應(yīng)源碼EXIT常量第 9 行與main()中寫 stdout process.exit(result.exitCode)的雙重約定。八個子命令怎么調(diào)嚴(yán)格選項、卡片與漸進(jìn)披露parseArguments()第 215–230 行實現(xiàn)嚴(yán)格選項表每個命令有固定ALLOWED選項集合未知選項、重復(fù)選項、缺值、命令不適用某選項一律被拒絕而非被忽略進(jìn)入退出碼 4 的invalid_input。所有命令接受--memory-root dir與--adapter claude|hermes|codex|subagent。命令契約要點status只讀、無位置參數(shù)報告規(guī)范根、記錄數(shù)、mode:local-read-only、indexes:[]只報形狀不測健康search本地 BM25只返回卡片從不返回正文timeline--anchor接受活躍記錄 ID 或合法日期按created排序、同刻按 IDget/export只返回顯式選中活躍 ID 的完整凈化記錄all-or-nothingexport不創(chuàng)建文件僅打印lifeos-cortex-export/v1到 stdoutrebuild必須帶--from-canonicalSHA-256 對比構(gòu)成只讀可重建證明不創(chuàng)建任何索引remember/propose唯一的變更命令雙重綁定授權(quán)見下search基于本地 BM25詞元按[a-z0-9]切分。rankBM25()第 236–248 行參數(shù)化完整idf 取log(1 (n-df0.5)/(df0.5))tf 飽和系數(shù) 2.5長度歸一化b 0.25 0.75·len/avgdl同分按 ID 字典序穩(wěn)定排序。--type/--source/--session為精確匹配--from/--to對created做閉區(qū)間過濾--recency必須是有限非負(fù)數(shù)對updated加權(quán)但不替代詞法相關(guān)性源碼體現(xiàn)為score recency·Date.parse(updated)/1e13?？蛇x圖擴(kuò)展從顯式--expandID 出發(fā)沿規(guī)范relatedID 做廣度優(yōu)先遍歷默認(rèn)預(yù)算 10 節(jié)點 / 2,000 估算 token上限 100 節(jié)點 / 50,000 token——它不構(gòu)建也不查詢?nèi)魏纬志没瘓D數(shù)據(jù)庫。timeline的before/after默認(rèn)各 5可為 0上限 100ID 錨點在中心記錄仍落在所選過濾器內(nèi)時包含中心記錄本身。get/export單次最多 100 個 ID任一缺失、過期或尚未生效整條命令以退出碼 3 失敗。remember與propose的授權(quán)是雙重綁定。其一身份與授權(quán)分離必須同時給出受識別的顯式--adapter和--allow-write只命名適配器本身不授予任何寫權(quán)限。其二命令與條目判別器綁定remember只接受type:memory|idea|knowledgepropose只接受type:proposal不匹配在調(diào)用MemorySystem.add()之前就被拒絕。每條命令恰好接受一個 JSON payload上限 262,144 字節(jié)把已授權(quán)條目委托給MemorySystem.add()既有的變更分層、目標(biāo)釘住、提案審批、審計日志、快照、源所有權(quán)與收縮守衛(wèi)保持權(quán)威地位。治理拒絕是退出碼 5不存在部分成功。卡片字段、分頁與硬上限search/timeline 卡片包含且僅包含id、type、created、updated、provenancesource、可空session、相對path、數(shù)值score、est_tokens?？ㄆ缓琧ontent或任何摘錄。est_tokens 凈化后正文字符數(shù)除以 4 向上取整toCortexCard()第 234 行。列表響應(yīng)含精確過濾后的total、從 1 開始的page、page_size與items默認(rèn)第 1 頁、每頁 10 條頁大小上限 100。各表面硬上限與源碼LIMITS常量一致表面上限檢索查詢2,048 字符且 64 個詞法詞元列表頁大小100Timelinebefore/after各自 0–100圖擴(kuò)展100 節(jié)點、50,000 估算 token顯式get/exportID 數(shù)100CLI 寫 payload262,144 字節(jié)類型化條目自由文本字段65,536 字符類型化元數(shù)據(jù)字符串1,024 字符提案目標(biāo)路徑4,096 字符熱記憶集合48 條、每條 256 字符Related 鏈接數(shù)64類型化持久化還拒絕未知字段、非法枚舉或字段類型、非有限/越界 confidence、控制字符、frontmatter/注釋注入、含糊的 session 元數(shù)據(jù)、超尺寸數(shù)組以及隱私剝離后變空的必填文本。這些數(shù)字只是拒絕上限沒有任何目標(biāo)語義。 Fail-Closed完整性檢查、隱私 span 與有效期窗口符號鏈接策略頂層別名允許釘住根之下全部禁止pinCanonicalRoot()對根做一次realpath解析、確認(rèn)目標(biāo)是目錄把解析后的真實目錄釘住作為信任邊界并在status中報告該路徑——這正是默認(rèn)LIFEOS/MEMORY符號鏈接指向私有用戶數(shù)據(jù)倉庫時仍能工作的機(jī)制。但釘住根之下的任何符號鏈接都被禁止checkedRealpath()第 53–59 行每次遍歷都做lstat判定并校驗realpath不逃逸釘住的根任何越界拋IntegrityError。下列情況一律以integrity_error失敗、退出碼 4根之下的目錄/文件符號鏈接、realpath 逃逸重復(fù)的記錄 ID、格式錯誤的 JSONL不可能時間戳updated早于created、valid_from valid_until、非法日歷日期非常規(guī)模塊文件symlink、socket 等。語料級 fail-closed 上限CANONICAL_CORPUS_LIMITS第 12 行在讀取任何內(nèi)容之前檢查最多 10,000 個文件、單文件 ≤ 8 MiB、總量 ≤ 128 MiB、記錄數(shù) ≤ 50,000超限同樣報integrity_error。privatespan 的匹配語義public privatenever persist or export this/private publicCaptureEnvelope.ts 的stripPrivateContent()定義完整匹配語義匹配不區(qū)分大小寫容忍無害空白與屬性嵌套 span 用深度計數(shù)整體移除而非單條正則孤兒閉合標(biāo)簽作為控制標(biāo)記移除保留其兩側(cè)公開文本未閉合的開頭標(biāo)簽 fail closed從該位置起抑制字符串剩余部分歸一化后形似 private 開頭標(biāo)簽但格式不良的構(gòu)造NUL/控制字符插入、全角 Unicode、丟失右尖括號一律視為不可信開頭并 fail closed不做寬松 HTML 恢復(fù)。該邊界應(yīng)用于 reviewer 推斷之前、reviewer 調(diào)試/錯誤序列化之前、類型化條目路由、規(guī)范詞法排序、圖擴(kuò)展、get、export 與 rebuild 之前。規(guī)范讀再次執(zhí)行隱私凈化防止舊的已標(biāo)記內(nèi)容繞過當(dāng)前邊界。類型化條目凈化是遞歸的覆蓋 content 及承載持久化語義的元數(shù)據(jù)標(biāo)題、名稱、rationale、session provenance、entries、related slugs剝離后變空的必填字段被拒絕。源中立的攝取助手是ingestCaptureEnvelope(input, consumer)先調(diào)createCaptureEnvelope()剝離私有內(nèi)容只把凈化后的 envelope 交給給定 consumer。必須同時承認(rèn)邊界外的事實原生 harness 轉(zhuǎn)錄可能在 harness 文檔所述的 30 天保留期內(nèi)保留private內(nèi)容這超出 Cortex 的控制范圍。Cortex 不觸碰轉(zhuǎn)錄字節(jié)私有標(biāo)簽是持久化與處理邊界不是對 harness 轉(zhuǎn)錄、終端滾動回顯、上游提供方日志或標(biāo)簽到達(dá)前已發(fā)送內(nèi)容的清洗承諾。有效期窗口valid_from含邊界、valid_until不含邊界缺失邊界視為開放非法邊界 fail closedisEnvelopeValidAt()Date.parse產(chǎn)生 NaN 即返回 false。search、timeline、get、export 默認(rèn)排除查詢時刻不生效的記錄。--from/--to是另一維度它們約束created不覆蓋、也不替代有效期判定。 證據(jù)鏈規(guī)范源、檢索基準(zhǔn)與運(yùn)營健康規(guī)范源地位與 no-index-v1 標(biāo)記Markdown 與 JSONL 保持規(guī)范地位派生索引可丟棄禁止成為事實源。默認(rèn)檢索語料是既有KNOWLEDGE/樹排除下劃線與點號前綴路徑根級*_MEMORY.md一并納入MEMORY/KNOWLEDGE/布局用于隔離測試canonicalFiles()按KNOWLEDGE→MEMORY/KNOWLEDGE→ 根本身三級回退。缺失 Markdown ID 的記錄獲得穩(wěn)定路徑派生 IDpath: 路徑 SHA-256 前 16 位provenance 使用相對規(guī)范根的路徑更換絕對根別名不改變記錄摘要。系統(tǒng)發(fā)布的 CORTEX_INDEX_POLICY.json 是肯定性lifeos-cortex-index-policy/v1標(biāo)記內(nèi)容policy:no-index-v1。各狀態(tài)語義索引證據(jù)狀態(tài)結(jié)果標(biāo)記在、清單缺健康的no-index-v1BM25 直讀規(guī)范文件status報indexes:[]rebuild不創(chuàng)建任何東西不為證明未采用索引而遍歷或哈希整個語料標(biāo)記與清單雙缺狀態(tài)歧義健康檢查僅告警index-evidence-missing標(biāo)記格式錯誤critical合法已采用索引清單存在優(yōu)先于 no-index 標(biāo)記實際字節(jié)與哈希逐字節(jié)驗證非法清單、路徑違規(guī)、字節(jié)缺失、哈希不匹配均為 critical檢索基準(zhǔn)25 次重復(fù)與兩條披露路徑帶標(biāo)簽查詢集是LIFEOS/MEMORY/BENCHMARKS/cortex-retrieval-v1.jsonl。標(biāo)簽文件存放在私有 MEMORY 樹中由操作者在自己的語料上、首次基準(zhǔn)運(yùn)行之前自行編寫不隨系統(tǒng)發(fā)布。每行必須攜帶lifeos-cortex-benchmark-label-provenance/v1溯源證明期望 ID 來自真實live-cortex-cli執(zhí)行與人工語料核驗。bun LIFEOS/TOOLS/CortexBenchmark.ts \ --labels LIFEOS/MEMORY/BENCHMARKS/cortex-retrieval-v1.jsonl \ --memory-root LIFEOS/MEMORY \ --output LIFEOS/MEMORY/BENCHMARKS/cortex-benchmark-v1-YYYYMMDD.json基準(zhǔn)工具CortexBenchmark.ts導(dǎo)入生產(chǎn)代碼——activeCortexRecords、rankBM25、toCortexCard與規(guī)范摘要函數(shù)——而非攜帶基準(zhǔn)專用排序器。每條帶標(biāo)簽查詢運(yùn)行 25 次每個查詢/樣本只做一次生產(chǎn)排序同一排序結(jié)果在兩種披露測量間共享bm25-baseline序列化完整 top-5 記錄progressive序列化 top-5 卡片、僅抓取被選中的第一條完整記錄。排序質(zhì)量因此被刻意保持完全相同被比較的是披露與注入成本。每個配置報告Recall5、MRR、時序成對排序準(zhǔn)確率、假陽性召回、注入 token、p95 延遲、延遲樣本數(shù)、語料盤上字節(jié)數(shù)、實測磁盤增長、后代進(jìn)程數(shù)、峰值 RSS、執(zhí)行路徑名。報告 schema 為lifeos-cortex-benchmark/v1stdout 始終收到報告持久化輸出經(jīng)--output顯式開啟必須位于解析后的MEMORY/BENCHMARKS/之下、使用版本化文件名cortex-benchmark-vN-*.json且不覆蓋已存在的報告。報告是操作者針對自己語料與標(biāo)簽的、可復(fù)現(xiàn)的時點本地測量。向量索引的采用門檻當(dāng)前vector_config為null沒有向量基準(zhǔn)候選也沒有向量索引。采納向量或混合索引的前提是帶標(biāo)簽報告證明了相對漸進(jìn)式 BM25 的檢索質(zhì)量提升且索引可規(guī)范重建、保持在單獨文檔化的磁盤與進(jìn)程邊界內(nèi)僅僅降低 token 用量不構(gòu)成采納證據(jù)。運(yùn)營健康缺失的證據(jù)永遠(yuǎn)不產(chǎn)生綠燈Cortex.ts status報告契約可用性與語料形狀運(yùn)營健康由獨立工具產(chǎn)出bun LIFEOS/TOOLS/MemoryHealthCheck.ts --json機(jī)器可讀報告含overall、實測證據(jù)、生效閾值、findings以及按 ok/warn/critical 派生的健康退出碼 0/1/2。核心原則**缺失的證據(jù)永遠(yuǎn)不產(chǎn)生綠燈。**默認(rèn)閾值CortexHealth.ts的DEFAULT_CORTEX_THRESHOLDS證據(jù)默認(rèn)閾值越界結(jié)果Reviewer 成功新鮮度7 天陳舊時 WARN進(jìn)行中 reviewer 終行寬限10 分鐘CRITICAL 超時檢索證據(jù)新鮮度24 小時缺失/陳舊時 WARN待審提案積壓大于 10WARN可觀測性字節(jié)數(shù)大于 256 MiBWARN最老可觀測性日志年齡大于 30 天WARN已采用索引新鮮度大于 7 天WARN判定規(guī)則最新 reviewer 證據(jù)優(yōu)先于歷史成功最新一次運(yùn)行失敗、解析失敗、超時、格式錯誤、schema 不完整或無效均為 CRITICAL新運(yùn)行目錄在 10 分鐘寬限后仍無終行即判超時格式錯誤的 JSONL 被暴露而不是靜默跳回上一次成功非法或未來時間戳不能證明新鮮度提案證據(jù)只統(tǒng)計狀態(tài)恰為pending的行可觀測性證據(jù)遞歸測量MEMORY/OBSERVABILITY/下全部.jsonl與.log文件。閾值覆蓋只接受有限正數(shù)值非法值產(chǎn)生 critical 的cortex-threshold-invalidfinding而不是讓比較失效。運(yùn)營覆蓋變量CORTEX_RETRIEVAL_STALE_MS、CORTEX_PROPOSAL_BACKLOG、CORTEX_OBSERVABILITY_MAX_BYTES、CORTEX_OBSERVABILITY_MAX_AGE_MS。測試/自動化路徑變量CORTEX_HEALTH_ROOT、CORTEX_HEALTH_NOW、CORTEX_INDEX_MANIFEST、CORTEX_HEALTH_NO_WRITE、CORTEX_HEALTH_REPORT_PATH。明確不聲明與適用前提已實現(xiàn)的升級不提供MCP 服務(wù)器或網(wǎng)絡(luò) API跨設(shè)備或云端同步CMEM / CMEM Cloud / Chroma / SQLite FTS / 嵌入 / 向量索引外部 Cortex 遙測Cortex 守護(hù)進(jìn)程或常駐 sidecar所有 hook/通道/采集表面的自動采納對原生 harness 轉(zhuǎn)錄的清洗從搜索結(jié)果自動注入完整記錄。適用前提全部描述以當(dāng)前倉庫LIFEOS/install/LIFEOS/TOOLS/的實現(xiàn)為準(zhǔn)運(yùn)行環(huán)境要求 Bun 運(yùn)行時與已部署的~/.claude/LIFEOS/MEMORY或CORTEX_MEMORY_ROOT指定的規(guī)范根私有 MEMORY 樹中的基準(zhǔn)標(biāo)簽、檢索日志與索引清單均為操作者本地資產(chǎn)不隨開源倉庫分發(fā)?！久赓M(fèi)下載鏈接】LifeOS?? LifeOS — The universal AI Harness designed to move you from Current to Ideal state in both life and work.項目地址: https://gitcode.com/GitHub_Trending/pe/LifeOS創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考