Strategy compliance evaluation on countdown arithmetic — anti-strategy variant.
Model was explicitly told NOT to use tree search (anti-strategy control). Judge still scores against tree search rubric.
Compliance is scored by an LLM judge (1-5 Likert).
