Answer contract

What an answer would have to look like to answer what the operator typed, derived from the raw goal and never from the engine's rewrite.

It lists the answer shapes owed, the subject, the quantity unit, the ambition verbs and what would count as an answer. Each becomes an obligation checked at every checkpoint. Ambition verbs exist because a rewrite that turns "reverse" into "maintain" has changed the question, and nothing else in the system would notice.