endorphin-aster-vm/docs/operations/validation.md

验证范围与结果边界

本页维护当前检查入口和覆盖范围，不累计已失效的测试数量、机器资源快照或旧对象模型的通过记录。历史行为查 Git 历史；某个版本是否通过，只能依据该提交对应的实际结果。

执行约定

本地不运行 Cargo 构建、测试、Clippy、冒烟、Docker 或依赖下载；允许阅读、格式化和静态文件／文档检查。指定运行验证环境为 ces-control。按用户要求不主动追踪 CI／部署结果，有问题由用户反馈后再查。

检查入口

以下命令只在指定的验证环境执行，不表示已经运行：

sh scripts/check.sh
cargo test -p storage --test postgres --locked -- --ignored
python3 scripts/smoke.py

check.sh 执行 cargo fmt --all --check、cargo test --workspace --locked 和 cargo clippy --workspace --all-targets --locked -- -D warnings。workspace 测试也包含 rustdoc 示例；显式忽略的 PostgreSQL 测试需要单独执行。

ci-ces-control.sh 负责准备全新专用临时 PostgreSQL 和测试 URL；成功路径使用真实数据库，不用模拟 socket 代替。测试库与生产数据不共享挂载。没有 ASTER_TEST_POSTGRES_URL 时，显式执行 PostgreSQL 测试会失败，不标记为通过。

覆盖范围与文件位置

范围	当前检查内容	入口
堆内部边界	非法索引、槽位代数、代数耗尽、计数溢出原子性	core/src 的 heap.rs 私有单元测试
对象运行时	地址稳定、引用／借用、属性、长链、循环、原生操作、VM 销毁	core/tests 的 runtime.rs
基本对象	Number 表示、字符串、Dict／Cell 引用与更新、函数环境、异常数据	同目录 builtins.rs
字节码	编解码、非法指令／控制流、跳转、调用、闭包、结果存活、失败清理与限额	同目录 execution.rs
公开示例	对象操作、手写指令执行与释放	core/src 的 lib.rs rustdoc
宿主文件信息	UTF-8 值／路径、持久读取、同键替换、并发、坏记录、幂等迁移与保留新值	host/tests
数据库连接	不自动建表、显式配置、隔离／共享、调用方数据重连、失败不降级、真实 PostgreSQL	storage/tests
端到端宿主	文件 metadata 跨进程读写、日文值、Server 文件版本；忽略失效数据库变量且不创建 SQLite 文件、HTTP 与 SIGTERM	scripts 的 smoke.py

测试源码说明验证意图，不能证明已通过；现有测试也不代表完整 Python 兼容、panic 恢复、云沙箱或 VM 快照已经实现。

文档修改的静态检查

修改后核对所有受版本管理目录存在 README、父目录有入口、相对链接指向现存文件；运行 git diff --check 检查差异空白。静态文本检索可以查出旧路径和过时 API；维护规则见 开发与文档维护。这些检查不执行 VM 或数据库。

仅修改文档时也不据此宣称运行检查通过。推送触发现有 CI 时，仍由原流程检查和部署；报告应分别说明静态检查、运行测试与推送结果。

返回 运行指南 或 文档索引。