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

package/CHANGELOG.md

@@ -6,6 +6,157 @@
 - `y`：常规功能升级
 - `z`：日常 bug 修复
 
+## 0.10.0-beta.10
+
+- `.easy-coding/sessions/` 改为事件触发的有界 GC：只在创建新逻辑 session 前执行，
+  无任务绑定的 session 保留 7 天、仍绑定任务的 session 保留 30 天，并按最近活动时间将
+  根目录 session JSON 控制在 100 个以内；创建前会预留一个名额，已存在 session 的日常
+  turn 不重复扫描。
+- 清理依据 session 内容与活动时间，不依赖 Codex、Claude Code、Qoder、PPID 或旧文件名
+  的字符串匹配；缺失或损坏的时间字段回退到文件修改时间，删除前重新比对内容，避免覆盖
+  并发刷新。
+- `easy-coding upgrade` 在实际升级目标中执行一次存量 GC，`--dry-run` 仅展示影响而不删除；
+  acceptance 快照只清理任务不存在、任务已终态或不再被当前验收检查点引用的孤儿文件，
+  tasks、memory、spec、project.yaml 与项目知识文件保持不变。
+- 新增 TypeScript、共享 Python hook 与 upgrade 集成回归，覆盖双 TTL、LRU 上限、损坏旧
+  session、仅新建触发、dry-run 和活动验收证据保留。
+
+## 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 个文件的
+  低风险局部修改优先 Fast；普通业务、多 Unit/文件、闭合的跨仓修改默认 Standard；只有
+  明确高风险与真实复杂度/大影响面同时存在才进入 Strict。
+- 仓库数量只统计 execution plan 中实际修改文件所属的 Git root。Canonical Spec 的未选
+  task、依赖摘要、未使用 `repo_paths`，以及 supermodule 已登记但未修改的子项目不再抬高
+  Workflow；风险描述、标题或文件路径中仅出现 `payment` / `schema` 等普通领域词也不再
+  单独触发 Strict，并行执行本身也只作为 Standard 信号。
+- ANALYSIS 新增渐进成本预算和 `Local Baseline`：只读取当前变更需要的最近邻同类代码、
+  合同和测试，按证据继承命名、空值/异常处理、分层、方法粒度、常量与注释习惯，避免
+  无关全仓扫描、投机性抽象和碎片化小方法。
+- IMPLEMENT/REVIEW 与三平台子代理统一克制设计合同：允许符合局部惯例的直观魔法值，
+  禁止为单个 getter return 创建常量；新增核心 Java 类的全部方法/字段、已有核心类中新增或
+  实质修改的方法/字段必须有 Javadoc，核心或复杂逻辑补充必要意图/约束注释，且不批量改造
+  未触碰历史代码。
+
+## 0.10.0-beta.6
+
+- Canonical Spec 首次路由新增 `inspect-dev-spec --manifest-only`：只通过 normalized remote
+  识别当前 worktree、展示任务目录和共享 execution 状态，不再为未选仓库解析本地路径或
+  为任何未选任务计算 baseline；`path_hint` 明确降级为提示信息。
+- 用户选定 task 后，`inspect-dev-spec --spec-task ...` 只检查所选任务所属仓库及其
+  change/test 范围；当前 worktree remote 唯一匹配时无需手工传 `--repo-path`，即使旧
+  `path_hint` 指向仍存在的原 checkout，也优先绑定当前 worktree。
+- `ec-workflow` 不再在路由阶段提前读取消费闭包；`ec-analysis` 负责唯一一次精确 selector
+  调用，并对 `exact` / `scope-unchanged` 使用快速投影，对 `scope-drifted` 只分析所选任务
+  的漂移文件和符号，派生 dev-spec 不再被解释为第二轮 Spec 创作。
+- 共享 `EDS:EXECUTION` 固化为依赖事实来源：已完成 hard task 或已满足依赖边直接放行；
+  禁止通过另一个本地 Harness task、Git 历史或 Agent 推断重复考古完成状态。
+- 保持项目外原始 Spec absolute locator、身份校验 rebind、共享 writer/CAS 及旧版全量
+  `inspect-dev-spec` 调用兼容；新增 worktree、未选仓库隔离和三平台安装产物回归测试。
+
+## 0.10.0-beta.5
+
+- 兼容新版 `easy-dev-spec/v1` 共享执行区：同步设计/整文双摘要与 execution 投影协议，新增
+  单一共享 writer，将 Canonical Task、Step 和 dependency 的实施、验证、完成与取消结果
+  写回原 Spec；本地 `execution.jsonl` 继续保存完整门禁证据。
+- Canonical 绑定改为 `design_sha256 + document_sha256 + execution_revision`：执行进度更新不再
+  误判为方案漂移；CAS 冲突只在设计未变时自动重试一次，稳定幂等键避免重复事件，pending
+  写回可通过 `reconcile-spec-execution` 对账，revision 回退会被硬拦截。
+- 支持用户显式选择项目外 Spec 绝对路径，并提供身份严格校验的 `rebind-spec-source`；静态
+  设计调整必须 revision 恰好 +1、重新 READY 并调用 `sync-spec-design`，受影响任务及后继
+  状态重置后回到 ANALYSIS，禁止手工编辑 `EDS:EXECUTION`。
+- ANALYSIS→IMPLEMENT 只启动依赖已满足的来源任务；IMPLEMENT 按通过的本地测试证据回写
+  Step/implemented，REVIEW 写回阻塞，VERIFICATION 写回 verified，MEMORY→COMPLETE 自动
+  写回 completed，关闭任务写回 cancelled。共享写回与 Git 提交/推送保持相互独立。
+- 共享事件统一记录为 `easy-coding / <Agent> with Easy Coding`；单槽 pending 禁止被不同动作
+  覆盖，可重试 CAS 冲突保留现场，旧设计动作、幂等键载荷冲突和确定性状态错误会清槽解锁。
+  result 只消费当前 `in_progress` 尝试之后的 dispatch/严格成功证据，repair 只重开 blocked
+  来源任务；设计同步同时淘汰受影响依赖证据和旧实现指纹，本地 task.json 使用原子替换。
+
+- 将日常任务记忆与架构维护解耦：每个代码任务只生成不可变短期记忆；仅当长期记忆触发
+  `distill` 时才执行独立架构评估，并默认选择 `no-op`，避免为了更新而更新。
+- MEMORY 状态 API 新增冻结式架构评估契约和 `memory-architecture-assessment` 命令，记录
+  `action / trigger / reason / evidence / affected_sections`，并用 ABSTRACT 与架构 CHANGELOG
+  指纹校验 `no-op / backfill / update` 的实际文件结果；评估失败时不得消费短期候选。
+- 架构更新只接受模块边界、职责/依赖方向、核心流程、技术栈/运行基础设施或现有 ABSTRACT
+  与稳定事实冲突等证据；普通 Bug 修复、字段/DTO 调整、局部重构、临时方案和例行依赖升级
+  不触发更新。稳定编码约定只沉淀为 RULES 更新候选，不静默改写知识约束。
+- 初创项目首个实质任务若缺失 ABSTRACT，可通过 `missing-abstract` 例外在未触发长期蒸馏时
+  完成一次 `backfill`；0.10.0-beta.5 前已冻结的 MEMORY 指令及旧 MEMORY_LONG 恢复路径保持兼容。
+
+## 0.10.0-beta.4
+
+- ANALYSIS 完成后不再向会话回贴整份 `dev-spec.md`，改为展示核心方案、验收摘要、
+  Workflow Mode 与主要风险，并在客户端支持时提供完整 Dev-Spec 的绝对 Markdown 文件链接，
+  不支持本地链接时保留可复制的绝对路径。
+- Dev-Spec 新增结构化“决策闭环”章节；技术路线、接口、模型、状态、范围或验收存在未决问题时，
+  Agent 必须停留在 ANALYSIS 逐项问答并回填结论。状态 API 要求唯一的
+  `decision_status: closed` 标记，未闭合方案不能进入 IMPLEMENT。
+- `ec-implementing` 新增注释交付门禁：作者署名必须使用当前宿主 Agent 与 Easy Coding 的组合，
+  例如 `Codex with Easy Coding`；新增数据模型字段、枚举成员和常量必须逐项说明语义及适用的
+  单位、格式、取值、空值或兼容约束。
+
+## 0.10.0-beta.3
+
+- TDD 业务任务的 `VERIFICATION` 门禁收口为本地证据：每个仓库（Canonical 场景下每个
+  source task）必须有通过的本地单测，以及达到冻结阈值的本地 JaCoCo changed-line
+  coverage；不再要求远程 GitLab pipeline URL、job identity 或成功状态。
+- `ec-tdd-init` 继续在 TDD 关闭态生成并校验参数化 GitLab TEST-stage job、构建配置、
+  JaCoCo XML 与 readiness receipt，但远程 CI 只作为项目自动化能力，不再触发 Harness
+  中间提交、推送或等待远程结果。
+- beta.1/beta.2 任务中已有的 `coverage_scope=gitlab` 记录保持原样并从新验收集合中忽略，
+  因此 pending/failed 远程记录不会阻塞升级后的本地门禁；本地 baseline、阈值、报告
+  指纹及 TDD 生命周期/review 约束保持不变。
+
+## 0.10.0-beta.2
+
+- 新增 `ec-tdd-init`，在 TDD 关闭态初始化或刷新 Java 单测执行、JaCoCo XML、GitLab
+  TEST job、报告 artifact 与 changed-line coverage gate；初始化只建设基础设施，不批量补
+  存量业务单测，也不要求仓库全量覆盖率。
+- 新增 `.easy-coding/tools/easy_coding_tdd_readiness.py` 与覆盖构建、GitLab CI、coverage
+  工具的文件指纹 receipt；项目级 `easy-coding config`、session `set-tdd` 和 ANALYSIS →
+  IMPLEMENT 均在开启/冻结 TDD 前机械校验 readiness，缺失或漂移时只允许先初始化或
+  保持关闭。TDD 关闭的普通 hook 不扫描这些文件。
+- `tdd-init` 作为专用代码任务始终冻结 `tdd_enabled=false`，即使遗留项目/session 或暂停
+  任务请求开启 TDD，也可正常创建和修改 CI，消除“开启 TDD 后又依赖尚未创建 CI”的
+  循环阻塞；初始化完成后仍需用户显式开启 TDD。
+- 配置 schema 升至 5；升级时没有 readiness 的 beta.1 项目与 session TDD 请求迁移为
+  关闭并保留阈值，已冻结活动任务合同不被静默改写。后续业务任务仍只验收相对冻结
+  baseline 的新增/修改生产代码行，默认门槛 90%、测试设计目标接近 100%。
+
 ## 0.10.0-beta.1
 
 - 新增默认关闭的 Java TDD 模式，支持项目级 CLI 配置与 session 覆盖；覆盖率阈值默认

package/README.md

@@ -84,32 +84,53 @@ any stage --[user abort via ec-task-close]--> CLOSED
 - 审批模式优先级为 session 覆盖 > 项目 `behavior.approval_mode` > `guard`；`approve`
   逐边确认，`guard` 确认 ANALYSIS → IMPLEMENT 与 VERIFICATION → MEMORY，`confirm` 只在
   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、不增加命令或提高原工作流验收深度。
+  自动推进。所有模式仅在 VERIFICATION 绿色检查点之后又出现新代码差异时临时暂停：展示
+  精确 diff 与摘要，由用户确认该摘要后继续；这不会把 `auto` 永久降级为人工审批。
+- 工作流模式优先级为 session 覆盖 > 项目 `behavior.workflow_mode` > `adaptive`。Adaptive
+  以 Standard 作为普通业务默认：单仓单 Unit、非并行且不超过 5 个文件的低风险局部修改
+  优先 Fast；只有明确高风险与真实复杂度/大影响面同时存在才进入 Strict。仓库数只按当前
+  execution plan 实际修改的 Git root 计算，用户可在机械风险下限之上调整。
+- ANALYSIS 会先通过问答闭合影响技术路线、接口、模型、状态、范围或验收的实质性问题，
+  并在 Dev-Spec 中记录唯一的 `decision_status: closed`。会话只展示核心方案、验收摘要、
+  Workflow Mode 与主要风险；完整 `dev-spec.md` 通过绝对本地链接或路径按需查看。
+- Java TDD 默认关闭；优先级为 session 覆盖 > 项目配置 > `false/90%`。首次开启前必须运行 `ec-tdd-init`，只建设 JUnit/JaCoCo/GitLab 增量覆盖率基础设施，不补存量业务单测；readiness 通过后才允许显式开启。开启后在 ANALYSIS → IMPLEMENT 冻结开关、baseline 与阈值，只验收本任务新增/修改生产代码行，执行 RED/GREEN/REFACTOR（纯重构使用 characterization GREEN → GREEN），并要求本地单测通过、本地差异覆盖率达到冻结阈值。GitLab TEST-stage job 仍会生成，但远程 pipeline 结果不属于 Harness 验收证据，也不会触发中间提交推送。关闭时普通任务不扫描 CI/JaCoCo、不增加命令或提高原工作流验收深度。
 - 所有新代码任务都完整进入 REVIEW；不同工作流模式只调整各状态内部的上下文加载、执行主体、审查独立性、验证范围和记忆深度，不绕过状态或证据门禁。
 - 显式 `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
 
 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 继续走原有整文分析流程。
+1. `ec-workflow` 先用 `inspect-dev-spec --manifest-only` 只读校验 manifest，通过 normalized
+   remote 识别当前 worktree，并展示任务 DAG 与共享 execution；不会解析未选仓库路径，也
+   不在选择前计算任何任务的 baseline。旧 Spec 仍可只读检查，但成为可执行任务前必须
+   初始化共享执行区。
+2. 用户明确选择一个或多个 Spec task 后，Harness 用 `--spec-task` 只检查所选任务仓库和
+   change/test 范围。当前 worktree remote 唯一匹配时无需手工路径；`path_hint` 不一致只会
+   形成一次运行时映射提示，不会复制或修复原 Spec。
+3. 一次选择创建一个 Harness task；ANALYSIS 唯一一次调用 `select-dev-spec-scope` 提取确定性
+   消费闭包。`exact` / `scope-unchanged` 直接快速投影为 Unit、测试策略和派生 dev-spec，
+   `scope-drifted` 才读取所选范围内的漂移文件与符号；未选任务正文始终不进入上下文。
+4. `EDS:EXECUTION` 是依赖事实来源：`hard` 依赖决定执行顺序，冻结的 `contract` 依赖允许
+   并行编码，`integration` 依赖在证据闭合前阻止全链路完成；不会再从本地任务或 Git 历史
+   重复推断共享状态。
+
+Canonical Spec 的静态设计由 design revision + `design_sha256` 冻结；共享
+`EDS:EXECUTION` 则接收 Harness 的 Task/Step/dependency 投影。写回使用
+`execution_revision` CAS、幂等键和断点对账，执行区变化不会使本地 plan/review/verify
+指纹失效，设计变化或 revision 回滚仍会阻塞。显式项目外路径受支持，迁移后只能通过
+身份一致的 rebind 修复定位。静态设计调整必须 revision +1、READY 并执行 `sync-design`；
+机器执行区禁止手工编辑。Canonical task 在 Harness 本地校验完成后仍保持 `implemented`，
+只有 VERIFICATION → MEMORY 边界按显式确认或既有审批模式真正应用时才写为 `verified`，
+并携带验收差异摘要；MEMORY 完成后再写为 `completed`。无 Canonical manifest 的历史
+Dev-Spec 继续走原有整文分析流程。
 
 ## Supermodule 模型
 
@@ -132,7 +153,7 @@ Canonical Spec 是只读设计源；`.easy-coding/tasks/<task-id>/` 下的 `dev-
 | `easy-coding add-agent` | 给已接入项目追加 Claude Code、Codex 或 Qoder 支持；supermodule 父仓可按已初始化子仓分层追加 |
 | `easy-coding upgrade` | CLI 升级后同步项目内生成文件，生成区覆盖，用户资产保留；supermodule 父仓会同步升级已初始化子仓 |
 | `easy-coding update` | 更新全局 CLI 到最新发布版 |
-| `easy-coding config` | 交互修改当前项目的 Approval、Workflow、Java TDD 与覆盖率阈值 |
+| `easy-coding config` | 交互修改当前项目的 Approval、Workflow、Java TDD 与覆盖率阈值；开启 TDD 前要求 readiness |
 | `easy-coding status` | 查看已安装平台、harness 版本、当前任务状态 |
 | `easy-coding clear` | 移除 harness 安装物，保留 tasks、spec、memory、project.yaml 等用户资产；supermodule 父仓支持交互选择、`--submodules` 和 `--no-submodules` |
 
@@ -151,6 +172,7 @@ Canonical Spec 是只读设计源；`.easy-coding/tasks/<task-id>/` 下的 `dev-
 | `ec-memory` | 写短期记忆，并在超过阈值时沉淀长期记忆 |
 | `ec-task-management` | 任务面板：查看、创建、选择、恢复、交接任务 |
 | `ec-config` | 只读查看或显式修改项目/session 的 Approval、Workflow、TDD 与阈值 |
+| `ec-tdd-init` | 在 TDD 关闭态初始化/刷新 Java changed-line coverage 基础设施，不补存量单测 |
 | `ec-task-close` | 用户主动中断任务并关闭 |
 | `ec-no-harness` | 当前会话仅旁路 Easy Coding Harness，使用原生 Agent 能力 |
 | `ec-git` | 约束 git diff、commit、push、跨仓库提交等交付动作 |
@@ -181,14 +203,22 @@ Canonical Spec 是只读设计源；`.easy-coding/tasks/<task-id>/` 下的 `dev-
 easy-coding upgrade
 ```
 
-`upgrade` 会刷新生成区内的 skills、hooks、agents、主约束模板和运行时模板，不会删除已有任务、spec、memory、project.yaml 或项目知识文件。
+`upgrade` 会刷新生成区内的 skills、hooks、agents、主约束模板和运行时模板，不会删除已有任务、spec、memory、project.yaml 或项目知识文件。0.10.0-beta.10 起，实际升级还会执行一次 session GC；`--dry-run` 不删除数据。
 
 升级到 0.9.0 时，旧 `strict_confirm` / `auto_mode` / `confirm_mode` 会一次性迁移为
 `behavior.approval_mode` 与 `behavior.workflow_mode`；旧 `lite` 映射为 `guard + fast`。
 项目级模式用 `easy-coding config` 修改（要求
 项目 Harness 与 CLI 版本完全一致，否则先执行 `easy-coding upgrade` 或更新 CLI）；当前
-session 临时覆盖统一通过 `ec-config` 对话修改。升级到 0.10.0-beta.1 时配置 schema 升至
-4，旧项目、会话和在途任务均迁移为 TDD 关闭；同时部署共享 Java 差异覆盖率工具。
+session 临时覆盖统一通过 `ec-config` 对话修改。升级到 0.10.0-beta.2 时配置 schema 升至
+5；未完成 `ec-tdd-init` readiness 的项目/session TDD 请求迁移为关闭并保留阈值，同时
+部署共享 Java 差异覆盖率与 readiness 工具。0.10.0-beta.3 起，TDD 业务任务只依赖本地
+单测与本地差异覆盖率，历史远程 CI 证据保留但不再参与验收。已经冻结的活动任务合同
+不会被静默改写。0.10.0-beta.4 起，仍停在 ANALYSIS 的旧任务必须补齐决策闭环后才能
+进入 IMPLEMENT；已经进入后续阶段的任务不受影响。
+
+session GC 只在创建新逻辑会话前和实际升级时触发：无任务绑定的会话保留 7 天、仍绑定
+任务的会话保留 30 天，并按最近活动时间将根目录 JSON 控制在 100 个以内。活动任务仍在
+引用的 acceptance 验收快照会被保留；任务、记忆、Spec 和项目知识不参与清理。
 
 若当前会话不希望 Harness 接管，显式调用 `/ec-no-harness`（Codex 使用
 `$ec-no-harness`）。它只旁路 Easy Coding，不关闭其他 hooks，也不忽略其他 skills；