pub async fn run_step(sc: &mut Syncer, step: Step) -> Result<(), LeanError>Expand description
The verb bodies. Shared by both doors above so that the ONLY difference between a fenced verb and a lease-free one is the door, never a second copy of the work.