AceVikings/repro-improved-dimension-dependence-for-bandit-convex-optimization-with-gradient-variation

Replace regex audit with executable bandit controls

Replace placeholders with six-claim source-hashed theorem audit

Initial six-claim notebook for X8evkEdMxb

initial commit