docs/current/08-发布档案/0.8.0.md
GitHub ↗
当前有效

vitro/engine 0.8.0（S8 收官版 · 2026-10-04 发版件 · 2026-10-05 线上发布；实录全文已回填）

1318 字·约 4 分钟 阅读 2026-10-10 17:07

版本轴：0.8.0 = S8 收官版（2026-10-04 重拍板——原排期脱钩批挪 0.9.0，两版拆开发布）。 引擎核心在本窗口内零改动（出口/教学/时间旅行全部为 0.7.0 后增面）。 发布前置：moon.mod bump 0.8.0 + 彩排（registry 投放法）+ publish——见 vitro-release-playbook skill。

  • 包清单（0.7.0 基础上净增 4 包，共 24 包）：time_travel（L8，时间旅行 引擎域：CheckpointManager 全家 + FrameWindow + UnifiedEngine）、 teaching/steps（L8，43 算法族判据+推断+教学文案）、diagnostics（L8， 教学诊断数据层+机制层）、cmd/lib/cli（CLI 逻辑单包，函数名=命令名）； cmd/{vitro,compile,step} 入列 cmd 工具族（共 9 个 executable）。
  • 主题：S8 收官（时间旅行与教学智能）+ CLI 出口总账（#37）—— ①时间旅行：CheckpointManager 三模式 + FrameWindow O(1) 窗口 + UnifiedEngine
    • Trap 回退改「检查点+正向重放」（消每步 1MB 快照）；②教学智能：43 算法族 detect+infer 全量（311 条 golden 对拍逐条一致；教学中文文案由引擎生成）+ diagnostics 教学七元组 + 数据层五表；③CLI 出口：vitro run/compile/step （三通道全、退出码全表 0-4、--json NDJSON 事件流、- stdin、-- argv 透传）+ vitro api 万能单帧（含 --batch 批式状态跨帧——全部协议方法 脚本化）+ 协议契约冻结 docs/spec/CLI_PROTOCOL_V1.md； ④compile 帧新增 algorithm_matches 字段（teaching detect wire 出口， 协议「只增不改」纪律内、「自诞生即可选」豁免旧读者）。
  • 破坏面：无已发布 API 破坏（CHANGELOG 0.8.0 段全为新增/新增字段）。
  • 已知边界（诚实披露）：is_prime/threaded_binary_tree 两族帧标注因 VM code_line 基准偏移暂不可得（#34，oracle 同病）；UAF root_cause_hint 因 trap 文案缺分配行段恒 null（#35，wire 链就绪待文案修复）；两案修复均挂 0.9.0 脱钩批。
  • 性能披露：CLI native 构建冷态含 MSVC cliff 载体（五 exe 各复制 libc 巨表——[moon#2254]），MOON_CC=clang 同构建 29s（用户实测）；运行期不受影响。
  • 验证：全防线零回归（口径与真值以 reports/facts.json 为准——vm_diff 全量 DIFF=0 / clang_direct 全 KNOWN / shadow 全绿 / serve_smoke 双臂全绿 / demo_smoke 全绿 / cmd/lib/cli 白盒锚全绿；台账 28 条 diff_ledger PASS；facts strict 0； surface -check +2 新边）。
  • S8 详见：S8时间旅行与教学智能总览； 逐批明细见 总计划 §10 S8 行。

发布实录

彩排（2026-10-04，registry 投放法——全绿）

  • 发布物：git archive 出 module 树 → zip 991KB / 348 条目；根级五件套核对（moon.mod / README.md / README.mbt.md / LICENSE / CHANGELOG.md 全在）；S8 四包 + cmd 九工具（含 cmd/vitro、cmd/lib/cli）全在包内。
  • 投放：zip → ~/.moon/registry/cache/vitro/engine/0.8.0.zip + index JSONL 追加行（checksum sha256 660131c7… + deps 显式空 dict——手工投放坑在案）；干净项目 moon install → Using cached vitro/engine@0.8.0。
  • 验收四件：
    1. moon check --target all 全包编译绿（40 tasks）；
    2. gateway 消费示例（native release 构建）：protocol_version() = "v0.1" + engine_version() = "0.8.0"（moon.mod ↔ ENGINE_VERSION 失联锚双端绿）+ invoke 全链（session.create → compile → run 三帧 ok:true、return 42 命中）；
    3. time_travel 新包消费：UnifiedEngine::new() 编译运行绿（S8 域进包实证）；
    4. wasm-gc 目标：gateway 消费示例 wasm-gc release 构建绿。
  • 投放物已清（cache zip + index 追加行）——registry 复原至 0.7.0 态；彩排项目已删。

publish（2026-10-05 已执行——用户 moon publish + push）

  • cd moonbit && moon publish + push：已完成（2026-10-05，用户执行）。tag vitro-engine-0.8.0（指向 1081220）已推远端（git ls-remote 机判在）；origin/master 同步至 66c0462（文档翻新第三轮四笔随 publish push 一并上远端）。
  • 线上验收三件（2026-10-05 agent 亲测）：
    1. moon search vitro/engine：0.8.0 在架，35 downloads（= 0.7.0 收官计数 33 + 发布噪音 +2〔平台自拉 1 + 验收自产 1——既有定版口径精确命中〕）；
    2. 干净项目 moon add vitro/engine → 解析线上 0.8.0 → native 消费示例运行 protocol_version() = "v0.1" + engine_version() = "0.8.0"（moon.mod ↔ ENGINE_VERSION 失联锚双端绿）+ wasm-gc 目标构建绿；
    3. registry cache zip 根级核对：972KB / 348 条目（条目数与彩排 zip 一致）、根级五件套（moon.mod / README.md / README.mbt.md / LICENSE / CHANGELOG.md）全在、S8 四包（time_travel/teaching/steps/diagnostics）+ cmd/lib/cli + cmd/vitro 全在包内。
  • 本节回填 publish 时间戳与验收证据 ✅ 本笔回填（publish 精确时刻以用户执行为准，验收证据为 2026-10-05 实测）