Implemented today
- Versioned rules, content, snapshots, observations, and legal actions
- Initiative, weather, stage-entry obligations, and Reserve Designation
- Public Movement, bounded Reaction, and Breakdown paths through Combat entry
- Byte-identical replay, inherited-history restore, and checked Exercise/Maneuver evidence
- Combat internals reviewed through orders, costs, results, losses, retreat, custody, and round closure
- Private Reserve Release, bounded released-I Movement, and guarded repeat/finish
- Two native opening histories reach a supported candidate before selection
- Private executable actual-selection contract through Force Assignment or no-attack Reserve Release
Settled-control proofs retain synthetic earlier Movement. The actual-selection contract requires a separately trusted input ledger; its native consumer and production input authentication remain gated. Actual round/results, repeat, public Combat play and the authentic full cycle remain open.