Turn a spec, plan, orchestration pattern, or other work object into a bounded loop with visible state, a turn budget, review gates, and proof commands.
