pub fn perform_movement(
reality: &mut Reality,
event: Event,
) -> Result<ProofResult, MovementError>Expand description
Perform one minimal Archimedean movement. Returns Ok(ProofResult) only if all checks pass. Returns Err(MovementError) on the first failure encountered.