Function exact_partial_aggregate_is_proven 

pub fn exact_partial_aggregate_is_proven(aggregate: &AggregateExpr) -> bool

Returns whether an aggregate’s partial state can be merged without changing the current local SQL result. Floating-point, DISTINCT, and order-sensitive aggregates must instead be replayed from ordered inputs. A FILTER predicate does not affect this proof: it applies per input row before the accumulator, so it commutes with Partial/Final splitting — but the distributed catalog still classifies filtered aggregates as local-only before any state reaches this kernel.