Derivative 是一个开源 AI 辅助引擎，专注于从自然语言需求直接合成可执行软件。其软件构建流水线名为 Forge，目标不是简单生成看似合理的实现并返回，而是回答一个更严格的问题：什么样的证据才足以证明生成的软件可以被接受。因此，Forge 将自然语言需求转换为类型化义务，在生成器之外执行候选代码，由独立验证器进行检查，修复过程受观察到的失败限制，无法支持的声明会失败关闭而非被乐观打包。
用途
Derivative 面向需要在“需求到软件”过程中引入可验证证据链的场景。它不满足于生成代码，而是要求候选实现满足可执行需求、在沙箱中成功运行、通过独立检查，并产生足够证据后才允许打包。
主要能力
- 需求保留：硬性、模糊和通用需求可从源文本追踪到计划、文件、测试、断言和验证证据。
- 质量契约：安全、持久化、速率限制、可审计性、可观测性和测试深度等承诺可以转化为可执行义务。
- 隔离执行：生产验证在临时 Docker 容器中运行，无网络、只读根文件系统、资源限制和环境白名单。
- 独立验证：语法/导入/运行、义务/验收和对抗性检查必须全部通过。
- 有界修复：重试针对观察到的失败签名，并且必须产生实质性产物变化后才能重新验证。
- Oracle 预检：不一致的外部基准测试框架会在 Forge 或模型执行前以 oracle_invalid 终止。
使用方式
前置条件：Python 3.11 和 Docker。Docker 用于生成代码的生产验证。 无需 API 密钥即可生成并验证确定性产物： （资料中未提供具体命令） 启用模型支持的候选编译和修复： （资料中未提供具体命令） 主机凭据不会被生成代码沙箱继承。 CLI 会报告终端状态、已执行阶段、验证结果、产物路径、修复次数、追踪封条和耗时。 构建沙箱以进行 Docker 支持的集成和基准测试运行： （资料中未提供具体命令） 安装配置文件：仅安装所需能力，requirements.txt 是 requirements/all.txt 的兼容别名。缺少选定的运行时会在其能力边界显式失败。
适用场景
- 全新 Python CLI、REST 服务、数据管道和库产物。
- 确定性能力配置，支持模型支持的降级回退。
- 类型化公共模块和符号契约。
- 需求级测试和断言证据。
- Docker 隔离验证和独立黑盒基准测试 oracle。
- 显式不可行性证书和无效基准测试拒绝。
限制
- 不支持通用现有仓库编辑。
- 不支持其他编程语言或前端生成。
- 不支持任意软件的形式化验证。
- 不支持已实现契约之外的通用语义覆盖。
- 不提供分发 wheel、运行时容器、SBOM 或供应链证明。
验证含义
verified 不意味着形式化证明或普遍正确。它仅表示在该修订版本，生成的产物满足 Forge 知道如何检查的编译需求、质量、执行和对抗性契约。独立盲 oracle 验收单独衡量。不支持或未证明的行为应以 validation_failed 结束，绝不应乐观打包。
基准测试证据
Forge 针对 b541ec7 的 CI 运行于 2026 年 9 月 30 日在 Linux/Python 3.11 上通过 711 项测试。工作流还运行最小运行时冒烟检查和 Docker 支持的扩展基准测试质量门。项目有意将内部验证与外部盲验收分离。冻结的盲基准在修复后绝不会追溯重新评分。最新冻结盲基线为 V11，一个包含 12 个用例的 schema-4 捆绑包：状态准确率 6/12；外部 Verified@1 为 0/6；三个预期 validation_failed 用例和三个不可行用例均与标签匹配。V5–V11 是已知基准语料库；修复后重放是回归证据，不是新的盲结果。V8-005 仅用于回归，不得报告为新的盲证据。V12 没有已发布捆绑包或基线。完整记录位于 Benchmark Evidence。
技术参考与项目方向
技术参考涵盖契约、能力、验证、修复、隔离、依赖和产物 schema。当前阶段刻意狭窄：保留冻结证据，修正结构性机制而非已知用例，并在修复和证据管道稳定后仅在新盲分布上评估未更改系统。关闭此阶段不需要新领域、语言、前端或现有仓库模式。Derivative 在 MIT 许可证下发布。
