Module session 

Session lifecycle, event, follow-up, and deletion contracts.

Structs

PostconditionEvidence

A single postcondition and whether it was satisfied.

RuntimeSession

A runtime session and its current lifecycle state.

SessionCompletionEvidence

Evidence describing how a session reached completion.

SessionDeletionResult

Principal-bound result of deleting one terminal runtime session’s durable data.

SessionEvent

Stable supervisor event used for ADK/runtime trace correlation.

SessionFollowUp

Principal-owned, monotonic steering instruction consumed by an ADK graph.

SessionFollowUpPage

A page of follow-ups plus the cursor for the next page.