Struct ComponentRegistryComponent 

pub struct ComponentRegistryComponent;

Component impl for the COMPONENT_REGISTRY component.

The decoded value is a TlsMap<ComponentId, VLBytes> where each value is the prost-encoded ComponentMetadata describing one registered component.

Unlike the other map component, this impl validates every mutation in an incoming delta against the registry’s write invariants (see [validate_registry_delta]) before applying or expanding it. The registry is load-bearing for all app-data validation — every policy lookup and every type-aware dispatch decodes it — so a single invalid entry accepted here would poison every subsequent ComponentRegistry::from_bytes load for every member of the group.

Trait Implementations

impl Component for ComponentRegistryComponent

const ID: ComponentId = ComponentId::COMPONENT_REGISTRY

Stable wire identifier. Const-known so registries can build static lookup tables.

const COMPONENT_TYPE: ComponentType = ComponentType::TlsMapBytesBytes

Logical wire type, written into the registry’s ComponentMetadata.component_type slot at bootstrap.

type Value = TlsMap<ComponentId, VLBytes>

Decoded full-state value (e.g. String, TlsSet<InboxId>, TlsMap<InboxId, VLBytes>).

type Mutation = TlsMapDelta<ComponentId, VLBytes>

Decoded payload that goes inside an AppDataUpdateOperation::Update.

fn decode_value(bytes: &[u8]) -> Result<Self::Value, ComponentTypedError>

Decode the component’s stored bytes (as found in the AppData dictionary) into the typed value.

fn encode_value(value: &Self::Value) -> Result<Vec<u8>, ComponentTypedError>

Encode a typed value back to the bytes that go in the AppData dictionary slot. The inverse of Component::decode_value.

fn encode_mutation( mutation: &Self::Mutation, ) -> Result<Vec<u8>, ComponentTypedError>

Encode a Self::Mutation as the bytes that go inside an AppDataUpdateOperation::Update payload.

fn apply_update_payload( payload: &[u8], prior: Option<&[u8]>, ) -> Result<Vec<u8>, ComponentTypedError>

Apply an AppDataUpdateOperation::Update payload against the component’s prior bytes (or None if first write) and return the new full bytes.

fn expand_to_changes( op: &AppDataUpdateOperation, _prior: Option<&[u8]>, ) -> Result<Vec<ExpandedComponentChange>, ComponentTypedError>

Expand an AppDataUpdate proposal (Update or Remove) into the per-element changes the validator’s policy loop iterates over.

fn validate_invariant( _change: &ComponentChange<'_>, _registry: &ComponentRegistry, ) -> Result<(), ComponentInvariantError>

Optional component-local invariant check that runs after validate_component_write’s policy verdict. Default is no-op — components with no extra invariants don’t override.