independent adversarial code review
Engagements we can describe in public: each is published with the affected party's agreement, or with identifying details removed.
Our companies' payment and custody code, reviewed twice. The second review filed 39 Critical findings, 16 of them proven by running them; earlier reviews had described 7. What changed was mostly the procedure, and the record cannot yet say how much the added models contributed.
An anonymized case study in evidence grading: pinned revision, deterministic reproduction, explicit refutations, and claims narrowed when better evidence arrived.