# Plan: proof-context-query

**Branch:** feature/proof-context-query

## Phases

- [x] Resolve callout file paths at write time
  - Spec: spec-1.md
- [x] Add `ana proof context` query command
  - Spec: spec-2.md
  - Depends on: Phase 1
