Struct ResolvedOperation 

pub struct ResolvedOperation<'r, R: OperationResolver<H>, H: HostTypes> { /* private fields */ }

Phase 8 (orphan-closure) — content-addressed wrapper for Operation<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: OperationResolver<H>, H: HostTypes> ResolvedOperation<'r, R, H>

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

Construct the wrapper, eagerly resolving the handle.

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

The handle this wrapper resolves.

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

The resolver supplied at construction.

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

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

impl<'r, R: OperationResolver<H>, H: HostTypes> ResolvedOperation<'r, R, H>

pub fn resolve_inverse<'r2, R2: OperationResolver<H>>( &self, r: &'r2 R2, ) -> Option<ResolvedOperation<'r2, R2, H>>

Promote the inverse 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: OperationResolver<H>, H: HostTypes> Operation<H> for ResolvedOperation<'r, R, H>

type OperationTarget = NullOperation<H>

Associated type for Operation.

fn arity(&self) -> u64

The number of arguments this operation takes. 1 for unary operations, 2 for binary operations.

fn has_geometric_character(&self) -> GeometricCharacter

The geometric role of this operation in the UOR ring and hypercube geometry. Functional: each operation has exactly one geometric character.

fn inverse(&self) -> &Self::OperationTarget

The inverse operation: the operation inv_op such that op(x, inv_op(x)) = e for all x, where e is the identity.

fn composed_of(&self) -> &H::HostString

Ordered list of operations this operation is composed from. Uses rdf:List to preserve application order (first element applied innermost). E.g., succ = neg ∘ bnot is encoded as [op:neg, op:bnot] meaning neg applied to the result of bnot.

fn is_ring_op(&self) -> bool

True iff this Operation participates in the Z/(2^n)Z ring-arithmetic vocabulary. Annotation drives the Lean RingOp class generation in UOR/Enforcement.lean.