Haft 智能体项目记忆治理层

能做什么

• 为 AI 编码智能体提供项目级持久记忆：记录正在解决的问题、比较过的方案、人工决策、支持证据以及已过时的内容。
• 把 FPF 的版本化源带入智能体工作上下文，并提供技能、MCP 服务端与命令行三类使用入口。
• 通过 MCP 内核在服务端校验必填字段、比较完整性、证据缺失与授权边界，返回结构化错误。
• 提供 haft_query 等工具，把代码符号或关切查询与项目决策、不变量关联起来。
• 维护规范载体与结构检查：haft spec status、haft spec check、haft spec migrate。
• 记录与执行分离的 WorkCommission；执行交给宿主智能体或其他独立运行器。

适用场景

• 需要让编码智能体在长期项目中保留可追溯决策与依据的工程团队。
• 希望把问题框定、方案探索、比较、决策、验证等环节显式化，而不只依赖提示词纪律。
• 需要在 Claude Code、Codex CLI/App 等宿主中接入本地 MCP 与技能的项目。

使用条件与限制

• 本地优先但并非零足迹：haft init 会在项目内创建 .haft/ 载体，并在 ~/.haft/projects/<id>/ 下创建 SQLite 数据库。
• 稳定支持宿主为 Claude Code 和 Codex；Grok、Hermes、Zed、Antigravity、Cursor、Gemini CLI、OpenCode 等为实验性或遗留适配器。
• 绑定决策需要人工主体直接、明确地请求；h-commission 的授权仍需手动触发。
• 旧语义召回兼容路径可选用 haft-embed 边车，可能启动本地嵌入进程并缓存模型；可通过配置关闭。
• 获取证据或检索 FPF 源不等同于应用、批准或已完成工作；过期证据会被标记待复核。