Trait LogicalHostRequirements 

pub trait LogicalHostRequirements: Behavior {
    type LogicalHosts: BirthProtocolProduct;
}

Complete static logical-host requirement of one composed behavior.

The product is derived from the behavior’s concrete sends algebra and from every behavior reachable through its transitive birth algebra. Only intentional logical Delivery lanes and interpreter requests with logical recipients contribute a protocol. Exact established recipients and creator-local children and inputs do not. Repeated protocol occurrences are retained in the existing structural birth-protocol product; this trait performs no normalization or runtime lookup.

A generic application owner can consume LogicalHosts recursively and require its own concrete Hosts<P> proof for every element. The product is evidence only: it creates no actor space and does not alter Actions.

Required Associated Types

type LogicalHosts: BirthProtocolProduct

Ordered, duplicate-preserving protocols requiring logical hosting.

Implementors

impl<B> LogicalHostRequirements for B

where B: Behavior, B::Sends: LogicalDeliveryProtocols, <B::Birth as BirthMode>::Child: BirthNodeLogicalHosts,

type LogicalHosts = <<<B as Behavior>::Sends as LogicalDeliveryProtocols>::Protocols as BirthProtocolProduct>::Append<<<<B as Behavior>::Birth as BirthMode>::Child as BirthNodeLogicalHosts>::LogicalHosts>