[bsdz]

IIRC, Black also checks byte code before and after formatting to ensure source code functionality is unaffected.

[progval]

Black checks the AST, not the byte code.