System design that enforces constraints during reasoning steps rather than only filtering final outputs.