feat: execute source control flow and exact real arithmetic

docs/runtime/bytecode.md

@@ -164,7 +164,7 @@ fn main() -> Result<(), endor_core::VmError> {
 
 运行错误仍返回 `VmError`。`last_traceback()` 另提供从外到内的函数名、文件、代码首行和出错指令偏移；它保存独立元数据，不保活已经清理的帧。首行是代码声明的 first_line，不是由行号表推导出的实际错误源码行。成功的新一次调用会清空旧记录。尚无语言异常对象传播、raise／try／except 或完整源码行号表。
 
-暂未实现：源码闭包编译、关键字／可变参数、生成器／协程、迭代器专用指令、数值算术、自动方法绑定、指令特化和 JIT。
+暂未实现：源码闭包编译、关键字／可变参数、生成器／协程、迭代器专用指令、复数算术、自动方法绑定、指令特化和 JIT。
 
 ## 验证
 
@@ -204,3 +204,10 @@ LoadAttr 对实例自有属性返回原值；缺失时沿类型父链找方法
 在独立coroutine中，Pending保持已求值的栈顶、当前帧和返回契约，返回CoroutineProgress::Waiting { awaitable, instructions }；awaitable是由暂停帧保活的借用身份。宿主等待条件满足后再次resume，仅重查同一个Await，不重放操作数表达式、前缀写入或IO请求。每次实际执行Await计入同一硬预算；宿主不应对未就绪对象反复resume来轮询。完成结果与错误沿普通执行/清理路径传播。非coroutine调用允许立即Ready的await，Pending则明确报错，不阻塞线程。调度、取消传播和循环等待检测属于宿主；本引擎不依赖Tessera Task。
 
 LoadGlobal按文本名字分别观察函数globals及缺失时的captured builtins，不因无关全局写入而失效。可恢复只读Complete新增dependencies，reads保留兼容保守列表；精确验证/所有权见native-calls.md。
+
+
+## 实数运算指令
+
+`BinaryArithmetic`（31，operand 0/1/2/3）消费两个 Number 并产生一个 Number，分别对应加减乘除；operand 0 也接受两个直接文本值进行有界连接（最多 1 MiB）。`UnaryNegate`（32，无 operand）保持 1 入 1 出。验证器检查算术 operand 和栈深度；两者是无外部写入的运算，已纳入保守只读证明。失败沿同一个 VM 栈清理及 traceback 路径传播。
+
+源码 if/else 和 while 使用既有条件跳转、正向跳转和回跳，不引入宿主循环。Compiler 先记录逻辑指令标签，再迭代求解 EXTENDED_ARG 展开后的 code-unit 距离，避免大分支错跳到参数前缀。每次真实循环迭代仍消耗同一累计预算并支持已有协作暂停。