evidence

Overview ¶

Command evidence writes the verification evidence of Auth-All.

It re-runs the acceptance suite, maps every normative scenario id of the specification to the test that proves it, and records the result together with the checks that the verification command already passed.