Refinery — IBM Bob's Enforcement Layer
Refinery compiles both programs, injects PIC-derived boundary values, executes them, and compares output. When Bob's change
diverges , Refinery corrects it using your estate's compliance history, then re-runs the engine. DORA-compliant, CRO-gated.