as_of 2026-10-04——S8 四域（time_travel / teaching / diagnostics / analysis）全部落地， 验收三件复核销案（seek 往返五类相等锚 / 标注 golden 311 三方 diff / 台账 CI）。 本文是 S8 交付的单一导读：面向「想了解引擎能做什么」的读者；实现细节见 总计划 §10 S8 行 与各域设计文档 （统一模式设计.md / 认知推理系统设计.md / 算法与数据结构教学设计.md）。
一、时间旅行（time_travel 域，L8）
程序执行不再是一次性的：引擎在循环边界自动建检查点（smart 模式），支持任意步回溯 / 正向重放 / 越窗 seek，每一步带完整执行现场（调用栈 / 局部变量 / 内存快照 / 输出游标）。
- 帧语义：协议 v0.1 的
StepPayload十四字段（schema）——semantic_label（14 类受控词表：循环/交换/递归/函数调用/内存分配释放…）+algorithm_step（算法阶段教学文案）+vis_events（可视化事件行）+local_vars/call_stack/array_snapshots/pointer_snapshots。 - 检查点体系：CheckpointManager 全档/增量/智能三模式 + pinned 隔离区 + O(1) 摊还 FrameWindow（窗口 2_000 帧默认）；trap 回退 = 最近检查点 + 正向重放 （消每步 1MB 快照，常态 O(1)）。
- 入口：
step.begin / step.next / seek / payload.get / breakpoints.set五方法（gateway wasm-gc 与 serve 双宿主同协议）；CLIvitro step --json一次性帧流。
二、教学智能（teaching/steps 域，L8）
43 算法族全量（排序 9 / 查找 2 / 图 7 / 树 8 / 结构 11 / 字符串 3 / 数学与 DP 3—— 含变体覆盖 82 个真实模板；七组分布机判图见 teaching-detect-infer-pipeline.svg）： 编译期识别（detect 判据，U1#1 收紧版命名主导）+ 执行期逐帧推断（infer，教学中文文案——「第 1 趟：将第 1 大的元素放到正确位置」这类 说明由引擎生成，非前端拼装）。
- 对拍纪律：311 条 golden 首现序列与 Rust oracle 逐条一致 （teaching_annotation_diff 机判，82 模板全绿）；
- wire 出口：compile 帧
algorithm_matches字段（识别结果：族名/中文名/ 函数/置信度/行号/vis_events——2026-10-04 补，agent 与 demo 侧栏共同消费）。
三、diagnostics 域（L8）
诊断不止报错：每条错误带教学七元组（fix_suggestion / category / one_liner /
related_lines…），数据层五张表外置 JSON（ misconception / learning_path /
auto_fix / patterns / concepts）+ 机制层（graph 依赖图 / learning_path 学习路径）。
出口：serve diagnostics_probe + compile 帧 fix_suggestion 字段（CLI --json 同源）。
四、analysis 域（部分——按裁定不照搬）
M14（trace_analyzer，trap 死因 root_cause_hint 六臂分派）已迁；M7/M8（cfg / data_flow / intent——oracle 侧半成品孤儿域）不照搬（owner 裁定 issue #32： 「对烂尾楼照搬会把烂尾刻进新楼」），退役后按目标架构重新设计。
五、demo（能力展示面）
demo/（在线）：课程树导航（12 基础用例 +
teaching 四十三族算法课含变体 + 三十五个扩展练习）→ 点课载入并采集回放；
运行视图 = 编辑器（行号断点）+ 时间旅行回放条（引擎 seek）+ 调用树 SVG +
数组柱状图 + 信息卡（semantic_label + algorithm_step 教学文案）。
六、已知边界（诚实登记）
- is_prime / threaded_binary_tree 两族帧标注因 VM code_line 基准偏移暂不可得 （issue #34，oracle 同病，修复挂退役后）；
- UAF root_cause_hint 因 trap 文案缺分配行段恒 null（issue #35，前端条件渲染 已备，引擎修复即亮）；
- scanf 用例回放覆盖到首次等待（step 流 input.feed 续跑能力在 gateway 协议面， CLI step 为一次性全帧形态）。