Rules: complete mechanic rules as numbered statements with all formulas,

constants, and tuning ranges; state machine/state transitions for the system (states, entry/exit, transitions table); pseudocode for contested rules.