ICML 2026 agent reproduction
Online social-welfare resource allocation
Confidence-sequence lifting, exact SWF policy oracles, regret scaling, budget nonmonotonicity, and dependent rounding.
120
CS-lifting instances
180
oracle comparisons
36k
rounding draws
12/12
scientific gates
Joint result. Every valid theorem consequence passes; nonmonotone, wrong-oracle, and independent-Bernoulli controls fail their targeted assumptions; all three SWFs reproduce square-root-consistent horizon scaling and interior budget peaks.
CPU-only · two byte-identical warning-strict runs · pinned source PDF/text · packaged replay