The final string has to meet the rule—not just the prompt.

This proof reads its exact strings, checks, recorded revision, and receipt from the generated fixture. JavaScript is needed to lay out that record, but the proof does not depend on the live Shelf Tool.