mirror/docs/implementation-status.md

实现状态

版本：0.2.0-beta.2

已实现

共享核心

• 追加式任务 ledger、哈希链、严格 schema、原子写入、generation 控制、来源、覆盖、 冲突、验证状态和当前有效投影。
• 有界压缩快照、恢复等价检查、旧 next_action 强制失效、resume、clear、 handoff 和子 Agent 候选。
• 用户权威状态的完整可读提案、一次性第二确认和来源事件单次消费。
• 8 MiB ledger、三个 512 KiB 快照、128 个有效项、256 KiB handoff 与模型上下文 预算等硬上限。
• 凭据脱敏、宿主 ID 哈希、路径 realpath containment、symlink/junction 防护、两阶段 reset/delete 和删除后字节扫描。
• 一个只读、七字段 Continuity-to-Guard projection；没有写回。

Codex

• 插件 manifest、Git marketplace、默认 Hooks、Skill、本地 stdio MCP 与八个有界工具。
• PreCompact、PostCompact、compact/resume/clear SessionStart、 UserPromptSubmit、Subagent 与 SessionEnd 闭环。
• 真实手动压缩、连续自动压缩、字节一致安装缓存、宿主只读发现和安装包 E2E 收据。
• 91 个核心测试、Hook/MCP smoke、30 案例协议 fixture 和仓库验证器。

DeepSeek Harness

• 与核心共用状态和恢复规则的 Cordis 插件适配器及 dsh.bundle.patch。
• native tools，并由宿主绑定 task、cwd 与可信 user source，相关字段不暴露给模型。
• agent/inbox/inserted、compaction start/end、resume、父子 Agent 候选和 awaited agent/pre-step 恢复；summary 内容明确忽略且不写入状态。
• 发布版 0.1.1-rc.2 Cordis、AgentRegistry、Session、SystemPrompt 与 ToolRuntime 集成测试。
• 7 个适配/集成测试、隔离 tarball 安装收据和发布版 Host API 生命周期收据。

macOS

• 同一份代码和包，没有 Mac fork。
• 已配置 GitHub Actions macos-latest Node 20/22 完整核心、DSH、仓库、Hook、 MCP、协议评估与依赖审计矩阵；公开绿灯是发布门槛。
• 跨平台 data-root 和路径测试，安装/卸载与证据边界文档。

刻意未实现

• 完整对话归档、长期记忆、向量检索、任务管理器、规划器或第二套 Harness。
• 每轮模型摘要、后台常驻进程、远端账户同步、跨任务画像。
• 由模型提供 provider token、verified-evidence token、task/cwd/source identity。
• 直接修改宿主摘要、阻止宿主压缩、接管权限审批或执行工具。
• 自动删除 30 天前状态。
• 实时三插件 bridge 或 Guard 写回。

协议存在但未实时启用

• Intent provider：核心测试覆盖版本回退、同版本碰撞和 hash 不一致；公共表面无安全 provider 身份隔离，所以不开放绑定。
• Continuity-to-Guard：保留的七字段 snapshot shape 已冻结并测试；Execution Fidelity Guard 0.2.2 不读取该 snapshot，仍没有 live Continuity producer 或 consumer bridge。
• 独立的非官方 DeepSeek Harness Guard adapter 0.1.0-alpha.2 已发布；它遵守相同 的只读所有权边界，但不是 Context Continuity 的实时集成。
• 同时安装 Intent Loop、Context Continuity 和 Guard 不会自动形成三套或一套共享真相。

尚需真实验证

• 冻结的 30 任务三臂产品效果评估。
• 真实 Mac Codex 宿主上的手动与自动压缩生命周期。
• 完整 DSH CLI profile add/remove 与 DSH 引擎生成的自动压缩。
• 长期独立用户 dogfood、升级矩阵和更多 Codex/DSH 版本。
• Intent Loop 暴露满足单调 revision、规范 hash 与受信身份边界的 producer 后的真实 三产品组合测试。

生命周期、安装包和 Host API 收据是机制证据，不等于已经证明减少返工、目标漂移或 恢复时间。