A2 可修正模型公理
表述系统持有一个显式模型 M = ⟨要素图, 系统动力图, 路径图, 单元清单, 信念账本⟩。推导顺序是 目标卡 → 要素图 → 系统动力图 → 路径图 → 单元清单 → 指令；运作逻辑以系统动力图为主，单元、节点、指令优先级、机制信念与要素缺口都由派生规则 D1–D6 从它推出。
防止指令只能补洞；复盘只能校准状态而不能发现结构问题。
表述系统持有一个显式模型 M = ⟨要素图, 系统动力图, 路径图, 单元清单, 信念账本⟩。推导顺序是 目标卡 → 要素图 → 系统动力图 → 路径图 → 单元清单 → 指令；运作逻辑以系统动力图为主，单元、节点、指令优先级、机制信念与要素缺口都由派生规则 D1–D6 从它推出。
防止指令只能补洞；复盘只能校准状态而不能发现结构问题。