pub enum PruneGuarantee {
NeverClobber,
ConflictFlag,
}Expand description
The prune guarantee a binding requests (bundle plan
05-verify-sync-engine, F1). Prune produces deletion proposals surfaced
in the sync brief (it never mutates the mem); the guarantee governs how a
prune proposal treats a model-side edit that races a source removal.
The guarantee a medium can support is derived from its base-leg
retrievability (prune_guarantee_for_medium): a git-backed source can
retrieve the base leg for a real three-way merge (Self::NeverClobber);
everything else degrades to conflict-flagging (Self::ConflictFlag).
Requesting a guarantee the medium cannot support is refused at
binding-validation time (never at run time) via
CapabilityError::PruneGuaranteeUnsupported.
Variants§
NeverClobber
Full never-clobber three-way merge — only where the source base leg is retrievable (git-backed sources). The retrieved base lets the merge tell a model-side edit apart from a clean removal, so a divergence is never silently proposed as a clean delete.
ConflictFlag
Conflict-flag degradation (the default — always supportable): where the base leg is not retrievable, prune presents both sides and never auto-writes over a model-side edit. The decided posture for non-git sources (span-snapshot base legs are out of scope — no current payer).
Implementations§
Trait Implementations§
Source§impl Clone for PruneGuarantee
impl Clone for PruneGuarantee
Source§fn clone(&self) -> PruneGuarantee
fn clone(&self) -> PruneGuarantee
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreimpl Copy for PruneGuarantee
Source§impl Debug for PruneGuarantee
impl Debug for PruneGuarantee
Source§impl Default for PruneGuarantee
impl Default for PruneGuarantee
Source§fn default() -> PruneGuarantee
fn default() -> PruneGuarantee
Source§impl<'de> Deserialize<'de> for PruneGuarantee
impl<'de> Deserialize<'de> for PruneGuarantee
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
impl Eq for PruneGuarantee
Source§impl PartialEq for PruneGuarantee
impl PartialEq for PruneGuarantee
Source§impl Serialize for PruneGuarantee
impl Serialize for PruneGuarantee
impl StructuralPartialEq for PruneGuarantee
Auto Trait Implementations§
impl Freeze for PruneGuarantee
impl RefUnwindSafe for PruneGuarantee
impl Send for PruneGuarantee
impl Sync for PruneGuarantee
impl Unpin for PruneGuarantee
impl UnsafeUnpin for PruneGuarantee
impl UnwindSafe for PruneGuarantee
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> DeserializeOwned for Twhere
T: for<'de> Deserialize<'de>,
Source§impl<T> Downcast for Twhere
T: Any,
impl<T> Downcast for Twhere
T: Any,
Source§fn into_any(self: Box<T>) -> Box<dyn Any>
fn into_any(self: Box<T>) -> Box<dyn Any>
Box<dyn Trait> (where Trait: Downcast) to Box<dyn Any>, which can then be
downcast into Box<dyn ConcreteType> where ConcreteType implements Trait.Source§fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
fn into_any_rc(self: Rc<T>) -> Rc<dyn Any>
Rc<Trait> (where Trait: Downcast) to Rc<Any>, which can then be further
downcast into Rc<ConcreteType> where ConcreteType implements Trait.Source§fn as_any(&self) -> &(dyn Any + 'static)
fn as_any(&self) -> &(dyn Any + 'static)
&Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &Any’s vtable from &Trait’s.Source§fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
fn as_any_mut(&mut self) -> &mut (dyn Any + 'static)
&mut Trait (where Trait: Downcast) to &Any. This is needed since Rust cannot
generate &mut Any’s vtable from &mut Trait’s.Source§impl<T> DowncastSend for T
impl<T> DowncastSend for T
Source§impl<T> DowncastSync for T
impl<T> DowncastSync for T
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.impl<T> Fruit for T
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more