用途
intentline-audit 是一个供代理执行的审计技能,用于审计已冻结的 Intentline 验收契约和原始来源。其核心定位是只读审查:不编辑、不批准、不实现、不发布,也不制造批准证据。
安装与运行时
通过 Skills CLI 安装:npx skills@latest add grove/intentline。资料明确指出,该命令只安装代理指令,不安装 Intentline Python 包。若要执行命令,需先在选定的 Python 3.11+ 环境中安装运行时(python -m pip install git+https://github.com/grove/intentline.git,或安装本地构建的 wheel),并用 python -B -m intentline --help 验证。运行时不可用时,不应静默安装依赖或声称存在已保存的协议。
主要能力
- 读取当前精确修订、原始字节保留请求、清单、所选上下文、先前修订与待定变更,冻结契约与来源包摘要。
- 运行只读 check/status,不执行测试、不改代码。
- 双向核对:原始材料中的每项实质承诺与适用约束是否保留;每条标准/排除项是否有来源支持。
- 检查接受与提议/驳回/报告的权限、范围化例外、稳定 ID 与退役映射、独立预期判定、可信反驳条件、公开接口与证据可行性。
- 按公开审计 schema 编写报告,包含 intentline.audit、schema_version 1、contract_sha256、source_bundle_sha256、actor、偏移时间戳、reported_independence、authentication unverified、outcome、coverage、findings;每条发现含 ID、requirement_ids、source_refs、evidence、consequence 与最小修正。
- 用 python -B -m intentline audit-record --work WORK --report audit.json --json 绑定报告。
结论规则
仅当报告覆盖完整、无实质发现且无未决决策时返回 READY_FOR_ADOPTION;否则返回 CHANGES_NEEDED 或 BLOCKED 并附证据。就绪仅为审查建议,不构成人工采纳或独立观察证明。
继任连续性
需读取审查的完整来源与归档证据,双向比较原始承诺及每项时序修订:每项实质承诺/约束/排除须出现在当前协议中,每条当前有约束力条目须有来源支持。连续性检查与机械 diff 分开进行;保留的主张或匹配的 R ID/文字不等于语义等价。请求结果被更改、退役、拆分或合并时,需有有意义理由和精确的新修订引用。
可选切片审计
读取切片指南、精确当前父项与记录的切片计划;NO SPLIT 无需强制审计。检查原始承诺→完整父项→合格子项/父项检查,以及每个子项标准→来源绑定承诺/必要使能条件。质疑错误的拆分触发、可信合并、丢失义务、虚构功能等。切片报告使用切片审计 schema 与 slice audit-record 命令;结论为 NO_MATERIAL_FINDINGS、CHANGES_NEEDED 或 BLOCKED,均不批准计划。
限制
独立性方面,0.2 版本的认证始终为未验证,即使报告为独立工作;本版本没有合格的已认证宿主证明格式。作者上下文工作记为 self_check;不同进程或新会话不构成独立认证。缺少 harness 属证据缺口,未决结果或权威冲突才属决策阻塞。负面发现绑定精确继任版本,前驱审查不能批准它。