diff --git a/Doc/isa/指令集优化.md b/Doc/isa/指令集优化.md
index f5dd9fe..5deedd8 100644
--- a/Doc/isa/指令集优化.md
+++ b/Doc/isa/指令集优化.md
@@ -106,6 +106,7 @@
 | 9 | USINT | 1B | 无 | uint8_t | 19..31 | 预留 | | | |
 
 - **type 位段红利**：CMP/算术按类型自动语义——无符号类型无符号比较、整数饱和到类型宽度（模板化）、浮点走 IEEE 754（无饱和，溢出→±inf）、读取按宽度+符号/零扩展
+- **整数除法语义（A 定案）**：除零 → **返回被除数**（结果保持，Fail-safe）；MIN/-1 溢出 → **饱和夹界**（各宽度模板化）；截断除法（向零，C 风格）；**MOD 符号随被除数**（-7 MOD 3 = -1，与除法一致），除零同 DIV
 - **DATE/TOD/DT（U13 定案）**：DATE=uint32（天数）、TOD=uint32（当日 ms）、DT=uint64 **{date:32 \| tod:32} 拼接**（高 32 位日期）；DT→DATE 取高 32 位、DT→TOD 取低 32 位（CONV/移位展开）；v1 无日期运算仅存取/比较
 - **浮点表示**：REAL 4B / LREAL 8B，值区 4/8 字节对齐；寄存器 int64 位模式搬运（REAL 低 4 字节），运算时按 type 重解释
 - **常量表契约（A2 定案）**：条目 = **8 字节原始值（无 tag）**，按位模式去重；
@@ -285,6 +286,7 @@ V2 的 op 位段仅 6 位（64 个），FB 占 8 个不划算，且 machine.toml
 - U14 定案：CALL/CAL rd 字段恒 0（按指令编码/指令集清单文档）——**全部 U 项闭合，V2 规格冻结**
 - 版本线确认：当前设计 = **V2**（V1 为已实现简化版）；头 version = 2，型号 STATOR2
 - 帧头 12B 成文（fn_id/ret_pc/ret_fn_id）+ max_stack 计算细则（MAIN 计入、DAG 最长路径）
+- 整数除法语义 A 定案：除零返回被除数、MIN/-1 饱和、截断除法、MOD 符号随被除数（延续 V1 饱和算术家族）
 - A10 定案（B1/B2）：1 CAL + fb_id 16 位（查 [[fb]] 表）；V1 的 8 个 CAL_* opcode 作废
 - B4 定案：领域指令（运动控制/通信）不进指令集，一律 FB 库；无 EXT 服务指令
 - B3/B5 说明中待确认：单/双字计数编码（CAL type 位段）、op 位段预算