用途：facts-implement 是事实驱动实现技能，目标是把 @spec 事实系统性地实现在代码中，并把完成的事实从 @spec 标记为 @implemented，完成规格到实现的生命周期转换。只处理 @spec 事实；@draft 事实需先用 facts-refine 精炼，未打标签的事实视为已成立，无法确认时可建议先运行 facts-discover。
主要流程与能力：先 facts list 加载完整规格，理解全部事实及各事实依赖关系；若存在 ## domain 段先读，用其中实体名推理实现顺序。再用 facts check 查看哪些命令型事实通过、哪些失败（结构校验错误会中断检查），用 facts list --tags "spec" 列出待实现目标；对已经通过校验的 @spec 事实核对后直接转换，不重复实现。随后自行规划顺序，把可独立实现的事实分组并行处理（可用子代理），相互依赖的需串行。
使用方式与命令：对每个事实读标签写代码使其成立；有校验命令则运行命令确认（退出码 0 为完成），无校验命令的需逐个手动核对代码行为，不能跳过或批量确认。完成后转换标签：facts edit <id> --remove-tag "spec" --add-tag "implemented"。支持短别名：ll（list --light）、at <id> <tag>（quick --add-tag）、rt <id> <tag>（quick --remove-tag）、rm、ls。全部完成后运行 facts check，所有命令型事实应通过；再用 facts list --tags "spec" 确认无剩余，若有则报告阻塞原因。若发现原实现有事实未覆盖的边界行为，可用 facts add "..." --section relevant/section --tags "spec" 补充后实现；新跨领域概念可加入主 .facts 文件的 ## domain：facts add "a <Name> is <definition>" --section domain。
适用场景：按事实表、规格或事实清单进行实现或构建；在重构或迁移时保证行为保真。
限制与注意：不要修改事实标签、结构或分节组织，只添加 @implemented 标签并修复损坏命令；校验命令即测试，除非事实要求否则不另写测试；行为保真优先于字面通过；歧义时优先选更具体、带校验命令的事实，无法解决则跳过并报告；无法完成的事实不标记并报告；命令有笔误或路径错误用 facts edit <id> --command "corrected command" 修正；实现需要时可添加依赖；按连贯批次提交。
其他：该技能的官方文档、收费与平台支持信息暂未提供。