Enum Resolution 

pub enum Resolution {
    Path(PathBuf),
    CaseMismatch {
        got: PathBuf,
        actual: String,
    },
    Broken,
    Id {
        id: Id,
        to: PathBuf,
    },
    DanglingId {
        id: Id,
        tombstoned: bool,
    },
    MalformedId,
    AmbiguousAlias {
        name: String,
        candidates: Vec<PathBuf>,
    },
    External,
    Foreign {
        workspace: String,
        id: Id,
    },
}

How a forward link resolves against the workspace. Path and id forms stay distinct on purpose: the registry owns id resolution (location-independent, stable across moves), while a path is checked against the on-disk name — so a caller can tell which links a rename must rewrite (paths) from which it must leave alone (ids).

Variants

Path(PathBuf)

A path target that resolves to an existing file (exact name).

CaseMismatch

A path target that only matches case-insensitively; got is the target as resolved, actual the exact on-disk name.

Fields

got: PathBuf

actual: String

Broken

A path target with nothing on disk.

Id

A prov:<id> target the registry resolves to the live path to.

Fields

id: Id

to: PathBuf

DanglingId

A well-formed prov:<id> target with no live registry entry; tombstoned separates “deleted” from “never issued here” (§4 hazard).

Fields

id: Id

tombstoned: bool

MalformedId

A prov:<id> target failing its check character — a typo.

AmbiguousAlias

A nominal (alias) target several documents claim — unresolvable. candidates are the sharers, sorted.

Fields

name: String

candidates: Vec<PathBuf>

External

A URL / mail address — off-workspace, never resolved or rewritten.

Foreign

An id:<workspace>/<id> target naming a document in another workspace.

A clean resolution, not a finding: prov holds no map from a workspace name to a location (see Target::Foreign), so it has no evidence either way about whether the target exists. Reporting a link it cannot check as broken would be a false positive every host would then have to suppress — and a check that must be filtered is one nobody reads. The id is deliberately not check-verified: the foreign workspace owns its id space and need not be a prov workspace.

Fields

workspace: String

id: Id

Implementations

impl Resolution

pub fn resolved_path(&self) -> Option<&PathBuf>

The workspace path this link reaches, if it resolves to one (by path or through the registry) — what the spanning walk descends into and what a backlink map keys on. None for broken, dangling, malformed, external.

Trait Implementations

impl Clone for Resolution

fn clone(&self) -> Resolution

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Resolution

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

Formats the value using the given formatter.

impl Eq for Resolution

impl PartialEq for Resolution

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Resolution