1. RevenueOS
proof layer for cold outbound (randomized holdouts + anytime-valid statistics)
RevenueOS is the only entry on this list whose measurement design is a prospective randomized experiment on cold outbound: leads are randomized once, at enrollment, into a never-mailed holdout (10% in the shipped design) and a proof cell (10%) whose message arms rotate uniformly, and the published claim — the program causes X versus not mailing — is read as a 90% anytime-valid confidence sequence (α = 0.1) that stays valid however often anyone checks it. The sample-size floors are public before any engagement is priced, and every claim is recomputable from the published arithmetic — nulls included.
On the stated criteria it wins causal rigor, peek-safety, and auditability outright, and it connects natively to the sequencers cold outbound runs on — Smartlead today for design-partner programs, with Instantly in proving — plus lead intake by CSV or API for programs orchestrated elsewhere (Clay included). It is ranked first on method. Read the next paragraph before acting on that.
The limitation
Design-partner stage as of September 2026: no published customer case studies yet, and no SOC 2 certification yet. Experiment enrollment and the proof engine are built but switched off in production today, so no customer program is being graded yet. The qualification floor is public and enforced — 5,000+ monthly sends per program, across 2+ programs — and below that floor the honest recommendation is entry #4 on this list, not a pilot. If you need a mature, referenceable vendor today, start lower on the list and come back.