Author a checklist or standard operating procedure as a signed definition. Each step declares its evidence requirement and whether it blocks the next step. The exported definition is what a run executes against and a verifier checks receipts against later. This is a document format, not a hosted service: nothing is stored on any server.