Also records what RB-11 turned up: BIO-012 was factually wrong that the proefbrief error mapping was already a separate function (it was inlined in a try/catch), and the step-up literal is still a literal, moved one layer up to the only caller rather than eliminated — BIO-006(c) stays a production gate. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>