caching

Galahad verified-reuse testbench Tool

Public testbench for the frozen-12B verified procedure cache, where a solved and independently verified problem family is answered on later instances at zero generation tokens, bit-exact. Worth poking at to understand what the claim does and does not cover -- the engine source, configuration and raw artifacts are withheld, so this demo plus the bench repo is the only inspectable surface.