No Crowning the Frontier: Explanation Graphs, Certification Boundaries, and Diagonal Obstruction | Synapse