Maneuver Calculus

A procedure-level calculus of adversary action, defensive control, and the coverage relation connecting them. Its unit of account is the maneuver: one procedure, identified by its observable effect.

Initial public release: 11 July 2026.

The full specification, ontology, and documentation will be published here in the coming days.