"""FIGHT R5: bounded CPU rules, no inference or external I/O."""