Module session

Expand description

Finite session limits, target capabilities, and absolute deadlines. Platform-neutral session negotiation facts.

Structs§

AbsoluteDeadline: One monotonic absolute deadline shared by a complete operation.
ActiveLeaseFacts: Bounded counters for active mappings that still retain a session lease.
AtomicCapabilities: Cross-process atomic and layout alignment facts for the selected target.
ChildCleanupFacts: Bounded coordinator-owned direct-child cleanup result.
Coordinator: Coordinator endpoint marker for Session.
CoordinatorAbortOutcome: Terminal coordinator abort result with bounded cleanup diagnostics.
Negotiating: Authenticated HELLO state awaiting application decisions.
ProtocolVersion: Accepted wire protocol version bound into both challenged ACCEPT frames.
Ready: Bilaterally accepted state that may carry bounded application control.
Receiver: Receiver endpoint marker for Session.
ReceiverBootstrap: Unique inherited receiver bootstrap authority.
RejectionReason: Nonzero application negotiation rejection reason.
Session: Role- and state-typed session owner.
SessionCommand: Exact child command. The environment is explicit and starts empty.
SessionFailure: Bounded diagnostics retained for a failed public session operation.
SessionLimits: Finite resource limits offered and negotiated by both endpoints.
SessionOptions: Finite negotiation inputs retained under one caller-derived deadline.

BackendStatus: Availability of the public lifecycle/session composition on this target.
ChildExitStatus: Exact direct-child termination fact reaped by the coordinator.
CoordinatorCloseOutcome: Recoverable coordinator close result.
DescendantCleanupStatus: Bounded statement about descendant cleanup outside the atomic pidfd owner.
ExecutableIdentityPolicy: Required executable-identity policy for an owned helper launch.
LeaseFactsConsistency: Consistency of independently observed active-region and active-byte counters.
NegotiationDecision: Explicit application decision after the peer HELLO is available.
NegotiationError: Invalid local or peer negotiation offer.
NegotiationOutcome: Clean application-level result of the challenged negotiation.
PeerStatus: Nonblocking peer observation that does not invent an exit code.
ReceiverCloseOutcome: Recoverable receiver close result.
SessionEndpoint: Endpoint that made a clean application negotiation rejection.
SessionError: Public session construction, negotiation, or control failure.
SessionOperation: Bounded public operation category attached to a session failure.
SessionState: Locally observed accepted-session reducer state.
SessionTransactionState: Bounded reducer state observed for a failed public operation.

HARD_MAX_ACTIVE_BYTES: Hard maximum simultaneously charged mapping bytes.
HARD_MAX_ACTIVE_REGIONS: Hard maximum simultaneously charged region mappings.
HARD_MAX_BATCH_BYTES: Hard maximum aggregate bytes in one transaction.
HARD_MAX_BOOTSTRAP_PAYLOAD_BYTES: Hard maximum for the opaque HELLO application payload.
HARD_MAX_CONTROL_PAYLOAD_BYTES: Hard maximum for one opaque application-control payload.
HARD_MAX_REGIONS_PER_BATCH: Hard protocol maximum for one atomic transfer batch.
HARD_MAX_REGION_BYTES: Hard maximum logical size of one region.
HARD_MAX_TRANSACTIONS: Hard maximum transactions in one fresh session.

backend_status: Reports whether the public lifecycle/session composition is available.

CoordinatorSession: Coordinator-owned exact-child session in the supplied typestate.
ReceiverSession: Receiver-owned inherited-bootstrap session in the supplied typestate.