proof-workflow
Prepare proportionate checks for a committed code change and associate AssertLedger evidence with its exact scope. Use for a nontrivial change or a named regression in an onboarded repository; skip prose and mechanical edits with a known cause.
Pinned to revision 8586abd67648, so it is the text this page describes rather than whatever the author pushed since.
Files
Every link opens the file at its source, pinned to the revision this page describes.