Function simplify_unit_with_facts 

pub fn simplify_unit_with_facts(
    ast: &mut JavaAst,
    unit: &mut CompilationUnit,
    cfg: &Config,
    facts: &JavaFacts,
) -> Report

整个编译单元：逐个方法体/初始化块/字段初始化器优化，签名不动。 带外部事实的单元简化：前端 IR 权威陈述（单定义/单使用/布尔性/ 调用副作用）注入后运行常规管线——事实只放宽守卫，不改变规则集。 单元结束自动清空（JavaFacts 生命周期 = 编译单元）。