Enum PeerLookup 

pub enum PeerLookup {
    Confirmed(PeerLocation),
    Unconfirmed {
        location: PeerLocation,
        why: Unconfirmed,
    },
    Mismatched {
        location: PeerLocation,
        declares: String,
    },
    Unknown,
}

What a host knows about where one workspace is — and how sure it is.

Note what is not here: an error case. A peer that cannot be found, cannot be read, or turns out to be someone else is never a failure, because a foreign reference is carried whether or not it resolves. Every variant is an answer.

Variants

Confirmed(PeerLocation)

A location, and the workspace there declares the name that was asked for. The only variant followable returns.

Unconfirmed

A location whose occupant could not be checked against the name. Usable on the reader’s say-so (followable_unverified), not on prov’s.

Fields

location: PeerLocation

Where the host says the workspace is.

why: Unconfirmed

Why the claim could not be checked.

Mismatched

A location occupied by a workspace that calls itself something else.

This is the failure the design exists to prevent, caught: the map says notes is here, the workspace here says it is journal, and following that would land every id:notes/… reference on real documents in the wrong archive. Never followable, by either accessor, at any insistence — there is no reader preference that makes a known-wrong answer right.

Fields

location: PeerLocation

Where the host says the workspace is.

declares: String

The name the workspace found there actually declares.

Unknown

No location on record. The ordinary state — most workspaces have never heard of most other workspaces.

Implementations

impl PeerLookup

pub fn confirm(asked: &str, location: PeerLocation, declares: &str) -> Self

Weigh a location against what the workspace there calls itself. This is the verification, and a resolver that has read the peer’s config should reach Confirmed only through here.

declares is the peer’s own workspace_id, empty when it is anonymous — the same convention that field already uses, so a host can pass it straight through without deciding what an empty name means.

Placing the comparison in a constructor is the point. A host that made this judgment itself would be free to accept a near-miss, or to skip the check on a fast path and still say Confirmed; here the only way to claim confirmation is to have the evidence in hand at the call.

pub fn unreadable(location: PeerLocation) -> Self

A location whose workspace could not be opened at all.

pub fn unchecked(location: PeerLocation) -> Self

A location the resolver did not check — a URL, typically.

pub fn followable(&self) -> Option<&PeerLocation>

The location to follow, or None. Some only when the workspace there answered to the name asked for.

This is the strict accessor and the default one. A caller that reaches for it cannot resolve into the wrong archive, because the archive confirmed it is the right one.

pub fn followable_unverified(&self) -> Option<&PeerLocation>

The location to follow when the reader has accepted an unconfirmed one — an anonymous peer, or a URL nothing local can check.

Still None for Mismatched. The escape is for absent evidence, never for evidence pointing the other way.

pub fn location(&self) -> Option<&PeerLocation>

Every location on record, followable or not — for saying why a reference did not resolve. A diagnostic must be able to name the mismatched directory; that is the whole content of the complaint.

pub fn is_unknown(&self) -> bool

Whether the host has no location on record at all.

Trait Implementations

impl Clone for PeerLookup

fn clone(&self) -> PeerLookup

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for PeerLookup

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Eq for PeerLookup

impl PartialEq for PeerLookup

fn eq(&self, other: &PeerLookup) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for PeerLookup