=== RUN 1: bundle verifier ===
   d= 8 T=  85: theta_lower=1.1466610 up   [<= 1.18733]
   d=12 T= 128: theta_lower=1.1581507 up   [<= 1.18733]
   d=16 T= 171: theta_lower=1.1641839 up   [<= 1.18733]
RESULT: ALL PASS — certified C_3a >= L_lower > previous record
exit=0

=== RUN 2: independent task verifier ===
   d=20 T=214: theta_lower=1.1679657 (up)  |U-U|=58282963507366602111945826193108631 S_approx=16478964446009206067285037296  [<= L_lower 1.18733]
   d=35 T=374: theta_lower=1.1748611 (up)  |U-U|=97616329739459036211697341633086661853054104267777002428744861 S_approx=114547150196254191719324303084236476874088998455595  [<= L_lower 1.18733]
RESULT: ALL PASS — certified C_3a >= L_lower > record
exit=0

run captured: 2026-07-23T05:29:35Z host=instance-20260715-123353