writ-jev
Optional second reader for Writ, backed by TypeSafe's Jev. Flags unclear, contradictory, or incomplete acceptance criteria before a contract is agreed, and proof lines whose evidence does not show what they claim. Used by writ-spec and writ-verify; run directly to turn it on or off or to check its status. Part of Writ.
Pinned to revision e92a3f8910e7, 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.