lanrtop
|
50a8bf2f8c
|
docs(blueprint/intent-catalog): IC4 跨客户端纸面编译通过（Codex），按其反馈修订指南七处
Push & PR Check / check (push) Successful in 1m26s
Push & PR Check / check (pull_request) Successful in 59s
Codex 照指南对 INT-02 纸面编译（只读、未粘贴）的确认卡原文如下：
[INT-02@1.0#8392d18] 目标确认卡
项目: dev-manager-tauri | 分支/worktree: feat/intent-catalog @ E:\code-project\dev-manager-tauri-wt-intent | HEAD: 216a056
章意图: 人给出意图或模糊轮廓，agent 编译出可判定的 /goal：定型章编交付终点，探索章编每轮试验终点，人粘贴即确认 | 不做: 炼境不编译 goal、不判定完成；目录不存状态与进度
形态: 定型
纳入卡: IC6（[gate 脚本] node .claude/hooks/intent-gate.cjs --self-test → exit 0 且输出 self-test ok，内置 6 类坏样例各恰好 1 条警告；node .claude/hooks/intent-gate.cjs → exit 0、真实目录 0 警告；INTENT_CATALOG=/nonexistent → 无输出、exit 0）、IC7（[gate 脚本] --self-test 夹具的 --impact/--report/--pending 报 stale、orphan、low_confidence、divergence、status_source、缺终验、缺 Feature-Confirmed；全部 exit 0，运行前后 sha256sum 不变）、IC8（[YAML 解析] lefthook.yml 可解析且 intent-gate.run 以 || true 结尾；[cargo test] cargo test onboarding → 0 failed；[CLI] AGENTS.md hunk 均在托管块前；grep → 0；临时 worktree 提交输出 1 条警告且成功，验证后移除）、IC9（[cargo test] cargo test parse_module_md_ignores_intent_lines → 1 passed；全量 cargo test 无 FAILED）、IC10（[gate 脚本] 0 警告；书签三行有效、coordination 指向书签、提案附 --report 与 base blob、提交带 Feature-Confirmed: true）
终点（合取）: 1) IC6 的 self-test、真实目录检查和不存在目录降级均符合预期。 2) IC7 的夹具报告覆盖 stale、orphan、low_confidence、divergence、status_source、缺终验及目录提交审计，且全程不改 catalog/module 文件。 3) IC8 的 lefthook、Rust onboarding、AGENTS.md 位置、术语及临时 worktree 警告提交检查通过。 4) IC9 的定向与全量 Rust 测试通过。 5) IC10 的门控、书签、coordination 指向、提案证据及提交 trailer 检查通过。 6) IC6–IC10 均为 ✅，且收口提交已写 Goal-Receipt。
终验待办: IC10：用户确认书签切换。
停止找人: 出现 human_verify；需写运行中的数据库；需删除文件、数据或分支；需变更凭据或机器状态；工作超出 IC6–IC10 或 INT-02；需修改目录；出现 stale 或 orphan；同一问题失败 3 次。
能力入口: node .claude/hooks/intent-gate.cjs（IC6 落地后）；cargo test onboarding；cargo test parse_module_md_ignores_intent_lines；cargo test；Git、YAML 解析与临时 worktree。
没验什么: 本次仅纸面编译，未执行尚未实现的 intent-gate，未运行 cargo test 或 lefthook，未创建/删除临时 worktree，未确认 P8 收口及各依赖卡实际状态，也未进行用户书签终验。
作废: 分支变化或 catalog blob ≠ 8392d18
核对（主会话）：9 个字段齐全；标签 blob 8392d18 = HEAD:.blueprint/catalog.md；5 条终点可追溯到 IC6–IC10 的 agent_verify；按当时的黑名单（按方针|符合设计|设计已完成|基本完成）命中 0。Codex 的 /goal 文本逐条写了「命令 → 预期输出」，但上面确认卡的终点 1 被改写成「均符合预期」，两者写法不一致，这是本次发现之一。
指南修订（docs/ai-context/intent-catalog-guide.md）：
- 无 Bash 环境（Codex 沙箱报 E_ACCESS_DENIED）允许用语义等价命令，并在确认卡注明
- 检查一律逐行解析（整文件正则会跨行误报悬空）
- 只读演练不写盘：第 10 条改为管道检查
- 第 3 步区分机器检查（必须通过）和人工核对（结果写进确认卡）
- 第 4 步检查 depends，确认卡新增「前置」行；有未满足的前置时只能纸面编译
- 体量改量提交里的 blob（git cat-file -s），工作区 CRLF 会让 wc -c 多算 34 字节
- 确认卡与 /goal 的终点写法必须一致；黑名单加「符合预期」
模块：IC4 ✅（附结果记录）、下一步 IC5；manifest 进度 31%。
Compiled-By: Codex
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
|
2026-10-04 11:16:57 +09:00 |
|