Exact Blossom Decoding for Graphlike QEC

How weighted MWPM, Edmonds' primal-dual view, path boundaries, and sparse candidate escalation fit together.