pedant-core 0.21.0

Analysis engine for pedant: IR extraction, style checks, and capability detection
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

//! Proof-only access to resolution invariants ordinary callers cannot reach.
//!
//! Nothing here has a normal or build consumer edge: the feature that compiles
//! this tree is selected by proof configurations and dev dependencies alone.

/// Lexical path authority and defensively invalid target identities.
mod authority;
/// Deliberately restated unit bindings for downstream join refusals.
mod binding;
/// A controlled snapshot claim whose field families a proof can perturb.
mod claim;

pub use authority::{RelativePathNormalizationError, normalize_relative_path, unknown_target_id};
pub use binding::{
    resolution_with_shared_unit_binding, resolution_with_swapped_unit_sources,
    resolution_without_unit_binding,
};
pub use claim::{
    EdgeFingerprintClaim, SnapshotFingerprintClaim, SourceFingerprintClaim, UnitFingerprintClaim,
};