LifeOS ISA 完成度检查（CheckCompleteness）：以工作实质为准绳的结构化完整性门禁实战指南

LifeOS ISA 完成度检查CheckCompleteness以工作实质为准绳的结构化完整性门禁实战指南【免费下载链接】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/LifeOSCheckCompleteness 是 LifeOS 中 ISAIdeal State Artifact理想状态工件技能体系的核心质量门禁工作流它对一份已有 ISA 按工作实质substance分级后的完成度门槛进行打分并输出结构化的 pass/fail 与缺口报告。本文完整讲解其调用时机、输入输出契约、七个执行步骤、ISC 质量审计细则与严重级别表并结合 CheckCompleteness.md、ISA 技能总纲、ISA 格式规范 及机械执行层 ISAGate.ts 给出源码级佐证。读完后你将掌握如何判定一份 ISA 是否可以进入phase: complete、缺口如何分级、哪些检查是硬性失败而哪些只是咨询建议的完整实操能力。CheckCompleteness 在 ISA 工作流中的定位LifeOS 的 ISA 技能下辖七个工作流Scaffold脚手架、Interview访谈、Grill、CheckCompleteness完成度检查、Reconcile对账合并、Seed从仓库播种、Append追加。CheckCompleteness 的职责是对既有 ISA 打分以 substance-scaled completeness gate按实质缩放的完成度门槛为准绳返回结构化 pass/fail 与缺口报告。需要特别注意的是2026-07-11 起 effort 分层trivial/substantial/deepest 之前的 effort tiers已被退役——门槛的判定依据是工作本身的实质substance而非任何声明式标签。这正是 SKILL.md 中quality gates, not section counts——sections exist because content exists质量门禁而非章节计数——章节因内容而存在的直接体现。何时调用原文档明确了四类触发场景覆盖了 ISA 生命周期的关键节点Scaffold 之后算法层确认脚手架生成的 ISA 满足该工作实质对应的门槛Close 之前算法层确认经历任何结构性修改后的 ISA 依然完整用户直接调用Skill(ISA, check completeness of isa-path)内部调用从 Scaffold 或 Interview 工作流内部发起。从源码印证Scaffold 工作流的 Step 9 明确要求在返回前对新建 ISA 调用Workflows/CheckCompleteness.mdsubstantial 工作trivial 最小 ISA 改为内联记录形状检查见 Scaffold.md。Interview 工作流在结束前也会做一次最终 CheckCompleteness 检查surface remaining gaps but do not block见 Interview.md。输入参数契约输入必填说明isa_path是待打分的 ISA 路径substance否打分基准trivial/substantial/deepest缺省时依据 ISA 的 Goal/Vision 范围与影响半径blast radius自动判定strict否默认true。若为false将 hard fail 降级为 soft warning用于访谈进行中用户处于半途时的场景其中substance的自动判定逻辑与 ISAFormat.md 中effort tiers were retired 2026-07-11; the gate now scales with the substance of the work, discovered from the work itself (Algorithm §Spend), not predicted from a label完全一致——实质从工作本身被发现而不是从标签预测。输出报告解析一份可被机器消费的缺口清单工作流的产出是一份结构化 YAML 报告其中required_sections逐个列出十七个章节的存在状态gaps列出每个缺口的严重级别与原因isc_quality给出 ISC 质量审计的量化统计status: pass | fail substance: substantial required_sections: Problem: present Vision: present Out of Scope: missing Principles: present Constraints: present Dependencies: absent # conditional — required only when cross-ISA links exist Goal: present Claims: present # ## Claims (v8) or legacy ## Criteria — either satisfies Bridge Criteria: absent # conditional — required only when cross-ISA links exist Test Strategy: present Features: present Decisions: present Learning: missing # the C/R/L trail (formerly named Changelog) Verification: empty # ## Verification or ## Log; acceptable until claims start closing gaps: - section: Out of Scope severity: hard reason: required for substantial work, missing entirely - section: Learning severity: hard reason: required for deepest-grade work, missing entirely isc_quality: total: 24 coverage_gaps: 0 # Vision/Goal subsystems with no container criterion granularity_violations: 0 anti_criteria_count: 2 antecedent_present: true test_strategy_orphans: 0 # leaf ISCs with no Test Strategy row naming a probe id_stability_violations: 0报告要点status只在零 hard 缺口时置为passstrict: false会把 hard 严重级降级为 warning访谈中途场景使用required_sections中Dependencies/Bridge Criteria属于条件必填仅当存在跨 ISA 关联时Verification的empty状态在 claims 尚未开始关闭前是可接受的isc_quality给出审计的量化摘要供上层算法、看板快速消费。Step 1–2语音通知与读取 ISAStep 1遵循 ISA 技能任何动作前必须语音通知的强制性约定通过本地通知服务默认端口 31337异步上报curl -s -X POST http://localhost:31337/notify \ -H Content-Type: application/json \ -d {message: Running the CheckCompleteness workflow in the ISA skill} \ /dev/null 21 该约定同样出现在 SKILL.md 顶部MANDATORY: Voice Notification一节是所有 ISA 工作流的公共前置步骤。Step 2加载isa_path解析 frontmatter 与章节标题。此处对章节名的解析遵循 v8 词汇约定## Claims为现行命名## Criteria/## ISC Criteria为历史命名仍可解析溯源段可为## Verification或## Log。此约定在 ISAFormat.md 的 Body Sections 中有完整说明。Step 3按工作实质查表——Substance-Scaled Completeness Gate这是整个工作流的灵魂完成度门槛随工作实质缩放而非套用固定章节数。三档门槛如下SubstanceRequired SectionsTrivialGoal, ClaimsSubstantialProblem, Vision, Out of Scope, Constraints, Goal, Claims, Test Strategy, FeaturesDeepestAll sixteen sections空章节永不出现——Dependencies/Bridge Criteria 仅当存在跨 ISA 关联时Not yet specified 仅当工作存在 fog 时Language 仅当某术语确实引发过混淆时 构建前必须已运行 Interview 工作流其中sixteen sections与 SKILL.md 的Seventeen-Section Body版本差异来自## Remaining Workv2.19.0 新增位置 17。该章节永不设门槛advisory、omit-when-empty、不计入覆盖率因此 CheckCompleteness 文档中 Deepest 级要求的sixteen即十七节中除去 Remaining Work 的完整结构集。Project ISA 覆盖规则project/ISA.md无论当前任务多小永远按 substantial 及以上打分。原因在 SKILL.md 中解释得很清楚The project file is the long-lived source of truth; one transient task must not downgrade it.项目文件是长期存在的真相来源一次瞬时任务不得降低其结构下限。Step 4章节分类——present / missing / empty 三态判定对每个必填章节按如下规则分类分类判定标准present章节标题存在且正文有内容——长度不计分一句话的章节也可能完全正确missing章节标题不存在empty章节标题存在但正文仅为空白——仅Verification/Log在 claims 开始关闭前可接受这条规则呼应了 SKILL.md Gotchas 中的Empty sections never appear条目十六节正文是容量而非每项任务的要求未要求的章节直接不出现在文件中而不是留空占位。Step 5ISC 质量审计——十项检查的完整细则对## Claims或历史## Criteria短 IDC1/A3与ISC-N均有效专门的## Anti-claims章节计入反声明检查中的每条声明逐条走查粒度Granularity——每条 ISC 必须命名一个二元工具探针或可从措辞推断出唯一探针。复合的 and/with 标准直接判失败。这对应 ISAFormat.md 的 Splitting Test 与one binary tool probe per ISC的粒度规则——If you cannot name the probe, the criterion is not yet atomic——split it.覆盖率Coveragev7.0.0 起替换已删除的数值计数下限v2.14.0 起 fog-aware——Vision/Goal 中命名的每个子系统都应有容器准则并分解至每个叶子为单一二元工具探针绝不为了凑数而拆分。无容器准则的子系统构成覆盖缺口除非它以 fog 形式保留在## Not yet specified中且 ISA 尚未处于phase: complete。覆盖率在 close 时评估在phase: complete状态下非空的## Not yet specified是 HARD fail——每个 fog 条目必须已升格为 ISC 或已通过 Decisions 行杀死。脚手架阶段为覆盖 fog 形表面而写的投机性 ISC 本身就是质量失败它们没有诚实的探针。这条Coverage is assessed at close, not at scaffold的次序设计在 ISAFormat.md 中有完整溯源v2.14.0 引入 fog 章节时的核心决策。积压Backlogv2.19.0ADVISORY——永不设门槛——这份 ISA 还欠什么定义为未勾选 ISC 与未勾选## Remaining Work的并集仅从工件本身即可计算。## Remaining Work存放本运行中从未成为 ISC 的具体工作后续跟进、交接在那里记录一项即构成完整处置无需额外卡片。它永不必须、永不阻塞——空或缺省 Remaining Work 章节的 ISA 照常通过其条目永不纳入覆盖率统计与 ISC 不同。报告积压规模仅用于可见性未勾选 ISC 留在## Claims/## CriteriaID-Stability 禁止将它们移入 Remaining Work。反声明Anti-claimssubstantial 为 HARD fail——至少存在一条反声明内联Anti:前缀、A前缀短 ID或## Anti-claims章节条目。文档明确指出v7 之前的 ISA 约有 80% 因无任何机制强制而忽略了反声明——this check is the teeth这项检查就是牙齿。反声明的派生来源在 SKILL.md 三护栏分类法中给出Out of Scope、Constraints、Principles 是作者声明式的散文护栏反声明是它们变得可探针化的方式。Test Strategy 覆盖率substantial 为 HARD fail——每条叶子声明都必须在## Test Strategy中有命名其探针的行。孤儿叶子判失败trivial 最小 ISA 无 Test Strategy 章节故豁免。Test Strategy 的列契约在 ISAFormat.md 中被强调为解析器真相isc | type | check | threshold | tool | anchors_to | severity | tier——列序错位会导致探针错位或丢失。前件Antecedent——当目标是体验型experiential时至少一条 ISC 带Antecedent:前缀。这是艺术、设计、内容类工作的教条性挂钩doctrinal hook见 SKILL.mdAntecedents are required when the goal is experiential.ID 稳定性ID stability——每条 ISC 拥有唯一顺序 ID无冲突、无重编号产生的空洞。墓碑如ISC-7: [DROPPED — see Decisions 2026-04-15]合法。ID-Stability 是 Reconcile 工作流的基石重编号会静默破坏 ephemeral feature 合并——见 Reconcile.md 的失败模式清单。无变更日志章节Algorithm v8.7.1 claim 12——ISA 中不得包含逐迭代叙述式变更日志git log -- isa-path才是变更记录。C/R/L 学习轨迹存于## Learning。兼容别名字面命名为## Changelog且承载 C/R/L 轨迹的章节被接受为## Learning的别名并满足存在性检查——仅 SOFT warn下次触碰时重命名## Changelog→## Learning使改名前的 ISA 持续通过校验并随编辑自然迁移。仅当章节承载的是逐迭代叙述条目真正的变更日志而非 C/R/L 轨迹时才构成 HARD fail。关闭时证据折叠Evidence collapsed on closeAlgorithm v8.7.1 claim 12——已关闭[x]ISC 的每条## Verification条目必须是单行溯源桩commit hash、测试名或探针引用而非保留的多行证据段落。携带引述段落而非桩的 Verification 条目为 soft fail折叠它。ISAFormat.md 给出实例格式- ISC-1: screenshot pass — MEMORY/WORK/{slug}/proof/layout.png。锚定Anchoringv6.4.0 新增——当 frontmatter 设置了principal_stated_goal:时每条 ISC 必须在 Test Strategy 中有anchors_to值literal或derived: sub-claim。无可追溯锚点的孤儿 ISC 为硬失败。锚定机制来源于 ISAFormat.md 的 v2.8Algorithm v6.4.0Principal-Stated Goal 可选字段principal_stated_goal必须是用户原话的逐字节引用绝不转述。Step 5aGoal-Signal 失配检查v6.4.0 新增向后兼容护栏此检查仅当ISA frontmatter 显式包含principal_stated_goal键时触发任意值包括空字符串或null。在 Algorithm v6.3.0 及更早版本下脚手架、从不携带该键的 ISA 不受此检查约束——键的存在即 v6.4.0 版本标记。若在 post-scaffold 或 pre-close 调用且 ISA 为 v6.4.0 脚手架则检查两件事若 frontmatter 中principal_stated_goal_signal:已设置脚手架时四信号探测器触发过且principal_stated_goal:为空/null →hard failureliteral capture missed——探测器已触发但 Scaffold 未保留字面量。原文档注明原检查退役分类器的GOAL_SIGNAL行现为记录信号与记录字面量之间的 ISA 内部一致性检查。若principal_stated_goal:设置为非 null 字符串但少于 6 个 token 或违反最小内容规则 →hard failureliteral violates minimum-content rule——should have beennull。四信号探测器与最小内容规则fail-closed候选字面量少于 6 token 或无命题内容时置null的完整定义在 Scaffold.md Step 3a。Step 5b工件在场检查Artifact-Presencev6.4.0 新增——Cato 2026-05-11 教训向后兼容护栏同样仅当 frontmatter 显式包含principal_stated_goal键时触发v6.3.0 时代无键的 ISA 不受检查保留既有 close 路径。对 deepest 级工作且 v6.4.0 脚手架对于每条标记[x]且声称了具名设计表面如proposal includes X、the design names Y、a table appears的声明在 ISA 正文中文本化扫描该表面若表面被[x]断言为完整但在 ISA 正文中无文本证据 →hard failureISC claims surface that does not exist in artifactsystem-of-record violation。ISA 工件必须包含自己的设计表面不得引用易失的对话上下文——system-of-record 身份五种身份之一见 ISASystem.md要求如此。历史 frontmatterv6.x 仪式键——惰性、永不评分v6.5.0–v6.7.0 的 density/divergence/acknowledgment frontmatter 键已于 Algorithm v7.0.0 删除——它们检查的是仪式是否被记录而非 ISA 质量。数百份归档 ISA 仍携带这些键其存在永不构成失败其值永不被校验。不要反推已删除的检查。v7.0.0 ISA 上唯一被评分的歧义检查键是context_sufficient和interview_invoked。同样的惰性规则适用于已退役的effort:/effort_source:/mode:键2026-07-11 分层/模式退役存在永不失败、值永不校验、新 ISA 上永不写入。对应地ISAFormat.md 的 Retired-fields 说明也强调这些键never written on new ISAs, tolerated on legacy ones。Step 6–7报告合成与 close 门禁Step 6输出上文的结构化 YAML 报告。status: pass仅在零 hard 严重级缺口时成立strict: false将 hard 降级为 warning访谈中途使用。Step 7当在 pre-close 调用时hard 缺口阻塞phase: complete转换——Algorithm 必须先填补缺口才能声明完成。严重级别表每一类缺口的完整判级GapTrivialSubstantialDeepestGoal missinghardhardhardClaims missinghardhardhardProblem missing—hardhardTest Strategy missing—hardhardVision missing—hardhardOut of Scope missing—hardhardConstraints missing—hardhardFeatures missing—hardhardPrinciples missing——hardDecisions missing——hardLearning missing (C/R/L trail, formerly named Changelog)——hard## Changelogsection presentgit 即变更日志——转换为## LearninghardhardhardVerification 条目保留证据段落而非单行桩softsoftsoft构建前未运行 Interview——hard反声明数 0≥1 必需softhardhard叶子声明无命名探针的 Test Strategy 行—hardhardAntecedent 缺失体验型hardhardhardID 稳定性违规hardhardhard覆盖缺口Vision/Goal 子系统无容器声明—hardhardphase: complete时非空## Not yet specifiedhardhardhard粒度违规hardhardhard锚定违规孤儿声明仅 v6.4.0 ISAhardhardhardGoal-signal 失配记录信号 vs 记录字面量仅 v6.4.0 ISAhardhardhardArtifact-presence 违规仅 v6.4.0 ISA——hardcontext_sufficient缺失仅 v7.0.0 脚手架携带 v6.x 仪式键的 ISA 早于 v7 免检trivial 内联 ISA 免检—hardhard从表中可以读出两个设计取向一是**硬随实质升级**——同一缺口在 trivial 级可能不构成问题Problem/Test Strategy/Vision 等在 trivial 下无要求在 deepest 级则是硬失败二是机制类违规ID 稳定性、粒度、锚定、Goal-signal 失配在所有级别都是 hard——它们破坏的是工件结构本身与工作大小无关。机械执行层ISAGate.ts 与 CheckCompleteness 的分工值得单独说明的是 ISAGate.ts 与模型运行版 CheckCompleteness 的双轨执行设计2026-07-24 Forge 审计后定型。该审计发现声明质量承诺仅由模型运行的 CheckCompleteness 工作流执行而没有任何 hook 调用它——结果大量违规在 close 时未被拦截92 份 ISA 缺锚定、60 份无反声明、14 份 close 时仍有未解决 fog。修复方案ISASystem.md 有完整记载是机械硬门禁LIFEOS/TOOLS/ISAGate.ts通过 ISAGate.hook.ts 挂在 StopGates 链上在写入phase: complete时硬阻塞三类不可游戏化un-gameable的违规progress:不是机械的M/N计数## Not yet specified中存在未解决行close 时 fog 必须为空设置了principal_stated_goal时存在缺失anchors_to的 Test Strategy 行。咨询性advisory检查计数可游戏化的检查≥1 反声明、逐声明探针覆盖、捆绑声明/事件声明启发式只被表面化、永不阻塞——因为按计数阻塞会制造出计数Goodhart 线。从源码看ISAGate.ts 的退出码语义为0干净或仅有咨询项2存在 hard 违规且phasecomplete。咨询项在任何阶段都打印hard 违规只在 close 时阻塞因为攀爬中的 ISA 合法地存在开放 fog 与未接线锚点。门禁仅作用于当前轮次编辑过的 ISA历史已关闭 ISA 不会被追溯门禁。分工结论CheckCompleteness 工作流是语义丰富、模型运行的完整审计ISAGate.ts 是其不可游戏化的机械子集在 close 转换点确定性兜底。运行时可用bun LIFEOS/TOOLS/ISAGate.ts isa查看任意 ISA 的 hard advisory 发现。失败模式明确的中止条件原文档定义了三种中止/兜底场景frontmatter 缺失或格式错误显式报错中止。phase:与progress:不可协商slug/task可派生目录名 / H1。Project ISA 被按 trivial 打分覆盖为 substantial并在输出中报告该覆盖。声明正文解析失败按零条声明处理并表面化解析错误。这些失败模式与 ISAFormat.md 的 frontmatter 最小化设计一致phaseprogress是承重对slug从目录派生、task从 H1 派生。实战演练结合示例 ISA 观察门槛如何落地仓库自带两级示例可以直观演示门槛的工作方式Trivial 级e1-minimal.md给 CLI 工具加--no-color标志仅含## Goal## Criteria4 条 ISC含 1 条Anti:其他章节全部省略——文件注释明确说明这是该层级允许的最简形态Problem / Vision / Out of Scope / Principles / Constraints / Test Strategy / Features / Decisions / Changelog / Verification all omitted——the task is small enough that the Goal sentence plus four binary probes carries the entire articulation. 这正是 CheckCompleteness 在 trivial 级只要求 Goal Claims 的直接样本。Substantial 级e2-backup-verify.md给备份 CLI 加 SHA-256 校验则展示完整结构Problem、Goal、按子系统分组的 Criteria验证正确性/性能/CLI 表面/错误处理/反声明、Test Strategy——18 条 ISC 按实质规模自然扩展。对照 CheckCompleteness 的 Step 5e2 示例中反声明 ISC-15/16/17/18 满足至少一条反声明的 hard 要求每条 ISC 都自含探针probe: 括号内满足粒度与 Test Strategy 覆盖要求——这正是既有原文档实操、又有源码样本印证的校验路径。与其他工作流的协作闭环Scaffold → CheckCompletenessScaffold.md Step 9 在返回路径前强制对 substantial 新 ISA 运行本工作流缺失必填章节则阻塞返回。Interview → CheckCompletenessInterview.md Step 7 在访谈结束后运行本工作流表面剩余缺口不阻塞允许用户后续迭代deepest 级工作构建前必须运行 Interview否则构成 hard 失败。CheckCompleteness → phase: completepre-close 调用时 hard 缺口阻塞 close 转换机械层由 ISAGate.ts 兜底。Reconcile / AppendReconcile 的 ID 稳定性校验Reconcile.md与 Append 的四段式 C/R/L 强制SKILL.md Gotchas共同保证 CheckCompleteness 审计的工件在合并与追加过程中不退化。延伸阅读ISA 技能总纲SKILL.md——十七节正文、三护栏分类法、Gotchas 故障模式全集ISA 格式规范ISAFormat.md——文件形状契约、Test Strategy 列契约、Coverage Gate 完整历史ISA 系统架构ISASystem.md——五种身份、双轨执行设计、生命周期ISAGate.ts——close 转换点的机械硬门禁实现Scaffold.md / Interview.md——前置工作流示例库——trivial 到 enterprise 的各级 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创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考