@hunter-harness/workflow-harness 0.2.42 → 0.2.44

package/harness/bundles/general/codebuddy/contracts/run-session.schema.json

@@ -0,0 +1,142 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://hunter-harness.dev/contracts/run-session.schema.json",
+  "title": "Hunter Harness managed run session",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schemaVersion",
+    "sessionId",
+    "status",
+    "reasonCode",
+    "exitCode",
+    "processIdentity",
+    "heartbeat",
+    "logs",
+    "cleanup",
+    "resultDigest"
+  ],
+  "properties": {
+    "schemaVersion": { "const": 1 },
+    "sessionId": { "type": "string", "minLength": 1 },
+    "status": {
+      "enum": [
+        "PREPARING",
+        "STARTING",
+        "RUNNING",
+        "FINALIZING",
+        "OK",
+        "FAIL",
+        "CANCELLED",
+        "INCOMPLETE"
+      ]
+    },
+    "reasonCode": { "$ref": "#/$defs/reasonCode" },
+    "exitCode": { "type": ["integer", "null"] },
+    "processIdentity": { "type": ["object", "null"] },
+    "heartbeat": {
+      "oneOf": [
+        { "type": "null" },
+        { "$ref": "#/$defs/heartbeat" }
+      ]
+    },
+    "logs": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["stdout", "stderr"],
+      "properties": {
+        "stdout": { "$ref": "#/$defs/logStream" },
+        "stderr": { "$ref": "#/$defs/logStream" }
+      }
+    },
+    "cleanup": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["complete", "reasonCode"],
+      "properties": {
+        "complete": { "type": "boolean" },
+        "reasonCode": {
+          "oneOf": [
+            { "$ref": "#/$defs/reasonCode" },
+            { "type": "null" }
+          ]
+        }
+      }
+    },
+    "resultDigest": {
+      "oneOf": [
+        { "$ref": "#/$defs/digest" },
+        { "type": "null" }
+      ]
+    }
+  },
+  "allOf": [
+    {
+      "if": {
+        "properties": { "status": { "enum": ["OK", "FAIL"] } },
+        "required": ["status"]
+      },
+      "then": {
+        "properties": {
+          "exitCode": { "type": "integer" },
+          "resultDigest": { "$ref": "#/$defs/digest" }
+        }
+      }
+    },
+    {
+      "if": {
+        "properties": { "status": { "const": "INCOMPLETE" } },
+        "required": ["status"]
+      },
+      "then": {
+        "properties": {
+          "exitCode": { "type": "null" },
+          "resultDigest": { "$ref": "#/$defs/digest" }
+        }
+      }
+    }
+  ],
+  "$defs": {
+    "digest": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    },
+    "reasonCode": {
+      "type": "string",
+      "minLength": 1
+    },
+    "heartbeat": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "kind",
+        "writerIdentity",
+        "lastSeenAt",
+        "ttlSeconds",
+        "staleReason"
+      ],
+      "properties": {
+        "kind": { "enum": ["WORKER", "SUPERVISOR", "OBSERVER"] },
+        "writerIdentity": { "$ref": "#/$defs/digest" },
+        "lastSeenAt": { "type": "string", "minLength": 1 },
+        "ttlSeconds": { "type": "integer", "minimum": 1 },
+        "staleReason": {
+          "oneOf": [
+            { "$ref": "#/$defs/reasonCode" },
+            { "type": "null" }
+          ]
+        }
+      }
+    },
+    "logStream": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["cursor", "rawDigest", "decodeStatus"],
+      "properties": {
+        "cursor": { "type": "integer", "minimum": 0 },
+        "rawDigest": { "$ref": "#/$defs/digest" },
+        "decodeStatus": { "enum": ["OK", "LOG_DECODE_DEGRADED"] }
+      }
+    }
+  }
+}

package/harness/bundles/general/codebuddy/contracts/service-retirement-receipt.schema.json

@@ -0,0 +1,85 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://hunter-harness.dev/contracts/service-retirement-receipt.schema.json",
+  "title": "Hunter Harness service retirement receipt",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schemaVersion",
+    "receiptId",
+    "operationId",
+    "serviceId",
+    "oldSessionId",
+    "oldGeneration",
+    "state",
+    "retirementStateCommit",
+    "leaseCleanup",
+    "cleanupComplete",
+    "awaitingSuperseder",
+    "supersededBySessionId",
+    "receiptDigest"
+  ],
+  "properties": {
+    "schemaVersion": { "const": 1 },
+    "receiptId": { "type": "string", "minLength": 1 },
+    "operationId": { "type": "string", "minLength": 1 },
+    "serviceId": { "type": "string", "minLength": 1 },
+    "oldSessionId": { "type": "string", "minLength": 1 },
+    "oldGeneration": { "type": "integer", "minimum": 1 },
+    "state": { "enum": ["PENDING", "FINALIZED"] },
+    "retirementStateCommit": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["status", "reasonCode"],
+      "properties": {
+        "status": { "enum": ["PENDING", "COMMITTED", "CONFLICT"] },
+        "reasonCode": { "type": "string", "minLength": 1 }
+      }
+    },
+    "leaseCleanup": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["status", "reasonCode", "leaseId"],
+      "properties": {
+        "status": { "enum": ["PENDING", "RELEASED", "RETAINED", "UNVERIFIED"] },
+        "reasonCode": { "type": "string", "minLength": 1 },
+        "leaseId": { "type": ["string", "null"], "minLength": 1 }
+      }
+    },
+    "cleanupComplete": { "type": "boolean" },
+    "awaitingSuperseder": { "type": "boolean" },
+    "supersededBySessionId": { "type": ["string", "null"], "minLength": 1 },
+    "receiptDigest": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    }
+  },
+  "allOf": [
+    {
+      "if": {
+        "properties": {
+          "leaseCleanup": {
+            "properties": { "status": { "const": "RELEASED" } },
+            "required": ["status"]
+          }
+        },
+        "required": ["leaseCleanup"]
+      },
+      "then": {
+        "properties": { "cleanupComplete": { "const": true } }
+      },
+      "else": {
+        "properties": { "cleanupComplete": { "const": false } }
+      }
+    },
+    {
+      "if": {
+        "properties": { "awaitingSuperseder": { "const": true } },
+        "required": ["awaitingSuperseder"]
+      },
+      "then": {
+        "properties": { "supersededBySessionId": { "type": "null" } }
+      }
+    }
+  ]
+}

package/harness/bundles/general/codebuddy/contracts/service-session.schema.json

@@ -0,0 +1,147 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://hunter-harness.dev/contracts/service-session.schema.json",
+  "title": "Hunter Harness managed service session",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schemaVersion",
+    "serviceId",
+    "sessionId",
+    "status",
+    "reasonCode",
+    "serviceGeneration",
+    "stateRevision",
+    "operationId",
+    "fingerprint",
+    "processIdentity",
+    "heartbeat",
+    "leaseIdentity",
+    "transitionHistory",
+    "cleanupComplete",
+    "supersedesSessionId"
+  ],
+  "properties": {
+    "schemaVersion": { "const": 1 },
+    "serviceId": { "type": "string", "minLength": 1 },
+    "sessionId": { "type": "string", "minLength": 1 },
+    "status": {
+      "enum": [
+        "STARTING",
+        "READY",
+        "STOPPING",
+        "STOPPED",
+        "FAILED",
+        "STALE_IDENTITY_MISMATCH",
+        "RETIRED"
+      ]
+    },
+    "reasonCode": { "type": "string", "minLength": 1 },
+    "serviceGeneration": { "type": "integer", "minimum": 1 },
+    "stateRevision": { "type": "integer", "minimum": 1 },
+    "operationId": { "type": "string", "minLength": 1 },
+    "fingerprint": { "$ref": "#/$defs/digest" },
+    "processIdentity": { "type": ["object", "null"] },
+    "heartbeat": {
+      "oneOf": [
+        { "type": "null" },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "kind",
+            "writerIdentity",
+            "generation",
+            "lastSeenAt",
+            "ttlSeconds",
+            "staleReason"
+          ],
+          "properties": {
+            "kind": { "enum": ["SUPERVISOR", "OBSERVER"] },
+            "writerIdentity": { "$ref": "#/$defs/digest" },
+            "generation": { "type": "integer", "minimum": 1 },
+            "lastSeenAt": { "type": "string", "minLength": 1 },
+            "ttlSeconds": { "type": "integer", "minimum": 1 },
+            "staleReason": { "type": ["string", "null"] }
+          }
+        }
+      ]
+    },
+    "leaseIdentity": {
+      "oneOf": [
+        { "type": "null" },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "leaseId",
+            "changeId",
+            "runId",
+            "expiresAt",
+            "generation"
+          ],
+          "properties": {
+            "leaseId": { "type": "string", "minLength": 1 },
+            "changeId": { "type": "string", "minLength": 1 },
+            "runId": { "type": "string", "minLength": 1 },
+            "expiresAt": { "type": "string", "minLength": 1 },
+            "generation": { "type": "integer", "minimum": 1 },
+            "listenerIdentity": { "type": "object" }
+          }
+        }
+      ]
+    },
+    "transitionHistory": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "additionalProperties": false,
+        "required": ["from", "to", "reasonCode", "revision"],
+        "properties": {
+          "from": {
+            "type": ["string", "null"]
+          },
+            "to": { "type": "string", "minLength": 1 },
+            "reasonCode": { "type": "string", "minLength": 1 },
+            "revision": { "type": "integer", "minimum": 1 },
+            "operationId": { "type": "string", "minLength": 1 },
+            "at": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    "cleanupComplete": { "type": "boolean" },
+    "supersedesSessionId": { "type": ["string", "null"], "minLength": 1 },
+    "pid": { "type": "integer", "minimum": 1 },
+    "startedBy": { "type": "string", "minLength": 1 },
+    "moduleInputsHash": { "$ref": "#/$defs/digest" },
+    "moduleInputsFiles": { "type": "array", "items": { "type": "string" } },
+    "profile": { "type": "string", "minLength": 1 },
+    "startCommandHash": { "$ref": "#/$defs/digest" },
+    "overlayPath": { "type": "string" },
+    "startedAt": { "type": "string", "minLength": 1 },
+    "command": { "type": "string" },
+    "argv": { "type": "array", "items": { "type": "string" } },
+    "ownedPorts": {
+      "type": "array",
+      "items": { "type": "integer", "minimum": 1, "maximum": 65535 }
+    },
+    "processAttestation": { "type": "object" },
+    "ownershipProof": { "type": "object" },
+    "servicePid": { "type": "integer", "minimum": 1 },
+    "jobId": { "type": "string", "minLength": 1 },
+    "leasedPort": { "type": "integer", "minimum": 1, "maximum": 65535 },
+    "leaseOwner": { "type": ["string", "null"] },
+    "worktreeRoot": { "type": "string", "minLength": 1 },
+    "executionRoot": { "type": "string", "minLength": 1 },
+    "changeId": { "type": "string", "minLength": 1 },
+    "attemptId": { "type": "string", "minLength": 1 },
+    "instanceTokenHash": { "$ref": "#/$defs/digest" },
+    "identityCompleteness": { "type": "string", "minLength": 1 }
+  },
+  "$defs": {
+    "digest": {
+      "type": "string",
+      "pattern": "^sha256:[0-9a-f]{64}$"
+    }
+  }
+}

package/harness/bundles/general/codebuddy/harness-archive/SKILL.md

@@ -3,7 +3,7 @@ name: harness-archive
 description: 归档所有变更产出（计划/测试报告/审查/SQL/API文档）到
   .harness/archive/，含归档元数据和可视化最终总结。使用场景：归档、完成归档、收尾、打包产出物
 ---
-<!-- generated by harness_deploy.py; core=433205be6e827dd9; overlay=none; agent=codebuddy; do not edit -->
+<!-- generated by harness_deploy.py; core=367eb27020f2b966; overlay=none; agent=codebuddy; do not edit -->
 # harness-archive — 变更归档
 
 ## Purpose

package/harness/bundles/general/codebuddy/harness-archive/reference.md

@@ -47,6 +47,7 @@ powershell.exe -NoProfile -ExecutionPolicy Bypass -File "harness-skills/harness-
 - `durations`：totalMinutes + stages[{stage,skill,startedAt,endedAt,minutes,result}] —— 从 `logs/execution-log.md` 各 `[N] harness-<skill>` 小节的 `开始`/`结束`/`耗时` 解析；
 - `skillCalls`：每个 skill 的调用次数（含重入）+ 结果 —— 从 execution-log 统计；
 - `verification`：单元/API/覆盖展示，含 passRate —— 来自 `evidence/verification-ledger.json`；
+- `efficiency`：墙钟/活动/资源等待、验证尝试、失败分类、环境 prepare/reuse/reset/cleanup、重复命令与 wrapper 数 —— 由 `harness_efficiency.py` 从运行回执自动汇总；
 - `changedFiles`：path/summary/insertions/deletions —— 来自 `git diff --numstat <base>..<head>`；
 - `reviewSummary`：red/yellow + redFixed/redConfirmed/yellowFixed/yellowDeferred 修复进度；
 - `maintenanceNotes`：给后续维护者看的结论；

package/harness/bundles/general/codebuddy/harness-archive/templates/render-summary.mjs

@@ -201,6 +201,10 @@ const releaseHtml = recordOnly ? "" : `
 const remoteCost = record(measurements.remoteCost);
 const remoteCostTotals = record(remoteCost.totals);
 const storage = record(measurements.artifactStorage);
+const efficiency = record(data.efficiency);
+const efficiencyTiming = record(efficiency.timing);
+const environmentActions = record(efficiency.environment);
+const failureClasses = record(efficiency.failureClasses);
 const projection = record(data.projection);
 const durability = record(data.archiveDurability);
 const durabilityStatus = durability.status || "ARCHIVED_LOCAL_ONLY";
@@ -264,6 +268,10 @@ ${scenarioCoverageHtml}
   <div class="fact"><span>未归因 <code title="agentOrToolUnattributedMs">agentOrToolUnattributed</code></span><strong>${esc(duration(timing.agentOrToolUnattributedMs))}</strong></div>
   <div class="fact"><span>远端 runner 成本</span><strong>${measurement(remoteCostTotals.runnerMinutes ?? remoteCost.runnerMinutes, " 分钟")}</strong></div>
   <div class="fact"><span>新增制品字节</span><strong>${measurement(storage.bytesAdded, " bytes")}</strong></div>
+  <div class="fact"><span>验证尝试 / 资源等待</span><strong>${esc(efficiency.verificationAttempts ?? 0)} / ${esc(duration(efficiencyTiming.resourceWaitMs))}</strong></div>
+  <div class="fact"><span>环境准备 / 复用 / 重置 / 清理</span><strong>${esc(environmentActions.prepare ?? 0)} / ${esc(environmentActions.reuse ?? 0)} / ${esc(environmentActions.reset ?? 0)} / ${esc(environmentActions.cleanup ?? 0)}</strong></div>
+  <div class="fact"><span>启动器 / 环境 / 测试 / 外部失败</span><strong>${esc(failureClasses.launcher ?? 0)} / ${esc(failureClasses.environment ?? 0)} / ${esc(failureClasses.test ?? 0)} / ${esc(failureClasses.external ?? 0)}</strong></div>
+  <div class="fact"><span>无新证据的重复命令</span><strong>${esc(efficiency.repeatedCommandsWithoutNewEvidence ?? 0)}</strong></div>
   <div class="fact"><span>守恒差值 <code>conservationDeltaMs</code></span><strong>${esc(timing.conservationDeltaMs ?? "N/A")}</strong></div>
 </div></details>
 <details><summary>阶段状态</summary><div class="table-wrap"><table><thead><tr><th>阶段</th><th>结果</th></tr></thead><tbody>${stageHtml}</tbody></table></div></details>

package/harness/bundles/general/codebuddy/harness-archive/templates/summary-data-template.json

@@ -125,6 +125,34 @@
       "duplicateRunCount": 0
     }
   },
+  "efficiency": {
+    "schemaVersion": 1,
+    "timing": {
+      "wallClockMs": 0,
+      "activeTimeMs": 0,
+      "resourceWaitMs": 0
+    },
+    "verificationAttempts": 0,
+    "statusCounts": {},
+    "failureClasses": {
+      "launcher": 0,
+      "environment": 0,
+      "test": 0,
+      "external": 0,
+      "unknown": 0
+    },
+    "invalidationReasons": {},
+    "environment": {
+      "prepare": 0,
+      "reuse": 0,
+      "reset": 0,
+      "cleanup": 0
+    },
+    "productIdentityCount": 0,
+    "repeatedCommandsWithoutNewEvidence": 0,
+    "manualWrapperCount": 0,
+    "notes": []
+  },
   "reviewSummary": {
     "status": "ADVISORY",
     "red": 0,

package/harness/bundles/general/codebuddy/harness-codebase-map/SKILL.md

@@ -3,7 +3,7 @@ name: harness-codebase-map
 description: 分析现有代码库并生成 .harness/codebase/map/
   下的结构化代码库地图。用于陌生项目理解、重大改造前梳理、harness-sync 提示 map 过期后的人工刷新。
 ---
-<!-- generated by harness_deploy.py; core=433205be6e827dd9; overlay=none; agent=codebuddy; do not edit -->
+<!-- generated by harness_deploy.py; core=367eb27020f2b966; overlay=none; agent=codebuddy; do not edit -->
 # harness-codebase-map — 代码库地图
 
 ## Purpose

package/harness/bundles/general/codebuddy/harness-knowledge-ingest/SKILL.md

@@ -3,7 +3,7 @@ name: harness-knowledge-ingest
 description: 从 .harness/archive 归档整理、同步和维护项目知识索引。适用场景：ingest knowledge、sync
   knowledge、rebuild knowledge index、promote knowledge、确认知识条目、检查知识库是否过期。
 ---
-<!-- generated by harness_deploy.py; core=433205be6e827dd9; overlay=none; agent=codebuddy; do not edit -->
+<!-- generated by harness_deploy.py; core=367eb27020f2b966; overlay=none; agent=codebuddy; do not edit -->
 # harness-knowledge-ingest
 
 从 `.harness/archive/**/reports/final/summary-data.json` 抽取项目知识，生成并维护本地 `.harness/knowledge/` 索引。

package/harness/bundles/general/codebuddy/harness-knowledge-query/SKILL.md

@@ -3,7 +3,7 @@ name: harness-knowledge-query
 description: 根据新需求、设计任务、代码修改请求或问题排查，在规划和编码前查询 .harness/knowledge
   历史上下文。适用场景：query knowledge、查找历史需求、根据归档理解需求、继续之前类似开发、生成需求上下文包。
 ---
-<!-- generated by harness_deploy.py; core=433205be6e827dd9; overlay=none; agent=codebuddy; do not edit -->
+<!-- generated by harness_deploy.py; core=367eb27020f2b966; overlay=none; agent=codebuddy; do not edit -->
 # harness-knowledge-query
 
 并行 change 中查询必须传 `--change <change-id>`；成功后以该 change 的 `meta/knowledge-context.json` 为稳定指针。全局 `context-packs/latest.json` 仅向后兼容，不得用于判断多个 active change 的上下文归属。

package/harness/bundles/general/codebuddy/harness-plan/SKILL.md

@@ -2,7 +2,7 @@
 name: harness-plan
 description: 将需求转化为设计文档+实施计划+完整测试场景表，必须在编码前完成。使用场景：需求分析、feature plan、技术方案设计、实现方案规划
 ---
-<!-- generated by harness_deploy.py; core=433205be6e827dd9; overlay=none; agent=codebuddy; do not edit -->
+<!-- generated by harness_deploy.py; core=367eb27020f2b966; overlay=none; agent=codebuddy; do not edit -->
 # harness-plan — 需求规划
 
 ## Purpose

package/harness/bundles/general/codebuddy/harness-review/SKILL.md

@@ -3,7 +3,7 @@ name: harness-review
 description: 6维度代码审查（架构/安全/规范/兼容/测试/性能），对照项目规则（见
   .harness/context-index.json）和测试场景表，在隔离上下文运行。使用场景：代码审查、提交前检查、合并评审
 ---
-<!-- generated by harness_deploy.py; core=433205be6e827dd9; overlay=none; agent=codebuddy; do not edit -->
+<!-- generated by harness_deploy.py; core=367eb27020f2b966; overlay=none; agent=codebuddy; do not edit -->
 # harness-review — 代码审查
 
 ## Purpose

package/harness/bundles/general/codebuddy/harness-run/SKILL.md

@@ -2,7 +2,7 @@
 name: harness-run
 description: 按变更簇执行 TDD 编码循环（RED→GREEN→REFACTOR→编译验证），逐变更簇实现计划中的任务。使用场景：开始编码、实现功能、写代码、TDD 编码
 ---
-<!-- generated by harness_deploy.py; core=433205be6e827dd9; overlay=none; agent=codebuddy; do not edit -->
+<!-- generated by harness_deploy.py; core=367eb27020f2b966; overlay=none; agent=codebuddy; do not edit -->
 # harness-run — 需求编码
 
 ## Purpose

package/harness/bundles/general/codebuddy/harness-run/reference.md

@@ -94,7 +94,7 @@ requested=true + path missing
 6. **读取测试场景表**：`.harness/changes/<change-name>/plans/<change-name>-test-scenarios.md` → 获取测试真相源
 7. **读取验证账本**：`.harness/changes/<change-name>/evidence/verification-ledger.json`（如存在）→ 复用已有 compile/unitTest 结果
 8. **读取任务状态**：`.harness/changes/<change-name>/evidence/run-task-status.md`（如存在）→ 恢复上次运行状态
-9. **读取 review fixback**：用户传入 `--fixback` 或要求修复 review 问题时，读取最新 `.harness/changes/<change-name>/reports/review/fixback-*.md`，并将 RED/YELLOW 条目映射为本轮变更簇
+9. **读取 review fixback**：用户传入 `--fixback` 或要求修复 review 问题时，读取最新 `.harness/changes/<change-name>/reports/review/fixback-*.md`，并用 `harness_fixback.py` 将相关 RED/YELLOW 条目合并为一个批次；每条问题保留 RED/GREEN 证据，批次关闭后只触发一次 affected verification 与一次 review
 10. 确认 `项目规则（见 .harness/context-index.json）/` 规则已加载
 11. **执行测试基础设施探测**（见下方"步骤 0.5"）
 12. 确认构建环境正常（构建命令按技术栈，见项目 CLAUDE.md 或 `.harness/config/harness-build-config.md`；如 Java 的 `powershell.exe -Command "mvn compile -pl <module> -o -q"`）
@@ -102,6 +102,11 @@ requested=true + path missing
 14. **依赖模块预安装**：如果在 worktree 中执行，检查上游依赖是否已安装（如 Java 的 `mvn install` 到本地仓库、前端的依赖已 install）。缺失时先执行对应安装命令（Java 示例：`powershell.exe -Command "mvn install -pl <upstream-modules> -am -DskipTests -nsu"`）
 15. **代码探索优先用 codegraph_explore**：一次调用可获取多个相关符号的源码，替代逐个 Read 文件。违反 `项目 codegraph 规则` 规则逐个 Read 会浪费 3-5 分钟。仅在 codegraph 返回结果不完整时补充 Read
 
+长时编译或验证不得依赖当前对话持续在线；使用 `harness_runtime.py run-start` 创建
+受管会话，并以状态/日志游标重连。并行执行前先调用
+`harness_verification.py` 的 `plan` 模式取得资源锁 wave；没有资源声明的重任务保持串行。详见
+`../protocols/execution-session-protocol.md`。
+
 ### 步骤 0.0：正式产物来源确认
 
 在读取计划文件后，确认本次执行只使用 `.harness/changes/<change-name>/` 下的正式产物：

package/harness/bundles/general/codebuddy/harness-submit/SKILL.md

@@ -3,7 +3,7 @@ name: harness-submit
 description: 最终提交封装：验证→中文 commit→提交/推送；worktree 模式含 --no-ff
   合并回主分支。使用场景：提交代码、commit、push、合并分支、merge to main、完成开发
 ---
-<!-- generated by harness_deploy.py; core=433205be6e827dd9; overlay=none; agent=codebuddy; do not edit -->
+<!-- generated by harness_deploy.py; core=367eb27020f2b966; overlay=none; agent=codebuddy; do not edit -->
 # harness-submit — 最终提交（含 worktree 合并）
 
 ## Purpose

package/harness/bundles/general/codebuddy/harness-submit/checklist.md

@@ -389,6 +389,18 @@ python harness/scripts/harness_integration.py push --change <change-name> --run-
 
 远端基线漂移 → `TARGET_MOVED` 结构化失败，不继续。成功后 journal `pushedHead` 即 `mergeFinalHash`。
 
+若远端已确认 mergeCommit，但包装事务名与证据所属 Change 不同，导致
+`LEDGER_SYNC_PENDING / LEDGER_MISSING`，必须显式指定真实证据归属后恢复：
+
+```powershell
+python harness/scripts/harness_integration.py recover --change <transaction-change> --evidence-change <evidence-change> --run-id <run-id> --feature-branch harness/<transaction-change> --target-branch <主分支> --temp-root <task-temp>
+```
+
+该覆盖只允许修复“默认同名台账缺失”的远端已确认事务；一旦 journal 已绑定证据
+Change，后续传入不同值会 fail closed。目标台账的既有三项集成哈希必须精确匹配
+本事务基线（或已匹配本次 mergeCommit），作为前序集成交接身份；禁止为包装事务
+伪造空台账或覆盖其他历史 Change 的集成哈希。
+
 ### 步骤 M6：cleanup
 
 ```powershell

package/harness/bundles/general/codebuddy/harness-sync/SKILL.md

@@ -4,7 +4,7 @@ description: Use when the user asks to synchronize, refresh, or validate Harness
   metadata, adapters, knowledge, rules, instruction entrypoints, config origins,
   or CodeGraph status.
 ---
-<!-- generated by harness_deploy.py; core=433205be6e827dd9; overlay=none; agent=codebuddy; do not edit -->
+<!-- generated by harness_deploy.py; core=367eb27020f2b966; overlay=none; agent=codebuddy; do not edit -->
 # harness-sync
 
 ## Purpose

package/harness/bundles/general/codebuddy/harness-test/SKILL.md

@@ -2,7 +2,7 @@
 name: harness-test
 description: 测试执行：读取场景表，执行单元测试+API接口测试+数据兼容验证，输出测试报告。当用户说'跑测试/验证/跑用例/接口测试/单元测试'时使用
 ---
-<!-- generated by harness_deploy.py; core=433205be6e827dd9; overlay=none; agent=codebuddy; do not edit -->
+<!-- generated by harness_deploy.py; core=367eb27020f2b966; overlay=none; agent=codebuddy; do not edit -->
 # harness-test — 测试执行
 
 ## Purpose
@@ -72,11 +72,17 @@ Runner 强制同项目单实例、低调度优先级、逐命令超时、正常
 
 动态数据库/Redis/令牌字段必须先由 `harness_environment.py prepare` 生成 secret-free receipt，再用 `exec --environment-receipt <file> --required-environment-field <NAME>` 闭包注入；缺失或指纹变化在启动测试前返回 `VERIFICATION_ENVIRONMENT_INCOMPLETE`。复杂 JSON、Docker template 或含引号参数不得跨多层 `-Command` 传递，改用 `exec --argv-file <utf8-json> --runtime-receipt <file>`；参数文件记录 PowerShell edition/version，运行回执只存 argv hash。`harness_service.py ensure` 属于正式持久服务模式，禁止从 bounded runner 内启动；命中时返回 `PERSISTENT_SERVICE_MODE_REQUIRED`。
 
+预计超过交互窗口的正式验证使用 `harness_runtime.py run-start`，随后通过
+`run-status` / `run-log --cursor` 重连；不得把调用方存活当作验证存活条件。环境 acquire
+必须显式选择 `change-session`（同 change + 内容指纹复用）或 `ephemeral`（每次重置）。
+验证 DAG 的并行度由 `resourceLocks` 决定，未分类重任务默认串行。完整合同见
+`../protocols/execution-session-protocol.md`。
+
 ### Phase 0：环境准备（主会话执行，需要交互确认）
 
 先 `harness_context.py prepare --phase test --executor <tool> [--change <id>] --json`，再 `harness_context.py begin --phase test --change <id> --executor <tool> --json` 校验最新 run→test receipt 的 artifact/hash/HEAD；然后 **`harness_gate.py begin --phase test --change <id>`**（禁止手工 phase.start / 手写 ledger）。执行各项强制环境检查 + **命令执行模式 preflight (0.1)**；只有首选执行器不可用时，才执行 fallback 执行器探测。
 
-验证写入**仅**允许 `harness_ledger.py record` / `can-reuse`；禁止 Write/Edit `verification-ledger.json`。测试跟踪：`harness_test_guard.py begin` → 执行 → `close`（可选 `mark` stale-test-repair）。阶段结束必须 `harness_gate.py close --phase test --status ...`，随后 `harness_context.py close --from-phase test --to-phase review --executor <tool> --json`；fixback 时改为 `--to-phase run` 并由 context 失效受影响 target。
+验证写入**仅**允许 `harness_ledger.py record` / `can-reuse`；禁止 Write/Edit `verification-ledger.json`。测试跟踪：`harness_test_guard.py begin` → 执行 → `close`（可选 `mark` stale-test-repair）。阶段结束必须 `harness_gate.py close --phase test --status ...`，随后 `harness_context.py close --from-phase test --to-phase review --executor <tool> --json`；fixback 时由 `harness_fixback.py` 合批记录 RED/GREEN 和 affected verification，再 `--to-phase run` 并由 context 失效受影响 target。
 
 - **Read `checklist.md`** — 各项检查详情 + 0.1 preflight + Playwright 探测 + 避坑规则指引
 - **失败处理**：任一项检查失败 → 终止流程并报告原因，用户确认修复后才能继续