endorphin-aster-vm/crates/core/tests/README.md

Core 公开行为检查

本目录通过 endor_core 公共 API 检查宿主可观察的语义，不为检查开放内部句柄构造器。

文件	覆盖
runtime.rs	空堆启动、默认操作、引用／借用、属性原子性、稳定地址、长链／循环、原生回调、VM 销毁
builtins.rs	无损 Number、Unicode 字符串、Dict 顺序与键、Cell、函数环境／共享代码、异常数据
execution.rs	wordcode 与校验、控制流、参数／默认值、嵌套帧、字节码函数创建／默认值／环境捕获、闭包、返回值存活、失败清理、限额、只读分片/取消/累计预算/暂停期间GC执行根
types.rs	名义身份、继承与实例关系、类型边保活／循环回收、只读类型元数据与外来句柄、显式Trait身份/继承/参数约束及后代更新原子性；统一函数分类、原生数量元数据/副作用前拒绝/能力更新/默认参数与返回类型错误根清理；仅远端执行
typed_traits.rs	类型化Trait登记、原子拒绝、源码检查关闭时的显式约束、宽参数调用、类型强边GC、体后实际能力结果检查与临时验证集合恢复；仅远端执行
method_contracts.rs	源码/原生方法覆写参数逆变/返回协变、联合参数、已证明源码/调用图只读、全局/闭包/接收者重绑定、控制流汇合与原生效果及共享赋值保守分类、祖先替换原子性、动态名称重绑定/前向名称与体前拒绝/恢复及清理；仅远端执行
native_context.rs	原生作用域根、分配失败清理、原生签名/联合与可空类型/固定与Delegated效果和委托返回根、绑定方法元数据、具体原生实现查询与载荷替换、委托、只读结果分配／写入拒绝／依赖／校验与普通读取区分及失败恢复、弱引用过期及有界变更；仅远端执行

核心对象现由 objects 定义，本目录保留既有 endor_core 导入与 Vm 方法的兼容性检查。独立对象存储检查见 objects/tests。堆内部伪造句柄与计数溢出检查在 objects 的 src/heap.rs，公开示例由 src/lib.rs rustdoc 提供。文件职责见 src，检查方式和结果边界见 验证。本地不执行测试；存在测试文件不代表某次提交已通过。返回 core。

execution.rs 同时覆盖宿主可选 assign_from 的全局／局部赋值、别名身份、拒绝替换与执行根清理；不在本地运行。

execution.rs 的 managed_coroutine 用例覆盖交替恢复不重放写入、累计预算错误释放、取消幂等和暂停帧引用环回收；本地只经宿主Clippy编译，不运行测试。

execution.rs补AwaitGate，覆盖真实Waiting、前缀写入不重放、等待操作数保活及拥有式对象结果；本地仅编译不执行。

execution.rs的named_reads/precise_nested_regions覆盖无关键、缺失遮蔽、内建变化、区域传播、保守遍历及观察不保活；仅编译未本地运行。

named_reads同时比较同步精确入口与可恢复调用的观察，验证旧同步入口仍返回相同保守对象列表；本地仅编译。