Module contracts 

Structs

ApprovalGrant

ApprovalGrantCitation

ApprovalGrantScope

AuthorityLineageEntry

One offline-verifiable hop in the authority chain for an execution receipt.

ControlData

EffectIntent

Canonical, typed description of the effect a tool call intends to perform.

EffectScope

Concrete targets covered by an effect intent.

EffectTargetSpec

Typed declaration of how a tool maps arguments to one or more effect targets.

ToolArtifactRef

ToolBudgetContext

ToolCall

ToolCtx

ToolDescriptor

ToolEffectDispatchReceiptV1

ToolError

ToolExecutionPermit

ToolExecutionPermitScope

ToolExposurePolicy

ToolJobHandle

ToolReceipt

ToolResult

UntrustedData

Enums

ApprovalGrantEffectClass

McpSurfaceKind

ToolApprovalKind

ToolApprovalState

ToolBackendKind

ToolErrorClass

ToolExposureMode

ToolIdempotencyClass

ToolOriginKind

ToolOutputMode

ToolPlannerStage

ToolReceiptPersistence

ToolReceiptPhase

ToolReceiptResolution

ToolRetryOwner

ToolSideEffectClass

Traits

CompensatingAction

Functions

accept_control_data

Accepts only trusted control data.

verify_authority_lineage

Verifies that authority lineage is populated and covers the complete execution chain.