文档：阶段4 执行步骤细化（4-1a..4-4，一次一个，isa/vm 连续完成）

Doc/isa/阶段4-执行侧V2.md

@@ -5,6 +5,23 @@
 
 ## 阶段 4：isa 重构 + vm 同步（执行侧 V2）
 
+### 0. 执行步骤总览（细化为子步骤，一次一个）
+
+| 步骤 | 内容 | 验证 |
+|---|---|---|
+| 4-1a | isa/Types.h：func 宽度/符号表 + 饱和模板（除法 A）+ 删 TypeTag | 编译 |
+| 4-1b | isa/Op.h：前缀分区 + 指令表 + uses_* 直推 | 编译 |
+| 4-1c | isa/Instr.h：变长 instr_len + 位号 get/set + enc_*（**JC off@55..24**） | 编译 |
+| 4-1d | isa/Encode.h/.cpp：encode/decode/disasm（类型后缀 + CAL fb 名） | 编译 |
+| 4-1e | isa_test V2 重写（饱和/前缀/位号往返/disasm/uses_*） | isa_test 绿 |
+| 4-2a | vm/Image.h/.cpp V2（头 128B/6 段校验/槽表访问器/常量 8B） | 编译 |
+| 4-2b | vm/Machine.h/.cpp V2（变长取指/槽表两级/栈方案 C/CAL 15 条/LOAD_OFF） | 编译 |
+| 4-2c | vm_test V2 重写（手拼 + 产物执行/定时器/确定性） | vm_test 绿 |
+| 4-3 | executor 适配（Image 新接口/I-Q 采样） | executor_version 绿 |
+| 4-4 | 验证：vm_cycles 恢复 + line1 端到端执行（Q 对照真值表） | ctest 13/14 |
+
+> 说明：isa 重构会破坏 vm 编译（Machine.cpp 89 处引用）——**isa 与 vm 在同一阶段内连续完成**（4-1 后立即 4-2），中间态不提交（或提交 isa 时标注 vm 暂破）。
+
 ### 4.1 isa 重构（4 文件 + isa_test）
 
 | 文件 | 内容 |