Struct VerbRegistryBuilder 

pub struct VerbRegistryBuilder { /* private fields */ }

Builder for constructing a VerbRegistry.

Packs are registered here; once .build() is called the registry is immutable and cheaply cloneable.

Implementations

impl VerbRegistryBuilder

pub fn new() -> Self

Create a builder with no packs, AllowAllGate, and the local namespace as default.

pub fn with_visible_namespaces(&mut self, ns: Vec<Namespace>) -> &mut Self

Set the operator-configured read-visibility set (ADR-007 Rev 4 Rule 3b).

On the default (no explicit namespace= param) dispatch path, reads fan out over ['local'] ∪ ns. Writes remain pinned to 'local'. An explicit namespace= request parameter is a precise single-namespace escape and is not widened by this set. A cloud gate may also consult the list as policy input at its own layer.

pub fn with_actor_id(&mut self, actor_id: Option<String>) -> &mut Self

Set the configured actor identity label (ADR-057).

When set, the dispatch path mints tokens carrying this actor so that comm.inbox applies the to_actor filter for directed delivery. When None (default), tokens carry ActorRef::anonymous() and inbox falls back to party-line behavior.

pub fn register<P: Pack + PackRuntime + 'static>( &mut self, pack: P, ) -> &mut Self

Register a pack. The bound P: Pack + PackRuntime ensures the pack declares vocabulary via Pack consts alongside runtime dispatch.

pub fn register_resolver( &mut self, name: impl Into<String>, resolver: Box<dyn PackByIdResolver>, ) -> &mut Self

Register a by-ID resolver for a pack that owns private SQL tables.

Packs that implement PackByIdResolver call this during their boot path so that get(id) and delete(id) can reach their records.

pub fn with_gate(&mut self, gate: GateRef) -> &mut Self

Set the authorization gate consulted on every dispatch.

Defaults to AllowAllGate if not set. Deny is authoritative — a deny decision aborts dispatch with RuntimeError::PermissionDenied. Gate infrastructure errors fail open (logged via tracing::warn!, dispatch proceeds).

pub fn with_default_namespace(&mut self, ns: impl Into<String>) -> &mut Self

Set the namespace surfaced to the gate when a verb does not carry an explicit namespace argument. Transports should plumb the runtime’s default_namespace so the gate’s input.namespace always reflects the operation’s true tenant.

pub fn with_event_store(&mut self, store: Arc<dyn EventStore>) -> &mut Self

Set the EventStore used to persist audit events.

When configured, every gate check appends one Event (substrate = Event, outcome = Success on allow, Denied on deny) in addition to the tracing::info! emission that was already present in v0.2.

Callers that do not set this field continue to use tracing-only emission (the v0.2 default). There is no behavior change for them.

pub fn with_dispatch_hook(&mut self, hook: Arc<dyn DispatchHook>) -> &mut Self

Register a post-dispatch hook.

When set, every successful pack dispatch calls hook.on_dispatch(event) with a synthesized Event describing the verb outcome. The hook is opt-in: registries without a hook incur zero overhead on the dispatch hot path.

Brain pack uses this to update its posteriors in real time without polling the EventStore. Errors from on_dispatch are logged via tracing::warn! and never propagated.

pub fn build(self) -> Result<VerbRegistry, RuntimeError>

Consume the builder and produce an immutable, cloneable registry.

Performs a topological sort of packs using Kahn’s algorithm. Returns an error if any declared dependency is missing from the loaded pack set, or if a circular dependency is detected.

Trait Implementations

impl Default for VerbRegistryBuilder

fn default() -> Self

Returns the “default value” for a type.