Verification performed:
- Command/check:
- What it proved:

If not run:
- Blocker:
- Residual risk: