Struct Core 

pub struct Core { /* private fields */ }

Composition root for a sync-first operation runtime.

Core owns the operation descriptors, the matching handler table, an optional pre-handler admission guard, and the optional receipt sink shared with each invocation context. It performs only synchronous dispatch; handlers run on the caller’s thread.

Implementations

impl Core

pub fn builder() -> CoreBuilder

Start a new runtime builder.

pub fn contains_operation(&self, name: impl AsRef<str>) -> bool

Return true when an operation descriptor is mounted for name.

pub fn descriptor(&self, name: impl AsRef<str>) -> Option<&OperationDescriptor>

Look up an operation descriptor by name.

pub fn invoke( &mut self, name: impl AsRef<str>, input: OperationInput, ) -> Result<CheckoutResult, RuntimeError>

Invoke a registered operation by name.

The dispatch path intentionally stays small: resolve the descriptor, resolve the handler, borrow a Ctx, and run the handler synchronously.

Errors

Returns RuntimeError::UnknownOperation when no descriptor is mounted for name, RuntimeError::MissingHandler when no matching handler is present, a handler-provided runtime error from the invoked handler, or a fail-closed receipt-sink error after a resolved handler invocation.

pub fn checkout_frame( &mut self, frame: CheckoutFrame, ) -> Result<CheckoutResult, RuntimeError>

Invoke a checkout frame by resolving it against this runtime.

Errors

Returns the same errors as Core::invoke.

pub fn checkout( &mut self, checkout: Checkout, ) -> Result<CheckoutResult, RuntimeError>

Invoke a checkout that has already been resolved against a register.

Runtime receipts are owned by this method. Handlers receive only their invocation context and cannot write directly to the configured sink.

Errors

Returns RuntimeError::UnknownOperation when this runtime does not mount the checkout descriptor, RuntimeError::MissingHandler when no matching handler is present, a handler-provided runtime error, or a fail-closed receipt-sink error after a resolved handler invocation.