Vitro 路线图

最后核对：2026-10-07（S9 修复批进度回灌：脱钩工序①~④收官〔native/ 删区〕后的修复批批一~批五 20/22 销案 + #27 图标语义化 + #49 统一入口批——当前状态表全面对单轨真值；前一沿革 2026-10-04 全库逐份翻新第三轮：S8 收官 + 0.8.0 发版件 + CLI 出口总账对齐 + 10 份过程记录归档；再前 2026-09-29 S7 批一~五全落 + 0.7.0 发版件就绪对齐）

核心原则：不急着发布，不把时间浪费在"能用"上；每一分投入都指向教学场景真正需要、而通用工具链不提供的能力。 当前定位：教学 C 子集参考执行引擎（白箱后端，MIT；迁移 v1 = C only，C++ 已裁砍冻结于 oracle）。前端已切割给社区，原生移动端放弃。 当前工作：MoonBit 迁移（同仓绞杀者模式）——Rust 版冻结为差分对照 oracle，moonbit/ 活跃区承载全部新开发；排期权威 = MoonBit迁移总计划.md §10 S 系列。

一、当前状态（2026-10-07）

二、已完成里程碑

引擎与语言（Stage 0~8）

工程化（Phase 0~42，逐项记录见 AGENTS.md 与 CHANGELOG.md）

• Phase 18~26：地毯式审阅（P0 soundness 修复、VM 优化、clippy 0 警告）、UAF/Double-Free 检测、认知推理 P0~P3（轨迹根因 / 误区模式 / 知识图谱 / 意图推断）、语义补全 v2、模板 JIT
• Phase 27~30：数据结构语法拓展（数组退化 / unsigned / const / extern / VLA）、CLI 工具、Bytecode Libc 产品化、语法拓展（逗号运算符 / Designated Initializer / offsetof）
• Phase 31~42：C++ 教学子集（类/继承/模板单态化 → RAII → new[]·delete[] → 引用 → 隐式移动构造 → unique_ptr → 内置容器收口与布局解耦 → M6 测试防线 → Phase 42〔随砍 C++ 裁定冻结于 oracle，2026-09-20〕）
• 2026-09-06：全面代码审阅（137 条发现）+ 四批修复；Shadow 与 CI 门禁"带牙齿"
• 2026-09-11：前端切割（仓库转型纯后端）；capi 第一批；vitro_cli serve；StepPayload schema v0.1；堆内存 bump + 有界隔离决议；Shadow 提速（103.6s → 1.1s 缓存命中）与 stdin 注入
• 2026-09-18：MoonBit 迁移总计划定稿（四道证伪门全关 + 包切分 L0–L9 + S 系列里程碑）；同日起实际排期权威从 U 系列让位于总计划 S 系列
• 2026-09-19：S0.5 Rust 止血批 + S1 基础片 + S2 lexer 收官（vitro/engine 首发 mooncakes）；S3 parser 收官
• 2026-09-20：S4 typeck 收官（598 语料 E1–E4 全绿）；砍 C++ 裁定落档（总计划 F-2 + C# 计划 v4）
• 2026-09-21：S5 codegen 收尾（A 级对拍 598/598 全闭环）+ 0.4.0 发布；架构审阅报告 v1/v2 入库
• 2026-09-22：性能探究实录四轮（时间旅行累赘实锤 + wasm 生成器路线裁定）；@vitro/protocol TS 类型生成链；四个跨语言一致性闸门
• 2026-09-23：0.5.0 发布（parser 随架）；S6 memory + host 建包与余量三批（110 路由 handler 全接线含 VFS 17 件）；CI 拆 core/hygiene 两 job
• 2026-09-26：S6 收官（vm executor 全量 + CallHost 110 臂全接线 + 门 3 集成版销账；vm_diff/clang_direct 双防线 601 例全绿 = SAME 596 / KNOWN 5 / DIFF 0）；发版件就绪
• 2026-09-27：0.6.0 发布（mooncakes 线上验收全绿）；S7 开工（protocol 批一号 + 段二 stream 差分编码入库）；G 系列抽象治理收官（总计划 §10.5）
• 2026-09-28：S7 批二号 session 建包（SessionConfig 单一真相源）+ 批三号一段 cmd/serve 骨架（自写标准 JSON 解析器）；唯一依赖清除 B 路线落地（vendor moonbitlang/x/fs 子集进仓 + 上游漂移探针，x@0.5.5 依赖删除）；SVG 插图防漂移批（状态 facts 化 + gen_svg -check 入 CI）；serve 输入通道与主循环两处 P1 修复
• 2026-09-29：S7 批三~五全落（cmd/serve 方法族 16 方法 → serve_smoke 双宿主对拍 + gen_protocol_ts 权威源切 MoonBit → gateway wasm-gc 单出口 + Node 宿主；gateway 拆 library/wasm 双件）；《已知限制与差异》建册（四分类 30 条主动披露）；0.7.0 发版件就绪（moon.mod 0.7.0 + 彩排全绿，publish 待用户令）；模块审阅轮 13 份产物交叉处置（serve 超长行静默丢弃修复等）
• 2026-09-30：0.7.0 线上发布（publish 200 OK + 干净项目 native/wasm-gc 双目标验收全绿）；S8 批零号差异台账落地（单源 24 条实测复核 + diff_ledger 二段闸 + CI 接线）
• 2026-10-01~02：S8 四域主体收官——time_travel 建包（CheckpointManager 迁入 + FrameWindow + run_batch/seek_to「Trap 回退改检查点+正向重放」）→ serve step 族五方法 + dump 族三方法接入 → teaching/steps 七族 43 算法全量（311/311 golden 对拍全绿，族级对拍器 teaching_annotation_diff 入 CI）→ diagnostics 数据层外置 + 教学七元组 + probe 双臂 67 断言
• 2026-10-03：CLI 出口总账三批落地（#37：vitro 总入口 + 单包 cmd/lib/cli + 协议 spec v1 冻结）；demo-ui 分支合入（TS 全量重写 + 时间旅行 tab + 调用树 + 数组动画 + 移动端）；CI 三 job 拆批（core/moonbit/hygiene）
• 2026-10-04：S8 验收三件销案 + 0.8.0 发版件就绪（bump + 彩排 registry 投放法四件验收全绿；版本轴重拍板——0.8.0 = S8 收官版不脱钩，0.9.0 = S9 脱钩 + 裁定 + 解锁修复面）+ 性能实录 §13–§17（S8 交付面 / wasm-gc 出口 / 跨实现对照）+ host_contract 三态对账 --strict 收官（103/103）+ vitro api 万能单帧 + 本文档翻新第三轮（10 份过程记录归档）
• 2026-10-05：0.8.0 线上发布（用户 moon publish + push；tag vitro-engine-0.8.0 推远端；线上验收三件全绿——search 在架 35 downloads / 干净项目消费双目标 / zip 348 条目核对；实录见发布档案）；S9 工序①~④全落（#39 真值源迁移四链 → 判定书终稿十项全裁 → golden 固化 → native/ 物理删除〔de9c9b2b，档案 = tag rust-oracle-freeze + 分支 frozen-oracle-snapshot〕；clang_direct 吸收 shadow 语料差量 0 + fuzz 路 A 迁移 + CI 拆臂 core 63→42）；S9 修复批开工（批一 3ddc4684 起）；demo 打开本地文件夹批（File System Access API 工作区）
• 2026-10-06：#49 wasm 承载 CLI 批一~批三全落（统一入口 launcher scripts/bin/vitro 默认 wasm 臂 + 双臂对拍 373 例同形 + memory.dump 帧 + 壳 serve 子命令与四防线 wasm 臂插座）；S9 修复批批二~批三（21 条销案：#4/#5/#6/#7/#9/#11/#12/#13/#15/#17/#18/#19/#23/#24 等）
• 2026-10-07：#27 图标语义化全链（emoji 码点退役为语义图标 id——52 枚 SVG 真源 moonbit/icons/ + error_catalog.icon + icons.get 方法帧 + trap 文案语义 id 徽章 + demo 渲染链，protocol_frames 31→33 帧）；S9 修复批批四~批五（N3/N4 libc 签名三面单源、格式符严重级对齐、static 聚合地址、note 无界通道治理、freshness 五家单源）——修复面 22 条销至 20（#3~#9/#11~#15/#17~#19/#21~#24/#34 全关，剩 #10/#20）

三、进行中与下一步

排期权威已移交（2026-09-18 起）：实际执行以 MoonBit迁移总计划.md §10 S 系列为准，本节为执行视图摘要。前端切割时代的 Phase 2a/2b/3 计划处置如下：Phase 2a wasm 白箱 → 目标出口改为 MoonBit wasm-gc 单出口（S7 gateway 片）；Phase 2b/3 capi 第二三批 → 已裁不做（wasm多实例并发模型与U2拍板：19 声明冻结现状，下游改道 wasm/serve）；Phase 3 时间旅行 CoW → 性能路线已实测裁定（checkpoint+写集 undo 替代每步全量快照，性能探究实录③；MoonBit 侧"Trap 回退改检查点+正向重放"已列入按目标架构实现清单）。

S6 · memory + host + vm ✅ 已收官（2026-09-26）

• ✅ vitro/engine/memory 建包（1MB 载体 + MemoryMap 单出口 + FreedLogs 有序数组，27 测试）
• ✅ vitro/engine/host 建包 + 余量三批（路由表单源落 bytecode 包、输出通道 Bytes 化、printf/scanf 引擎、VFS 17 handler）
• ✅ vitro/engine/vm 全量（executor 135 opcode 穷尽 match + CallHost 110 臂全接线 + CheckpointManager + 快照体系）+ cmd/run 端到端 runner
• 验收锚全部达成：门 3 集成版销账 + D 级三联 diff 全量化 601 例（SAME 596 / DIFF-KNOWN 5 / DIFF 0）+ 层 2 clang_direct 601 例同口径 + 条件 A 性能锚实测；0.6.0 已发布（2026-09-27）

S7（批一~五已全落，0.7.0 已发布 2026-09-30）–S9 与全量切换

持续项

• 文档同步：实现变更必须同步 C语言子集规范.md / CHANGELOG.md / 相关 AGENTS.md（MoonBit 侧以 moonbit/AGENTS.md 包清单为状态权威）；
• 防线维护：*_FAILURES.md 双向对账（转绿未更新文档即 CI 失败）；
• facts 对账：CURRENT 文档裸数字与 reports/facts.json 真值机判（go run ./scripts/facts check）。

四、已知缺口（诚实记录）

其它已知语言子集差异见 C语言子集规范.md（C++ 差异随规范归档，见 ARCHIVE_C++子集规范.md）， 测试差异见 native/tests/*_FAILURES.md。

五、差异化能力（相对通用工具链）

1. 运行时中文教学诊断：GDB 只说 SIGSEGV，OnlineGDB 只说 Runtime Error；Vitro 说"你访问了 arr[5]，但数组只有 5 个元素，有效索引 0~4；发生在第 3 行；当前 i = 5"，并给出一键修复。
2. 零侵入算法可视化：写纯 C 冒泡排序，引擎自动识别并给出每一步的比较/交换语义与数组快照，无需任何可视化 API。
3. 内存与指针白箱：值级变量快照、指针四状态（Valid / Freed / Null / Dangling）、堆区域与泄漏报告、隔离区可视化。
4. 时间旅行回放：任意回退、异常自动回退到上一步并给根因卡片——这是"程序不是黑箱"的直接教学载体。
5. 协议化交付：三出口 + 语言中立 schema，任何前端/IDE/判分服务都能接入，而不必绑定某一种 UI 技术栈。

单步/回放体验的设计论证见 VM教学体验优势.md。

六、文档地图