Struct ResolvedConvergenceLevel 

pub struct ResolvedConvergenceLevel<'r, R, H>
where
    R: ConvergenceLevelResolver<H>,
    H: HostTypes,
{ /* private fields */ }

Phase 8 (orphan-closure) — content-addressed wrapper for ConvergenceLevel<H>.

Caches the resolver’s lookup at construction. Accessors return the cached record’s fields when present, falling back to the Null{Class}<H> absent sentinels when the resolver returned None. Object accessors always return absent sentinels — use the resolve_{m} chain methods to descend into sub-records.

Implementations

impl<'r, R, H> ResolvedConvergenceLevel<'r, R, H>

where R: ConvergenceLevelResolver<H>, H: HostTypes,

pub fn new( handle: ConvergenceLevelHandle<H>, resolver: &'r R, ) -> ResolvedConvergenceLevel<'r, R, H>

Construct the wrapper, eagerly resolving the handle.

pub const fn handle(&self) -> ConvergenceLevelHandle<H>

The handle this wrapper resolves.

pub const fn resolver(&self) -> &'r R

The resolver supplied at construction.

pub const fn record(&self) -> Option<&ConvergenceLevelRecord<H>>

The cached record, or None when the resolver returned None.

impl<'r, R, H> ResolvedConvergenceLevel<'r, R, H>

where R: ConvergenceLevelResolver<H>, H: HostTypes,

pub fn resolve_fiber_type<'r2, R2>( &self, r: &'r2 R2, ) -> Option<ResolvedHopfFiber<'r2, R2, H>>

where R2: HopfFiberResolver<H>,

Promote the fiber_type handle on the cached record into a resolved wrapper, given a resolver for the range class. Returns None if no record was resolved at construction.

Trait Implementations

impl<'r, R, H> ConvergenceLevel<H> for ResolvedConvergenceLevel<'r, R, H>

where R: ConvergenceLevelResolver<H>, H: HostTypes,

type HopfFiber = NullHopfFiber<H>

Associated type for HopfFiber.

fn algebra_dimension(&self) -> u64

The dimension of the division algebra at this level (1, 2, 4, or 8).

fn betti_signature(&self) -> &<H as HostTypes>::HostString

The Betti number signature at this convergence level.

fn fiber_type( &self, ) -> &<ResolvedConvergenceLevel<'r, R, H> as ConvergenceLevel<H>>::HopfFiber

The Hopf fiber associated with this convergence level.

fn characteristic_identity(&self) -> &<H as HostTypes>::HostString

The characteristic identity at this convergence level (existence, feedback, choice, self-reference).

fn level_name(&self) -> &<H as HostTypes>::HostString

Human-readable name of this convergence level.