Function normalize_result 

pub fn normalize_result(
    result: SolverResult,
    num_variables: usize,
) -> SolverResult

Enforce the public result contract after the adapter has established native evidence and restored coordinates. Does not infer feasibility from a stop reason, or re-check feasibility using an unrelated common tolerance. An explicit FeasiblePoint status caps the point’s quality even if native termination was Optimal. Invalid incumbents cause the same downgrade for surviving pool points. Normalizing an already normalized result is safe.