Module pass 

Pass runner：fixed-point 循环 + 成本门槛 + 编辑账本。

Structs

Config

Report

Functions

fold_root

对「根即 Replace 目标」的提案求值：返回 (新根, 规则名)。

simplify

对 root（通常是方法体 Block）运行规则集直到 fixed point。