Refactor: use several Bandit models - #52

Merged

RemyDegenne merged 31 commits into

mainfrom

Jan 15, 2026

Commits on Jan 2, 2026

partial independence proof
RemyDegenne
committed
dc318ac
Merge remote-tracking branch 'origin/main' into work
RemyDegenne
committed
6613ce8

Commits on Jan 3, 2026

define new filtration
RemyDegenne
committed
be27b56

Commits on Jan 5, 2026

lots of stuff
RemyDegenne
committed
a00150d

Commits on Jan 6, 2026

update to IsAlgEnvSeq
RemyDegenne
committed
ace4f95
more
RemyDegenne
committed
9ab6f44
work on sumRewards
RemyDegenne
committed
812c0d1

Commits on Jan 7, 2026

update
RemyDegenne
committed
1b146e7

Commits on Jan 8, 2026

prove uniqueness of trajMeasure
RemyDegenne
committed
de5d855
finish uniqueness proof
RemyDegenne
committed
a7dd567
condDistrib progess
RemyDegenne
committed
aed6492
progress
RemyDegenne
committed
5cade77
delete unused lemmas
RemyDegenne
committed
d84d16e

Commits on Jan 13, 2026

progress
RemyDegenne
committed
39ad41c
getting close
RemyDegenne
committed
a548ef2

Commits on Jan 14, 2026

only two indepedence sorry left
RemyDegenne
committed
830bad0
lint
RemyDegenne
committed
adfc693
lake exe mk_all
RemyDegenne
committed
e41825d
temporary blueprint fix
RemyDegenne
committed
a6af988
min_imports
RemyDegenne
committed
6647491
mk_all
RemyDegenne
committed
a565bed
add Claude proof
RemyDegenne
committed
f9591ce
add indepedence proof from Claude
RemyDegenne
committed
63f5e42
reorder Bandit file
RemyDegenne
committed
b8bca06
comment out sorrys in RewardByCountMeasure
RemyDegenne
committed
89ed9a4
minor cleanup
RemyDegenne
committed
1a991b7
sorry-free
RemyDegenne
committed
634743a

Commits on Jan 15, 2026

fix blueprint refs
RemyDegenne
committed
15f361d
add and adapt Paulo's regret lemmas
RemyDegenne
committed
75a3b70
partial blueprint update
RemyDegenne
committed
7f31078
fix
RemyDegenne
committed
a260892