Ambiguity Clustering and Learned Predecoders

Freeze confident qubits, solve ambiguous components, and add learned priors without moving the correctness proof.