Add cumulative five-claim audit and standalone verifiers

Paper-scale Claim 1: exactly 10 routes, 3 x 512 ONNX rows

Update logbook: Repro - Regression Language Models for Code (RegressLM)

initial commit