Weighted private-path decision: SAT; unit-factor shortcut: UNSAT; directed cycle: UNSAT.
Fixed-state sharp relative radius: 43/943 = 0.045599152; strict inequality required.
Joint preparation/factor/food corner minimum: 847959991/4687500000000.
Fixed-state food window: (14814/14825, 88859/88775).
Nongraded four/five construction minimum production: 21/100000000; exact LP candidate: SAT.
All SAT states are checked against literal currents and boxes. UNKNOWN does not mean incompatible.
