# Prop 3 Decision Log
[init] 2026-05-23T16:46:51-07:00 ok prop=3 template=v2 budget=open
[L1.ranker] 2026-05-23T16:54:11-07:00 split numerical=ok asymptotic=at_risk_sos_gap
[L1.sentinel] 2026-05-23T16:56:49-07:00 STATUS numerical_feasible_to_k=6-7 asymptotic=split
[L2.search] 2026-05-23T17:15:51-07:00 ok n_papers=13 numerical_path=clear asymptotic_path=needs_pseudocalibration
[L2.reader] 2026-05-23T17:20:01-07:00 ok numerical_ready=k3 asymptotic_ready=needs_pseudo_calibration