Struct Validated 

pub struct Validated<T, Phase = Runtime>
where
    Phase: ValidationPhase,
{ /* private fields */ }

Proof that a value was produced by the conformance checker, not fabricated by Prism code. The inner value and _sealed field are private, so Validated<T> can only be constructed within this crate. v0.2.2 W13: parameterized by a Phase: ValidationPhase discriminator. Validated<T, CompileTime> was witnessed by validate_const() and is usable in const contexts. Validated<T, Runtime> (the default) was witnessed by validate(). A CompileTime witness is convertible to a Runtime witness via From.

Examples

use uor_foundation::enforcement::{CompileUnitBuilder, ConstrainedTypeInput, Term};
use uor_foundation::{WittLevel, VerificationDomain};

// Validated<T> proves that a value passed conformance checking.
// You cannot construct one directly — only builder validate() methods
// and the minting boundary produce them.
let terms = [uor_foundation::pipeline::literal_u64(1, WittLevel::W8)];
let domains = [VerificationDomain::Enumerative];

let validated = CompileUnitBuilder::new()
    .root_term(&terms)
    .witt_level_ceiling(WittLevel::W8)
    .thermodynamic_budget(1024)
    .target_domains(&domains)
    .result_type::<ConstrainedTypeInput>()
    .validate()
    .expect("all fields set");

// Access the inner value through the proof wrapper:
let _compile_unit = validated.inner();

Implementations

impl<T, Phase> Validated<T, Phase>

where Phase: ValidationPhase, T: ConstrainedTypeShape,

pub const fn as_landauer(&self) -> ValidatedLandauerView<T, Phase>

Phase 16 — Landauer-cost view of self.

pub const fn as_jacobian(&self) -> ValidatedJacobianView<T, Phase>

Phase 16 — Jacobian view of self.

pub const fn as_carry_depth(&self) -> ValidatedCarryDepthView<T, Phase>

Phase 16 — carry-depth view of self.

pub const fn as_derivation_depth( &self, ) -> ValidatedDerivationDepthView<T, Phase>

Phase 16 — derivation-depth view of self.

pub const fn as_free_rank(&self) -> ValidatedFreeRankView<T, Phase>

Phase 16 — free-rank view of self.

impl<T, Phase> Validated<T, Phase>

where Phase: ValidationPhase,

pub const fn inner(&self) -> &T

Returns a reference to the validated inner value.

Trait Implementations

impl<T, Phase> Clone for Validated<T, Phase>

where T: Clone, Phase: Clone + ValidationPhase,

fn clone(&self) -> Validated<T, Phase>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<T, Phase> Debug for Validated<T, Phase>

where T: Debug, Phase: Debug + ValidationPhase,

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

Formats the value using the given formatter.

impl<T> Deref for Validated<T>

where T: OntologyTarget,

v0.2.1 Deref impl for Validated<T: OntologyTarget> so consumers can call certificate methods directly: cert.target_level() rather than cert.inner().target_level(). The bound T: OntologyTarget keeps the auto-deref scoped to foundation-produced types.

type Target = T

The resulting type after dereferencing.

fn deref(&self) -> &T

Dereferences the value.

impl<T> From<Validated<T, CompileTime>> for Validated<T>

v0.2.2 W13: a compile-time witness is usable wherever a runtime witness is required.

fn from(value: Validated<T, CompileTime>) -> Validated<T>

Converts to this type from the input type.

impl<T, Phase> PartialEq for Validated<T, Phase>

where T: PartialEq, Phase: PartialEq + ValidationPhase,

fn eq(&self, other: &Validated<T, Phase>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<T, Phase> Eq for Validated<T, Phase>

where T: Eq, Phase: Eq + ValidationPhase,

impl<T, Phase> StructuralPartialEq for Validated<T, Phase>

where Phase: ValidationPhase,