5.1 KiB
Aster VM 后续开发交接
先读 文档索引、本地 AGENTS.md 和实时 Git 状态。所有本项目对话标题含 Aster VM。
项目边界
Aster 是可嵌入引擎，只保留 objects、core、frontend、compiler。Objects 零外部依赖，Core 仅依赖 Objects；不开放私有句柄构造，不把对象引用事务搬回 Core。Reader、PEG 与 ASDL 源码链路属于引擎；网络、文件基础信息、数据库和 GUI 属于宿主。
Lyra 接收 CLI 和示例实际输出报告；Hestia 接收 HTTP、兼容管理命令、Host、Storage 与既有 Docker 部署。宿主使用固定提交的 Aster 子模块。Aster 是纯引擎包仓库，不设置独立 CI/CD；引擎检查由 Lyra CI 在 ces-control 执行；不删除远端服务、数据库、卷或旧部署目录。Tessera 可本地编译运行但不本地测试，其 CI 同样使用 ces-control。Aster／Lyra／Hestia 不在本地构建测试，不主动查询 CI／部署。
已实现
- EndorObject、稳定 Box、代际句柄、显式强引用及手动循环回收；VM 从空堆启动，宿主可显式引导托管 Object／Type 和名义继承；普通源码 class、字段构造和继承方法分派已接入，显式 NativeTyped 原生分配继承已接入，宿主显式Trait身份/继承/必需方法及参数约束已接入；正式trait语法和完整类型/效果仍待完成，见类型机制。
- Function、NativeFunction、Dict、Cell、异常数据、UTF-8 String 和无损表示优先的 Number。
- 小型 wordcode、共享代码对象、操作数／控制流／栈校验、显式执行帧及 execute／call；MakeFunction 可在执行中创建带默认参数与共享闭包 Cell 的函数。对象返回值持有根，用后 release_value；借用读取不自动 retain。
- EndorReader 在 lexer 前提供字符串／流／文件／宿主 URI provider 输入，产出不可变 SourceUnit，保存来源与不透明修订标签；带来源的词法／语法错误保留行列，Lyra parse 支持文件和 stdin。没有平台 URI 后端或版本锁实现，见 阅读器。
- Endor.asdl 是 AST 唯一定义源，生成 Rust 节点／Spanned／Visitor、TypeScript 类型／遍历器和 JSON Schema。AstRoot 支持 Module／Expression／Interactive，Program／Block 使用声明／语句列表；AstDocument 提供带 schema 的 JSON 及范围校验，CLI 支持 --mode／--json，见 AST 模型。生成产物需通过 scripts/generate_ast.py 更新，不能手改。
- Frontend 使用 peg 0.8.6，词法规则在 lexer.peg（字符 → Token），语法规则在 grammar.peg（Token → AST）；lexer.rs 保留逐 Token 游标与诊断位置换算，提供完整输入解析、基础函数／表达式 AST、Unicode 字节范围与行列诊断；CLI parse 可读 UTF-8 文件／stdin 输出 AST，不执行源码。当前语法以未完成设计稿为起点，可以继续调整，见 源码前端。
- Compiler 已连接 AST → 模块／函数名称与初始化检查 → wordcode 模板 → VM 代码对象；Lyra run 调用模块无参数入口，eval 执行表达式。Compiler 不依赖语言类注册；无损常量、函数／参数／let／调用和宿主成员可执行，详见 编译链路 与 示例。
当前缺口
平台资源版本／依赖锁、源码闭包、数值算术、完整异常传播、内存配额、可靠取消、不可信代码沙箱、自动 GC 和宿主 panic 后执行根恢复尚未完成。源码函数参数／返回注解已支持默认关闭的运行时检查，Tessera 显式启用；普通名称按调用时函数全局解析，声明字段构造／写入检查已接入同一可选开关；完整初始化、完整静态类型／传递效果仍未完成；原生参数/返回签名、类型化Trait、覆写方差、统一位置参数数量、实例方法遮蔽检查与保守源码只读证明已接入原生调用和显式能力检查，见类型机制。不引入 Python 元类。UI 接入适配由 Tessera 实现。通用 ObjectPayload::assign_from 允许宿主对象选择共享引用赋值；协议和根计数归 Aster，UI 挂载、布局、绘制仍归 Tessera，见字节码 VM 的共享引用章节。
工作约定
中文沟通，源码与文档同版本维护。所有受版本管理目录维护 README，新增／删除／移动同步当地与父目录入口，跨目录契约在 docs 维护唯一正文。AGENTS.md 与 work/research 保持本地忽略。Gitea 仅用 codex-bot，隔离 SSH、仓库级作者身份及提交后中文报告按本地约定执行。
Endor 由平台解释执行，AST 到字节码是内部步骤；源码资源修订与解释器升级分开管理，具体 URI、资源锁与持久化协议仍待设计，见 执行与版本。下一步按具体语言需求完善引擎，宿主调度和渲染在各宿主仓库推进。