Quickstart

Task-first guides for bounded verification workflows.

Use this section for bounded, mechanism-first procedures.

Start with Verify First for receipt verification.