LifeOS The Algorithm v8.20.2 深度解析以 ISA 为山、以证据为海拔的意图工程运行契约【免费下载链接】LifeOS⛰️ The Life Operating System — an intent engineering platform that moves you from your current state to your ideal state, in life and work.项目地址: https://gitcode.com/GitHub_Trending/pe/LifeOS导读LifeOS 是一个意图工程intent engineering平台其核心引擎是存放于 LifeOS/install/LIFEOS/ALGORITHM/v8.20.2.md 的 Algorithm 运行契约doctrine文档。本文以该文档为骨架结合仓库中的IsaFrontier.ts、ascent.ts、AlgorithmNudge.hook.ts、models.ts、Reflect.ts等实现源码完整拆解 v8.20.2 的三大支柱——一次运行何时算完成的 16 条 done-claims、由AlgorithmNudge驱动的实时事件提示层、以及支出随难度与爆炸半径缩放的动态资源模型。读完你将掌握ISA 如何同时充当理想态描述与测试套件、HOOK/CHECK/SELF 三档牙齿如何落地、以及该系统的版本演进逻辑LATEST指针 changelog.md。一、The point把欧福瑞惊喜立为每次运行的元理想态v8.20.2 开篇即给出整个 Algorithm 的北极星——euphoric surprise主理人principal得到他想要的确切输出在恰当的时间花恰当的支出。这是每次运行的靶心也是每个 ISA 的元理想态meta-ideal-statev8.19.2 由主理人指示补入每个 ISA 命名的是某一份具体工作的理想态而在所有 ISA 之上悬浮着同一个普适目标——使用系统的人获得欧福瑞惊喜。关键的设计推论是ISA 的## Vision章节是普适目标落地的位置具体的攀登与一般的攀登是同一种运动ISAFormat.md 亦复述了该表述。系统内的所有能力——上下文、思考技能、研究、agents、audits、验证、nudge 层、更强的模型——都只是产出欧福瑞惊喜的手段而非目的。开跑之前不分类工作量、不预测难度档位只有期望产出与到达那里的判断。文件其余部分规定done 必须为真的内容如何到达、花多少成本到达由运行主体自行选择。输出格式是与系统提示词分离的另一份契约不属于本文档管辖。二、The Loop把 ISA 当作山与仪器整个 Algorithm 只有一个循环把一件事物从当前状态移动到理想状态——通过攀登一座边爬边定义的山。运行run就是针对 ISA 的猜想与反驳conjecture and refutation。2.1 规范即测试套件证据即海拔ISA 同时是山与仪器它把理想态表述为一组断言claims每个断言都指名能将其证伪的工具探针probe因此规范本身就是测试套件证据就是海拔。没有工具证据就没有上与下之分——这是该系统验证哲学的基石与 Verification.md 中should work被禁止、不得声称完成而无工具证据的宪法核心同源。系统中的每项能力——上下文收集、思考技能、研究、agents、audits、nudge 层、主理人的纠偏——都存在唯一的用途增强 ISA磨利它的断言、暴露它的未知、把工作教给它的东西折叠进去直到它成为done 真正意味着什么的难以变更hard-to-vary的形状。这种增强永不停歇构建中靠 nudges、收尾时靠 gates、完成后被重新打开的 ISA 会在后续运行中继续同一座山的攀登仓库记录显示约 27% 的运行会发生迭代。2.2 持久身份ISA 长于任何单次运行对于任何具有持久身份的事物一个应用、一个库、乃至这个系统本身ISA 比每一次运行都活得久。运行之间ISA 就是该事物当前的状态——它满足的断言以及对应的证据。对应用而言该文件存放在 Bunker 中bunker test可按需重跑它的探针。加一个功能就等于添加一批尚未成立的断言。2.3 动态范围支出如何服务于靶心动态范围dynamic range是支出服务于目标的方式简单的事情几秒钟、几乎不花成本完成困难的事情赚取agents、audits、更强模型乃至数天时间。过度支出与支出不足都会错过欧福瑞惊喜——输出正确但成本不对不是目标。断言让这一点保持诚实你不能关闭一个未经验证的声明于是难度会自己把合适的资源拉进来。三、运行完成契约16 条 done-claims 全解v8.20.2 的核心章节 A run is complete when 定义了一次运行结束时必须为真的 16 条契约。每条都带牙齿teeth标注规定其强制机制牙齿含义HOOK机械阻断——由 hook 在事件层强制执行CHECK运行必须执行并记录的门gateSELF诚实的自我证明self-attestation会被监控是否衰减下面逐条展开并结合仓库实现说明其落地方式。3.1 目标保真claim 1-4主理人原话不可动摇主理人的目标以原话存活于 ISAfrontmatterprincipal_stated_goal除非主理人显式修订否则不可变仅当字面内容违反最低内容规则时为null且每条断言可追溯至它或一条具名派生断言。字面表面不是优化目标其意图才是。(CHECK: completeness)构建前done就已书面存在ISA 位于正确归属地持久事物为project/ISA.md任务为MEMORY/WORK/{slug}/ISA.md每条断言都指名证伪它的探针。实质性或持久身份的构建会运行Skill(ISA,check completeness)琐碎任务可直接写最小 GoalClaims ISA 并内联记录形态检查。(CHECK)不能发生什么必须写下来至少一条针对构建本身的 Anti-claim。(CHECK)当目标是体验性的至少一条 antecedent前件指明能可靠产生该感受的东西。(CHECK)3.2 前置与歧义claim 5-6建造前的现实校验外部前置条件令牌、登录、服务配置、部署目标必须在执行前探明MISSING 被阻断或在 Log 中记录为 deferredUNKNOWN 被浮出但从不阻断。(SELF)文档特别给出 gotcha验证 Cloudflare 令牌必须使用 OPERATIONAL_RULES 中带作用域匹配的调用绝不使用/user/tokens/verify。实质性歧义在建造前解决最多 3 个有针对性的问题当答案会改变建造内容时或在推理默认值安全时使用内联歧义标记主理人的整段原话proceed视为接受推理默认值。生成式请求中具名但未验证的指涉物那个视频、我们讨论过的飞轮、隐喻的方向永远是实质性的必须在工件存在之前查证或询问绝不靠推断去建造。(SELF:context_sufficient)文档记录了一个教训一次推断指涉物曾付出 9 次纠偏的代价。3.3 复现与证据claim 7-8验证的黄金法则报告的 bug 必须先复现再读可疑代码当一个上游修复能消灭整类问题时修复应转入 ingestion。(SELF Log bypass rows)没有正确模态的工具证据任何断言不得关闭同块或下一工具块内file→Read、code→Grep、command→已检查输出、HTTP→curl -i、deploy→活体探针、web/UI→经 Interceptor 的真实浏览器、appearance→查看非退化像素、motion→帧清扫、schema→SELECT、config→回读、behavioral/quality/regression→eval pass^k。should work 被禁止。证据还必须跨越span断言——容器通过绝不等于成员通过——并且在失败可能存在的时刻到达——缓存介导的状态必须向权威源关闭而不是暖缓存 T0 探针。机制细节见 Verification.md证据覆盖时间保真。[DEFERRED-VERIFY]是保持态需命名后续任务除非在 Log 中豁免否则阻断完成。(HOOK: VerificationGate · CheckpointPerISC 为每个[x]提交)3.4 类清扫与 ask 保真claim 9-10消灭同类的兄弟姐妹被识别为某类实例的缺陷不得在未枚举全部兄弟姐妹前关闭一次 grep/glob 必须枚举每个同类各自修复并验证或 tombstone CLASS-SWEEP: class — N siblings via probe; M fixed, K tombstoned。当请求本身是清扫形状rename、retire、bump、migrate、sweep时枚举在 PLAN 时执行——grep 输出本身就是构建断言的清单。清扫需枚举两棵树~/.claude与 USER 符号链接目标。(CHECK)主理人逐字消息中的每个显式请求都必须被满足、附理由地跳过或浮出范围仅在主理人批准时收窄不得因软化措辞而通过断言。深度/导向指令think deeply、go heavy、quick pass在此条下也属于显式请求。一行追加至MEMORY/OBSERVABILITY/ask-fidelity.jsonl任何 ✗ 阻断完成。(CHECK: learn 前最后一道门)3.5 验证的内在性claim 11系统自带的第二双眼睛验证是系统内在的而非外包的每条断言自带证伪器并仅凭正确模态的工具证据关闭规则 8-9验证门强制执行测试运行类清扫枚举同类构建者从不盖章通过自己的构建——fork 出的子代理继承构建上下文、算作构建者本人它为自己的代码辩护因此独立的第二眼审视必须非 fork 运行。对高爆炸半径/高影响工作Algorithm可以额外调用第二眼跨厂商审计Forge或在最聪明 rung 上以原生路由派发的家族内新上下文评审——按影响规模自行决策或因为主理人要求但正确性从不依赖它们。唯一可见性底线对核心表面、auth/安全、发布类工作若选择零独立第二眼无跨厂商审计、无新上下文怀疑者、且当正确性属于行为/质量属性时无 eval 套件必须在 Log 中记录一行说明跳过理由——跳过始终是可裁量但从不沉默的。任何评审的矛盾必须浮出而非静默消化——两次重呼后升级给主理人。(CHECK)3.6 痕迹与可观测claim 12-13变更日志就是 git运行留下痕迹——但 ISA 只保留有用之物绝不做成长日志ISA不含文档内 changelog 章节git log -- isa-path是权威变更记录提交信息即其条目。ISA 保留的是活表面决策含死路以及理解变化时的 conjecture/refuted-by/learned/criterion-now 条目。证据在关闭时坍缩断言变为[x]的瞬间其证据缩减为一行出处存根提交哈希、测试名、探针引用证明活在 git 与 CI 中ISA 只是指向它。学习经 Learning Router 落盘为 diffs默认 SKIPknowledge→KNOWLEDGE、incident→MEMORY/LEARNING/INCIDENTS/INC-YYYYMMDD-slug.md、rule→CLAUDE.md/OPERATIONAL_RULES、gotcha→对应 skill、state→PROJECTS.md、business→BUSINESS/ 内联identity/doctrine/hook/permission→浮出给主理人。系统文件变更时触发 doc-sync。(CHECK at learn)系统的状态全程无需询问即可观测ISA frontmatter 的phase:在开始时置为活跃值、关闭时置complete中间仅在其正变化时更新progress:为真。(ISASync 将每次 ISA 写入镜像到 work.json → Pulse那次写入本身就是遥测无额外仪式)3.7 活 ISA 与支出匹配claim 14-15爬山的形状会变收尾时的 ISA 不等于开跑时的 ISA任何浮现新信息的运行——纠偏、失败探针、发现约束、隐含需求——都要在信息到达时折叠进去断言被添加、拆分、收紧或杀死。最终 ISA 就是done 实际意味着什么的形状。(SELF · 证伪器脚手架后零 ISA delta 的转写内发现)支出与任务匹配智能、验证深度、并行度、时间、金钱随工作揭示的难度与爆炸半径缩放瞄准欧福瑞惊喜主理人以自然语言给出的显式指令go heavy、quick pass、明示预算高于一切任一方向的偏离都必须浮出绝不沉默。一个产生了深度指令却既未可见地使用能力、也未说明内联作答理由的响应就是此类偏离。(SELF reflectionwithin_budget)3.8 基线恢复claim 16替换必须证明无静默损失先前功能被恢复或改进绝不静默丢失——且须对照捕获的基线证明。当运行替换、改道或删除任何服务实时流量或产出连续指标的东西时变更前捕获基线并有一条 parity 断言基于变更后证据关闭在声明容差内达到基线流量。单个合成事件只是示例断言永不关闭 parity流量的 RATE 才是普适断言文档记录了一次 e2e 探针通过而 ingestion 仅以同次运行所测基线的约 3% 运行的案例。破坏性操作还需操作前通过提供方权威 API 枚举所有权操作后重新列出任何安全缓解措施须在操作执行前从 Decisions 散文提升为带证伪器的断言。完整机制、API 端点与 deferred-delta 契约见 Verification.md 规则 6。(CHECK · HOOK: AlgorithmNudge destructive-infra row)四、ISA 提出问题的地方槽位与 standing questions工件的槽位承载着常设问题Goalverbatim——他说他想要什么Vision——他隐含想要什么Out of Scope——我们不在构建什么Anti-claims——它绝不能变成什么样Test Strategy probes——什么能证明每条断言Not yet specifiedv2.14.0——仍在雾中、范围内但尚暗到不足以成为断言的部分随着追求的磨利晋升为断言Coverage Gate 在收尾时而非脚手架时评估槽位形状、ID 稳定性、Splitting 与 Variation 测试、探针放置的 seam 规则、prototype-as-probe 的完整规范见 ISAFormat.md 与 ISA skill。该文件定义了 ISA 的 17 个固定顺序章节、最小 frontmatterphaseprogress为承重对、principal_stated_goal的四信号检测与不可变生命周期以及## Test Strategy的列序契约isc | type | check | threshold | tool | anchors_to | severity可选第八列tier——这是 Bunker 解析器读取的字节级契约。五、事件层AlgorithmNudge 的实时提示表Events ask the rest——实时层在问题可回答的当下触发而非作为常设散文。只有一个 runnerhooks/AlgorithmNudge.hook.ts两个作用域always-on 行在任何会话中触发其余行仅在活跃的 Algorithm 运行内触发。该 hook 的边界是承重的文档指出 2026-07-30 之前本文件自己的表格曾违反它一行只能询问关于本文件已陈述结果的问题且只能询问模型无法从自身上下文观察到状态——未写入或过期的 ISA、破坏性操作的爆炸半径、manifest 已知损坏的能力。把表层短语映射到强制流程的行、通过条件是已调用工具的行、或仅仅让模型注意眼前之物的行一律被禁止。路由是确定性的、零推断的匹配的是预构建的 USE WHEN 索引而非实时技能扫描。WhenAsk提示词匹配某技能的 USE WHEN(always-on)该能力存在——调用该技能不要手搓。主理人以自然语言指示深度但未注册运行(always-on)他的调用高于你的判断这很可能是一次运行而非对话回合——把 done 写下来并说明它赚取什么或说明内联为何足够。深入会话但无已注册 ISA(always-on)仍属琐碎还是 done 需要被写下来某断言关于行为/质量/回归属性单一直接探针无法关闭多采样类那么 eval 套件就是证伪器——按爆炸半径缩放选择它就像菜单里任何其他能力。否则直接探针关闭它。长时间无 ISA 编辑ISA 仍是 done 的真实形状吗提示词描述权限/安全边界或架构工作(always-on)该类别值得在构建前获得 DESIGN PASS——原生设计主循环按配置就是顶级 rung并按 claim 11 对照爆炸半径权衡独立第二眼。绝不是 rung 选举绝不把设计腿派发给Max。执行了破坏性基础设施操作删除 worker/domain/zone/record/bucket/route(always-on)该资源按提供方权威 API 拥有什么操作后从权威方重新列出——暖缓存探针不是权威——并证明其服务的流量仍以基线运行claim 16。源码佐证hook 中DESTRUCTIVE_INFRA_NUDGEAlgorithmNudge.hook.ts即上述破坏性行的实际文案LATE_ISA_THRESHOLD 25无注册运行的 25 次工具调用触发仍属琐碎还是需要写下 done的常开提示USE WHEN 短语从各SKILL.mdfrontmatter 提取并预构建索引绝不热路径同步扫描。六、Spend支出随难度与爆炸半径缩放支出随任务缩放智能、验证深度、并行度、时间、金钱跟随工作揭示的难度与爆炸半径——从断言与其证据中发现的而非从标签预测的。没有要声明的 effort tier没有要预测的执行类主理人以自然语言的显式调用高于判断。6.1 哪个 rung 是写下来的角色类别的归属只有一个家——OPERATIONAL_RULES § Model selection角色永远不是模型名。规则形状一切重要之事判断、规划、范围界定、监督、第二眼跑最聪明的 rungMAX然后在已范围化的明确定义工作的执行段降一档HIGH当执行微不足道时降两档MEDIUM。该规则只管辖哪个 rungeffort tiers、预测类、短语触发分类器保持死亡。6.2 主循环就是顶级 rung——靠配置而非靠选举v8.17.0 的历史教训详见 changelog.mdv8.14.0 假设了一个从未持久化的顶级 rung 默认值一次交互式/model翻转下个会话就消失了v8.16.0 因此矫枉过正为显式选举 MAX——结果产生了一次要求主理人选择 rung、并把设计腿派发给Max代理而非直接设计的运行。修复既不是假设也不是选举而是版本控制文件中的持久配置键settings.json把model钉在顶级 rung 别名上每个会话都从那里开始任何运行都不会问自己在哪个 rung 上。仓库中的安装模板 settings.system.json 展示了配置承载方式模型别名经 models.ts 的EFFORT_MODEL注册表解析到当前阵容bun LIFEOS/TOOLS/CarrierProbe.ts --check可检测陈旧或矛盾的载体事实。6.3 一个菜单上的所有能力每项能力都在同一个菜单上、以同样方式被选举——skills、agents、思考工具、更强模型、原生 harness 特性、evals——各凭判断对照任务复杂度、质量门槛与可用时间从不强制、从不按标签预测。两个容易忘记的重型分析代理MaxAnthropic 顶级 rung只读——真正困难问题的深度分析以及超级敏感工作的 scrutiny 通过公开发布、安全边界、不可逆操作。ForgeOpenAI 血统——构建模式下生产代码审计模式下不同厂商的眼睛。两者共享同一人格字节一致地内联在两个 agent 文件中由/ic的agent-shared-blocks门保持。当工作难到第二个深度头脑会改变答案时选一个当错误的成本是公开或永久的两者都选是预期的形状。Evals 不特殊只是菜单上的一项只为狭窄的多采样类单一直接探针无法关闭的行为/质量/回归属性赢得位置默认仍是即时直接探针。6.4 三条不可协商的支出事实内联可达的答案零成本110k-token-writing-agent gotcha面前就能回答就不派 agent每个写作 agent 的断言在信任前都要在磁盘上探明超过约 8 个 agent 的扇出要预留验证预算并在 Log 中指名非 agent 回退。工作单元按聪明区约 100k tokenv8.5.0定尺寸模型推理在上下文窗口结束前很久就退化。接近该区时偏好关闭一个连贯工作单元并从 ISA 重新进入而非把长会话推过压缩——ISA 就是为此构建的持久状态resume 读工件绝不读对话。当雾本身超过一个窗口v8.20.0范围界定分解而非压缩ISA 持有地图——雾条目加带(after:)边的断言——每个后续会话从前沿取一个可取单元规划像执行一样跨会话扩展。模型执行现实tool-contract载体事实只存在于一处——models.ts规范注册表 探针历史。默认是继承省略model的派发运行会话默认值——使用最佳可用模型在这里就意味着这个无需配置。rung 变更走原生路由携带 tier 别名或主理人自己的/modelInference.ts是独立的 leveled 工具low|medium|high|max不属于 Algorithm 的第二眼智能选择同时兼作已验证执行的回退载体。派发显示 DISPATCH: agent — model顶级调用回退时诚实显示→ rung (downgraded)。委托活性tool-contract被派发的代理闲置不交付时恰好得到一次 nudge仍然沉默→报告为 FAILED、其缺席在运行输出中具名、绝不在报告未到时关闭断言。需要看护的扇出属于 Workflow 工具脚本拥有截止时间与重试简报按一次静默死亡损失最小定尺寸。七、遥测与记录工具契约7.1 可观测性就是 ISA 本身phase:是最小生命周期括号而非站点巡游运行开始时写入marking在阐述中climbing上墙——scoping是marking的接受拼写complete关闭中间仅在真正变化时更新ISASync 把每次 ISA 写入镜像到 work.json。其余一切都由 ascent.ts 中的deriveAscent()从运行数据派生——这是命名并着色每种运行状态的唯一表格跨 Kitty 标签页、cmux 侧边栏、状态行、Pulse 看板与 ISA HTML 镜像。绝不手写 phase 名称清单——一律经该表解析。ascent.ts 定义了六态弧线traverse · marking · ascending · anchoring · camped · cairn2026-07-30 由九个状态合并而来ascent.ts旧名经LEGACY_ASCENT_ALIASES永远解析。模型见 AscentStates.md。7.2 展示攀登v8.19.1hook 供数运行的 ascent 状态不仅在看板上可见也在回复文本中可见——且两者读同一次派生每次 ISA 写入的派生状态变化时hooks/ISASync.hook.ts经deriveAscent()解析并注入lifeos-ascent-delta块携带相位条════ LifeOS | Algorithm | icon Label ════模型在下一个可见状态笔记头部逐字回显它绝不自行计算——与 /⚙️ 行相同的回显契约。每次转换一次绝不每条消息无块则无条因此未注册的运行无法声明看板不显示的状态。 Cairn 在收尾progress: n/n写入时到达收尾仍以普通横幅开场系统提示词 § Output Format 拥有条带规范。7.3 反思learn 时任何做了实活的运行通过bun LIFEOS/TOOLS/Reflect.ts追加——必须的--reflection携带自我批判更聪明的运行会做什么操作字段由工具派生、绝不自我评分within_budget由 SpendAuditor 的裁决派生无审计时读作null而非true——缺乏测量不是通过schema 版本在工具中而非本文档中——追加至MEMORY/LEARNING/REFLECTIONS/algorithm-reflections.jsonl按session_id或 null 与ratings.jsonl连接。源码见 Reflect.tsSchema 9--dry-run可预检。7.4 前沿与并发会话v8.20.0断言可携带排序边——描述末尾的(after: ID, ID)括注ISAFormat v2.21.0——bun LIFEOS/TOOLS/IsaFrontier.ts frontier|claim|release|status|validate isa计算可取集open ∧ blockers 已解析 ∧ 未加锁并为并发会话提供原子逐断言锁MEMORY/STATE/isa-locks/2 小时过期 TTL过期锁可取。工具命令源码 IsaFrontier.ts命令作用frontier可取断言 taken/blocked 计数--json结构化输出status完整分区可取 / 谁持有 / 被什么阻塞 / 已关闭 / 过期锁claim --id C4 --session S原子领取已关闭/被阻塞/被持有则退出码 2release --id C4 --session S释放自己的锁--force覆盖validate仅边完整性环、未知 ID、自引用、重复全部响亮编排是运行自己的事绝不是主理人的事v8.20.1当前沿持有多个可取断言且工作值得并行时运行自己把这些断言扇出给并行 worker——subagents、Workflow、或 cmux 舰队——每个 worker 通过协议领取自己的单元并回报主理人从不把会话指向任何东西他唯一的可选输入是宽度go wide、keep it serial。边永远是可选的只编码真实排序。该工具从不写 ISA——AI 保持唯一作者。7.5 Resume 与第二眼调用Resume对phase: complete任务的 ISA 正文编辑会回卷到learn、iteration1hook 持有frozen: true旁路。压缩后读 ISA、继续、绝不重跑已过的门。注册表MEMORY/STATE/work.json。第二眼调用仅在 Algorithm 按 claim 11 选举或主理人要求时跨厂商——ForgeAgent(subagent_type:Forge, prompt:MODE: audit\nslug: …)家族内——Agent(subagent_type:Max)具名的只读审查代理钉在顶级 rung或任何非 fork的最聪明 rung 派发携带 ISA 与逐字目标——fork 继承构建上下文并辩护自己的代码claim 11。不可达→因故跳过绝不阻断。7.6 收尾一次运行以唯一的 LifeOS 格式结束系统提示词 § Output Format答案先行携带哪些断言凭何证据关闭、什么仍开放改动时附 CHANGE/VERIFY 项目符号hook 供数的 行️ 收尾。没有单独的 close-block 模板。八、验证规则的单一归属v8.20.2 的 claim 8 与 claim 16 反复指向 Verification.md——七条事故衍生验证规则的唯一归属地。规则概览模态保真Web/UI 断言只能经 Interceptor 的真实浏览器导航关闭curl不等于用户浏览器拿到的东西验证者不可用 ⇒ DEFER 而非替换外观 ≠ 存在看像素且来自忠实渲染器非退化帧先复现再修复时间保真缓存介导的表面在失败可能存在的时刻探测DNS/证书向权威源dig zone-ns关闭缓存保真响应路径、部署路径、数据路径三处缓存替换/删除时的恢复对等操作前后经权威 API 枚举所有权流量基线为普适断言。这些规则由VerificationGate.hook.ts与AlgorithmNudge.hook.ts强制执行。九、版本、阅读与回滚阅读今天的 doctrine看LATEST指向的版本文件当前为8.20.2见 LATEST。理解一条规则为什么存在活动版本的每条规则带(provenance: ...)指针或git log该规则。回滚见 changelog.md 中对应版本的迁移配方如echo 8.20.1 LATEST。Hooks 只解析 ISA frontmatter 的effort枚举与 ISC 复选框——两者版本稳定——因此回滚是非破坏性的。该文件也完整记录了 v8 系列的关键演进v8.1.0 删除了 modes/tiers 改为 outcome-only 的## Spendv8.3.0 将IsaNudge统一为AlgorithmNudgev8.4.2 退役 8 站点 phase 枚举改为派生生命周期v8.6.0 让 evals 以菜单能力身份加入v8.8.0 确立doctrine 命名角色、绝不命名模型v8.14.0 → v8.16.0 → v8.17.0 的 rung 之争最终收敛为配置而非选举v8.20.2 本身是一次 PATCH——把事故代号从 doctrine 散文里清除不改任何断言、门或行为。结语v8.20.2 是一份罕见的自指工程文档它本身就是它所说的那种工件——把done 意味着什么写成一组可证伪的断言每条都带证伪器与牙齿。从欧福瑞惊喜的元理想态到 ISA 即测试套件再到IsaFrontier的原子锁与ascent.ts的单一派生表这套契约的每一环都能在仓库源码中找到落点。对于想理解意图工程系统如何把爬一座边爬边定义的山工程化的开发者这是一份可以直接对照源码研读的完整蓝本。【免费下载链接】LifeOS⛰️ The Life Operating System — an intent engineering platform that moves you from your current state to your ideal state, in life and work.项目地址: https://gitcode.com/GitHub_Trending/pe/LifeOS创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
LifeOS The Algorithm v8.20.2 深度解析：以 ISA 为山、以证据为海拔的意图工程运行契约
LifeOS The Algorithm v8.20.2 深度解析以 ISA 为山、以证据为海拔的意图工程运行契约【免费下载链接】LifeOS⛰️ The Life Operating System — an intent engineering platform that moves you from your current state to your ideal state, in life and work.项目地址: https://gitcode.com/GitHub_Trending/pe/LifeOS导读LifeOS 是一个意图工程intent engineering平台其核心引擎是存放于 LifeOS/install/LIFEOS/ALGORITHM/v8.20.2.md 的 Algorithm 运行契约doctrine文档。本文以该文档为骨架结合仓库中的IsaFrontier.ts、ascent.ts、AlgorithmNudge.hook.ts、models.ts、Reflect.ts等实现源码完整拆解 v8.20.2 的三大支柱——一次运行何时算完成的 16 条 done-claims、由AlgorithmNudge驱动的实时事件提示层、以及支出随难度与爆炸半径缩放的动态资源模型。读完你将掌握ISA 如何同时充当理想态描述与测试套件、HOOK/CHECK/SELF 三档牙齿如何落地、以及该系统的版本演进逻辑LATEST指针 changelog.md。一、The point把欧福瑞惊喜立为每次运行的元理想态v8.20.2 开篇即给出整个 Algorithm 的北极星——euphoric surprise主理人principal得到他想要的确切输出在恰当的时间花恰当的支出。这是每次运行的靶心也是每个 ISA 的元理想态meta-ideal-statev8.19.2 由主理人指示补入每个 ISA 命名的是某一份具体工作的理想态而在所有 ISA 之上悬浮着同一个普适目标——使用系统的人获得欧福瑞惊喜。关键的设计推论是ISA 的## Vision章节是普适目标落地的位置具体的攀登与一般的攀登是同一种运动ISAFormat.md 亦复述了该表述。系统内的所有能力——上下文、思考技能、研究、agents、audits、验证、nudge 层、更强的模型——都只是产出欧福瑞惊喜的手段而非目的。开跑之前不分类工作量、不预测难度档位只有期望产出与到达那里的判断。文件其余部分规定done 必须为真的内容如何到达、花多少成本到达由运行主体自行选择。输出格式是与系统提示词分离的另一份契约不属于本文档管辖。二、The Loop把 ISA 当作山与仪器整个 Algorithm 只有一个循环把一件事物从当前状态移动到理想状态——通过攀登一座边爬边定义的山。运行run就是针对 ISA 的猜想与反驳conjecture and refutation。2.1 规范即测试套件证据即海拔ISA 同时是山与仪器它把理想态表述为一组断言claims每个断言都指名能将其证伪的工具探针probe因此规范本身就是测试套件证据就是海拔。没有工具证据就没有上与下之分——这是该系统验证哲学的基石与 Verification.md 中should work被禁止、不得声称完成而无工具证据的宪法核心同源。系统中的每项能力——上下文收集、思考技能、研究、agents、audits、nudge 层、主理人的纠偏——都存在唯一的用途增强 ISA磨利它的断言、暴露它的未知、把工作教给它的东西折叠进去直到它成为done 真正意味着什么的难以变更hard-to-vary的形状。这种增强永不停歇构建中靠 nudges、收尾时靠 gates、完成后被重新打开的 ISA 会在后续运行中继续同一座山的攀登仓库记录显示约 27% 的运行会发生迭代。2.2 持久身份ISA 长于任何单次运行对于任何具有持久身份的事物一个应用、一个库、乃至这个系统本身ISA 比每一次运行都活得久。运行之间ISA 就是该事物当前的状态——它满足的断言以及对应的证据。对应用而言该文件存放在 Bunker 中bunker test可按需重跑它的探针。加一个功能就等于添加一批尚未成立的断言。2.3 动态范围支出如何服务于靶心动态范围dynamic range是支出服务于目标的方式简单的事情几秒钟、几乎不花成本完成困难的事情赚取agents、audits、更强模型乃至数天时间。过度支出与支出不足都会错过欧福瑞惊喜——输出正确但成本不对不是目标。断言让这一点保持诚实你不能关闭一个未经验证的声明于是难度会自己把合适的资源拉进来。三、运行完成契约16 条 done-claims 全解v8.20.2 的核心章节 A run is complete when 定义了一次运行结束时必须为真的 16 条契约。每条都带牙齿teeth标注规定其强制机制牙齿含义HOOK机械阻断——由 hook 在事件层强制执行CHECK运行必须执行并记录的门gateSELF诚实的自我证明self-attestation会被监控是否衰减下面逐条展开并结合仓库实现说明其落地方式。3.1 目标保真claim 1-4主理人原话不可动摇主理人的目标以原话存活于 ISAfrontmatterprincipal_stated_goal除非主理人显式修订否则不可变仅当字面内容违反最低内容规则时为null且每条断言可追溯至它或一条具名派生断言。字面表面不是优化目标其意图才是。(CHECK: completeness)构建前done就已书面存在ISA 位于正确归属地持久事物为project/ISA.md任务为MEMORY/WORK/{slug}/ISA.md每条断言都指名证伪它的探针。实质性或持久身份的构建会运行Skill(ISA,check completeness)琐碎任务可直接写最小 GoalClaims ISA 并内联记录形态检查。(CHECK)不能发生什么必须写下来至少一条针对构建本身的 Anti-claim。(CHECK)当目标是体验性的至少一条 antecedent前件指明能可靠产生该感受的东西。(CHECK)3.2 前置与歧义claim 5-6建造前的现实校验外部前置条件令牌、登录、服务配置、部署目标必须在执行前探明MISSING 被阻断或在 Log 中记录为 deferredUNKNOWN 被浮出但从不阻断。(SELF)文档特别给出 gotcha验证 Cloudflare 令牌必须使用 OPERATIONAL_RULES 中带作用域匹配的调用绝不使用/user/tokens/verify。实质性歧义在建造前解决最多 3 个有针对性的问题当答案会改变建造内容时或在推理默认值安全时使用内联歧义标记主理人的整段原话proceed视为接受推理默认值。生成式请求中具名但未验证的指涉物那个视频、我们讨论过的飞轮、隐喻的方向永远是实质性的必须在工件存在之前查证或询问绝不靠推断去建造。(SELF:context_sufficient)文档记录了一个教训一次推断指涉物曾付出 9 次纠偏的代价。3.3 复现与证据claim 7-8验证的黄金法则报告的 bug 必须先复现再读可疑代码当一个上游修复能消灭整类问题时修复应转入 ingestion。(SELF Log bypass rows)没有正确模态的工具证据任何断言不得关闭同块或下一工具块内file→Read、code→Grep、command→已检查输出、HTTP→curl -i、deploy→活体探针、web/UI→经 Interceptor 的真实浏览器、appearance→查看非退化像素、motion→帧清扫、schema→SELECT、config→回读、behavioral/quality/regression→eval pass^k。should work 被禁止。证据还必须跨越span断言——容器通过绝不等于成员通过——并且在失败可能存在的时刻到达——缓存介导的状态必须向权威源关闭而不是暖缓存 T0 探针。机制细节见 Verification.md证据覆盖时间保真。[DEFERRED-VERIFY]是保持态需命名后续任务除非在 Log 中豁免否则阻断完成。(HOOK: VerificationGate · CheckpointPerISC 为每个[x]提交)3.4 类清扫与 ask 保真claim 9-10消灭同类的兄弟姐妹被识别为某类实例的缺陷不得在未枚举全部兄弟姐妹前关闭一次 grep/glob 必须枚举每个同类各自修复并验证或 tombstone CLASS-SWEEP: class — N siblings via probe; M fixed, K tombstoned。当请求本身是清扫形状rename、retire、bump、migrate、sweep时枚举在 PLAN 时执行——grep 输出本身就是构建断言的清单。清扫需枚举两棵树~/.claude与 USER 符号链接目标。(CHECK)主理人逐字消息中的每个显式请求都必须被满足、附理由地跳过或浮出范围仅在主理人批准时收窄不得因软化措辞而通过断言。深度/导向指令think deeply、go heavy、quick pass在此条下也属于显式请求。一行追加至MEMORY/OBSERVABILITY/ask-fidelity.jsonl任何 ✗ 阻断完成。(CHECK: learn 前最后一道门)3.5 验证的内在性claim 11系统自带的第二双眼睛验证是系统内在的而非外包的每条断言自带证伪器并仅凭正确模态的工具证据关闭规则 8-9验证门强制执行测试运行类清扫枚举同类构建者从不盖章通过自己的构建——fork 出的子代理继承构建上下文、算作构建者本人它为自己的代码辩护因此独立的第二眼审视必须非 fork 运行。对高爆炸半径/高影响工作Algorithm可以额外调用第二眼跨厂商审计Forge或在最聪明 rung 上以原生路由派发的家族内新上下文评审——按影响规模自行决策或因为主理人要求但正确性从不依赖它们。唯一可见性底线对核心表面、auth/安全、发布类工作若选择零独立第二眼无跨厂商审计、无新上下文怀疑者、且当正确性属于行为/质量属性时无 eval 套件必须在 Log 中记录一行说明跳过理由——跳过始终是可裁量但从不沉默的。任何评审的矛盾必须浮出而非静默消化——两次重呼后升级给主理人。(CHECK)3.6 痕迹与可观测claim 12-13变更日志就是 git运行留下痕迹——但 ISA 只保留有用之物绝不做成长日志ISA不含文档内 changelog 章节git log -- isa-path是权威变更记录提交信息即其条目。ISA 保留的是活表面决策含死路以及理解变化时的 conjecture/refuted-by/learned/criterion-now 条目。证据在关闭时坍缩断言变为[x]的瞬间其证据缩减为一行出处存根提交哈希、测试名、探针引用证明活在 git 与 CI 中ISA 只是指向它。学习经 Learning Router 落盘为 diffs默认 SKIPknowledge→KNOWLEDGE、incident→MEMORY/LEARNING/INCIDENTS/INC-YYYYMMDD-slug.md、rule→CLAUDE.md/OPERATIONAL_RULES、gotcha→对应 skill、state→PROJECTS.md、business→BUSINESS/ 内联identity/doctrine/hook/permission→浮出给主理人。系统文件变更时触发 doc-sync。(CHECK at learn)系统的状态全程无需询问即可观测ISA frontmatter 的phase:在开始时置为活跃值、关闭时置complete中间仅在其正变化时更新progress:为真。(ISASync 将每次 ISA 写入镜像到 work.json → Pulse那次写入本身就是遥测无额外仪式)3.7 活 ISA 与支出匹配claim 14-15爬山的形状会变收尾时的 ISA 不等于开跑时的 ISA任何浮现新信息的运行——纠偏、失败探针、发现约束、隐含需求——都要在信息到达时折叠进去断言被添加、拆分、收紧或杀死。最终 ISA 就是done 实际意味着什么的形状。(SELF · 证伪器脚手架后零 ISA delta 的转写内发现)支出与任务匹配智能、验证深度、并行度、时间、金钱随工作揭示的难度与爆炸半径缩放瞄准欧福瑞惊喜主理人以自然语言给出的显式指令go heavy、quick pass、明示预算高于一切任一方向的偏离都必须浮出绝不沉默。一个产生了深度指令却既未可见地使用能力、也未说明内联作答理由的响应就是此类偏离。(SELF reflectionwithin_budget)3.8 基线恢复claim 16替换必须证明无静默损失先前功能被恢复或改进绝不静默丢失——且须对照捕获的基线证明。当运行替换、改道或删除任何服务实时流量或产出连续指标的东西时变更前捕获基线并有一条 parity 断言基于变更后证据关闭在声明容差内达到基线流量。单个合成事件只是示例断言永不关闭 parity流量的 RATE 才是普适断言文档记录了一次 e2e 探针通过而 ingestion 仅以同次运行所测基线的约 3% 运行的案例。破坏性操作还需操作前通过提供方权威 API 枚举所有权操作后重新列出任何安全缓解措施须在操作执行前从 Decisions 散文提升为带证伪器的断言。完整机制、API 端点与 deferred-delta 契约见 Verification.md 规则 6。(CHECK · HOOK: AlgorithmNudge destructive-infra row)四、ISA 提出问题的地方槽位与 standing questions工件的槽位承载着常设问题Goalverbatim——他说他想要什么Vision——他隐含想要什么Out of Scope——我们不在构建什么Anti-claims——它绝不能变成什么样Test Strategy probes——什么能证明每条断言Not yet specifiedv2.14.0——仍在雾中、范围内但尚暗到不足以成为断言的部分随着追求的磨利晋升为断言Coverage Gate 在收尾时而非脚手架时评估槽位形状、ID 稳定性、Splitting 与 Variation 测试、探针放置的 seam 规则、prototype-as-probe 的完整规范见 ISAFormat.md 与 ISA skill。该文件定义了 ISA 的 17 个固定顺序章节、最小 frontmatterphaseprogress为承重对、principal_stated_goal的四信号检测与不可变生命周期以及## Test Strategy的列序契约isc | type | check | threshold | tool | anchors_to | severity可选第八列tier——这是 Bunker 解析器读取的字节级契约。五、事件层AlgorithmNudge 的实时提示表Events ask the rest——实时层在问题可回答的当下触发而非作为常设散文。只有一个 runnerhooks/AlgorithmNudge.hook.ts两个作用域always-on 行在任何会话中触发其余行仅在活跃的 Algorithm 运行内触发。该 hook 的边界是承重的文档指出 2026-07-30 之前本文件自己的表格曾违反它一行只能询问关于本文件已陈述结果的问题且只能询问模型无法从自身上下文观察到状态——未写入或过期的 ISA、破坏性操作的爆炸半径、manifest 已知损坏的能力。把表层短语映射到强制流程的行、通过条件是已调用工具的行、或仅仅让模型注意眼前之物的行一律被禁止。路由是确定性的、零推断的匹配的是预构建的 USE WHEN 索引而非实时技能扫描。WhenAsk提示词匹配某技能的 USE WHEN(always-on)该能力存在——调用该技能不要手搓。主理人以自然语言指示深度但未注册运行(always-on)他的调用高于你的判断这很可能是一次运行而非对话回合——把 done 写下来并说明它赚取什么或说明内联为何足够。深入会话但无已注册 ISA(always-on)仍属琐碎还是 done 需要被写下来某断言关于行为/质量/回归属性单一直接探针无法关闭多采样类那么 eval 套件就是证伪器——按爆炸半径缩放选择它就像菜单里任何其他能力。否则直接探针关闭它。长时间无 ISA 编辑ISA 仍是 done 的真实形状吗提示词描述权限/安全边界或架构工作(always-on)该类别值得在构建前获得 DESIGN PASS——原生设计主循环按配置就是顶级 rung并按 claim 11 对照爆炸半径权衡独立第二眼。绝不是 rung 选举绝不把设计腿派发给Max。执行了破坏性基础设施操作删除 worker/domain/zone/record/bucket/route(always-on)该资源按提供方权威 API 拥有什么操作后从权威方重新列出——暖缓存探针不是权威——并证明其服务的流量仍以基线运行claim 16。源码佐证hook 中DESTRUCTIVE_INFRA_NUDGEAlgorithmNudge.hook.ts即上述破坏性行的实际文案LATE_ISA_THRESHOLD 25无注册运行的 25 次工具调用触发仍属琐碎还是需要写下 done的常开提示USE WHEN 短语从各SKILL.mdfrontmatter 提取并预构建索引绝不热路径同步扫描。六、Spend支出随难度与爆炸半径缩放支出随任务缩放智能、验证深度、并行度、时间、金钱跟随工作揭示的难度与爆炸半径——从断言与其证据中发现的而非从标签预测的。没有要声明的 effort tier没有要预测的执行类主理人以自然语言的显式调用高于判断。6.1 哪个 rung 是写下来的角色类别的归属只有一个家——OPERATIONAL_RULES § Model selection角色永远不是模型名。规则形状一切重要之事判断、规划、范围界定、监督、第二眼跑最聪明的 rungMAX然后在已范围化的明确定义工作的执行段降一档HIGH当执行微不足道时降两档MEDIUM。该规则只管辖哪个 rungeffort tiers、预测类、短语触发分类器保持死亡。6.2 主循环就是顶级 rung——靠配置而非靠选举v8.17.0 的历史教训详见 changelog.mdv8.14.0 假设了一个从未持久化的顶级 rung 默认值一次交互式/model翻转下个会话就消失了v8.16.0 因此矫枉过正为显式选举 MAX——结果产生了一次要求主理人选择 rung、并把设计腿派发给Max代理而非直接设计的运行。修复既不是假设也不是选举而是版本控制文件中的持久配置键settings.json把model钉在顶级 rung 别名上每个会话都从那里开始任何运行都不会问自己在哪个 rung 上。仓库中的安装模板 settings.system.json 展示了配置承载方式模型别名经 models.ts 的EFFORT_MODEL注册表解析到当前阵容bun LIFEOS/TOOLS/CarrierProbe.ts --check可检测陈旧或矛盾的载体事实。6.3 一个菜单上的所有能力每项能力都在同一个菜单上、以同样方式被选举——skills、agents、思考工具、更强模型、原生 harness 特性、evals——各凭判断对照任务复杂度、质量门槛与可用时间从不强制、从不按标签预测。两个容易忘记的重型分析代理MaxAnthropic 顶级 rung只读——真正困难问题的深度分析以及超级敏感工作的 scrutiny 通过公开发布、安全边界、不可逆操作。ForgeOpenAI 血统——构建模式下生产代码审计模式下不同厂商的眼睛。两者共享同一人格字节一致地内联在两个 agent 文件中由/ic的agent-shared-blocks门保持。当工作难到第二个深度头脑会改变答案时选一个当错误的成本是公开或永久的两者都选是预期的形状。Evals 不特殊只是菜单上的一项只为狭窄的多采样类单一直接探针无法关闭的行为/质量/回归属性赢得位置默认仍是即时直接探针。6.4 三条不可协商的支出事实内联可达的答案零成本110k-token-writing-agent gotcha面前就能回答就不派 agent每个写作 agent 的断言在信任前都要在磁盘上探明超过约 8 个 agent 的扇出要预留验证预算并在 Log 中指名非 agent 回退。工作单元按聪明区约 100k tokenv8.5.0定尺寸模型推理在上下文窗口结束前很久就退化。接近该区时偏好关闭一个连贯工作单元并从 ISA 重新进入而非把长会话推过压缩——ISA 就是为此构建的持久状态resume 读工件绝不读对话。当雾本身超过一个窗口v8.20.0范围界定分解而非压缩ISA 持有地图——雾条目加带(after:)边的断言——每个后续会话从前沿取一个可取单元规划像执行一样跨会话扩展。模型执行现实tool-contract载体事实只存在于一处——models.ts规范注册表 探针历史。默认是继承省略model的派发运行会话默认值——使用最佳可用模型在这里就意味着这个无需配置。rung 变更走原生路由携带 tier 别名或主理人自己的/modelInference.ts是独立的 leveled 工具low|medium|high|max不属于 Algorithm 的第二眼智能选择同时兼作已验证执行的回退载体。派发显示 DISPATCH: agent — model顶级调用回退时诚实显示→ rung (downgraded)。委托活性tool-contract被派发的代理闲置不交付时恰好得到一次 nudge仍然沉默→报告为 FAILED、其缺席在运行输出中具名、绝不在报告未到时关闭断言。需要看护的扇出属于 Workflow 工具脚本拥有截止时间与重试简报按一次静默死亡损失最小定尺寸。七、遥测与记录工具契约7.1 可观测性就是 ISA 本身phase:是最小生命周期括号而非站点巡游运行开始时写入marking在阐述中climbing上墙——scoping是marking的接受拼写complete关闭中间仅在真正变化时更新ISASync 把每次 ISA 写入镜像到 work.json。其余一切都由 ascent.ts 中的deriveAscent()从运行数据派生——这是命名并着色每种运行状态的唯一表格跨 Kitty 标签页、cmux 侧边栏、状态行、Pulse 看板与 ISA HTML 镜像。绝不手写 phase 名称清单——一律经该表解析。ascent.ts 定义了六态弧线traverse · marking · ascending · anchoring · camped · cairn2026-07-30 由九个状态合并而来ascent.ts旧名经LEGACY_ASCENT_ALIASES永远解析。模型见 AscentStates.md。7.2 展示攀登v8.19.1hook 供数运行的 ascent 状态不仅在看板上可见也在回复文本中可见——且两者读同一次派生每次 ISA 写入的派生状态变化时hooks/ISASync.hook.ts经deriveAscent()解析并注入lifeos-ascent-delta块携带相位条════ LifeOS | Algorithm | icon Label ════模型在下一个可见状态笔记头部逐字回显它绝不自行计算——与 /⚙️ 行相同的回显契约。每次转换一次绝不每条消息无块则无条因此未注册的运行无法声明看板不显示的状态。 Cairn 在收尾progress: n/n写入时到达收尾仍以普通横幅开场系统提示词 § Output Format 拥有条带规范。7.3 反思learn 时任何做了实活的运行通过bun LIFEOS/TOOLS/Reflect.ts追加——必须的--reflection携带自我批判更聪明的运行会做什么操作字段由工具派生、绝不自我评分within_budget由 SpendAuditor 的裁决派生无审计时读作null而非true——缺乏测量不是通过schema 版本在工具中而非本文档中——追加至MEMORY/LEARNING/REFLECTIONS/algorithm-reflections.jsonl按session_id或 null 与ratings.jsonl连接。源码见 Reflect.tsSchema 9--dry-run可预检。7.4 前沿与并发会话v8.20.0断言可携带排序边——描述末尾的(after: ID, ID)括注ISAFormat v2.21.0——bun LIFEOS/TOOLS/IsaFrontier.ts frontier|claim|release|status|validate isa计算可取集open ∧ blockers 已解析 ∧ 未加锁并为并发会话提供原子逐断言锁MEMORY/STATE/isa-locks/2 小时过期 TTL过期锁可取。工具命令源码 IsaFrontier.ts命令作用frontier可取断言 taken/blocked 计数--json结构化输出status完整分区可取 / 谁持有 / 被什么阻塞 / 已关闭 / 过期锁claim --id C4 --session S原子领取已关闭/被阻塞/被持有则退出码 2release --id C4 --session S释放自己的锁--force覆盖validate仅边完整性环、未知 ID、自引用、重复全部响亮编排是运行自己的事绝不是主理人的事v8.20.1当前沿持有多个可取断言且工作值得并行时运行自己把这些断言扇出给并行 worker——subagents、Workflow、或 cmux 舰队——每个 worker 通过协议领取自己的单元并回报主理人从不把会话指向任何东西他唯一的可选输入是宽度go wide、keep it serial。边永远是可选的只编码真实排序。该工具从不写 ISA——AI 保持唯一作者。7.5 Resume 与第二眼调用Resume对phase: complete任务的 ISA 正文编辑会回卷到learn、iteration1hook 持有frozen: true旁路。压缩后读 ISA、继续、绝不重跑已过的门。注册表MEMORY/STATE/work.json。第二眼调用仅在 Algorithm 按 claim 11 选举或主理人要求时跨厂商——ForgeAgent(subagent_type:Forge, prompt:MODE: audit\nslug: …)家族内——Agent(subagent_type:Max)具名的只读审查代理钉在顶级 rung或任何非 fork的最聪明 rung 派发携带 ISA 与逐字目标——fork 继承构建上下文并辩护自己的代码claim 11。不可达→因故跳过绝不阻断。7.6 收尾一次运行以唯一的 LifeOS 格式结束系统提示词 § Output Format答案先行携带哪些断言凭何证据关闭、什么仍开放改动时附 CHANGE/VERIFY 项目符号hook 供数的 行️ 收尾。没有单独的 close-block 模板。八、验证规则的单一归属v8.20.2 的 claim 8 与 claim 16 反复指向 Verification.md——七条事故衍生验证规则的唯一归属地。规则概览模态保真Web/UI 断言只能经 Interceptor 的真实浏览器导航关闭curl不等于用户浏览器拿到的东西验证者不可用 ⇒ DEFER 而非替换外观 ≠ 存在看像素且来自忠实渲染器非退化帧先复现再修复时间保真缓存介导的表面在失败可能存在的时刻探测DNS/证书向权威源dig zone-ns关闭缓存保真响应路径、部署路径、数据路径三处缓存替换/删除时的恢复对等操作前后经权威 API 枚举所有权流量基线为普适断言。这些规则由VerificationGate.hook.ts与AlgorithmNudge.hook.ts强制执行。九、版本、阅读与回滚阅读今天的 doctrine看LATEST指向的版本文件当前为8.20.2见 LATEST。理解一条规则为什么存在活动版本的每条规则带(provenance: ...)指针或git log该规则。回滚见 changelog.md 中对应版本的迁移配方如echo 8.20.1 LATEST。Hooks 只解析 ISA frontmatter 的effort枚举与 ISC 复选框——两者版本稳定——因此回滚是非破坏性的。该文件也完整记录了 v8 系列的关键演进v8.1.0 删除了 modes/tiers 改为 outcome-only 的## Spendv8.3.0 将IsaNudge统一为AlgorithmNudgev8.4.2 退役 8 站点 phase 枚举改为派生生命周期v8.6.0 让 evals 以菜单能力身份加入v8.8.0 确立doctrine 命名角色、绝不命名模型v8.14.0 → v8.16.0 → v8.17.0 的 rung 之争最终收敛为配置而非选举v8.20.2 本身是一次 PATCH——把事故代号从 doctrine 散文里清除不改任何断言、门或行为。结语v8.20.2 是一份罕见的自指工程文档它本身就是它所说的那种工件——把done 意味着什么写成一组可证伪的断言每条都带证伪器与牙齿。从欧福瑞惊喜的元理想态到 ISA 即测试套件再到IsaFrontier的原子锁与ascent.ts的单一派生表这套契约的每一环都能在仓库源码中找到落点。对于想理解意图工程系统如何把爬一座边爬边定义的山工程化的开发者这是一份可以直接对照源码研读的完整蓝本。【免费下载链接】LifeOS⛰️ The Life Operating System — an intent engineering platform that moves you from your current state to your ideal state, in life and work.项目地址: https://gitcode.com/GitHub_Trending/pe/LifeOS创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考
