## Phase 3 — Rewriting

Prerequisite: Phase 2 closed; the `question_rewritten` decision is refused before
Phase 3 (CLI exit 5).

1. Read `rewriting.md`. Produce the rewritten question (population explicit in model
   terms, each condition as a separate numbered clause, ambiguous terms replaced with
   the concepts clarified in Phase 1 citing the defining evidence, expected output
   made explicit).
2. Call `rewrite_question` once with the completed rewritten question and assumptions. The
   gate writes `question.md` (including `## Assunzioni`), records `question_rewritten`, and
   closes F3 automatically.
3. Do **not** call `reviewer_decide` or `reviewer_confirm` in F3: the rewrite is assumed
   approved. Continue at F4 only after `rewrite_question` reports success. To revise the
   rewrite, use "Torna indietro" to reopen F1.