运行时契约
| 文档 | 内容 |
|---|---|
| types.md | 托管 Object／Type、名义继承、方法覆写/类型化Trait/已知效果与源码/调用图只读证明/动态检查、声明字段／函数注解检查、构造与类型边生命周期 |
| objects.md | 对象、句柄与默认操作 |
| native-calls.md | 原生上下文、读取分类、统一参数数量/类型/联合/固定与委托效果、非递归委托返回、弱引用、托管赋值与变更批次 |
| builtins.md | Number、String、Dict、Cell、Function、异常数据 |
| reader.md | 输入、来源和修订标签 |
| frontend.md | 词法、语法和诊断 |
| ast.md | ASDL、AST、生成与编辑器接口 |
| compiler.md | 名称分析、编译、装载与源码样例 |
| bytecode.md | 指令、验证和调用协议 |
| lifecycle.md | 根引用、失败、回收与销毁 |
| text-encoding.md | UTF-8 和宿主转码边界 |
文件信息与数据库适配属于独立 Hestia 宿主，不属于引擎；CLI 属于独立 Lyra 宿主。返回 文档索引。