the composition is re-derived, not imported

Agent-decided. Khot-Ponnuswami and AdaNormalHedge compose, but their published theorems assume different loss ranges: [-1,+1] out of the reduction against [0,1] into the expert algorithm. What the drifting-game analysis needs is |r_t| <= 1, which holds here for the same reason the effective mass collapses. The round marks this as a numerical check run on twelve adversarial streams rather than as an imported theorem, and LEGITIMATE_IMPROVEMENT.md §D says which of its ingredients are imported, which are algebra and which are new.