easy-coding-harness 0.9.1 → 0.10.0-beta.1

package/CHANGELOG.md

@@ -6,6 +6,37 @@
 - `y`：常规功能升级
 - `z`：日常 bug 修复
 
+## 0.10.0-beta.1
+
+- 新增默认关闭的 Java TDD 模式，支持项目级 CLI 配置与 session 覆盖；覆盖率阈值默认
+  90、可配置 1..100，并在 ANALYSIS → IMPLEMENT 与任务一起冻结。
+- 新增 `ec-config` 统一管理 Approval、Workflow、TDD 与阈值；`ec-task-management` 收口为
+  纯任务生命周期面板。TDD 开启时状态栏在 Workflow 后显示独立 `TDD` 标识，关闭时格式
+  与原有执行深度完全不变。
+- TDD 开启后要求 Java RED/GREEN/REFACTOR（纯重构为 characterization GREEN → GREEN）、
+  独立 TDD review，以及 JaCoCo 修改生产代码可执行行差异覆盖率；本地与 GitLab TEST
+  stage 复用 `.easy-coding/tools/easy_coding_java_coverage.py` 门禁，验收必须同时保留本地
+  结果与成功 GitLab pipeline/job 证据。
+- 配置 schema 升至 4；旧项目、session 与在途 task 迁移后保持 TDD 关闭。TDD 关闭时不
+  扫描 CI/JaCoCo、不生成 TDD artifact、不运行额外命令，也不提高 Fast/Standard/Strict
+  的既有测试与验收深度。
+
+## 0.10.0-beta.0
+
+- 接入 `easy-dev-spec/v1` Canonical Spec：同步最终 producer 协议实现并新增只读
+  `inspect-dev-spec`、确定性 `select-dev-spec-scope`、选择式 `create-task-from-spec` 与
+  依赖证据 `satisfy-spec-dependency` 状态 API；用户选择多个 Spec task 后仍只创建一个
+  Harness task，消费上下文按仓库形成闭包。
+- Task、Unit 与执行证据新增来源 Spec SHA、仓库、source task/step、符号和测试命令追踪；
+  ANALYSIS 使用最终 READY 语义机械校验全局、契约、仓库、任务和验收闭环，并继续校验
+  仓库身份、基线、hard 依赖及 task/change/step/test 追踪。
+- IMPLEMENT、REVIEW、VERIFICATION 与 Git 范围按 `repo_id` 隔离；pending integration
+  依赖允许完成本地检查，但在证据闭合前禁止进入 MEMORY 或宣称全链路完成。
+- 保持历史/legacy task、现有状态图、approval/workflow mode 与指纹证据兼容；Canonical
+  Spec 始终只读，本地 dev-spec、execution plan 和 test strategy 作为带来源哈希的派生物。
+- 补齐 Codex 根身份兼容：真实运行时写入的裸 `root`、既有 `/root` 及其协作子路径统一
+  规范化为 `codex`，避免状态行、breadcrumb、任务列表与 claim 再次误报跨 Agent handoff。
+
 ## 0.9.1
 
 - 正式发布 Codex Agent 身份归一化修复：协作路径 `/root`、`/root/...` 与平台身份

package/README.md

@@ -77,6 +77,7 @@ INIT --[always auto]--> ANALYSIS -> IMPLEMENT -> REVIEW -> VERIFICATION -> MEMOR
                               +------- repair ----------+
 approval --[approve / guard / confirm / auto]--> transition wait policy
 workflow --[adaptive => fast / standard / strict]--> stage execution depth
+tdd --[off by default / Java changed-line gate]--> optional test discipline
 any stage --[user abort via ec-task-close]--> CLOSED
 ```
 
@@ -85,6 +86,7 @@ any stage --[user abort via ec-task-close]--> CLOSED
   ANALYSIS → IMPLEMENT 确认一次，随后各阶段在质量门禁通过后自动推进，`auto` 从开始即
   自动推进。
 - 工作流模式优先级为 session 覆盖 > 项目 `behavior.workflow_mode` > `adaptive`。Adaptive 在 ANALYSIS 结束时根据风险解析、展示并冻结为 `fast`、`standard` 或 `strict`，用户可在风险下限之上调整。
+- Java TDD 默认关闭；优先级为 session 覆盖 > 项目配置 > `false/90%`。开启后在 ANALYSIS → IMPLEMENT 冻结开关与阈值，执行 RED/GREEN/REFACTOR（纯重构使用 characterization GREEN → GREEN），并以同一工具执行本地与 GitLab TEST-stage 差异覆盖率门禁。关闭时不扫描 CI/JaCoCo、不增加命令或提高原工作流验收深度。
 - 所有新代码任务都完整进入 REVIEW；不同工作流模式只调整各状态内部的上下文加载、执行主体、审查独立性、验证范围和记忆深度，不绕过状态或证据门禁。
 - 显式 `doc` / `analysis` / `report` 只读任务不生成 `test-strategy.md`；展示完整报告后按生效模式进入 COMPLETE，不执行 REVIEW、VERIFICATION 或 MEMORY，也不写任务记忆。
 - `VERIFICATION` 是验证硬门控：Fast 运行最小充分检查，Standard 运行受影响范围检查，
@@ -92,6 +94,23 @@ any stage --[user abort via ec-task-close]--> CLOSED
   并留下当前指纹下的绿色证据，就不算通过。
 - `MEMORY` 先写入本次任务短期记忆，再执行长期记忆阈值门禁；未超过阈值时长期沉淀为 no-op。
 
+## Canonical Dev Spec
+
+Harness 可选择性消费 easy-dev-spec 生成的单文件 `easy-dev-spec/v1` Canonical Spec：
+
+1. `ec-workflow` 先只读检查 manifest、仓库、任务 DAG、依赖和 baseline，不创建任务。
+2. 用户明确选择一个或多个 Spec task；`select-dev-spec-scope` 按仓库提取确定性消费
+   闭包，Harness 不默认导入整份 Spec，也不会读取未选任务正文。
+3. 一次选择创建一个 Harness task；ANALYSIS 使用最终 producer READY 门禁，并将
+   selected task 映射为带 `repo_id`、`source_task_id`、source steps、文件、符号和测试
+   命令的 Unit。
+4. `hard` 依赖决定执行顺序，冻结的 `contract` 依赖允许并行编码，`integration` 依赖
+   在证据闭合前阻止全链路完成。
+
+Canonical Spec 是只读设计源；`.easy-coding/tasks/<task-id>/` 下的 `dev-spec.md`、
+`execution.jsonl` 和 `test-strategy.md` 是绑定来源 SHA-256 的运行时派生物，不会把开发
+进度写回源 Spec。无 Canonical manifest 的历史 Dev-Spec 继续走原有整文分析流程。
+
 ## Supermodule 模型
 
 在包含 `.gitmodules` 的父仓中，Easy Coding Harness 按 git 边界分层运行：
@@ -113,7 +132,7 @@ any stage --[user abort via ec-task-close]--> CLOSED
 | `easy-coding add-agent` | 给已接入项目追加 Claude Code、Codex 或 Qoder 支持；supermodule 父仓可按已初始化子仓分层追加 |
 | `easy-coding upgrade` | CLI 升级后同步项目内生成文件，生成区覆盖，用户资产保留；supermodule 父仓会同步升级已初始化子仓 |
 | `easy-coding update` | 更新全局 CLI 到最新发布版 |
-| `easy-coding config` | 交互修改当前项目的 `approval_mode` 与 `workflow_mode` |
+| `easy-coding config` | 交互修改当前项目的 Approval、Workflow、Java TDD 与覆盖率阈值 |
 | `easy-coding status` | 查看已安装平台、harness 版本、当前任务状态 |
 | `easy-coding clear` | 移除 harness 安装物，保留 tasks、spec、memory、project.yaml 等用户资产；supermodule 父仓支持交互选择、`--submodules` 和 `--no-submodules` |
 
@@ -130,7 +149,8 @@ any stage --[user abort via ec-task-close]--> CLOSED
 | `ec-reviewing` | 多维度代码审查，输出 accept / fix / replan / blocked 结论 |
 | `ec-verification` | 执行 lint、typecheck、test 等验证硬门控，并处理验收修复循环 |
 | `ec-memory` | 写短期记忆，并在超过阈值时沉淀长期记忆 |
-| `ec-task-management` | 任务与 session 面板：查看、创建、选择、恢复任务并管理当前会话确认模式 |
+| `ec-task-management` | 任务面板：查看、创建、选择、恢复、交接任务 |
+| `ec-config` | 只读查看或显式修改项目/session 的 Approval、Workflow、TDD 与阈值 |
 | `ec-task-close` | 用户主动中断任务并关闭 |
 | `ec-no-harness` | 当前会话仅旁路 Easy Coding Harness，使用原生 Agent 能力 |
 | `ec-git` | 约束 git diff、commit、push、跨仓库提交等交付动作 |
@@ -167,7 +187,8 @@ easy-coding upgrade
 `behavior.approval_mode` 与 `behavior.workflow_mode`；旧 `lite` 映射为 `guard + fast`。
 项目级模式用 `easy-coding config` 修改（要求
 项目 Harness 与 CLI 版本完全一致，否则先执行 `easy-coding upgrade` 或更新 CLI）；当前
-session 的两类临时覆盖通过 `ec-task-management` 对话修改。
+session 临时覆盖统一通过 `ec-config` 对话修改。升级到 0.10.0-beta.1 时配置 schema 升至
+4，旧项目、会话和在途任务均迁移为 TDD 关闭；同时部署共享 Java 差异覆盖率工具。
 
 若当前会话不希望 Harness 接管，显式调用 `/ec-no-harness`（Codex 使用
 `$ec-no-harness`）。它只旁路 Easy Coding，不关闭其他 hooks，也不忽略其他 skills；

package/dist/cli.js

@@ -103,7 +103,8 @@ async function isDirectory(filePath) {
 }
 
 // src/utils/config-yaml.ts
-var CONFIG_SCHEMA_VERSION = 3;
+var CONFIG_SCHEMA_VERSION = 4;
+var DEFAULT_TDD_COVERAGE_THRESHOLD = 90;
 var APPROVAL_MODES = ["approve", "guard", "confirm", "auto"];
 var CONFIGURED_WORKFLOW_MODES = ["adaptive", "fast", "standard", "strict"];
 function createDefaultConfig(params) {
@@ -125,7 +126,9 @@ function createDefaultConfig(params) {
     },
     behavior: {
       approval_mode: "guard",
-      workflow_mode: "adaptive"
+      workflow_mode: "adaptive",
+      tdd_enabled: false,
+      tdd_coverage_threshold: DEFAULT_TDD_COVERAGE_THRESHOLD
     }
   };
   if (params.supermodule) {
@@ -179,31 +182,43 @@ function isApprovalMode(value) {
 function isConfiguredWorkflowMode(value) {
   return typeof value === "string" && CONFIGURED_WORKFLOW_MODES.includes(value);
 }
+function isTddCoverageThreshold(value) {
+  return Number.isInteger(value) && Number(value) >= 1 && Number(value) <= 100;
+}
 function resolveLegacyBehavior(config2) {
   const behavior = config2.behavior ?? {};
   const legacyLite = behavior.confirm_mode === "lite";
   const approvalMode = isApprovalMode(behavior.approval_mode) ? behavior.approval_mode : isApprovalMode(behavior.confirm_mode) ? behavior.confirm_mode : behavior.auto_mode === true ? "auto" : behavior.strict_confirm === true ? "approve" : "guard";
   const workflowMode = isConfiguredWorkflowMode(behavior.workflow_mode) ? behavior.workflow_mode : legacyLite ? "fast" : "adaptive";
-  return { approvalMode, workflowMode };
+  const supportsTdd = Number(config2.version) >= CONFIG_SCHEMA_VERSION;
+  const tddEnabled = supportsTdd && behavior.tdd_enabled === true;
+  const tddCoverageThreshold = supportsTdd && isTddCoverageThreshold(behavior.tdd_coverage_threshold) ? behavior.tdd_coverage_threshold : DEFAULT_TDD_COVERAGE_THRESHOLD;
+  return { approvalMode, workflowMode, tddEnabled, tddCoverageThreshold };
 }
-async function setBehaviorModes(filePath, approvalMode, workflowMode) {
+async function setBehaviorModes(filePath, approvalMode, workflowMode, tddEnabled, tddCoverageThreshold) {
+  if (tddCoverageThreshold !== void 0 && !isTddCoverageThreshold(tddCoverageThreshold)) {
+    throw new Error("TDD coverage threshold must be an integer from 1 to 100.");
+  }
   return updateConfigYaml(filePath, (config2) => {
     const legacyBehavior = config2.behavior ?? {};
+    const resolvedBehavior = resolveLegacyBehavior(config2);
     const behavior = Object.fromEntries(
       Object.entries(legacyBehavior).filter(
-        ([key]) => key !== "strict_confirm" && key !== "auto_mode" && key !== "confirm_mode" && key !== "approval_mode" && key !== "workflow_mode"
+        ([key]) => key !== "strict_confirm" && key !== "auto_mode" && key !== "confirm_mode" && key !== "approval_mode" && key !== "workflow_mode" && key !== "tdd_enabled" && key !== "tdd_coverage_threshold"
       )
     );
     behavior.approval_mode = approvalMode;
     behavior.workflow_mode = workflowMode;
+    behavior.tdd_enabled = tddEnabled ?? resolvedBehavior.tddEnabled;
+    behavior.tdd_coverage_threshold = tddCoverageThreshold ?? resolvedBehavior.tddCoverageThreshold;
     config2.behavior = behavior;
     config2.version = CONFIG_SCHEMA_VERSION;
   });
 }
 async function migrateBehaviorConfig(filePath) {
   const config2 = await readConfigYaml(filePath);
-  const { approvalMode, workflowMode } = resolveLegacyBehavior(config2);
-  return setBehaviorModes(filePath, approvalMode, workflowMode);
+  const { approvalMode, workflowMode, tddEnabled, tddCoverageThreshold } = resolveLegacyBehavior(config2);
+  return setBehaviorModes(filePath, approvalMode, workflowMode, tddEnabled, tddCoverageThreshold);
 }
 async function ensureProjectId(filePath) {
   let projectId = "";
@@ -242,6 +257,7 @@ var SPEC_DIR = "spec";
 var MAIN_SPEC_DIR = "main";
 var DEV_SPEC_DIR = "dev";
 var TEMPLATES_DIR = "templates";
+var TOOLS_DIR = "tools";
 var SESSIONS_GITIGNORE_ENTRY = ".easy-coding/sessions/";
 var HOOK_BYTECODE_GITIGNORE_ENTRY = "__pycache__/";
 var GENERATED_REGION_START = "<!-- \u2550\u2550\u2550 easy-coding-harness generated (DO NOT EDIT BETWEEN MARKERS) \u2550\u2550\u2550 -->";
@@ -659,8 +675,15 @@ async function writeRuntimeScaffold(cwd, agents, opts = {}) {
   await ensureDir(path6.join(easyCodingDir, SPEC_DIR, DEV_SPEC_DIR));
   await writeMemoryScaffold(easyCodingDir);
   await writeTemplatesScaffold(easyCodingDir);
+  await writeToolsScaffold(easyCodingDir);
   return projectId;
 }
+async function writeToolsScaffold(easyCodingDir) {
+  const toolsDir = path6.join(easyCodingDir, TOOLS_DIR);
+  await ensureDir(toolsDir);
+  const src = getTemplatePath("runtime", "tools", "easy_coding_java_coverage.py");
+  await writeTextFile(path6.join(toolsDir, "easy_coding_java_coverage.py"), await readTextFile(src));
+}
 async function writeTemplatesScaffold(easyCodingDir) {
   const templatesDir = path6.join(easyCodingDir, TEMPLATES_DIR);
   await ensureDir(templatesDir);
@@ -816,6 +839,17 @@ function migrateTaskWorkflowState(task) {
     task.workflow_mode_legacy = true;
     changed = true;
   }
+  if (isActive && taskType !== "project-init" && typeof task.tdd_enabled !== "boolean") {
+    task.tdd_enabled = false;
+    task.tdd_coverage_threshold = DEFAULT_TDD_COVERAGE_THRESHOLD;
+    task.tdd_confirmed_at = (/* @__PURE__ */ new Date()).toISOString();
+    task.tdd_confirmed_by = "upgrade-migration";
+    changed = true;
+  }
+  if (task.tdd_enabled === false && "tdd_baselines" in task) {
+    task.tdd_baselines = void 0;
+    changed = true;
+  }
   return changed;
 }
 function migrateSessionBehavior(session) {
@@ -2515,6 +2549,7 @@ function addRuntimeClearEntries(plan, cwd) {
       path16.join(cwd, EASY_CODING_DIR, CONFIG_FILE),
       path16.join(cwd, EASY_CODING_DIR, SESSIONS_DIR),
       path16.join(cwd, EASY_CODING_DIR, TEMPLATES_DIR),
+      path16.join(cwd, EASY_CODING_DIR, TOOLS_DIR),
       path16.join(cwd, EASY_CODING_DIR, INSTALL_MANIFEST_FILE)
     ])
   ];
@@ -2738,7 +2773,7 @@ function renderTargetPlans(targetPlans) {
 
 // src/commands/config.ts
 import path18 from "path";
-import { cancel as cancel4, confirm as confirm3, outro as outro3, select } from "@clack/prompts";
+import { cancel as cancel4, confirm as confirm3, outro as outro3, select, text } from "@clack/prompts";
 import chalk4 from "chalk";
 
 // src/utils/compare-versions.ts
@@ -2901,16 +2936,48 @@ async function config() {
     cancel4("Configuration cancelled.");
     return;
   }
+  const tddEnabled = await select({
+    message: `Enable Java TDD for this project (current: ${current.tddEnabled ? "enabled" : "disabled"})`,
+    initialValue: current.tddEnabled,
+    options: [
+      { value: false, label: "disabled \u2014 preserve current test depth (default)" },
+      { value: true, label: "enabled \u2014 require TDD evidence and changed-line coverage" }
+    ]
+  });
+  if (typeof tddEnabled === "symbol") {
+    cancel4("Configuration cancelled.");
+    return;
+  }
+  let tddCoverageThreshold = current.tddCoverageThreshold;
+  if (tddEnabled) {
+    const thresholdInput = await text({
+      message: "Minimum changed-production-line coverage percentage",
+      initialValue: String(current.tddCoverageThreshold),
+      validate(value) {
+        const parsed = Number(value);
+        return isTddCoverageThreshold(parsed) ? void 0 : "Enter an integer from 1 to 100.";
+      }
+    });
+    if (typeof thresholdInput === "symbol") {
+      cancel4("Configuration cancelled.");
+      return;
+    }
+    tddCoverageThreshold = Number(thresholdInput);
+  }
   const shouldSave = await confirm3({
-    message: `Set behavior.approval_mode to ${approvalMode} and behavior.workflow_mode to ${workflowMode}?`,
+    message: `Set approval=${approvalMode}, workflow=${workflowMode}, TDD=${tddEnabled ? `enabled (${tddCoverageThreshold}%)` : "disabled"}?`,
     initialValue: true
   });
   if (typeof shouldSave === "symbol" || !shouldSave) {
     cancel4("Configuration cancelled.");
     return;
   }
-  await setBehaviorModes(configPath2, approvalMode, workflowMode);
-  outro3(chalk4.green(`Project modes updated: approval=${approvalMode}, workflow=${workflowMode}.`));
+  await setBehaviorModes(configPath2, approvalMode, workflowMode, tddEnabled, tddCoverageThreshold);
+  outro3(
+    chalk4.green(
+      `Project modes updated: approval=${approvalMode}, workflow=${workflowMode}, TDD=${tddEnabled ? `${tddCoverageThreshold}%` : "off"}.`
+    )
+  );
 }
 
 // src/commands/init.ts
@@ -3218,14 +3285,24 @@ async function status() {
   const migratedBehavior = resolveLegacyBehavior(config2);
   const projectApprovalMode = isApprovalMode(config2.behavior?.approval_mode) ? config2.behavior.approval_mode : migratedBehavior.approvalMode;
   const projectWorkflowMode = isConfiguredWorkflowMode(config2.behavior?.workflow_mode) ? config2.behavior.workflow_mode : migratedBehavior.workflowMode;
+  const projectTddEnabled = migratedBehavior.tddEnabled;
+  const projectTddCoverageThreshold = migratedBehavior.tddCoverageThreshold;
   console.log(`  approval_mode: ${projectApprovalMode}`);
   console.log(`  workflow_mode: ${projectWorkflowMode}`);
+  console.log(`  tdd_enabled: ${projectTddEnabled}`);
+  console.log(`  tdd_coverage_threshold: ${projectTddCoverageThreshold}`);
   console.log("");
   console.log(chalk6.bold("Sessions"));
   console.log(`  project_approval_mode: ${projectApprovalMode}`);
   console.log(`  project_workflow_mode: ${projectWorkflowMode}`);
+  console.log(`  project_tdd_enabled: ${projectTddEnabled}`);
+  console.log(`  project_tdd_coverage_threshold: ${projectTddCoverageThreshold}`);
   console.log(`  effective_approval_mode: ${projectApprovalMode} (without a session override)`);
   console.log(`  configured_workflow_mode: ${projectWorkflowMode} (without a session override)`);
+  console.log(`  effective_tdd_enabled: ${projectTddEnabled} (without a session override)`);
+  console.log(
+    `  effective_tdd_coverage_threshold: ${projectTddCoverageThreshold} (without a session override)`
+  );
   if (sessions.length === 0) {
     console.log("  no session files");
   }
@@ -3236,13 +3313,21 @@ async function status() {
     );
     const sessionApprovalMode = session.approval_mode ?? (legacySessionMode === "lite" ? "guard" : legacySessionMode);
     const sessionWorkflowMode = session.workflow_mode ?? (legacySessionMode === "lite" ? "fast" : hasLegacySessionMode ? "adaptive" : void 0);
+    const sessionTddEnabled = session.tdd_enabled;
+    const sessionTddCoverageThreshold = session.tdd_coverage_threshold;
     console.log(`  - ${key}`);
     console.log(`    agent: ${session.agent ?? "legacy/unknown"}`);
     console.log(`    source: ${session.session_source ?? "legacy"}`);
     console.log(`    approval_mode: ${sessionApprovalMode ?? "project default"}`);
     console.log(`    workflow_mode: ${sessionWorkflowMode ?? "project default"}`);
+    console.log(`    tdd_enabled: ${sessionTddEnabled ?? "project default"}`);
+    console.log(`    tdd_coverage_threshold: ${sessionTddCoverageThreshold ?? "project default"}`);
     console.log(`    effective_approval_mode: ${sessionApprovalMode ?? projectApprovalMode}`);
     console.log(`    configured_workflow_mode: ${sessionWorkflowMode ?? projectWorkflowMode}`);
+    console.log(`    effective_tdd_enabled: ${sessionTddEnabled ?? projectTddEnabled}`);
+    console.log(
+      `    effective_tdd_coverage_threshold: ${sessionTddCoverageThreshold ?? projectTddCoverageThreshold}`
+    );
     console.log(
       `    harness: ${session.harness_disabled ? "disabled for this session" : "enabled"}`
     );
@@ -3258,6 +3343,10 @@ async function status() {
       console.log(
         `    task_workflow_mode: ${task.workflow_mode ?? task.workflow_mode_proposal?.selected_mode ?? "not resolved"}`
       );
+      console.log(`    task_tdd_enabled: ${task.tdd_enabled ?? "not frozen"}`);
+      console.log(
+        `    task_tdd_coverage_threshold: ${task.tdd_coverage_threshold ?? "not frozen"}`
+      );
       console.log(`    last_agent: ${task.last_agent}`);
     } else {
       console.log(`    current_task: ${session.current_task} (task.json missing)`);
@@ -3371,8 +3460,8 @@ async function upgrade(opts) {
     ].filter(Boolean) : [],
     "Will overwrite managed skills, hooks, agents, templates, and generated main-constraint regions.",
     "Will update project-init task to recommend ec-init re-run for version adaptation.",
-    "Will migrate legacy confirmation settings to behavior.approval_mode and behavior.workflow_mode.",
-    "Will migrate legacy workflow stage metadata; memory content, spec, and project knowledge files remain untouched."
+    "Will migrate behavior config to Approval, Workflow, and default-off Java TDD schema 4 fields.",
+    "Will migrate legacy workflow/TDD task metadata; memory content, spec, and project knowledge files remain untouched."
   ].join("\n");
   if (opts.dryRun) {
     console.log(summary);