# Prop 1 Decision Log
[init] 2026-05-23T16:46:51-07:00 ok prop=1 template=v2 budget=open
[L1.ranker] 2026-05-23T16:54:12-07:00 ok top=A,B weak=D,E
[L1.sentinel] 2026-05-23T16:57:27-07:00 kill data=k2_n4to6_full_enum_5364_counterexamples_in_20746_tested_pairs_minimal_F={{1,2},{1,4},{2,3}}_S12->{{1,2},{1,4},{1,3}}_sunflower_core{1}
[P1.KILL] 2026-05-23T17:18:01-07:00 verdict=KILL reason=k2_counterexample_24_at_n4 followup=revised_forms_in_section_5