Struct CompileUnit 

pub struct CompileUnit<'a> { /* private fields */ }

A validated compile unit ready for reduction admission. v0.2.2 Phase A (carrier widening): the lifetime parameter 'a ties the post-validation carrier to its builder’s borrow. The root_term and target_domains slices are retained through validation so resolvers can inspect declared structure — previously these fields were discarded at validate() and every resolver received a 3-field scalar witness with no walkable structure. Const-constructed compile units use the trivial specialization CompileUnit<'static> — borrow-free and usable in const contexts.

Implementations

impl<'a> CompileUnit<'a>

pub const fn witt_level(&self) -> WittLevel

Returns the Witt level ceiling declared at validation time.

pub const fn thermodynamic_budget(&self) -> u64

Returns the thermodynamic budget declared at validation time.

pub const fn result_type_iri(&self) -> &'static str

v0.2.2 T6.11: returns the result-type IRI declared at validation time. The pipeline matches this against the caller’s T::IRI to detect shape mismatches.

pub const fn root_term(&self) -> &'a [Term]

v0.2.2 Phase A: returns the root term slice declared at validation time. Empty for builders that did not supply a term AST.

pub const fn bindings(&self) -> &'a [Binding]

v0.2.2 Phase H1: returns the named bindings declared at validation time. Consumed by Stage 5 (bindings_from_unit) to materialize the BindingsTable. Empty slice for compile units that declare no bindings.

pub const fn target_domains(&self) -> &'a [VerificationDomain]

v0.2.2 Phase A: returns the verification domains declared at validation time.

Trait Implementations

impl<'a> Clone for CompileUnit<'a>

fn clone(&self) -> CompileUnit<'a>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'a> Debug for CompileUnit<'a>

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

Formats the value using the given formatter.

impl<'a> PartialEq for CompileUnit<'a>

fn eq(&self, other: &CompileUnit<'a>) -> 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<'a> Copy for CompileUnit<'a>

impl<'a> Eq for CompileUnit<'a>

impl OntologyTarget for CompileUnit<'_>

impl<'a> StructuralPartialEq for CompileUnit<'a>