A demo that replays stop, authorize, replay is an evidence artifact about a governed path that already exists. It proves the receipts. It is not permitted to author new policy, fixtures, or kernel behavior to make the demonstration look better.
A proof pack is tempting to improve. A cleaner fixture here, a slightly more permissive policy there, and the stop-authorize-replay story renders beautifully. But every such improvement turns the artifact from evidence into theater. A proof of enforcement that adds enforcement is proving something that does not exist in production.
The discipline is narrow and absolute: the proof wraps the real governed path and exercises it unchanged. It narrates, sequences, and captures receipts; it does not author policy, fixtures, kernel behavior, or schema to flatter the result. What the pack demonstrates has to be exactly what runs, or it is a story about a system nobody shipped.