Set when the commit landed locally but origin rejected the push (#103).
ok stays true — the local write succeeded — but a pushing writer must
treat this as "origin moved past the observed tip": the derivation
behind the commit is stale, and acting on it (launching a dispatch)
would act on state another writer already changed.
Set when the commit landed locally but origin rejected the push (#103).
okstays true — the local write succeeded — but a pushing writer must treat this as "origin moved past the observed tip": the derivation behind the commit is stale, and acting on it (launching a dispatch) would act on state another writer already changed.