精化 E-Graph：给等价图内建一个偏序关系

📋 概述

Philip Zucker 提出“精化 E-Graph”的想法：在 e-graph 原生的相等关系之外，内建一个地位相当的 <= 偏序关系。理由在于编译器重写往往不是双向等式，而是单向的“精化”重写——从抽象、不确定的程序或规格，走向可在具体机器上运行的确定形式。许多源语言对求值顺序、整数溢出或除零的结果含糊其辞，而这种含糊恰恰是优化空间。作者给出基于 microegg 的原型 refinement-microegg 与 WASM 演示，并用数字电路中的 “Don't Care” 例子说明：在该语义下 <= 表示逐点集合包含。