Certified route planning under drifting costs: conformal certificates (LB<=OPT<=UB), certificate-directed sensing, proof-gated ns-us preprocessing, and an observable-coverage layer (WATCH + Shiryaev-Roberts). 250 tests, validated on real METR-LA.
1K
1
0