codex-bot
8bbe78e01e
Verify databases and deploy Aster VM / verify-and-deploy (push) Successful in 13m40s
955 B
955 B
Core 公开行为检查
本目录通过 aster_core 公共 API 检查宿主可观察的语义，不为检查开放内部句柄构造器。
| 文件 | 覆盖 |
|---|---|
| runtime.rs | 空堆启动、默认操作、引用／借用、属性原子性、稳定地址、长链／循环、原生回调、VM 销毁 |
| builtins.rs | 无损 Number、Unicode 字符串、Dict 顺序与键、Cell、函数环境／共享代码、异常数据 |
| execution.rs | wordcode 与校验、控制流、参数／默认值、嵌套帧、闭包、返回值存活、失败清理、限额 |
堆内部伪造句柄与计数溢出检查在 src/heap.rs，公开示例由 src/lib.rs rustdoc 提供。文件职责见 src，检查方式和结果边界见 验证。本地不执行测试；存在测试文件不代表某次提交已通过。返回 core。