TermiNexus
3a687db0bb
此前纯常量折叠只覆盖 + - * | & ^ << >>，Div/FloorDiv/Mod 一律落到运行期 sdiv/udiv/srem/urem。现按同一维护口径补上：以精确值折叠，再由既有逻辑按结果值自动提升位宽（不无故抬宽，避免把 A/1 这类算式整体抬成 i64）。语义与运行期一致：Div/FloorDiv → sdiv（向零截断）、Mod → srem（余数符号随被除数）——宿主侧 // 与 % 正是这两个语义，无须额外修正；无符号位型常量按规范恒为非负，与运行期 udiv/urem 取值一致。除零不交给宿主（会打挂编译器）：先关掉折叠再 fail-fast，诊断文本与 AssignGenMixin 的常量求值器保持一致。