14 lines
1.5 KiB
Markdown
14 lines
1.5 KiB
Markdown
# 引擎验证边界
|
||
|
||
Aster 是纯引擎包仓库，不设置独立 CI/CD。库测试、ASDL 生成器检查和 scripts/check.sh 保留在引擎源码中，供依赖它的宿主显式调用；没有工作流、部署镜像或自动发布。
|
||
|
||
[Lyra CI](https://gitea.entroia.com/Zayden-Jung/endorphin-lyra-cli) 在 ces-control 上取得父仓库 gitlink 指定的 Aster 版本，再进入 vendor/aster 执行 scripts/check.sh。该脚本检查 ASDL 产物、生成器回归、Cargo 格式、独立 PEG 文件格式、cargo test --workspace --locked 和 Clippy，包括 objects／core、frontend、compiler 及 rustdoc。消费方的一般 cargo test 不会自动运行依赖库的全部自身测试，因此 Lyra CI 显式运行引擎检查。
|
||
|
||
Compiler 的五个源码样例继续位于 crates/compiler/examples；Lyra 另外调用真实 lyra 可执行文件执行 run／eval，并保存实际 stdout、stderr、退出码及 Markdown／JSON 报告。引擎测试和命令行实际输出是两个验证层次。
|
||
|
||
HTTP、宿主 JSON、SQLite 与真实 PostgreSQL 检查归 [Hestia CI](https://gitea.entroia.com/Zayden-Jung/endorphin-hestia-server)。Tessera 允许本地原生编译和窗口运行，自动化测试归其远端 CI。
|
||
|
||
本地不运行 Aster 构建、测试、Clippy、冒烟、Docker 或依赖下载。允许静态阅读、格式化、ASDL 生成／同步检查和文档链接检查。不主动查询 CI／部署结果；用户反馈具体失败后可定向排查。测试源码或静态检查不能证明运行通过。
|
||
|
||
返回 [使用引擎](README.md)。
|