Qwen3 models: identical system prompt, 900-token budget, greedy decoding.
Claude runs the few-shot strategy verbatim from the ablation — the cell that measured
… robustness — at temperature 0; generation is capped at 3000
tokens here, matching the ablation harness.
Demo vs. offline eval. This demo disables thinking on both Qwen3 models and
strips any
<think> block before grading; the offline runs behind the
published numbers did neither. That makes the untuned base look better here than in
those numbers — re-scoring the 30 shipped base generations with the think block stripped
moves the
checker's spec-adherence from 13.3% (4/30) to 16.7% (5/30) and its
no-repair from 36.7% (11/30) to 66.7% (20/30). Those two are
checker verdicts.
The published base figure of
… spec adherence is a
judge verdict on the un-stripped text, so it is not the other end of that
arrow and is not restated from it.
The tuned arm is the shipped checkpoint
…. It scores
… robustness on the frozen 30 and
… on 400 unseen scenarios. Every figure in this note is
read from
/evals.json, which
python3 show_evals.py --write-json recomputes from the raw judge
transcripts — nothing here is typed into the page.