Struct InterfaceRegistry 

pub struct InterfaceRegistry { /* private fields */ }

Registry of frozen definition artifacts and explicitly scoped registrations.

Artifact retention is not proof of current publication. Fetch requires a live provider-attested ScopeObservation; execution requires the same lifetime in the target’s atomic boundary. Collision keys are exact (scope, name) pairs, not Rust TypeId: the same Definition can be registered at multiple coordinates.

Implementations

impl InterfaceRegistry

pub fn new() -> Self

Creates an empty artifact registry without publishing any Object.

pub fn register<D>( &mut self, scope: &Scope, name: impl Into<String>, _definition: D, validator: Option<Validator>, ) -> Result<RegisteredInterface<D>, RegistrationError>

where D: InterfaceDefinition + 'static,

Freezes a Definition at an explicit scope and local name.

pub fn remove_scope(&mut self, scope: &Scope)

Ends a scope lifetime and releases its registry entries.

Retained tokens cannot start new calls/fetches. Started calls retain their frozen Descriptor. Re-publication requires a fresh Scope.

pub fn resolve(&self, reference: &InterfaceReference) -> Option<InterfaceRef>

Resolves a stored artifact, not evidence of current publication.

pub fn scopes(&self) -> impl Iterator<Item = &Scope>

Iterates registered scope handles, possibly repeated for multiple names.

pub fn fetch_interface( &self, reference: &InterfaceReference, current: &ScopeObservation, ) -> Result<InterfaceObservation, ProtocolError>

Fetches only with a coherent current scope Object attestation.

Trait Implementations

impl Debug for InterfaceRegistry

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

Formats the value using the given formatter.

impl Default for InterfaceRegistry

fn default() -> Self

Returns the “default value” for a type.