Macaulayfication of Noetherian schemes

To reduce to resolving Cohen–Macaulay singularities, Faltings initiated the program of “Macaulayfying” a given Noetherian scheme X. For wide class X, Kawasaki built sought-for modifications, with crucial drawback that his blowups did not preserve locus CM(X)?X, where X is already Cohen–Macaulay. We extend Kawasaki’s methods show every quasi-excellent, has X˜ proper map X˜?X an isomorphism over CM(X). This completes Faltings’s program, reduces conjectural resolution singularities case, and implies proper, smooth number field flat, model ring integers.