Module lifecycle 

Structs

BorrowedInputRequestRecord

Original scalar data borrowed without Message, image or Source retention.

BoundedInputRequestBatch

One execution-private data value, borrowed by the SDK provider/Tool round. Compact bytes bound the measurement, not total AST allocation or RSS.

InputObservation

Only checked admission creates positive data; this is never a Skill grant. The caller owns finite current data and supplies its existing run identity.

ObservedRoundPreparation

Original round result plus opaque, untrusted execution-local input data.

ProjectedInputRequest

Untrusted request data only; neither current-input evidence nor permission.

Enums

InputRequestProjection

InputRequestUnavailable

Constants

INPUT_REQUEST_FIXED_SLOT_BYTES

Embedded record/selection headers counted once, separate from dynamic data.

Traits

LifecycleManager

Manages agent run state machine and round transitions.

Functions

project_input_request_batch

Validate all borrowed data and charge the whole batch before any owned copy. Success does not classify input as New, authorize it or publish anything.

scope_input_request_data

Lend one existing, uniquely owned input-data batch during a future’s polls.

with_scoped_input_request_data

Synchronously borrow data for exactly the supplied Session and execution.