Skip to main content

Module tool_outcome

Module tool_outcome 

Source
Expand description

Durable tool-return and post-return evaluation contracts.

Structs§

CanonicalInvocationBlobV1
CanonicalResolvedOutputBlobV1
ContentAddressedBlobRefV1
EvaluationStepResultV1
ExternalEvaluationResultRefV1
FrozenEvaluationStepV1
ImmutableReleaseArtifactV1
InvocationStreamLimitsV1
MonetaryReleaseEvidenceV1
PersistedImmutableReleaseArtifactV1
PersistedMonetaryReleaseEvidenceV1
PersistedPostReturnEvaluationRecordV1
PersistedRawInvocationOutcomeV1
PersistedToolOutcomeRecordV1
PostReturnEvaluationRecordV1
PostReturnExactInputsV1
PostReturnFreezeEvidenceV1
PostReturnNormalizedRequestContextV1
PostReturnResolutionV1
PostReturnTerminalEvidenceV1
RawInvocationOutcomeV1
The only canonical representation of a returned invocation.
ToolOutcomeRecordV1
Valid records can only be built through insert-once or a CAS transition.
ToolOutcomeTerminalEvidenceV1
VerifiedContractualZeroCharge
VerifiedPreDispatchNoEffect
VerifiedTransportNotAccepted

Enums§

EvaluationFreezeV1
EvaluationModeV1
EvaluationPhaseV1
InvocationOutputV1
MonetaryReleaseAuthority
MonetaryReleaseEvidenceKindV1
PostReturnEvaluationStateV1
PostReturnReplayActionV1
ReleaseEvidenceArtifactKindV1
ResolvedToolOutcomeV1
SettlementDispositionV1
ToolOutcomeError
ToolOutcomeInsertResultV1
ToolOutcomeStoreError
VerifiedNoEffectProof

Constants§

MAX_EVALUATION_STEPS
MAX_EVIDENCE_ARTIFACT_BYTES
MAX_FROZEN_INPUT_BYTES
MAX_MONETARY_RELEASE_EVIDENCE_BYTES
MAX_RAW_INVOCATION_OUTCOME_BYTES
MAX_RECEIPT_GUARD_EVIDENCE
MAX_RESOLVED_OUTPUT_BYTES
MAX_STREAM_CHUNKS
MONETARY_RELEASE_EVIDENCE_SCHEMA
POST_RETURN_EVALUATION_SCHEMA
POST_RETURN_EXACT_INPUTS_SCHEMA
RAW_INVOCATION_OUTCOME_SCHEMA
RAW_INVOCATION_OUTCOME_WITH_REQUEST_SCHEMA
TOOL_OUTCOME_SCHEMA

Traits§

QualifiedToolOutcomeStore
Explicit trust boundary for stores that atomically bind a returned tool outcome to the durable admission operation.
ToolOutcomeStore
Storage boundary for insert-once return recording and atomic finalization.

Functions§

validate_evaluation_store_successor
validate_terminal_store_pair