# Audit Plan: ADR-0.7.0-obpi-first-operations

## Scope
- ADR: `docs\design\adr\pre-release\ADR-0.7.0-obpi-first-operations\ADR-0.7.0-obpi-first-operations.md`

## Verification Commands
- `uv run gz test`
- `uv run gz lint`
- `uv run gz typecheck`
- `uv run mkdocs build --strict`

## Proof Output
- Directory: `docs\design\adr\pre-release\ADR-0.7.0-obpi-first-operations\audit\proofs`
