Optimization rewrites should be gated on proven semantic equivalence so we never recommend a rewrite that silently changes results. Resolution (per review): instead of a new overlapping tool, add a verify_equivalence mode to the existing altimate_core_rewrite (rewrite → prove-equivalent → label verified/unverified), and route the query-optimize skill through it. See PR #918. Engine-coverage follow-up: altimate-core-internal #137.
Optimization rewrites should be gated on proven semantic equivalence so we never recommend a rewrite that silently changes results. Resolution (per review): instead of a new overlapping tool, add a
verify_equivalencemode to the existingaltimate_core_rewrite(rewrite → prove-equivalent → label verified/unverified), and route thequery-optimizeskill through it. See PR #918. Engine-coverage follow-up: altimate-core-internal #137.