Module request_context 

Request facts only. Allocation permission and cancellation remain with Runtime/Admission. Root creation and each local allocation must be preceded by their storage reservation.

Structs

ContextIdentity

Exact bounded protocol identity. Not an authorization or a user-data container.

ContextLabel

Safe metadata, bounded and exact; credentials/URL/query syntax is rejected.

RegisteredContextOperation

Static registered operation labels are borrowed forever, never copied as text.

RequestExecutionView

Immutable local facts + a frozen visibility stage, sharing the single root. Source receipts retain this object, not another projection or diagnostic body.

RequestIdentityGroup

Complete validated identity group. Consumed atomically by the entry publisher. No partial-field setters; rejected publication returns this same group.

RequestLocalFacts

RequestRootPublisher

Unique entry binding capability. Does not own an account or output handle.

RequestRootRef

Read-only shared reference; cloning shares one allocation, never root fields.

Enums

ContextConflict

ContextFact

Closed absence vocabulary, separate from output availability.

RequestViewPhase

Closed lifecycle metadata, not a state machine controlling the request.

Functions

request_context_layouts

Payload and shared allocation layouts, not a reservation or full task charge. Arc control block calculation follows std’s two-AtomicUsize header, with Layout::extend padding. Allocator metadata is NOT included; R0 must account it.