easy-coding-harness 0.10.0-beta.7 → 0.10.0-beta.9

package/CHANGELOG.md

@@ -6,6 +6,39 @@
 - `y`：常规功能升级
 - `z`：日常 bug 修复
 
+## 0.10.0-beta.9
+
+- 工作流 owner 改为规范平台身份边界：每份安装后的状态脚本固化宿主身份，新写入只接受
+  `claude-code` / `codex` / `qoder`，脚本身份、`--agent` 与已注入 session 命名空间三方
+  不一致时在落盘前拒绝；`Codex with Easy Coding` 等作者/Canonical 展示归属不再允许进入
+  `last_agent`。
+- Codex 与 Qoder 共用的 `AGENTS.md` 生成区改为安装顺序无关的双平台路径合同，
+  明确当前宿主只能调用自己的状态脚本，防止 Qoder 最后写入后误导 Codex 执行
+  `.qoder/hooks/easy_coding_state.py`。
+- handoff 提示改为显式协调事件驱动：只有未消费的 `handoff` 记录才显示交接，
+  `claim-task` 新增 immutable `claim` 审计记录并关闭交接；单纯 owner 差异不再被伪造成
+  handoff。
+- upgrade 与首次 SessionStart 幂等迁移旧任务/session 中的 `root` 系列和误写展示名，
+  即使版本号已经更新也能继续检测并自愈，但保留 `execution.jsonl` 及 Canonical Spec 的
+  历史审计展示；新增生产形态、跨平台路径冲突、安装顺序和真实 handoff/claim 回归测试。
+
+## 0.10.0-beta.8
+
+- VERIFICATION 绿色后新增可审计验收检查点。无漂移时 `confirm` / `auto` 继续按原审批模式
+  自动流转；检查点后出现代码变化时，所有模式只临时暂停一次，返回完整文本 diff、二进制/
+  mode 变化、逐文件 old/new SHA-256 和稳定 `diff_sha256`，防止把同一次外部保存误判成必须
+  重走完整流程；执行计划中的非 Git 文件同样支持精确差异确认。
+- 用户确认精确差异后保留原 REVIEW 结论，不回退 IMPLEMENT 或重复审查；非执行差异可
+  `carry-forward` 原验证，可执行差异必须补当前指纹的 `targeted` 验证，`waived` 仅用于用户
+  显式接受未验证风险；Canonical 多任务只要求实际受影响 source task 留下当前指纹的定向
+  验证。配置、计划、Workflow、Canonical 设计或嵌套仓状态变化仍按正常门禁返回相应阶段。
+- Canonical task 在 Harness 本地验证完成后保持 `implemented`，仅在
+  VERIFICATION → MEMORY 边界按显式确认或既有 `confirm` / `auto` 授权真正应用时写为
+  `verified`；共享事件包含验收摘要，MEMORY → COMPLETE 仍负责写回 `completed`。
+- `execution.jsonl` 新增 immutable acceptance 记录，短期记忆门禁会校验用户接受的授权来源、
+  差异摘要、Review/验证策略、变更文件和完整 digest；状态 API 新增检查点、差异检查及精确
+  确认参数，并补齐 Auto、定向验证、Canonical 边界与无重复 REVIEW 的回归测试。
+
 ## 0.10.0-beta.7
 
 - Workflow floor 改为 Standard 居中的复合判定：单仓、单 Unit、非并行且最多 5 个文件的

package/README.md

@@ -84,7 +84,8 @@ any stage --[user abort via ec-task-close]--> CLOSED
 - 审批模式优先级为 session 覆盖 > 项目 `behavior.approval_mode` > `guard`；`approve`
   逐边确认，`guard` 确认 ANALYSIS → IMPLEMENT 与 VERIFICATION → MEMORY，`confirm` 只在
   ANALYSIS → IMPLEMENT 确认一次，随后各阶段在质量门禁通过后自动推进，`auto` 从开始即
-  自动推进。
+  自动推进。所有模式仅在 VERIFICATION 绿色检查点之后又出现新代码差异时临时暂停：展示
+  精确 diff 与摘要，由用户确认该摘要后继续；这不会把 `auto` 永久降级为人工审批。
 - 工作流模式优先级为 session 覆盖 > 项目 `behavior.workflow_mode` > `adaptive`。Adaptive
   以 Standard 作为普通业务默认：单仓单 Unit、非并行且不超过 5 个文件的低风险局部修改
   优先 Fast；只有明确高风险与真实复杂度/大影响面同时存在才进入 Strict。仓库数只按当前
@@ -97,7 +98,10 @@ any stage --[user abort via ec-task-close]--> CLOSED
 - 显式 `doc` / `analysis` / `report` 只读任务不生成 `test-strategy.md`；展示完整报告后按生效模式进入 COMPLETE，不执行 REVIEW、VERIFICATION 或 MEMORY，也不写任务记忆。
 - `VERIFICATION` 是验证硬门控：Fast 运行最小充分检查，Standard 运行受影响范围检查，
   Strict 运行项目适用的完整 lint/typecheck/test/build；所选模式要求的检查未真实执行
-  并留下当前指纹下的绿色证据，就不算通过。
+  并留下当前指纹下的绿色证据，就不算通过。绿色后会冻结验收检查点；若代码随后变化，
+  Harness 展示完整差异并绑定 `diff_sha256`。用户确认后不重跑 REVIEW：纯非执行差异可沿用
+  原验证，可执行差异补定向验证，显式风险豁免单独记录。配置、方案或 Canonical 设计漂移
+  不能走这条例外。
 - `MEMORY` 先写入本次任务短期记忆，再执行长期记忆阈值门禁；未超过阈值时长期沉淀为 no-op。
 
 ## Canonical Dev Spec
@@ -123,7 +127,10 @@ Canonical Spec 的静态设计由 design revision + `design_sha256` 冻结；共
 `execution_revision` CAS、幂等键和断点对账，执行区变化不会使本地 plan/review/verify
 指纹失效，设计变化或 revision 回滚仍会阻塞。显式项目外路径受支持，迁移后只能通过
 身份一致的 rebind 修复定位。静态设计调整必须 revision +1、READY 并执行 `sync-design`；
-机器执行区禁止手工编辑。无 Canonical manifest 的历史 Dev-Spec 继续走原有整文分析流程。
+机器执行区禁止手工编辑。Canonical task 在 Harness 本地校验完成后仍保持 `implemented`，
+只有 VERIFICATION → MEMORY 边界按显式确认或既有审批模式真正应用时才写为 `verified`，
+并携带验收差异摘要；MEMORY 完成后再写为 `completed`。无 Canonical manifest 的历史
+Dev-Spec 继续走原有整文分析流程。
 
 ## Supermodule 模型
 

package/dist/cli.js

@@ -311,6 +311,7 @@ var PLATFORM_META = {
     stateInjectEvent: ["SessionStart", "UserPromptSubmit"],
     hasSubagentContext: true,
     templateContext: {
+      workflow_agent_id: "claude-code",
       sub_agent_dispatch: "Agent tool",
       platform_spawn_instruction: 'Use the Agent tool with run_in_background when useful; use isolation: "worktree" for parallel file edits.',
       skill_trigger: "/",
@@ -334,6 +335,7 @@ var PLATFORM_META = {
     stateInjectEvent: ["SessionStart", "UserPromptSubmit"],
     hasSubagentContext: false,
     templateContext: {
+      workflow_agent_id: "codex",
       sub_agent_dispatch: "Codex sub-agent dispatch",
       platform_spawn_instruction: "Use Codex sub-agent delegation where available; pass the full task card in the prompt.",
       skill_trigger: "$",
@@ -358,6 +360,7 @@ var PLATFORM_META = {
     hasSubagentContext: true,
     cnVariant: ".qodercn",
     templateContext: {
+      workflow_agent_id: "qoder",
       sub_agent_dispatch: "Agent tool",
       platform_spawn_instruction: "Use the Agent tool with worktree isolation for parallel file edits.",
       skill_trigger: "/",
@@ -776,6 +779,87 @@ function isLegacyStage(value) {
 function migrateStage(value) {
   return isLegacyStage(value) ? LEGACY_STAGE_MAP[value] : value;
 }
+var LEGACY_DISPLAY_AGENT_IDENTITIES = {
+  "claude with easy coding": "claude-code",
+  "claude-code with easy coding": "claude-code",
+  "claude code with easy coding": "claude-code",
+  "codex with easy coding": "codex",
+  "qoder with easy coding": "qoder"
+};
+function migratedAgentIdentity(value) {
+  if (typeof value !== "string") return void 0;
+  const normalized = value.trim().toLowerCase();
+  if (normalized === "claude-code" || normalized === "codex" || normalized === "qoder") {
+    return normalized;
+  }
+  if (/^\/?root(?:\/[a-z0-9._-]+)*$/.test(normalized)) return "codex";
+  return LEGACY_DISPLAY_AGENT_IDENTITIES[normalized];
+}
+function migrateAgentFields(record, fields) {
+  let changed = false;
+  for (const field of fields) {
+    const migrated = migratedAgentIdentity(record[field]);
+    if (migrated && migrated !== record[field]) {
+      record[field] = migrated;
+      changed = true;
+    }
+  }
+  return changed;
+}
+function taskAgentFieldGroups(task) {
+  const groups = [
+    {
+      record: task,
+      fields: ["created_by", "last_agent", "workflow_mode_confirmed_by", "tdd_confirmed_by"]
+    }
+  ];
+  for (const field of ["pending_transition", "workflow_mode_proposal", "verification_checkpoint"]) {
+    const value = task[field];
+    if (!value || typeof value !== "object" || Array.isArray(value)) continue;
+    const identityField = field === "pending_transition" ? "requested_by" : field === "workflow_mode_proposal" ? "proposed_by" : "recorded_by";
+    groups.push({ record: value, fields: [identityField] });
+  }
+  if (Array.isArray(task.workflow_mode_escalations)) {
+    for (const escalation of task.workflow_mode_escalations) {
+      if (!escalation || typeof escalation !== "object" || Array.isArray(escalation)) continue;
+      groups.push({ record: escalation, fields: ["raised_by"] });
+    }
+  }
+  const memoryProgress = task.memory_progress;
+  if (memoryProgress && typeof memoryProgress === "object" && !Array.isArray(memoryProgress)) {
+    const assessment = memoryProgress.architecture_assessment;
+    if (assessment && typeof assessment === "object" && !Array.isArray(assessment)) {
+      groups.push({ record: assessment, fields: ["recorded_by"] });
+    }
+  }
+  if (Array.isArray(task.spec_dependency_evidence)) {
+    for (const evidence of task.spec_dependency_evidence) {
+      if (!evidence || typeof evidence !== "object" || Array.isArray(evidence)) continue;
+      groups.push({ record: evidence, fields: ["satisfied_by"] });
+    }
+  }
+  if (Array.isArray(task.stage_history)) {
+    for (const entry of task.stage_history) {
+      if (!entry || typeof entry !== "object" || Array.isArray(entry)) continue;
+      groups.push({ record: entry, fields: ["agent"] });
+    }
+  }
+  return groups;
+}
+function migrateTaskAgentIdentities(task) {
+  return taskAgentFieldGroups(task).reduce(
+    (changed, group) => migrateAgentFields(group.record, group.fields) || changed,
+    false
+  );
+}
+function hasLegacyTaskAgentIdentities(task) {
+  return taskAgentFieldGroups(task).some(
+    ({ record, fields }) => fields.some((field) => {
+      const migrated = migratedAgentIdentity(record[field]);
+      return migrated !== void 0 && migrated !== record[field];
+    })
+  );
+}
 function migrateStageHistory(task) {
   if (!Array.isArray(task.stage_history)) return false;
   let changed = false;
@@ -806,7 +890,8 @@ function migrateTaskWorkflowState(task) {
   const legacyRequestedAt = Array.isArray(task.stage_history) ? [...task.stage_history].reverse().find(
     (entry) => entry && typeof entry === "object" && !Array.isArray(entry) && entry.stage === "WAITING_CONFIRM"
   ) : null;
-  let changed = migrateStageHistory(task);
+  let changed = migrateTaskAgentIdentities(task);
+  changed = migrateStageHistory(task) || changed;
   if (legacyStatus) {
     task.status = LEGACY_STAGE_MAP[legacyStatus];
     changed = true;
@@ -858,7 +943,7 @@ function migrateTaskWorkflowState(task) {
   return changed;
 }
 function migrateSessionBehavior(session) {
-  let changed = false;
+  let changed = migrateAgentFields(session, ["agent", "last_agent"]);
   const legacyMode = session.confirm_mode;
   const legacyLite = legacyMode === "lite";
   if (!["approve", "guard", "confirm", "auto"].includes(String(session.approval_mode ?? ""))) {
@@ -969,7 +1054,7 @@ async function hasLegacyWorkflowState(cwd) {
     if (!await pathExists(filePath)) continue;
     const task = await readJsonRecord(filePath);
     if (!task) continue;
-    if (isLegacyStage(task.status) || !["PENDING", "COMPLETE", "CLOSED"].includes(String(task.status ?? "")) && String(task.type ?? "") !== "project-init" && !["fast", "standard", "strict"].includes(String(task.workflow_mode ?? "")) || Array.isArray(task.stage_history) && task.stage_history.some(
+    if (hasLegacyTaskAgentIdentities(task) || isLegacyStage(task.status) || !["PENDING", "COMPLETE", "CLOSED"].includes(String(task.status ?? "")) && String(task.type ?? "") !== "project-init" && !["fast", "standard", "strict"].includes(String(task.workflow_mode ?? "")) || Array.isArray(task.stage_history) && task.stage_history.some(
       (entry) => entry && typeof entry === "object" && !Array.isArray(entry) && isLegacyStage(entry.stage)
     )) {
       return true;
@@ -978,7 +1063,12 @@ async function hasLegacyWorkflowState(cwd) {
   for (const filePath of await sessionFiles(cwd)) {
     const session = await readJsonRecord(filePath);
     if (!session) continue;
-    if (isLegacyStage(session.last_seen_stage) || "confirm_mode" in session) return true;
+    if (["agent", "last_agent"].some((field) => {
+      const migrated = migratedAgentIdentity(session[field]);
+      return migrated !== void 0 && migrated !== session[field];
+    }) || isLegacyStage(session.last_seen_stage) || "confirm_mode" in session) {
+      return true;
+    }
   }
   return false;
 }
@@ -3062,7 +3152,7 @@ async function config() {
       {
         value: "auto",
         label: "auto \u2014 advance workflow stages automatically",
-        hint: "task closure remains explicit"
+        hint: "only new post-verification code drift pauses for exact acceptance"
       }
     ]
   });