Warn on gate-target mismatch when recording a formulation #214

Important

Problem

The formulation validator only checks that target is a string, so the agent can lock a formulation whose target contradicts the problem it belongs to — a real CZ-gate workspace shipped with target X, and the formulation tab faithfully rendered an "x-gate" chip for a CZ run. Nothing at record time even hints at the mismatch.

Approach

Add a cheap gate-token mismatch heuristic at formulation record time, surfaced through the existing soft-warning channel in the formulate tool's reply — a warning, never a block, because problem names are free-form and workspaces get repurposed.

Approaches Considered

• Soft warning via mismatch heuristic (chosen) — catches the observed failure with zero false-positive cost; the agent self-corrects in the same turn.
• Hard validation failure — rejected: slugs are free-form; repurposed/renamed workspaces would be blocked on legitimate targets.
• Prompt-only fix in the score — rejected: prompts drift and give no durable guardrail; this failure already slipped past the current prompt.

Scope

• In: token extraction from problem name/slug; comparison against normalized target; warning appended to the formulate tool response alongside existing soft warnings; unit tests.
• Out: blocking validation — free-form names make false positives certain.
• Out: reconciling against the actual solve script — separate issue (linked below).
• Out: UI changes — the chip is correct once the data is correct.

Assumptions / Open Qs

• Assumes a small closed set of recognizable gate tokens (X, Y, Z, H, CZ, CX/CNOT, CCZ, iSWAP, …) is enough; names without a recognizable token never warn.
• Open: should the warning also fire on trajectory-type mismatch (name says "state-prep", formulation says gate)?