ctrlrun.verify.run — function, defined at src/ctrlrun/verify/__init__.py:112
VerifyRefused where the configuration is refused or unusable (exit 2) and
VerifyInternalError where verify itself is at fault (exit 3). Everything else — a
guarantee that failed, a guarantee that could not be exercised — is in the Report.
The scratch directory is removed when the run ends, including when it ends by
exception. The operator’s store is not opened, not read and not created (§3.5, T103).