The transformer proof series starts with trace shape. The next pieces study proof pressure, statement validity, and typed verifier boundaries against checked evidence.
This topic works better as a series than as one long article. Part 1 is live now; the later parts are still being tightened against checked evidence.
Start with Part 1. The later pieces will return once the claims, figures, and evidence boundaries are ready.