From d439685f5f75f8a7a7874b36541b58944828b41c Mon Sep 17 00:00:00 2001
From: pjh456 <147148383@qq.com>
Date: Thu, 17 Sep 2026 16:36:25 +0000
Subject: [PATCH] =?UTF-8?q?docs:=20=E6=94=B9=E5=86=99=E5=AD=97=E8=8A=82?=
 =?UTF-8?q?=E7=A0=81=E6=93=8D=E4=BD=9C=E7=A0=81=E8=A1=A8=E7=9A=84=E5=8E=86?=
 =?UTF-8?q?=E5=8F=B2=E6=8E=AA=E8=BE=9E?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 crates/oxide_bytecode/src/opcode.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/crates/oxide_bytecode/src/opcode.rs b/crates/oxide_bytecode/src/opcode.rs
index 1be40570..2b89ca08 100644
--- a/crates/oxide_bytecode/src/opcode.rs
+++ b/crates/oxide_bytecode/src/opcode.rs
@@ -49,7 +49,7 @@ pub enum SlotSpec {
 
 /// 单张语义表行：一个 opcode 的 def/uses/pure/跳转/终结/IC 扩展字声明。
 ///
-/// 字段语义与各消费方历史硬编码集合一致：`is_jump` = lower.rs 跳转族（label
+/// 字段语义与各消费方判定集合一致：`is_jump` = lower.rs 跳转族（label
 /// 回填），`is_terminator` = CFG 块尾终结，`ic_ext` = VM 的 IC 扩展字。`pure`
 /// 是静态可删判定，LOAD_VAR 的上下文例外留在 `oxide_ir::contract::is_pure`。
 pub struct OpSemantics {
@@ -892,7 +892,7 @@ mod tests {
         const _: () = assert!(IC_EXT_WORDS == IC_SLOTS * 2 && IC_SLOTS >= 2);
     }
 
-    /// 表驱动 ic_ext 与迁移前硬编码 16 集合逐项相等（旧表并存期的迁移校验）。
+    /// 表驱动 ic_ext 与逐消费方硬编码 16 集合逐项相等（一致性回归，防表驱动改漏）。
     #[test]
     fn semantics_ic_ext_matches_legacy_list() {
         let legacy = [