From f3b6229a0511253e617e67b3cc7a1f211bdcdd5b Mon Sep 17 00:00:00 2001
From: pjh456 <147148383@qq.com>
Date: Thu, 17 Sep 2026 16:35:54 +0000
Subject: [PATCH] =?UTF-8?q?docs:=20=E7=BB=9F=E4=B8=80=E4=B8=AD=E9=97=B4?=
 =?UTF-8?q?=E8=A1=A8=E7=A4=BA=E4=B8=8E=E5=A5=91=E7=BA=A6=E6=B5=8B=E8=AF=95?=
 =?UTF-8?q?=E6=B3=A8=E9=87=8A=E6=8E=AA=E8=BE=9E?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 crates/oxide_ir/src/lower.rs            | 8 ++++----
 crates/oxide_ir/tests/contract_tests.rs | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/crates/oxide_ir/src/lower.rs b/crates/oxide_ir/src/lower.rs
index 58fff790..c0624a1b 100644
--- a/crates/oxide_ir/src/lower.rs
+++ b/crates/oxide_ir/src/lower.rs
@@ -13,16 +13,16 @@ use crate::inst::Inst;
 use crate::operand::Operand;
 use crate::IRFunction;
 
-/// IRFunction → CompiledModule 等价转换。溢出/标签错误消息为既有格式，逐字保持一致。
+/// IRFunction → CompiledModule 等价转换。溢出/标签错误消息串是下游解析的契约键，改动须同步更新下游匹配。
 pub fn lower(f: &IRFunction) -> Result<CompiledModule, String> {
     crate::ir_debug!("lower: {} insts", f.insts.len());
-    // 溢出检查 1：常量池（先于寄存器——超大常量池伴生的海量 vreg 会使后续检查的
+    // 常量池检查（先于寄存器——超大常量池伴生的海量 vreg 会使后续检查的
     // 稠密 bitset 表示爆内存；常量池超限是更基础的失效，先报它）
     if f.const_overflow || f.constants.len() > u16::MAX as usize {
         return Err("RangeError: too many constants".into());
     }
 
-    // 溢出检查 2：寄存器（仅 Operand::Reg 变体；This/NewTarget 是语义操作数，映射 254/255 合法）
+    // 寄存器检查（仅 Operand::Reg 变体；This/NewTarget 是语义操作数，映射 254/255 合法）
     for inst in &f.insts {
         for o in [&inst.rd, &inst.a, &inst.b] {
             if let Operand::Reg(r) = o {
@@ -33,7 +33,7 @@ pub fn lower(f: &IRFunction) -> Result<CompiledModule, String> {
         }
     }
 
-    // 溢出检查 2b：n_registers（u32 → CompiledModule u8 前的显式截断检查）。
+    // n_registers 计数检查（u32 → CompiledModule u8 前的显式截断检查）。
     // n_registers = max_regs = 最高分配号 + 1，合法上限 254（reg 0..253）。
     // 纯参数/空体函数可能无指令引用最高号寄存器，逐指令检查漏掉，计数检查兜底防 u8 静默截断。
     if f.n_registers > 254 {
diff --git a/crates/oxide_ir/tests/contract_tests.rs b/crates/oxide_ir/tests/contract_tests.rs
index a335a3eb..09090b12 100644
--- a/crates/oxide_ir/tests/contract_tests.rs
+++ b/crates/oxide_ir/tests/contract_tests.rs
@@ -367,7 +367,7 @@ fn load_var_this_derived_constructor_special_case() {
     assert!(reg_load.is_pure(&derived));
 }
 
-// ── 表驱动解析 vs 老 match 的一致性（Phase B1 迁移校验）──
+// ── 表驱动解析与逐 opcode 手写 match 分支的一致性回归 ──
 
 /// 每个 opcode 构造一条规范指令：rd/a/b 置 Reg(1/2/3)，ext 按族填真实布局。
 fn canonical_inst(op: OpCode) -> Inst {