跳过无效更新，同时保持可见结果不变。

EonState 研究的问题是：能否把每个 tick 都执行的稠密状态更新循环，转换成在非活跃区间跳跃、在事件处切换，并在事件变密时回到稠密执行的稀疏程序。

核心要求不是事件执行永远更快，而是两种执行器都细化同一套可观察语义，并且只有在经过证明的静默边界上切换。

第一版面向声明过的 kernel 家族，例如仿射递推、泄漏积分、令牌桶、受支持的阈值/重置形式与特定观测结构。无法处理的效果或源码形态应被拒绝，而不是被不安全地优化。

这样，编译器从一个已知的语义包络出发，更容易推理，也不会假装理解任意 Python 或任意混合动力学。

编译器会输出结构化表示、guard 分析和证书材料，由独立 checker 检查。根据算术域不同，结果可能是精确抽象语义、bit-exact 执行，或带有声明误差界的有限精度执行。

这些类别必须保持分离。数学公式的精确性，不会自动让浮点执行变成 bit-exact。

当事件密度让稀疏执行不划算时，经过测量的 cost model 可以选择稠密执行器。因此，交叉点、控制器开销和回退行为都应该被测量，而不是被当成天然收益。

这样，项目关注的是可信的转换和真实的运行范围，而不是一个普遍适用的优化口号。