Crate behavior 

Pure, typed actor-behavior primitives.

Protocol is stable public destination identity (Addr plus Msg). A Behavior separately owns state and folds its complete Behavior::Event algebra into exactly Actions: sends, fresh creations, and its next behavior or termination. A protocol is not a behavior, and Behavior is not a Protocol supertrait. Higher capabilities extend internal event and effect algebras while transparent wrappers preserve Behavior::Protocol.

Finite mailbox execution belongs to a runtime or test driver, not to this one-turn behavior algebra.

fn requires_reducer<T: behavior::ActionReducer>() {}

Capability-restricted action products use the existing Actions algebra; there is no second convenience wrapper with an overlapping contract.

fn accepts_duplicate(_: behavior::Effect<u8>) {}

Structs

ActionSettlement

Complete owned settlement of one Actions value.

Actions

Bombay’s typed realization of the actor transition effects: communications, fresh actor creation, and next behavior or termination.

ActiveTurn

Capability for defining one active mailbox fold.

BirthProtocol

One behavior protocol followed by the remaining closed birth projection.

BirthProtocolHead

Structural position selecting the current projected birth protocol.

BirthProtocolTail

Structural position selecting inside the remaining protocol projection.

Births

This behavior may emit births of C.

ChildCons

One creation appended to an ordered heterogeneous child product.

ChildCreationSettled

One complete child-creation settlement returned to its creator.

ChildDelivery

Same-action communication to one declared creator-local role.

ChildHead

Position selecting the head of a closed ChildChoice sum.

ChildInput

Private typed communication to one declared creator-local child role.

ChildNamespaceExhausted

The creator namespace cannot route an entire declared creation batch.

ChildReport

One report emitted through an established creator/child relationship.

ChildTail

Position selecting inside the tail of a closed ChildChoice sum.

Children

A pure, ordered heterogeneous product of staged direct-child creations.

CommittedChild

One committed fresh child with its creator-local provenance and exact installed actor. The occurrence distinguishes equal child behaviors in distinct static positions; it is not an actor identity or runtime route.

CreateChild

A staged request to establish one fresh child.

CreationCorrelation

Non-authoritative correlation to one creation result in the current action.

CreationId

Correlation for one staged creation within a static child occurrence.

CreationSequence

Checked source of IDs that are not reused within one child occurrence.

Creations

One ordered creation batch.

CreationsSettled

One complete creation batch returned to its live creator.

DeclaredChildOccurrence

Sealed descriptor for one nominal child occurrence declared by Parent.

Delivery

EstablishedActor

Inert capability for one exact installed concrete behavior.

EstablishedDelivery

One pure communication to an exact installed incarnation.

EstablishedRecipient

Inert capability for one exact protocol endpoint.

Here

The current layer of a structurally composed event algebra owns an input.

Ingress

Address-free destination for one interpreter-originated input.

InitializationTurn

Capability for defining one initialization fold.

Inside

An inner event algebra owns an input at Path.

InterpreterRequests

Requests interpreted by the runtime local to the emitting actor.

MailAddr

MessageProtocol

Reusable zero-state protocol identity for messages M addressed by A.

NoBirthProtocols

Empty protocol projection of a closed behavior-birth algebra.

NoBirths

This behavior cannot emit child births.

NoChildren

The empty heterogeneous creation product.

NoSends

Send effects containing no communications or interpreter requests.

Recipient

Pure logical destination for one concrete protocol signature.

ReportToParent

Transfer one owned report to the emitter’s established parent.

RetirementBirths

This behavior may emit births of C whose exact settlements remain in runtime custody until actor retirement.

RetirementCreationSettlement

Exact creation settlement deliberately retained for actor retirement.

ReturnsToEmitter

An interpreter request whose later Input returns to the emitting actor at Path, relative to the effect lane that owns the request.

RoutedCreation

One complete creation paired with a route selected by the interpreter.

SendLayer

Send effects introduced by one wrapper around inner send effects.

SourceActions

Ordered actions whose normalized results return to their emitting actor.

SourceSettlements

Exact results for one SourceActions lane.

Stopped

The behavior has designated termination as its next state.

User

The user-message event at the Agha floor.

Enums

AllocationRejection

Failure to claim an address fresh with respect to the current actor configuration.

ChildChoice

One alternative in a closed, recursively composed child-creation sum.

ChildCreationOutcome

Complete result after a runtime accepts one child definition.

ChildDeliveryReason

Exact reason one public child delivery was not accepted.

ChildInputReason

Exact reason one private child input was not accepted.

CreationEvent

Complete event algebra for an ordinary creator that receives its exact creation settlements as a later behavior input.

CreationInterpretationCustody

Outside custody of the actual routing reply or ordered child attempts. Native causes remain runtime retirement facts, not this normal typed product.

CreationKind

Behavior-owned provenance for a staged fresh actor creation request.

CreationRejection

Complete semantic rejection of one staged fresh creation.

CreationSettlement

Final settlement of the creation leg of one Actions value.

EstablishedCreation

Committed or rejected result for one exact concrete child occurrence.

EventLayer

One statically owned input lane composed in front of an inner event algebra.

ExactDeliveryReason

Exact reason one established delivery was not accepted.

Interpretation

Completion state of one total static product traversal.

InterpretationProgress

Caller-owned cold input, partial normal interpretation, or acquired result.

InterpreterFault

A broken interpreter invariant, distinct from expected capability rejection.

ItemSettlement

Total settlement of one statically selected action item.

LogicalDeliveryReason

One pure communication addressed to a concrete protocol signature.

Never

The uninhabited type with two structural jobs. As a phase menu, Step<Never> has no constructible Goto — a plain actor is a one-phase machine. As an outbound/offspring menu, it proves a layer sends or creates nothing. The law is the type, not a convention.

NoReturnToEmitter

An interpreter request that produces no later fact for the emitting actor.

Own

The lane owned by the current named send product.

ParentReportReason

Exact reason one structural parent report was not accepted.

SettledItem

Product-owned evidence that an action item was attempted or left untouched.

SettlementStatus

Read-only control-flow status of one complete retained settlement product.

SourceCustody

Result of offering at most one ordered source settlement.

SourceProgress

Static one-at-a-time source admission for one complete settlement product. The actual source product before offering, its outside partial owner, or its acquired complete normal result. Native causes remain runtime-owned.

Step

A generic next-state verdict. Bombay Behavior pins R to Stopped, so actor-specific lifecycle data cannot enter the become seat.

Traits

ActionItem

One concrete value that can occur in crate::Actions.

ActionSettlements

Static complete-settlement product selected by one concrete action type.

Address

A pure logical actor-address namespace.

AppendSend

Capability to append one communication at a statically selected lane while preserving every other actor-transition effect.

Behavior

A composed pure behavior. Event is the complete accepted input algebra; the separately declared Protocol is stable public destination identity, and every successful transition returns the declared Actions value.

BehaviorBase

Static projection from a composed behavior to its authored base behavior.

BehaviorLayer

Static construction from one concrete behavior to another.

BehaviorSettlements

One exact action-settlement product selected by a concrete behavior.

BirthMode

A type-level description of a behavior’s creation capability.

BirthNodeAppend

Append one closed direct-child algebra after another.

BirthProtocolAt

Static membership evidence for one occurrence in a birth-protocol product.

BirthProtocolProduct

Closed product operation used by the structural birth projection.

BirthProtocols

Closed static projection of a behavior’s own protocol and every protocol reachable through its transitive staged-birth algebra.

ChildInputIngress

Construction of one private input sent by an established parent to its concrete direct child.

ChildOccurrence

Declares how one effect occurrence is resolved from an authored parent.

ChildOccurrenceProduct

Sealed occurrence product of a closed direct-child birth node.

ChildOccurrenceShape

Downstream shape of one direct-child occurrence product.

ChildPosition

Static proof that Child occupies Position in a closed child sum.

ChildProduct

Closed recursive conversion implemented only by Bombay child products.

ChildRole

Static proof that Role names one exact direct child of Parent.

ClassifySettlement

Lossless status projection over an exact retained settlement value.

ComposedEvent

A complete event algebra formed by adding owned inputs around an inner behavior event algebra.

CreationSettlements

Static creation-settlement product selected by one birth mode.

DispatchBirth

Exhaustive static dispatch of one creation-only child sum.

EndpointAddress

Runtime-owned installed actor family for an address namespace.

EstablishChild

Runtime ownership port for establishing one concrete child behavior.

EventIngress

Owner-selected event ingress for one statically identified source.

InjectEvent

Path-indexed injection into a structural event coproduct.

InterpretCreations

Generic interpretation of the one creation leg selected by a birth mode.

InterpretEstablished

Public power-user transfer boundary for one exact endpoint.

InterpretInstalledActor

Public power-user transfer boundary for one exact installed actor.

InterpretItem

Concrete interpreter ownership port for one exact typed action item.

InterpretSends

Static interpretation of one complete sends value at an absolute event path.

InterpreterRequest

Declares only the continuation returning to the actor that emitted this interpreter request. Destinations owned by a child, parent, ancestor, or established actor are separate capabilities and are not reindexed when the emitter is wrapped. LogicalProtocols lists possible logical destinations of the request in declaration order, independently of any value’s selected variant; exact and creator-local destinations contribute none.

LogicalDeliveryProtocols

Static projection of intentional logical destinations from one concrete sends product.

LogicalHostRequirements

Complete static logical-host requirement of one composed behavior.

Protocol

The statically known address and message signature of an actor protocol.

RecipientAddress

Runtime-owned exact message endpoint family for one logical address namespace.

RecoverEvent

Exact recovery of one statically selected input from a returned event.

ResolveChildOccurrence

Resolve an effect’s nominal or structural occurrence against the concrete behavior currently being interpreted.

SendEffects

Send effects emitted by a pure actor transition.

SendInput

Static evidence that a sends type contains one request lane.

SendSettlements

Static settlement product determined solely by one concrete sends value.

SendsFor

Proof that send effects are lawful for one complete event type.

SourceAction

One action whose exact interpretation result returns to its live source.

SourceAdmission

Bombay ownership port for one exact current-actor system input.

SourceSettlementCustody

UserEvent

Construction/extraction of the user lane through a composed event type.

Functions

delegate_transition

Fold one event through an inner behavior owned by a semantic wrapper.

finish_item

Finalize only an acquired reply after its original input was consumed. Surviving input with a reply, or absent input without a reply, stays owned.

initialize

Initialize an inner behavior owned by a semantic composition.

prepare_item

Prepare an ordinary request and its independent outside reply destination. Construction calls no interpreter and transfers no containing sibling.

settle_item

Loan only the current lower input and its outside reply destination. The producer returns unit; the caller finalizes after producer disposal. Empty input or an occupied destination remains an incomplete owned fact.

Type Aliases

Acted

ActionItemResult

Exact result of one action item within an interpreted action product.

Become

BehaviorActed

The only successful effect shape admitted by a Behavior implementation.

BehaviorAddr

Address namespace projected from a behavior’s stable public protocol.

BehaviorMessage

Public message algebra projected from a behavior’s stable protocol.

ChildOccurrences

Occurrence-preserving representation selected by one downstream shape.

ResolvedChild

Child behavior resolved from Occurrence for the running Emitter.

ResolvedChildPosition

Structural birth position resolved from Occurrence for the running Emitter.

RoleChild

Child behavior selected by one named role.

RoleProtocol

Canonical protocol selected by one named role.

Attribute Macros

behavior

Generate the nominal protocol, closed effect products, and exact Behavior wiring for an inherent impl. addr and message are required. Omitting sends, births, or error selects the capability-free NoSends, NoBirths, or Never type respectively.