pub enum VerifyOutcome {
Matches,
Conflicts,
Missing,
Unknown,
}Expand description
The typed result of an adapter’s read-only verify — how the published
receipt reconciles against what the registry currently holds (ADR-0002 §1).
This drives the resume/reconcile state table (ADR-0003): Matches seals the
target as landed, Conflicts and Missing surface a human-recoverable
discrepancy, and Unknown says the check could not be performed and must not
be treated as Missing.
Variants§
Matches
The registry holds the receipt’s version and (where a digest is observable) it matches — the publish is confirmed landed.
Conflicts
The registry holds the receipt’s version but its digest differs from the receipt’s — something other than what this run published is at that version. A human must reconcile; never auto-resolved.
Missing
The registry does not hold the receipt’s version — the publish did
not land (or was yanked). Distinct from Self::Unknown.
Unknown
The reconcile could not be performed (registry outage, unresolvable
package). Reserved for “could not check” and never a synonym for
Self::Missing — an outage must not be read as “did not land”.
Implementations§
Trait Implementations§
Source§impl Clone for VerifyOutcome
impl Clone for VerifyOutcome
Source§fn clone(&self) -> VerifyOutcome
fn clone(&self) -> VerifyOutcome
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 VerifyOutcome
Source§impl Debug for VerifyOutcome
impl Debug for VerifyOutcome
impl Eq for VerifyOutcome
Source§impl PartialEq for VerifyOutcome
impl PartialEq for VerifyOutcome
Source§impl Serialize for VerifyOutcome
impl Serialize for VerifyOutcome
impl StructuralPartialEq for VerifyOutcome
Auto Trait Implementations§
impl Freeze for VerifyOutcome
impl RefUnwindSafe for VerifyOutcome
impl Send for VerifyOutcome
impl Sync for VerifyOutcome
impl Unpin for VerifyOutcome
impl UnsafeUnpin for VerifyOutcome
impl UnwindSafe for VerifyOutcome
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,
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.