ALPHA LIMITS — supported subset: boolean assignments (AND / OR / NOT, comparisons), IF/ELSE set-reset, TON timers. Loops, arrays, CASE and arithmetic are rejected by design. Simulation is verification by sampling, not proof; validate all logic before it runs on a machine.