Final bench: add thinking-at-512-budget condition (2/10 vs ledger 6/10)

Marimo Diffusion 0.6B: checkpoint, sampler, OpenAI server, ledger-needle bench