用途
ghost 面向从既有代码仓库中提取「ghost 包」的场景。ghost 包是一组与编程语言无关的产物，包含规范（SPEC.md）、可移植测试（tests.yaml）和安装提示（INSTALL.md），使同一行为契约能够被迁移到任意目标语言或测试框架中重新实现。其核心主张是「保存行为，而非文字」：tests.yaml 是行为契约，源测试与捕获轨迹是主要证据，代码与文档仅在证据留白时补充，且不得与证据冲突。
主要能力
- 行为契约抽取：将公开 API 或智能体工具面映射为稳定的操作标识（如 foo、module.foo、Class#method、Class.method），并组织成功能 API、协议/CLI 或场景三种契约形态之一。
- 测试与场景覆盖：对每个公开操作提供确定性用例；对有状态工作流提供可执行端到端循环覆盖；对智能体场景提供受控工具沙箱、机器可检查判定条件和轨迹级不变量。
- 非确定性归一化：将时间、随机种子、语言区域、无序迭代等外部因素转化为显式输入输出；对模型/智能体的随机性则以通过率与不变量违规次数作为可靠性门禁。
- 验证材料生成：产出验证信号并记录在 VERIFY.md，包含摘要、重生成、验证矩阵、可追溯性矩阵、变异敏感性、重生成对等性与限制等部分；同时生成 verification/evidence/ 下的证据包。
- 一致性配置：定义 Core Conformance（核心一致性）、Extension Conformance（扩展一致性，可选）和 Real Integration Profile（真实集成配置，依赖环境，可带理由跳过）。
- 分层智能体抽取：当公开契约实质依赖具名运行时接缝（如提供方接口、扩展注册表、执行环境、事件面、持久化产物契约）时，将来源归类为 layered_agentic，并要求额外产出 interface_inventory.json 与 contract_traceability.csv，把具名接缝、边界不变量和持久化产物契约映射到显式 case_id。
使用方式
资料给出的工作流是「测试优先」的：先定义范围与契约（写明上游仓库与修订版本、目标 ghost 输出路径，选定 tests.yaml 形态并贯穿 SPEC.md、INSTALL.md、VERIFY.md 保持一致）；再梳理来源（定位测试套件、示例与主文档，识别公开 API 并确认可见性口径，识别有状态工作流，构建覆盖矩阵）；然后采集行为证据（提取测试用例与期望输出，记录边界值、舍入、编码与错误情形，归一化环境假设）；最后撰写 SPEC.md 并生成验证材料。操作标识约定强调避免语言特定的拼写差异，优先使用源库文档中的规范名称；智能体场景的操作标识宜与智能体所见工具名一致。用例标识要求稳定，并贯穿 traceability.csv 与 adapter_results.jsonl。tests.yaml 必须包含指向上游证据的来源版本标识（发布版本或不可变修订标识）。
适用场景
适用于行为可表达为确定性数据的系统：接近纯函数式的操作（输入到输出或错误）以及覆盖公开 API 的可运行测试套件。也适用于行为可表达为受控、可重放场景的智能体系统（需工具沙箱、机器可检查判定条件、确定性调试模式与类生产可靠性模式）。还适用于契约依赖具名运行时接缝与持久化产物的分层智能体系统。
限制
当契约依赖时间、随机性、IO、并发、全局状态或平台细节时，抽取会变难（仍可能实现），需在 SPEC.md 与 VERIFY.md 中显式声明假设，并把非确定性归一化为显式输入输出。ghost 包不得包含实现代码、适配器运行器或构建工具，文档需改写而非逐字复制（许可证文件须原样保留为 LICENSE*）。验证采用失败关闭阈值：公开操作、主要工作流与必需用例标识均须 100% 映射，并需通过变异敏感性与独立重生成对等性检查。跳过用例须最小化并记录原因。人类可读的警告/错误消息默认视为不稳定，除非测试证明其属于公开契约。
暂未提供
资料未提供价格、收费模式、支持的平台清单、实际安装命令、性能数据或具体使用效果。