Import measurable selection and finite-horizon coupling strategies - #478

Open

Vilin97 wants to merge 22 commits into

mainfrom

codex/import42-bicausalot-palomar

Commits on Sep 21, 2026

Import complete bicausalot-palomar proof development
Vilin97
committed
3cc568c
Complete bicausal optimal transport port and local verification
Vilin97
committed
cdd96b2
Extract partition weight bound from probability approximation proof
Vilin97
committed
14aa8ed

Commits on Sep 22, 2026

Merge remote-tracking branch 'origin/main' into pr-478
github-actions[bot]
committed
5631863

Commits on Sep 23, 2026

Commits on Sep 24, 2026

Merge remote-tracking branch 'origin/main' into pr-478
github-actions[bot]
committed
6a4952e

Commits on Sep 25, 2026

Commits on Sep 26, 2026