@hunter-harness/workflow-harness 0.4.9 → 0.4.10

package/harness/bundles/java/codex/harness-plan/SKILL.md

@@ -3,7 +3,7 @@ name: harness-plan
 description: 将需求转化为设计文档+实施计划+完整测试场景表，必须在编码前完成。仅当用户显式调用 /harness-plan 或明确要求进入
   Harness 规划阶段时使用；不得因用户描述需求就自动触发。
 ---
-<!-- generated by harness_deploy.py; core=59368b4ff21b6065; overlay=java; agent=codex; do not edit -->
+<!-- generated by harness_deploy.py; core=04743280fadbe12e; overlay=java; agent=codex; do not edit -->
 # harness-plan — 需求规划
 
 ## Purpose
@@ -67,10 +67,10 @@ description: 将需求转化为设计文档+实施计划+完整测试场景表
 | 阶段 | 动作 |
 |------|------|
 | 0 | git status；脏工作区 → baseline 隔离 + `decision`，不询问。环境体检并入 0.5 的引导命令，不再单独跑 doctor |
-| 0.5 | 先定英文 `change-name`（kebab-case，`^[a-z0-9]+(-[a-z0-9]+)*$`）与一次性中文展示标题（建议 6～24 个可见字符，保留必要产品名），然后**一条命令完成引导**：<br>`python <skills-root>/scripts/harness_context.py bootstrap-plan --project . --change <cn> --executor <tool> --title "<中文标题>" --json`<br>它按序做完 doctor → 建 change 骨架 → prepare → state capture（首次把当时 HEAD 固定为不可变 `changeBase`）→ classify（落 `meta/gate-policy.json`）→ 生成合规 `plan_<uuid>` run-id 并追加 `phase.start`，返回紧凑摘要：`runId`/`attempt`/`tier`/`defaultPhases`/`conditionalPhases`/`requiredValidations`/`changeBase`/`head`/`executionRoot`。**重跑复用同一 run-id、不重复写 `phase.start`**（换 run-id 会让 finalize 按生命周期身份 fail-closed）。finalizer 必须复用该 `runId`/`attempt` |
+| 0.5 | 先定英文 `change-name`（kebab-case，`^[a-z0-9]+(-[a-z0-9]+)*$`）与一次性中文展示标题（建议 6～24 个可见字符，保留必要产品名），然后**一条命令完成引导**：<br>`python <skills-root>/scripts/harness_context.py bootstrap-plan --project . --change <cn> --executor <tool> --title "<中文标题>" --json`<br>它按序做完 doctor → 建 change 骨架 → prepare → state capture（首次把当时 HEAD 固定为不可变 `changeBase`）→ classify（落 `meta/gate-policy.json`）→ 生成合规 `plan_<uuid>` run-id 并追加 `phase.start`，返回紧凑摘要：`runId`/`attempt`/`tier`/`defaultPhases`/`conditionalPhases`/`requiredValidations`/`changeBase`/`head`/`executionRoot`。**重跑复用同一 run-id、不重复写 `phase.start`**（换 run-id 会让 finalize 按生命周期身份 fail-closed）。finalizer 必须复用该 `runId`/`attempt`。返回里的 `legacyBootstrap: true` 只是「本次引导前还没有任何交接凭证」的标记（首个阶段的正常状态），不是项目结构需要迁移 |
 | 0.5b | 仅在引导失败需要单步排查时用等价分解——**每条的参数都是必填，少一个就是白跑一轮**：<br>`harness_runtime.py doctor --project . --change-dir ".harness/changes/<cn>" --agent <claude-code\|codebuddy\|codex\|cursor> --json`<br>`harness_context.py prepare --project . --change <cn> --phase plan --executor <tool> --title "<中文标题>" --json`<br>`harness_state.py capture --project . --change-dir ".harness/changes/<cn>" --json`<br>`harness_gate.py classify --change <cn> --stage plan --json`<br>`harness_events.py append --change-dir ".harness/changes/<cn>" --phase plan --type phase.start --run-id plan_<uuid> --attempt 1`<br>⚠️ `--change-dir` 一律是 `.harness/changes/<cn>`（状态目录），**不是** prepare 返回的 `executionRoot`（代码执行根，无 worktree 时等于项目根）——填错会把 gate-policy/events 写到项目根 |
 | 0.6 | 用引导返回的 `tier`/`defaultPhases`/`requiredValidations` 生成 `plannedPhases`，向用户用中文说明可选阶段；确认后运行 `harness_context.py configure-plan --project . --change <cn> --phases "plan,execute,...,archive" --operator <tool> --reason "<中文原因>" --json`。无 Git 或不需要提交时不得加入 `submit`；快速迭代默认 `plan,execute,archive`。省略项由脚本写入 `skippedPhases`，不得伪造阶段事件。<br>⚠️ 无风险信号时 classify 默认 `standard`（`plan,execute,submit,archive` + compile/unitTest/unitTestFull），**不再默认 full**。需要 review 阶段与 apiTest 的高风险变更，在计划文档里写「风险等级: full」或用 `classify --tier-override full` 显式升档 |
-| 1 | 直接执行一次 `npx hunter-harness knowledge query "<用户需求原文>" --limit 10 --json`。这是唯一执行入口，不扫描技能目录、不查找其他脚本；失败记 `issue` 并继续，不建立本地索引或离线回退 |
+| 1 | 直接执行一次 `npx hunter-harness knowledge query "<用户需求原文>" --limit 10 --json`。这是唯一执行入口，不扫描技能目录、不查找其他脚本；失败记 `issue` 并继续，不建立本地索引或离线回退。**查询结果（含 0 条）必须落事件**：`harness_events.py append --phase plan --type command --name "knowledge query" --message "count=<n>" --json`（query 回执的 `receipt.index_generation` 反映索引代数；0 条时可先跑 `npx hunter-harness knowledge status --json`（0.4.11+）区分「job 未跑 / 失败 / 结果为空」） |
 | 2 | 歧义优先检查 + 复杂度分级；先确认会改变实现方向的语义歧义 |
 | 3 | 按复杂度执行有预算的代码探索；简单修复不得扩散到无关模块 |
 | 4 | **设计审批包** blocking user confirmation；确认事件早于 approved 设计文档和 `meta/worktree.json` |

package/harness/bundles/java/codex/harness-plan/checklist.md

@@ -214,6 +214,7 @@ description: harness-plan 的阶段检查清单和覆盖检查列表。仅在执
 
 - [ ] **v2**：只手写 `meta/plan-evidence-input.json`。`plans/*.md` 由 finalize 派生，手写的会被渲染覆盖，只是白写
 - [ ] 任何缺失**都不得手工补写**（包括 `phase.end`）；回到对应阶段改自然输入/staging 后重跑
+- [ ] **phase.start/end 事件对完整**：plan 不经 gate close，0.4.11 起 `context close`/`handoff` 会自动补齐缺失的 `phase.end`（返回体 `phaseEndPair.code=PHASE_END_AUTO_PAIRED`）；发现平台 Run 监控计时不停时先查这对事件，而不是手工写事件
 - [ ] v2 过渡期**不写** `meta/plan-finalization.json` 与 `logs/execution-log.md`；缺这两项不算失败，不得为凑表手工补
 
 

package/harness/bundles/java/codex/harness-plan/reference.md

@@ -376,6 +376,14 @@ finalize 硬性要求证据包顶层 `adversarial_review` 收据，缺失即 `PL
 1. 先完成阶段 7.5 对抗评审，把结论写成草稿 `meta/plan-review-draft.json`：
    `{ "reviewer_identity": "inline:<标识>", "findings": [] }`
    （`review_mode` 缺省 `inline`；`completed_at` 缺省取当前时间；`findings` 为空数组表示无发现）
+
+   **草稿完整契约**（0.4.11 起可 `plan review-record --print-template` 取合法骨架）：
+   顶层键集精确为 `reviewer_identity / review_mode? / findings? / completed_at?`；
+   `reviewer_identity` 匹配 `^[a-z][a-z0-9_.:-]{0,159}$`。`findings` 元素键集精确为
+   `finding_id / category / severity / source_refs / message_zh / suggested_location`，
+   其中 `severity ∈ {advisory, blocking}`、`source_refs` 至少一条非空字符串、
+   `finding_id` 同上面的 identity 规则。缺键/多键/枚举越界都会在
+   `PLAN_REVIEW_RECORD_INPUT_INVALID` 的 `problems[]` 里逐条给出 `field_path`。
 2. 跑 `plan review-record`：CLI 内部重跑 layer1/layer2/layer3 算出权威 `input_hash`，
    代算 `findings_hash`，把完整收据写回证据包顶层 `adversarial_review`（缺省覆盖 `--input`，
    可用 `--output` 写到别处）。stdout 的 `review_required: false` 表示该包未触发评审、收据不会被消费。

package/harness/bundles/java/codex/harness-pull/SKILL.md

@@ -3,7 +3,7 @@ name: harness-pull
 description: 从 Hunter Platform 下拉配置/规则/架构/指令（及显式来源分支的分支文件恢复）。仅当用户显式调用
   /harness-pull 或明确说'从平台拉取/恢复'时使用；不得自动触发。
 ---
-<!-- generated by harness_deploy.py; core=59368b4ff21b6065; overlay=java; agent=codex; do not edit -->
+<!-- generated by harness_deploy.py; core=04743280fadbe12e; overlay=java; agent=codex; do not edit -->
 # harness-pull — 从 Hunter Platform 下拉与恢复
 
 ## Purpose

package/harness/bundles/java/codex/harness-push/SKILL.md

@@ -3,7 +3,7 @@ name: harness-push
 description: 上传本地配置/规则/架构/指令（及显式归档）到 Hunter Platform。仅当用户显式调用 /harness-push
   或明确说'上传到平台'时使用；不得因存在本地修改就自动触发。
 ---
-<!-- generated by harness_deploy.py; core=59368b4ff21b6065; overlay=java; agent=codex; do not edit -->
+<!-- generated by harness_deploy.py; core=04743280fadbe12e; overlay=java; agent=codex; do not edit -->
 # harness-push — 上传到 Hunter Platform
 
 ## Purpose

package/harness/bundles/java/codex/harness-review/SKILL.md

@@ -4,7 +4,7 @@ description: 6维度代码审查（架构/安全/规范/兼容/测试/性能）
   .harness/context-index.json）和测试场景表，在隔离上下文运行。仅当用户显式调用 /harness-review 时使用；不得在
   test 结束后自动接续执行。
 ---
-<!-- generated by harness_deploy.py; core=59368b4ff21b6065; overlay=java; agent=codex; do not edit -->
+<!-- generated by harness_deploy.py; core=04743280fadbe12e; overlay=java; agent=codex; do not edit -->
 # harness-review — 代码审查
 
 ## Purpose

package/harness/bundles/java/codex/harness-submit/SKILL.md

@@ -3,7 +3,7 @@ name: harness-submit
 description: 最终提交封装：验证→中文 commit→提交/推送；worktree 模式含 --no-ff 合并回主分支。仅当用户显式调用
   /harness-submit（或 /harness-merge 重入合并段）时使用；用户口头说'提交/commit/push'时必须先确认，不得自动触发。
 ---
-<!-- generated by harness_deploy.py; core=59368b4ff21b6065; overlay=java; agent=codex; do not edit -->
+<!-- generated by harness_deploy.py; core=04743280fadbe12e; overlay=java; agent=codex; do not edit -->
 # harness-submit — 最终提交（含 worktree 合并）
 
 ## Purpose

package/harness/bundles/java/codex/harness-sync/SKILL.md

@@ -4,7 +4,7 @@ description: Use when the user asks to synchronize, refresh, or validate Harness
   metadata, adapters, remote knowledge ownership, instruction entrypoints,
   config origins, or CodeGraph status.
 ---
-<!-- generated by harness_deploy.py; core=59368b4ff21b6065; overlay=java; agent=codex; do not edit -->
+<!-- generated by harness_deploy.py; core=04743280fadbe12e; overlay=java; agent=codex; do not edit -->
 # harness-sync
 
 ## Purpose

package/harness/bundles/java/codex/scripts/harness_context.py

@@ -478,6 +478,55 @@ def _phase_has_ended(event_paths: list[Path], phase: str) -> bool:
     )
 
 
+def _ensure_phase_end_event(
+    contract_root: Path,
+    *,
+    phase: str,
+    status: str,
+    executor: str,
+) -> dict[str, Any] | None:
+    """补齐 phase.start/end 事件对（P0-2）。
+
+    平台 Run 计时由 events-sync 上报的 phase.start/end 事件对驱动。不经
+    gate close 收尾的阶段（典型：plan 走 finalize + context close）只写
+    transitions 收据，phase.end 永远缺席，平台计时永不停——连续两个 change
+    复现，属结构性缺口（2026-08-30 sales-insight-agent demo-datasource 实测）。
+    close_transition 是所有跨阶段推进的共同通道，在此按事件配对补齐：
+    有 start 无 end → 复用 start 的 run_id/attempt 代写 end；已有 end（gate
+    close 先行写入）或连 start 都没有 → 不动，返回 None。
+    """
+    import harness_events as he
+
+    events_file = contract_root / "events.ndjson"
+    events = _read_ndjson(events_file)
+    starts = [
+        item
+        for item in events
+        if hpaths.resolve_phase_name(item.get("phase")) == phase
+        and item.get("type") == "phase.start"
+    ]
+    if not starts or any(
+        hpaths.resolve_phase_name(item.get("phase")) == phase
+        and item.get("type") == "phase.end"
+        for item in events
+    ):
+        return None
+    start = starts[-1]
+    result = he.append_event(
+        contract_root,
+        phase=phase,
+        type_="phase.end",
+        run_id=str(start.get("run_id") or f"{phase}_unknown"),
+        attempt=int(start.get("attempt") or 1),
+        status=status,
+        executor_tool=executor,
+        note="context close 自动补齐 phase.end（平台计时事件对配对）",
+    )
+    if not result.get("ok"):
+        return {"code": "PHASE_END_PAIR_FAILED", "detail": result}
+    return {"code": "PHASE_END_AUTO_PAIRED", "event": result.get("event")}
+
+
 def _reselect_review_fixback(
     project: Path,
     change: str,
@@ -1334,6 +1383,12 @@ def close_transition(
             and latest.get("artifacts") == artifact_entries
             and (executor is None or latest.get("executor") == executor)
         ):
+            paired = _ensure_phase_end_event(
+                contract_root,
+                phase=from_phase,
+                status=status,
+                executor=executor or str(latest.get("executor") or "unknown"),
+            )
             return {
                 "ok": True,
                 "code": "TRANSITION_ALREADY_CLOSED",
@@ -1341,6 +1396,7 @@ def close_transition(
                 "receipt": latest,
                 "path": str(paths["transitions"]),
                 "invalidation": None,
+                "phaseEndPair": paired,
             }
         return {"ok": False, "code": "CONTEXT_LEASE_REQUIRED"}
     try:
@@ -1397,6 +1453,12 @@ def close_transition(
     receipt["receiptHash"] = _payload_hash(receipt)
     _append_ndjson(paths["transitions"], receipt)
     paths["lease"].unlink(missing_ok=True)
+    paired = _ensure_phase_end_event(
+        contract_root,
+        phase=from_phase,
+        status=status,
+        executor=effective_executor,
+    )
     invalidation = None
     if to_phase == "execute" and from_phase in {"execute", "review"}:
         invalidation = _invalidate_for_fixback(
@@ -1411,6 +1473,7 @@ def close_transition(
         "receipt": receipt,
         "path": str(paths["transitions"]),
         "invalidation": invalidation,
+        "phaseEndPair": paired,
     }
 
 
@@ -1898,7 +1961,7 @@ def build_parser() -> argparse.ArgumentParser:
     prepare = sub.add_parser("prepare")
     prepare.add_argument("--json", action="store_true")
     prepare.add_argument("--project", required=True, type=Path)
-    prepare.add_argument("--change")
+    prepare.add_argument("--change", "--change-dir", dest="change")
     prepare.add_argument("--phase", required=True)
     prepare.add_argument("--executor", required=True)
     prepare.add_argument("--title")
@@ -1907,7 +1970,7 @@ def build_parser() -> argparse.ArgumentParser:
     bootstrap = sub.add_parser("bootstrap-plan")
     bootstrap.add_argument("--json", action="store_true")
     bootstrap.add_argument("--project", required=True, type=Path)
-    bootstrap.add_argument("--change", required=True)
+    bootstrap.add_argument("--change", "--change-dir", dest="change", required=True)
     bootstrap.add_argument("--executor", required=True)
     bootstrap.add_argument("--title")
     bootstrap.add_argument("--stage", default="plan", choices=["plan", "post-run"])
@@ -1915,7 +1978,7 @@ def build_parser() -> argparse.ArgumentParser:
     close = sub.add_parser("close")
     close.add_argument("--json", action="store_true")
     close.add_argument("--project", required=True, type=Path)
-    close.add_argument("--change", required=True)
+    close.add_argument("--change", "--change-dir", dest="change", required=True)
     close.add_argument("--from-phase", required=True)
     close.add_argument("--to-phase", required=True)
     close.add_argument("--executor", required=True)
@@ -1924,7 +1987,7 @@ def build_parser() -> argparse.ArgumentParser:
     begin = sub.add_parser("begin")
     begin.add_argument("--json", action="store_true")
     begin.add_argument("--project", required=True, type=Path)
-    begin.add_argument("--change", required=True)
+    begin.add_argument("--change", "--change-dir", dest="change", required=True)
     begin.add_argument("--phase", required=True)
     begin.add_argument("--executor", required=True)
     handoff = sub.add_parser(
@@ -1933,7 +1996,7 @@ def build_parser() -> argparse.ArgumentParser:
     )
     handoff.add_argument("--json", action="store_true")
     handoff.add_argument("--project", required=True, type=Path)
-    handoff.add_argument("--change", required=True)
+    handoff.add_argument("--change", "--change-dir", dest="change", required=True)
     handoff.add_argument("--to-phase", required=True)
     handoff.add_argument(
         "--from-phase",
@@ -1946,20 +2009,20 @@ def build_parser() -> argparse.ArgumentParser:
     )
     renew.add_argument("--json", action="store_true")
     renew.add_argument("--project", required=True, type=Path)
-    renew.add_argument("--change", required=True)
+    renew.add_argument("--change", "--change-dir", dest="change", required=True)
     renew.add_argument("--executor", required=True)
     renew.add_argument("--ttl-seconds", type=int, default=3600)
     configure = sub.add_parser("configure-plan")
     configure.add_argument("--json", action="store_true")
     configure.add_argument("--project", required=True, type=Path)
-    configure.add_argument("--change", required=True)
+    configure.add_argument("--change", "--change-dir", dest="change", required=True)
     configure.add_argument("--phases", required=True)
     configure.add_argument("--operator", required=True)
     configure.add_argument("--reason", required=True)
     view = sub.add_parser("view")
     view.add_argument("--json", action="store_true")
     view.add_argument("--project", required=True, type=Path)
-    view.add_argument("--change", required=True)
+    view.add_argument("--change", "--change-dir", dest="change", required=True)
     return parser
 
 

package/harness/bundles/java/codex/scripts/harness_events.py

@@ -884,13 +884,19 @@ def build_event(args: argparse.Namespace, existing: list[dict[str, Any]]) -> dic
 def validate_append_event(args: argparse.Namespace) -> tuple[str, str] | None:
     """Validate type-specific append fields before any file is mutated."""
     event_type = str(args.type)
-    for field in _EVENT_REQUIRED_FIELDS.get(event_type, ()):
-        value = getattr(args, field, None)
-        if value is None or (isinstance(value, str) and not value.strip()):
-            return (
-                "EVENT_REQUIRED_FIELD",
-                f"EVENT_REQUIRED_FIELD: {event_type} requires --{field.replace('_', '-')}",
-            )
+    missing = [
+        f"--{field.replace('_', '-')}"
+        for field in _EVENT_REQUIRED_FIELDS.get(event_type, ())
+        if getattr(args, field, None) is None
+        or (isinstance(getattr(args, field, None), str)
+            and not getattr(args, field).strip())
+    ]
+    if missing:
+        # 一次性列出全部缺失字段——逐个报错会让调用方每个字段往返一轮（E-3）
+        return (
+            "EVENT_REQUIRED_FIELD",
+            f"EVENT_REQUIRED_FIELD: {event_type} requires " + ", ".join(missing),
+        )
     allowed = _EVENT_ALLOWED_FIELDS[event_type]
     for field in OPTIONAL_FIELDS:
         value = getattr(args, field, None)
@@ -2146,7 +2152,7 @@ def build_parser() -> argparse.ArgumentParser:
         parents=[common],
         help="append one event and auto-render execution-log",
     )
-    p_append.add_argument("--change-dir", required=True)
+    p_append.add_argument("--change-dir", "--change", dest="change_dir", required=True)
     p_append.add_argument("--phase", required=True)
     p_append.add_argument("--type", required=True)
     p_append.add_argument("--command", default=None)
@@ -2200,7 +2206,7 @@ def build_parser() -> argparse.ArgumentParser:
         parents=[common],
         help="validate and append many events under one lock (H-15)",
     )
-    p_batch.add_argument("--change-dir", required=True)
+    p_batch.add_argument("--change-dir", "--change", dest="change_dir", required=True)
     p_batch.add_argument(
         "--file",
         required=True,
@@ -2213,7 +2219,7 @@ def build_parser() -> argparse.ArgumentParser:
         parents=[common],
         help="re-render execution-log.md from events.ndjson",
     )
-    p_render.add_argument("--change-dir", required=True)
+    p_render.add_argument("--change-dir", "--change", dest="change_dir", required=True)
     p_render.set_defaults(func=cmd_render)
 
     p_summary = sub.add_parser(
@@ -2221,7 +2227,7 @@ def build_parser() -> argparse.ArgumentParser:
         parents=[common],
         help="summarize phases/issues from events.ndjson",
     )
-    p_summary.add_argument("--change-dir", required=True)
+    p_summary.add_argument("--change-dir", "--change", dest="change_dir", required=True)
     p_summary.set_defaults(func=cmd_summary)
 
     return parser

package/harness/bundles/java/codex/scripts/harness_gate.py

@@ -2594,6 +2594,64 @@ def _normalize_gate_phase(args: argparse.Namespace, as_json: bool) -> int | None
     )
 
 
+def _verification_target_coverage_warning(
+    change_dir: Path, phase: str
+) -> dict[str, Any] | None:
+    """E-5：场景表引用未声明的 verification target 时提前 WARN。
+
+    场景带 execution_level（unit/integration/…），但 build-profile 的
+    verificationGraph.targets 未声明对应 target 时，问题要等到 ledger record
+    才以 unsupported verification 报错——太迟。gate begin 提前列出待补清单。
+    映射约定：unit → unitTest；其他 level → 任一以其名开头的 target。
+    """
+    if phase != "execute":
+        return None
+    manifest_path = change_dir / "meta" / "scenario-manifest.json"
+    profile_path = change_dir / "meta" / "build-profile.json"
+    if not profile_path.is_file():
+        # build-profile 常规位置在项目 .harness/config/；change meta 下优先
+        profile_path = change_dir.parents[2] / ".harness" / "config" / "build-profile.json"
+    if not manifest_path.is_file() or not profile_path.is_file():
+        return None
+    try:
+        manifest = json.loads(manifest_path.read_text(encoding="utf-8-sig"))
+        profile = json.loads(profile_path.read_text(encoding="utf-8-sig"))
+    except (OSError, json.JSONDecodeError):
+        return None
+    content = manifest.get("content") if isinstance(manifest, dict) else None
+    scenarios = content.get("scenarios") if isinstance(content, dict) else None
+    if not isinstance(scenarios, list):
+        return None
+    levels = sorted({
+        str(s.get("execution_level")).strip()
+        for s in scenarios
+        if isinstance(s, dict) and str(s.get("execution_level") or "").strip()
+    })
+    graph = profile.get("verificationGraph")
+    targets = graph.get("targets") if isinstance(graph, dict) else None
+    target_names = set(targets.keys()) if isinstance(targets, dict) else set()
+    uncovered = [
+        level for level in levels
+        if level != "unit"
+        and not any(name.lower().startswith(level.lower()) for name in target_names)
+    ]
+    # unit 场景由 unitTest 覆盖；只在完全没有 unitTest 时才算缺口
+    if "unit" in levels and "unitTest" not in target_names:
+        uncovered.append("unit(→unitTest)")
+    if not uncovered:
+        return None
+    return {
+        "code": "VERIFICATION_TARGETS_UNDECLARED",
+        "message": (
+            "场景表涉及未声明的验证级别: " + ", ".join(uncovered) +
+            "；ledger record 将报 unsupported verification。请在 "
+            ".harness/config/build-profile.json 的 verificationGraph.targets "
+            "声明对应 target（如 integrationTest）"
+        ),
+        "uncoveredLevels": uncovered,
+    }
+
+
 def cmd_begin(args: argparse.Namespace) -> int:
     as_json = bool(args.json)
     normalized = _normalize_gate_phase(args, as_json)
@@ -2911,6 +2969,14 @@ def cmd_begin(args: argparse.Namespace) -> int:
         )
         raise
 
+    coverage_warning = _verification_target_coverage_warning(change_dir, args.phase)
+    if coverage_warning is not None:
+        gate_warnings.append(coverage_warning)
+        print(
+            f"[harness-gate] WARNING {coverage_warning['code']}: "
+            f"{coverage_warning['message']}",
+            file=sys.stderr,
+        )
     payload = {
         "ok": True,
         "code": "PHASE_BEGUN",
@@ -3800,11 +3866,25 @@ def cmd_classify(args: argparse.Namespace) -> int:
     payload["classifiedAt"] = classified_at
 
     if change_dir is not None and change_dir.is_dir():
-        policy_doc = gate_policy_document(payload)
-        policy_path = change_dir / "meta" / "gate-policy.json"
-        _write_json(policy_path, policy_doc)
-        payload["policyPersisted"] = True
-        payload["policyPath"] = str(policy_path)
+        finalized = (change_dir / "meta" / "plan-profile.json").is_file()
+        if finalized and not getattr(args, "force", False):
+            # P1-1：classify 形态像只读查询，实际是写操作。已发布的 change
+            # 被误跑 classify 会覆盖 configure-plan 写入的工作副本（2026-08-30
+            # demo-datasource 实测 plannedPhases 被清）。默认拒写并显式提示。
+            payload["policyPersisted"] = False
+            payload["warning"] = (
+                "change 已发布（meta/plan-profile.json 存在），classify 不再重写 "
+                "meta/gate-policy.json 工作副本；确需重算请显式传 --force"
+            )
+            payload["writeGuarded"] = True
+        else:
+            policy_doc = gate_policy_document(payload)
+            policy_path = change_dir / "meta" / "gate-policy.json"
+            _write_json(policy_path, policy_doc)
+            payload["policyPersisted"] = True
+            payload["policyPath"] = str(policy_path)
+            if finalized:
+                payload["warning"] = "--force：已发布 change 的工作副本已被重写"
     else:
         payload["policyPersisted"] = False
         payload["warning"] = (
@@ -3930,7 +4010,7 @@ def build_parser() -> argparse.ArgumentParser:
 
     p_begin = sub.add_parser("begin", parents=[shared])
     p_begin.add_argument("--phase", required=True)
-    p_begin.add_argument("--change", default=None)
+    p_begin.add_argument("--change", "--change-dir", dest="change", default=None)
     p_begin.add_argument(
         "--project",
         default=None,
@@ -3960,7 +4040,7 @@ def build_parser() -> argparse.ArgumentParser:
         help="关闭阶段门禁（关门只调本命令；上下文交接由 --to-phase 内联完成，不要再单独调 harness_context.py close）",
     )
     p_close.add_argument("--phase", required=True)
-    p_close.add_argument("--change", default=None)
+    p_close.add_argument("--change", "--change-dir", dest="change", default=None)
     p_close.add_argument(
         "--project",
         default=None,
@@ -3985,7 +4065,7 @@ def build_parser() -> argparse.ArgumentParser:
 
     p_classify = sub.add_parser("classify", parents=[shared])
     p_classify.add_argument("--project", default=None, type=Path, help=_PROJECT_ROOT_HELP)
-    p_classify.add_argument("--change", default=None)
+    p_classify.add_argument("--change", "--change-dir", dest="change", default=None)
     p_classify.add_argument("--stage", required=True, choices=["plan", "post-run"])
     p_classify.add_argument(
         "--tier-override",
@@ -3993,13 +4073,18 @@ def build_parser() -> argparse.ArgumentParser:
         choices=["fast", "standard", "full"],
     )
     p_classify.add_argument("--override-by", default="user")
+    p_classify.add_argument(
+        "--force",
+        action="store_true",
+        help="已发布 change 也强制重写 gate-policy.json 工作副本",
+    )
     p_classify.set_defaults(func=cmd_classify)
 
     p_checkpoint = sub.add_parser("checkpoint", parents=[shared])
     p_checkpoint.add_argument("--project", default=None, type=Path, help=_PROJECT_ROOT_HELP)
     p_checkpoint.add_argument("checkpoint_action", choices=["status", "approve"])
     p_checkpoint.add_argument("--id", required=True)
-    p_checkpoint.add_argument("--change", default=None)
+    p_checkpoint.add_argument("--change", "--change-dir", dest="change", default=None)
     p_checkpoint.add_argument("--reviewer", default=None)
     p_checkpoint.set_defaults(func=cmd_checkpoint)
 

package/harness/bundles/java/codex/scripts/harness_ledger.py

@@ -1624,6 +1624,15 @@ def evidence_summary(entry: dict[str, Any]) -> dict[str, Any]:
     }
 
 
+def _is_relative_to(path: Path, base: Path) -> bool:
+    """Python 3.9 兼容的 is_relative_to。"""
+    try:
+        path.relative_to(base)
+        return True
+    except ValueError:
+        return False
+
+
 def _nonempty_str(value: Any) -> bool:
     return isinstance(value, str) and bool(value.strip())
 
@@ -3056,6 +3065,12 @@ def cmd_record(args: argparse.Namespace) -> int:
         "scenarioCoverage": entry.get("scenarioCoverage"),
         "migrationReceipt": migration_receipt,
     }
+    zero_warn = _zero_tests_with_selector_warning(
+        str(args.command), args.evidence, project_root
+    )
+    if zero_warn is not None:
+        payload["warnings"] = [zero_warn]
+        print(f"[harness-ledger] WARNING {zero_warn}", file=sys.stderr)
     emit_compact_or_verbose(
         payload, as_json=as_json, verbose=verbose,
         compact_fn=_compact_record_payload,
@@ -3063,6 +3078,47 @@ def cmd_record(args: argparse.Namespace) -> int:
     return 0
 
 
+def _zero_tests_with_selector_warning(
+    command: str, evidence: str | None, project_root: Path | None
+) -> str | None:
+    """选择器存在却 0 命中 → WARN（E-2）。
+
+    surefire 插件级 ``<excludedGroups>`` 会压过命令行空值覆盖，
+    `-Dgroups=X` 选择器 0 命中仍 exit 0——只看退出码就是假阳性
+    （2026-08-30 demo-datasource 集成测试静默 0 执行实测）。
+    证据文本出现 Tests run: 0 且命令含选择器时，record 给出醒目警告。
+    """
+    if not evidence:
+        return None
+    selectors = ("-Dgroups=", "-Dtest=", "--groups", "--filter", "-DfailIfNoSpecifiedTests")
+    if not any(selector in str(command) for selector in selectors):
+        return None
+    candidates = [Path(evidence)]
+    if project_root is not None and not Path(evidence).is_absolute():
+        candidates.insert(0, project_root / evidence)
+    text: str | None = None
+    for candidate in candidates:
+        try:
+            if candidate.is_file() and candidate.stat().st_size <= 4 * 1024 * 1024:
+                text = candidate.read_text(encoding="utf-8", errors="replace")
+                break
+        except OSError:
+            continue
+    if text is None:
+        return None
+    zero = re.search(
+        r"Tests run:\s*0,\s*Failures:\s*0,\s*Errors:\s*0", text
+    )
+    ran_something = re.search(r"Tests run:\s*[1-9]", text)
+    if zero is not None and ran_something is None:
+        return (
+            "ZERO_TESTS_WITH_SELECTOR: 命令含测试选择器但 Tests run=0（exit 0 不代表通过）；"
+            "常见于 surefire 插件级 excludedGroups 压过命令行覆盖——检查 pom 是否写死 "
+            "<excludedGroups>（应改为 ${excludedGroups} 属性占位）"
+        )
+    return None
+
+
 def cmd_scenario_receipt_template(args: argparse.Namespace) -> int:
     """Emit a schema-v2 receipt skeleton built from the scenario manifest.
 
@@ -3202,8 +3258,32 @@ def cmd_scenario_receipt_template(args: argparse.Namespace) -> int:
         return 0
     out_path = Path(str(out_raw)).expanduser()
     if not out_path.is_absolute():
-        out_path = change_dir / out_path
+        # 防双重拼接（E-1）：调用方按 CLI 惯例传 cwd 相对路径时（如
+        # .harness/changes/<cn>/evidence/x.json），直接拼 change_dir 会产生嵌套
+        # 幽灵目录。相对路径若以 change-dir 自身前缀开头，按 cwd 解析；否则按
+        # 文档规则相对 change-dir 解析。
+        cwd = Path.cwd().resolve()
+        change_resolved = change_dir.resolve()
+        if _is_relative_to(change_resolved, cwd):
+            change_rel = change_resolved.relative_to(cwd)
+            if out_path.parts[: len(change_rel.parts)] == change_rel.parts:
+                out_path = cwd / out_path
+            else:
+                out_path = change_dir / out_path
+        else:
+            out_path = change_dir / out_path
     out_path = out_path.resolve()
+    change_resolved = change_dir.resolve()
+    cwd = Path.cwd().resolve()
+    if not (
+        _is_relative_to(out_path, change_resolved)
+        or _is_relative_to(out_path, cwd)
+    ):
+        return emit_error(
+            "--out 解析后越出项目目录: " + str(out_path),
+            as_json=as_json,
+            error_code="SCENARIO_RECEIPT_OUT_OF_PROJECT",
+        )
     try:
         out_path.parent.mkdir(parents=True, exist_ok=True)
         out_path.write_text(body, encoding="utf-8", newline="\n")
@@ -3321,7 +3401,7 @@ def build_parser() -> argparse.ArgumentParser:
     p_hash.set_defaults(func=cmd_hash)
 
     p_reuse = sub.add_parser("can-reuse", parents=[shared_json], help="decide whether a verification can be reused")
-    p_reuse.add_argument("--change-dir", required=True)
+    p_reuse.add_argument("--change-dir", "--change", dest="change_dir", required=True)
     p_reuse.add_argument(
         "--verification",
         required=True,
@@ -3389,7 +3469,7 @@ def build_parser() -> argparse.ArgumentParser:
     p_reuse.set_defaults(func=cmd_can_reuse)
 
     p_record = sub.add_parser("record", parents=[shared_json], help="write validation result into ledger")
-    p_record.add_argument("--change-dir", required=True)
+    p_record.add_argument("--change-dir", "--change", dest="change_dir", required=True)
     p_record.add_argument("--verification", required=True)
     p_record.add_argument("--status", required=True)
     p_record.add_argument("--command", required=True)
@@ -3515,7 +3595,7 @@ def build_parser() -> argparse.ArgumentParser:
             "pre-filled from meta/scenario-manifest.json"
         ),
     )
-    p_receipt.add_argument("--change-dir", required=True)
+    p_receipt.add_argument("--change-dir", "--change", dest="change_dir", required=True)
     p_receipt.add_argument(
         "--scenario-ids",
         required=True,

package/harness/bundles/java/cursor/.harness-build.json

@@ -2,5 +2,5 @@
   "schemaVersion": 1,
   "overlay": "java",
   "agent": "cursor",
-  "coreHash": "c008a303148bc343"
+  "coreHash": "24cdb785e33ec6c2"
 }

package/harness/bundles/java/cursor/harness-apidoc/SKILL.md

@@ -3,7 +3,7 @@ name: harness-apidoc
 description: 从 Java 后端代码生成结构化前端 API 文档（Controller/VO/ErrorCode）。仅当用户显式调用
   /harness-apidoc 时使用，不得自动触发。
 ---
-<!-- generated by harness_deploy.py; core=c008a303148bc343; overlay=java; agent=cursor; do not edit -->
+<!-- generated by harness_deploy.py; core=24cdb785e33ec6c2; overlay=java; agent=cursor; do not edit -->
 # harness-apidoc — 前端接口文档（Java overlay）
 
 ## Purpose