chentianya/Interpreter
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
156 Commits 2 Branches 1 Tag
dev
Commit Graph
156 Commits
This Branch
This Branch
All Branches
Author SHA1 Message Date
Admin d38d78c942 指令集优化：U12 定案——元数据段 v1 0 长度占位（offset_meta=0），schema 延后 2026-08-24 16:03:27 +08:00
Admin 6869624f09 U10 定案：寄存器/调用约定维持 + 栈方案 C（预分配栈区 + max_stack 编译期算 + 双检查 + 递归编译期报错） 
- §2.2 修正：256 = 寻址上限（非每帧分配数）；帧按 nregs 动态分配
- 新增调用栈设计：max_stack@116（调用图最坏路径）、预分配零分配、
  字节/深度双检查、MAIN 帧常驻
- 递归 = 链接层环检测编译期报错（link error: recursive call）
- 编译器优化.md：max_stack 计算职责 + Linker 环检测
- §9.2 U10 闭合；影响面/决策历史同步
 2026-08-24 16:00:45 +08:00
Admin 44370c448e 指令集优化：U8/U9 定案——槽表条目 8B（{addr:u32,预留:u32}）、值段 1/2/4/8B 对齐编译器保证 2026-08-24 15:48:32 +08:00
Admin c9d7c16d6d 指令集优化：U7 定案——头 128B 修正版（offset_meta 占位、values_size 命名、n_i/n_q/n_m 保留恒 0、n_slots 关系、16 对齐） 2026-08-24 15:47:07 +08:00
Admin c193c760ef 指令集优化：U6 定案——op 预算按指令集清单/指令编码文档方案（前缀分区） 2026-08-24 15:41:58 +08:00
Admin c9024a060b U5 定案：内建 FB 14 条全部 v1 实现（6 计数拆条 + 定时/触发 5 + SR/RS、PWM、RTC 3） 
- 指令集清单 §8：SR/RS、PWM、RTC 状态 扩展→核心
- 指令集优化：§9.2 U5 闭合、§4 A3 行更新、决策历史补记
 2026-08-24 15:40:55 +08:00
Admin af7054480f 指令集优化：U4 定案——结构体 v1 只留编码不实现语法（预留） 2026-08-24 15:38:04 +08:00
Admin a6b6990834 指令集优化：清零已确认/作废项（U1/U2/U3/U11/U15/U16 标记闭合，A3 修正为 fb 表拆条，K 清单补 K24..K26） 
- U1 作废（fmt 位段取消）；U2/U3 被前缀编码取代；U11 已定案（010 101 分区）
- U15 被 func=0 取代；U16 随 K7 确认
- §4 A3 行修正：计数宽度 = fb 表拆条（U5 待最终确认）
- §9.1 补 K24 前缀分区 / K25 fmt 取消 / K26 MOVE 语义
 2026-08-24 15:37:17 +08:00
Admin ee1e06c628 指令编码：010 区也改前缀分区（形态位3+子op2），全部形态前缀直推、零查表 
- 010 000/001/010/011/100/101 = IMM/SLOT/JMP/JC/CALL/CAL
- 8 条指令编码更新：LOADK=01000000、LOAD=01000100、STORE=01000101、
  JMP=01001000、JT=01001100、JF=01001101、CALL=01010000、CAL=01010100
- uses_* 全部前缀直推（无查表）；三份文档同步
- 010 区预算：6 形态区 × 4 + 2 预留形态区
 2026-08-24 15:33:26 +08:00
Admin 1c0c4d02f2 指令集优化：§2.1 同步前缀分区方案（fmt/type 位段表述更新为前缀分区+func） 2026-08-24 15:31:14 +08:00
Admin 134f1748ec 指令编码：fmt 位段取消，形态改由前缀分区表达（Q1=010 查表 / Q2 空位待定 / Q3 全组分区） 
- 前缀分区：11=RR、10=NONE、011=RRR、010=其他8条（查表）、0010=SLOT+off、
  0011=IMM64、0001=预留（32B）
- 字节 1 = [func:4 | 空:4]（空位待全部编码后定）
- 指令集清单：全部 72 行编码按新分区重排；§1 位号表/位图更新
- uses_* 推导：前缀直推 + 010 区查表；编译器优化/指令集优化同步
- op 预算：RR 21/64、NONE 2/64、RRR 26/32、其他 8/32、SLOT+off 8/16、IMM64 1/16
 2026-08-24 15:30:59 +08:00
Admin fda4f7a3ec 指令集清单：新增 §1 fmt 格式与字段位号（opcode/func/imm/rs1/rs2/rd 逐位标注） 
- 1.1 通用头部位号表（长度前缀/opcode/func/fmt）
- 1.2 fmt 位号总表（11 形态 + 预留，操作数区 bit16 起）
- 1.3 各位图：RR/RRR/IMM/SLOT/JMP/JC/CALL/CAL/NONE/SLOT+off/IMM64
  逐位标注（含 pad 填充位）；32B 预留格式待定
- 16B 形态分配 fmt 9（SLOT+off）/10（IMM64）；指令编码.md 同步
- 原指令章节顺延为 2..12
 2026-08-24 15:01:54 +08:00
Admin ed78f06e29 指令集清单：全部指令按 RISC-V 式编码（前缀+op / func / fmt） 
- 4B 组 23 条（MOVE/NOP/NOT/RET/算术单目/浮点/舍入/CONV）
- 8B 组 34 条（算术/逻辑/移位/位操作/CMP/数据/调用/跳转）
- 16B 组 10 条（字段访问/LOADK64/字符串/数组长度）
- 32B 组 6 条预留（JTBL/复杂字符串/数组索引）
- func 语义按指令族（MOVE=宽度、LOAD/算术=全矩阵、浮点单目=8/9）
- 内建 FB fb_id 0..13（TON..RTC）；op 预算余量表
 2026-08-24 14:45:35 +08:00
Admin 5b10c2c826 文档：新建指令编码.md——RISC-V 式 op+func 编码定案存档 
- 前缀长度组（1/01/001/0001 定 4/8/16/32B）+ op 按组分治
- 字节 1 = [func:4|fmt:4]；func 10 组合（宽度×符号+F32/F64）语义随 op
- fmt 4 位 9 格式（格式合并作废，CALL/CAL 独立）
- 19 类型 → 10 func 编译期映射；BOOL 0/1 编译器强制
- 与 RISC-V 对照表 + 决策历史
 2026-08-24 14:43:16 +08:00
Admin 21c4b953f9 文档：指令集清单章节编号独立化 + 头部去重 2026-08-24 14:08:40 +08:00
Admin 770e92d109 文档：指令集清单拆分为独立文档（Doc/isa/指令集清单.md），优化文档保留引用 2026-08-24 14:08:34 +08:00
Admin e98054706c 指令集优化：§10 全功能指令集清单（草案，10 类 + op 预算） 
- 数据搬运/逻辑位运算/算术/比较/转换/控制流/内建FB/字符串/数组/系统
- 按长度组（前缀编码）与格式标注，状态列区分核心(v1)/扩展/预留
- 内建 FB 表 11 条核心（含 DCTU 双字）+ SR/PWM/RTC 扩展
- op 预算核对：4B组128 / 8B组64 / 16B组32 / 32B组16，各组远超需求
 2026-08-24 14:07:59 +08:00
Admin a91528a228 指令集优化：新增 §9 确认核验清单（K1..K23 已确认 / U1..U16 待确认，未回答≠同意） 2026-08-24 13:48:06 +08:00
Admin 8f7140be64 指令集优化：B1/B2/B4 定案（1 CAL+fb_id:16、领域指令不进指令集）、C1..C6 未定项记录 2026-08-24 11:57:38 +08:00
Admin 5e6f2b45fc 指令集优化：A9 定案（字面量按上下文适配，默认 DINT 兜底） 2026-08-24 11:42:38 +08:00
Admin 9e2a6e95f1 指令集优化：A3..A8 定案记录 + A9/A10 反问待讨论 
- A3 计数器单字（INT）/双字（DINT）两种；A4 日期字面量 v1 不支持
- A5 TIME 运算/浮点 IEEE 按推荐；A6 sidecar 绑定一致；A7 disasm 类型后缀
- A8 type 表=基元别名（REAL→float32、LREAL→float64）
- §8 新增待讨论：A9 字面量上下文恒存在（默认 DINT 仅兜底）；
  A10 FB 8 op 可收敛为 1 CAL + fb 类型 id（op 位段省 7 个）
 2026-08-24 11:40:08 +08:00
Admin 91fc00ed6d 指令集优化：A2 定案——LOADK 用 type 位段解释常量，常量表条目 8B 无 tag，IMM64 预留不发射 2026-08-24 11:26:05 +08:00
Admin 6e8b9896f2 指令集优化：V2 核心决策全部定案（type:5/格式合并/19 类型/禁隐式转换/进制前缀） 
- §2.1 字节布局 [len:2|op:6]+[type:5|fmt:3]；格式 9→7 形态（CALL→IMM、CAL→SLOT）
- §2.4 19 IEC 基础类型（+DATE/TOD/DT）+13 预留；浮点/进制前缀/禁隐式转换+字面量适配
- §2.6 LOADF 取消、FB 共享体定案（16B 变体=基址寻址）
- §4 改为 A1..A10 尚未确定细节（元数据段/常量内嵌/FB 字段类型化/日期字面量/
  算术语义/sidecar/disasm/machine.toml schema/字面量推断/CALL 确认）
- 编译器优化.md 同步定案状态
 2026-08-24 11:19:40 +08:00
Admin 109f9a7619 文档：编译器优化 V2 草案（编译策略层，与指令集优化.md 分层） 
- §2 V1 现状：FB 内联/FC CALL/CAL_* 三种调用、短路跳转、固定寄存器分配、
  调用约定、跳转回填、常量表去重
- §3 V2 变更：FB 基址寻址消除内联、type 位段驱动语义、槽表/值区布局职责、
  变长发射字节化回填、类型扩展与升宽规则
- §4 待确认（引用指令集优化 §4 编译器相关项）；§5 编译器侧影响面；§6 阶段；§7 决策历史
 2026-08-24 10:53:47 +08:00
Admin 3ec803c5a8 文档：指令集优化——补 REAL/LREAL（float/double）、FB/FC 内联现状与 V2 基址寻址方向 
- §2.4 类型表 16 种满编（type:4），含 C 对应列；浮点表示/常量 tag/字面量
- §2.7 新增：V1 三种调用处理（FB 内联/FC CALL/CAL_*）+ V2 基址寻址消除内联膨胀
- §3 差异表加 FB 行；§4 待确认加 FB 共享体与浮点字面量；§7 决策历史补记
 2026-08-24 10:52:46 +08:00
Admin b70bea6b54 文档：指令集优化 V2 草案（变长指令/槽表值区/IEC 类型扩展/待确认问题） 
- 动机：opcode 位域化、8B 定宽槽浪费、类型扩展、结构体预留、变长指令
- 已定案：变长指令（长度组在 opcode）、寄存器 8 位编号维持、槽表→值区
  两级模型、宽度编码进 opcode、初值同文件分段、全 32 位寻址、STATOR2
- 待确认：跳转字节化 / type:4 vs 5 / 长度组映射 / I/Q/M 合并 / 结构体范围
  / ST 层类型支持 / 转换规则 / 字面量
- 影响面清单 + 6 阶段实施计划 + 决策历史
 2026-08-24 10:46:25 +08:00
Admin 06a497636e 文档：executor 计划项——可选 --sidecar 参数（显式指定 I/O 绑定文件，缺省回退同名推导） 2026-08-24 09:31:51 +08:00
Admin d109a3ca77 executor: 移除冗余 Image::from 前置校验，信任链统一由 Machine::create 报告 2026-08-24 09:04:46 +08:00
Admin 7aa2bbefcf stb 头字段偏移常量表：消除 vm/compiler 两侧裸魔法数 
- vm/Image.cpp：匿名空间 constexpr 偏移常量（kOffMagic..kOffModelId + 段内行偏移），
  from/model_id/model_matches/func_row/const_entry 全部替换
- compiler/Stb.h：同值 inline constexpr 表（Codegen 写侧 + Stb 读侧共用）
- compiler/Codegen.cpp assemble_image：put_* 头字段/行内偏移替换
- compiler/Stb.cpp StbView：读侧偏移替换
- 两侧 static_assert：头大小 = 72 + 型号标识、字段偏移单调、行内布局自洽
 2026-08-24 08:55:57 +08:00
Admin d51dce4ae3 CMakePresets: 启用 compile_commands.json 导出（IDE/静态分析用） 2026-08-22 13:13:12 +08:00
Admin 351d6ef40c executor: main 内部步骤块注释补充（参数解析/读映像/信任链/sidecar 路径/回放打开） 2026-08-22 10:45:26 +08:00
Admin afb5d5b94a executor 模块注释完善：Doxygen 风格（main.cpp 入口/usage/Binding/sidecar 解析/采样/单步） 2026-08-21 23:34:07 +08:00
Admin b0aebe264e compiler 模块注释完善：Doxygen 风格（Lexer/Parser/Linker/Typecheck/Project/MachineConfig/TypeInfo/Codec/Codegen/Stb/main 共 21 个文件） 2026-08-21 23:29:15 +08:00
Admin fff7aef968 vm 模块注释完善：Doxygen 风格。 
- Image.h/.cpp：头 104 布局逐字段、SHA-256 增量状态机（update/process/final）、
  校验项清单（from）、型号标识契约、func_row/const_entry/data_len 等访问器语义
- Machine.h/.cpp：Fault 枚举逐项、create 校验顺序（解析→SHA→型号）、
  调用约定（r0 结果/r1..r7 实参）、exec_one 取指/计数/分发流程、
  do_call/do_ret 帧语义、do_cal 八 FB 字段布局、slot_get/set 边界契约
 2026-08-21 23:21:51 +08:00
Admin 96607cfe75 isa 模块注释完善：Doxygen 风格。 
- Types.h：定宽类型、TypeTag、饱和四则的 @brief/@param/@return
- Op.h：Op 枚举冻结约束、OpFormat/OpClass、OpDef/kOpDefs 表、三个查询函数
- Instr.h：指令字布局、pack/拆字段、按形态 enc_* 系列
- Encode.h/.cpp：Decoded 字段语义、encode/decode/disasm 契约
 2026-08-21 23:19:08 +08:00
Admin 6873b5ee0b 文档同步：machine.toml 配置驱动架构收尾。 
- README.md：依赖方向（STCompiler→compiler 不链 isa）、模块表、isa 归执行器侧、
  数据流图（machine.toml + 型号/SHA）
- isa/README.md：重写——只管指令定义（Types/Op/Instr/Encode），删 Image 部分
- 指令与映像.md：依赖图与 CMake（compiler 不链 isa）
- 编译管线.md：管线首步加载 machine.toml、产物含型号/SHA
- 初步计划.md：12.10/12.13 修订（--machine、依赖方向）
- 扫描周期.md / 指令执行.md：12.9 步骤标注已落地、vm 读校验说明
- compiler/vm/executor README：依赖与边界同步
 2026-08-21 22:39:27 +08:00
Admin 1168f5ae30 Merge branch 'dev_ops_config'：指令配置（machine.toml）全流程。 
- A：OpFormat/OpClass 显式化、machine.toml 落地、MachineConfig 强校验
- B：compiler 配置驱动化去 isa、类型元数据配置化、.stb 写侧（型号标识+SHA-256）
- C：isa 拆出 Image、vm 自读 + 型号/SHA 校验
- D：CLI --machine 接线、测试固化（14/14）、文档同步
 2026-08-21 22:36:24 +08:00
Admin 0ebf193ff9 阶段 D 步骤 11：文档同步 + 提交（指令配置全流程收尾）。 
- stb文件格式.md：288 字节真实拆解（头 104 含型号标识 STATOR1@0x48、函数表 0x68、
  代码 0x80 fn0 RET=0x21、数据段 0xC8 7 槽、SHA-256 尾 0x100）；工具验证与执行器关系更新
- STCompiler使用说明.md：--machine 参数（编译/disasm 必填、打印模式不需要）、
  .stb 加固说明、288 字节示例、当前状态（可编译+可执行+配置驱动）
- 执行器入口.md：读取时型号/SHA 校验拒绝
- ctest 14/14 全绿
 2026-08-21 22:35:20 +08:00
Admin 40bfd175c4 阶段 D 步骤 10：测试固化（CLI 级 + 写侧自检）。 
- codegen_test line1：compiler::StbView 自检（model_matches STATOR1 + sha_ok），
  篡改一字节 → sha 校验失败
- CTest 新增：cli_compile（--machine 编译退出 0）、cli_missing_machine（缺参 WILL_FAIL）
- 冻结哈希确认：工程哈希只依赖源文件内容（0xc3fe4ae74ad45900 不变，compiler_test 通过）
- 全量 ctest 14/14 全绿（新增 2 个 CLI 用例）
 2026-08-21 22:33:14 +08:00
Admin a5f49caa94 阶段 D 步骤 9：CLI 接线收尾（--machine 仅编译/反汇编必填）。 
- 打印模式（无 -o）不再要求 --machine（恢复 12.3 行为）
- 编译路径与 --disasm 必填 --machine，加载/校验失败报错退出
- 验证：打印/编译/disasm/缺参四种模式行为正确；ctest 12/12
 2026-08-21 22:30:44 +08:00
Admin b13585711a 阶段 C 步骤 8：vm 读侧型号匹配 + SHA-256 校验。 
- vm/Image.cpp：执行器侧 SHA-256 实现（与 compiler 各一份）、fill_model_id、
  model_id()/model_matches()/sha_ok()；data_len 不含 SHA 尾
- Machine::create：sha256 不匹配 → 'image sha256 mismatch'；型号不匹配 →
  'image model mismatch'（内建 kModelName=STATOR/kModelVersion=1），均拒绝
- vm_test：手拼映像填型号（修越界读 bug）+ compiler::sha256 填尾（95 断言）；
  新增篡改拒绝（sha256 mismatch）与型号不匹配（重算 SHA 后 model mismatch）用例
- 验证：line1 正常执行 Q=1；篡改一字节 → 执行器 'image sha256 mismatch' 拒绝；ctest 12/12
 2026-08-21 22:29:33 +08:00
Admin 5fccbadaa8 阶段 C 步骤 7：isa 拆出 Image，vm 依赖收窄。 
- 删 isa/Image.h + Image.cpp（ImageView/FNV/写文件/sidecar 不再属于 isa）
- vm 自实现只读视图 vm/Image.h/cpp：头 104（12.13）/段校验/缺 SHA 尾报错
  （型号匹配与 SHA 校验留步骤 8）；Machine 改用 vm::Image + vm::ImageHeader
- executor：本地读文件（替换 isa::read_stb_file）
- 测试：isa_test 删映像/FNV 部分；codegen_test/vm_test 改用 compiler::StbView /
  vm::ConstEntry；vm_test 手拼映像适配新格式（头 104 + 尾 32 占位）
- 验证：line1 编译 288 字节 → BytecodeExecutor 回放 Q 正确；ctest 12/12
 2026-08-21 22:24:57 +08:00
Admin a308ae713d 阶段 B 步骤 6：.stb 写侧新格式（头 104 + 型号标识 + SHA-256 文件尾）。 
- Stb：kHeaderSize 104、kSha256Size 32；SHA-256 实现（FIPS 180-4，含标准测试向量验证）；
  fill_model_id（name+version 拼 32 字节补 '\0'）；StbView 解析新格式 +
  model_id()/model_matches()/sha_ok()（数据段不含尾、缺尾报错）
- Codegen：assemble_image 写型号标识（偏移 72）+ 文件尾 SHA-256
- main.cpp：--disasm 显示 model/sha；写后自检（ok+sha+型号匹配，失败报错）
- 测试：machine_test +SHA-256 已知向量（空串/abc）与型号标识断言（53 断言）；
  codegen_test data_len 断言 +32（SHA 尾）；ctest 12/12
- 验证：line1 288 字节 model=STATOR1 sha=ok；篡改一字节 sha=BAD
 2026-08-21 22:20:35 +08:00
Admin e187ed7b03 阶段 B 步骤 5：类型元数据配置化（TypeInfo）。 
- TypeInfo.h/cpp：TypeMeta（配置别名 + 内建基元解析），查询大小写不敏感；
  提供 width/is_signed/is_float/tag/has_range/value_in_range
- Codegen：layout_data 初值按 type_meta 的基元宽度/浮点写（删除手写宽度分支）；
  const_id 的 tag 改查 type_meta
- machine_test：+10 断言（BOOL 1B/range[0,1]/tag0、INT 2B 有符号、TIME 8B、大小写不敏感、未定义空）
- 验收：line1 224 字节 hash 0xc3fe4ae74ad45900 不变、ctest 12/12
 2026-08-21 22:16:48 +08:00
Admin 447a8d0119 阶段 B 步骤 4：compiler 配置驱动化，去除 isa 依赖。 
- Project.h 自带 IoBinding；Stb.h/cpp：compiler 侧 .stb 规范（常量/ConstEntry/FNV/StbView/读写/sidecar）
- Codec.h/cpp：指令字 pack/字段/配置驱动 disasm（format 表驱动）
- Codegen：opcode 全查 MachineConfig（E_* 发射器）、常量 tag 查配置类型、初值按基元宽度写、
  映像拼装用 Stb 常量；codegen_project 增加 cfg 参数
- main.cpp：--machine <path>（编译/反汇编必填），--disasm 用 StbView+Codec
- CMake：compiler 不再链接 isa（仅 toml++ 私有）；测试补链 isa（自身断言用）
- 验证：20 用例字节不变（hash 0xc3fe4ae74ad45900 相同）、ctest 12/12、缺 --machine 报错退出
 2026-08-21 22:14:29 +08:00
Admin 44b5ecd46d 阶段 A 步骤 3：MachineConfig 加载层（toml++ + 强校验 5 项）。 
- MachineConfig.h/cpp：解析 machine.toml → meta/types/ops/fbs 表
- 强校验：全属性必填、base 命中内建基元、range min≤max、tag 契约（BOOL=0/INT=1/TIME=2 唯一）、
  opcode 唯一 0..255、类别-格式互锁（instance↔CAL）、params 数量与 format 一致、
  fb.opcode 匹配 instance op、fb 字段类型命中 type 表
- 基元内置表（bit/int8..uint64/float32/64，宽度/符号/浮点）
- machine_test：38 断言（正例仓库表 + 9 类负例 + 最小配置），ctest 12/12
 2026-08-21 22:09:39 +08:00
Admin 4dab914e7c 阶段 A 步骤 2：machine.toml 落地（meta/type/op/fb）。 
- meta：STATOR v1（参与 .stb 型号标识）
- type 3 条：BOOL(uint8, range=[0,1], tag=0) / INT(int16, tag=1) / TIME(int64, tag=2)
- op 34 条：全属性必填，与 kOpDefs 逐条一致（26 PLAIN + 8 INSTANCE=CAL）
- fb 8 条：opcode 与 op 行一致，字段类型命中 type 表
- 核对程序通过：types=3 ops=34 fbs=8 ALL CONSISTENT
 2026-08-21 22:07:04 +08:00
Admin 728ed9e71f 指令配置定案更新：最终架构 + .stb 格式冻结修订。 
- 指令配置.md 重写：架构图（machine.toml 只给编译器、vm 不读配置、isa 归执行器只管指令）、
  决策清单 9 项、TOML 草案（meta/type 别名+range+tag/op/fb）、类型系统（基元内置+值域+tag）、
  .stb 加固（型号标识[32]+SHA-256 文件尾各实现一份）、强校验清单、加东西流程、8 步执行计划、
  4 项实现前确认
- 指令与映像.md：头 72→104 字节（型号标识[32] 偏移 72）、文件尾 SHA-256[32]，12.13 修订注记
- stb文件格式.md：12.13 修订注记（落地后字节数字重新生成）
 2026-08-21 22:00:44 +08:00
Admin 35dabf4c3b 步骤 1：OpFormat/OpClass 显式化 + disasm 表驱动。 
- Op.h：新增 OpFormat（RR/RRR/IMM/SLOT/JMP/JC/CALL/CAL/NONE）与
  OpClass（Plain/Instance）枚举；34 条编译期表 kOpDefs（name/format/class，
  与 ops.txt 强校验的基准）；mnemonic/format/op_class 查表
- Encode.cpp：disasm 按 format 表驱动输出（文本与之前逐条一致）
- 验证：11 个 ctest 全绿；表查询断言（8 个 INSTANCE=CAL、越界哨兵）
 2026-08-21 21:13:36 +08:00
Admin 5bcab6791f 指令配置定案：两大分类（PLAIN/INSTANCE）+ FB 注册并入 ops.txt。 
- 三层分类：class（操作对象）→ format（操作数形态）→ 参数名（语义）
- op 行加 class 字段（PLAIN 26 条 / INSTANCE 8 条 CAL_*），类别-格式互锁校验
- fb 行登记内建 FB 布局（8 个），cal_opcode 与 op 行强校验一致
- 加 FB = 配置文件一行 + VM 语义 case，编译器免重建；执行计划更新为 7 步
 2026-08-21 21:09:23 +08:00