typed except 与 except as alias 未按 Python 3 语义匹配和绑定

[pikasTech]

目标合并分支: master

问题

当前 parser/runtime 对具名异常分支和 alias 的处理与 Python 3 不一致。探测发现：

try:
    1 / 0
except ValueError as err:
    caught = 1
except ZeroDivisionError:
    caught = 2

首个 typed except 可能捕获不匹配的异常；except ValueError as err 的异常类型条件和 err 绑定也可能被 parser 忽略。结果是脚本选择错误分支或 alias 不可用，而不是遵循 Python 3 的异常匹配语义。

期望

• typed except 只捕获匹配类型。
• 多个 except 分支按声明顺序匹配，但不允许首个不匹配分支吞掉异常。
• except X as alias 在 handler 作用域内提供对应异常对象或现有对象模型允许的等价错误值。
• 不匹配异常继续向后续 handler 或外层传播。
• 错误后 VM 栈和对象状态可恢复，释放后无堆残留。

边界

• 先确认当前异常字节码、handler 跳转和错误对象表示，再定义最小兼容合同。
• 不改变 VM、对象模型或字节码大架构。
• 不扩大到 Python 3 完整异常体系；只修复当前已经接受的 typed except 与 alias 语法。
• 增加合法/非法邻接测试、异常类型错配测试、alias 可见性测试及 default/minimal 配置边界验证。
• 记录 default/minimal 的 text/data/bss 净变化，整体资源不得无界膨胀。

[pikasTech]

本轮已在不改变 VM/对象模型/字节码大架构的前提下完成一批修复：typed except 可按内建异常类型及父类匹配，多 handler 只执行首个命中分支，except ... as alias 可用，raise 内建异常 constructor/instance 可被捕获。已加入 22 个独立 runtime 场景、6 个非法 parser 场景，并验证逐场景析构后堆占用归零。当前仍有两个边界继续跟踪：handler 内再次 raise 到外层受现有线程级 try 状态限制；alias 在父类捕获子类时尚不能完整保留原始子类实例语义。资源 A/B 为 data/bss 不增、text 暂增 2480 bytes，R4.4 保持进行中，后续做 minimal 验证和 Flash 补偿后再评估关闭。

[pikasTech]

R4.4 已完成资源补偿和多配置回归，未改变 VM、对象模型或字节码大架构。

• 修复前正确性变更在 default 为 text +2480 B；最终相对原基线为 default text -294 B / data -24 B / bss 0，minimal text -1379 B / data -24 B / bss 0。
• 补偿仅用于 parser Flash 大函数和异常类型解析、EXP、RIS 冷路径的 GCC 定向 Os；未修改 VM 热路径，不声明 parser 或 runtime 性能收益。
• default 异常定向 7/7 通过；核心宽回归排除既有隔离失败后 303/303 通过。
• minimal 完整测试目标编译成功，对象、栈、队列承诺范围 30/30 通过。
• 唯一宽回归失败 datastruct.circlequeue 使用当前子集不支持的复合 and 条件，替换修复前基线 parser 后同样失败，确认不是本轮回归。

issue 保持打开：handler 内再次抛到外层仍受线程级单 try 状态限制；alias 在父类捕获子类时仍不能完整保留原始子类实例语义。后续修复继续遵守不扩大语法范围、不改变大架构的边界。