# Phase 174 Target

## Real Dialogue Target

- **Fresh topic slug:** `fresh-jones-finite-dimensional-factor-closure`
- **Dialogue topic:** `Fresh Jones finite-dimensional factor closure`
- **Bounded formal result:** `theorem:jones-ch4-finite-product`

## Dialogue Contract

- start from a real natural-language formal request
- preserve that request in runtime-side steering artifacts such as:
  - `interaction_state.json`
  - `research_question.contract.json`
- keep the route tied to the already-proved bounded formal theorem instead of
  widening into whole-book formalization

## Read-Path Proof

- canonical theorem mirror:
  `canonical/theorem-cards/theorem_card--jones-ch4-finite-product.json`
- `consult-l2` should still surface:
  `theorem:jones-ch4-finite-product`
