Layer 3
Compress the residual review
The final human check should arrive as a certificate: decomposed plan, verifier trace, failed invariants, side effects, and rollback.
Seconds instead of minutes
The human should verify the flagged claim, not reconstruct the whole workflow. That is the practical value of process supervision and legibility training.