Enum StructuralFact 

pub enum StructuralFact {
    Unreadable {
        doc: PathBuf,
        error: String,
    },
    IdMismatch {
        doc: PathBuf,
        frontmatter: Id,
        registry: Option<Id>,
    },
    UnregisteredId {
        doc: PathBuf,
        frontmatter: Id,
    },
    UnstampedId {
        doc: PathBuf,
        registry: Id,
    },
    DuplicateContainment {
        doc: PathBuf,
        target: String,
    },
    MissingInverse {
        doc: PathBuf,
        child: PathBuf,
        inverse: String,
    },
    CaseMismatch {
        doc: PathBuf,
        site: LinkSite,
        target: String,
        actual: String,
    },
    BrokenLink {
        doc: PathBuf,
        site: LinkSite,
        target: String,
    },
    ManifestConflict {
        doc: PathBuf,
    },
}

A structural observation the walk makes as it traverses — not a verdict, just what it saw: a document that would not load, a self-stored id disagreeing with (or absent from) the registry, a spanning edge that revisits an already-reached node, a spanning child whose inverse field does not point back, or a content pointer that failed to resolve.

These are facts about traversal state — they need the queue, the visited set, the inverse lookup — so only the walk can raise them; a single CensusEntry’s Resolution is not enough (that half of the story is validate’s CensusEntry-keyed prov’s validate instead, since a resolution is already the fact). validate::check turns each variant here into the prov’s Finding that names it — one to one, since the walk already knows exactly what happened and there is nothing left to infer. Keeping the enum here rather than importing Finding is what keeps graph a pure “plain text → walkable graph” layer: it reports what it found, never how that should be judged.

Variants

Unreadable

A document that exists but could not be read or parsed.

Fields

doc: PathBuf

error: String

IdMismatch

A document’s self-stored id frontmatter disagrees with the registry (or claims an id the registry hands to a different document). registry is None when the registry has no record of the path at all under this id.

Fields

doc: PathBuf

frontmatter: Id

registry: Option<Id>

UnregisteredId

A document carries a self-stored id the registry has no record of.

Fields

doc: PathBuf

frontmatter: Id

UnstampedId

A stamping workspace’s registered document does not carry its own id frontmatter.

Fields

doc: PathBuf

registry: Id

DuplicateContainment

A spanning target already reached by the walk — a cycle or a second parent.

Fields

doc: PathBuf

target: String

MissingInverse

A spanning child whose inverse field does not link back to doc.

Fields

doc: PathBuf

child: PathBuf

inverse: String

CaseMismatch

A content pointer resolving only case-insensitively.

Fields

doc: PathBuf

site: LinkSite

target: String

actual: String

BrokenLink

A content pointer resolving to nothing on disk.

Fields

doc: PathBuf

site: LinkSite

target: String

ManifestConflict

A node declaring both content and manifest — a sidecar for one payload and for a whole directory at once. The two are mutually exclusive (crate::manifest), and neither reading is safe to pick.

Fields

doc: PathBuf

Trait Implementations

impl Clone for StructuralFact

fn clone(&self) -> StructuralFact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StructuralFact

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

Formats the value using the given formatter.

impl Eq for StructuralFact

impl PartialEq for StructuralFact

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StructuralFact