Struct Registry 

pub struct Registry { /* private fields */ }

The three books. Keys are canonical locator spellings (Display is the canonical form by the locator round-trip law).

Implementations

impl Registry

pub fn new() -> Registry

pub fn register_artifact(&mut self, artifact: Artifact) -> RegisterVerdict

pub fn promote_asset( &mut self, locator: &Locator, ) -> Result<RegisterVerdict, AxError>

Promotion registers standing only; scoring is an instrument’s (citysim). An unregistered locator cannot be an asset — assets are promoted artifacts, not free-floating paths.

pub fn register_resident(&mut self, id: ResidentId) -> RegisterVerdict

pub fn artifact(&self, locator: &Locator) -> Option<&Artifact>

pub fn is_asset(&self, locator: &Locator) -> bool

Whether this locator was promoted. The Discard door does not ask: a planned discard of an asset is as reversible as any other (crates/kernel/spec/Discard.lean §8-26).

pub fn is_asset_at(&self, addr: &Address) -> bool

Address-level asset membership: a path is an asset when any registered asset is a file: locator at exactly this address (content pins differ, the place is the same).

pub fn is_resident(&self, id: &ResidentId) -> bool

Trait Implementations

impl Clone for Registry

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Registry

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

Formats the value using the given formatter.

impl Default for Registry

fn default() -> Self

Returns the “default value” for a type.

impl Eq for Registry

impl PartialEq for Registry

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Registry