# Plan: proof-chain-targeted-queries

**Branch:** feature/proof-chain-targeted-queries

## Phases

- [ ] Replace PROOF_CHAIN.md reads with targeted proof context queries in agent templates
  - Spec: spec.md
