已实现适配器
| 技术栈 | 执行方式 | Oracle 示例 |
|---|---|---|
| Node.js、Deno、Bun、静态 Web | 隔离容器 | 声明的测试与 HTTP HTML 行为 |
| Python、Go | 隔离容器 | 仓库测试套件或已提交冒烟命令 |
| Java、Kotlin | Maven 或已提交 Gradle Wrapper | 声明的测试套件 |
| .NET、PHP、Ruby | 隔离环境中的锁定恢复 | 声明的测试或应用健康行为 |
| Docker Compose | Docker Desktop | 所有声明服务的健康检查 |
| Rust、Tauri | 容器或确认后原生快照 | 测试以及适用时的有界应用启动 |
| Godot | 确认后原生快照 | 已提交 headless 测试命令 |
| C、C++ | 容器或确认后原生快照 | 声明的 CTest、Meson test 或同等目标 |
每个目标有三个状态
- 计划：根据可追溯命令和依赖判断完整或阻塞。
- 环境：在当前机器上判断兼容、受限或不可用。
- Oracle：根据声明的行为证据判断机器可验证、受限或缺失。
目标被检测到仍可能阻塞。目标能启动仍可能是已启动但未验证。只有完整计划和通过的机器 Oracle 才产生已验证结果。
当前限制
- 源代码必须已经可信。原生执行不提供恶意软件隔离。
- 适配器不会推断业务目的或未记录命令。
- 动态或依赖环境的项目可能需要明确确认，也可能保持阻塞。
- 本机签名不会产生远程身份或认证。
- 可信签名和验收证据完成前不提供预构建安装包。
发布状态
仓库中的 fixture 用已知样例测试每个适配器。对外发布还需要完成文档列出的真实项目和平台测试。仓库的发布状态记录了目前已经完成的检查。
源码 Beta `v0.1.0-beta.2` 可从官网下载页获取。