Skip to main content

Class: ExecutionContext

Defined in: packages/core/src/core/execution.ts:57

A context is scoped; its shared barrier belongs to one invocation only.

Constructors

Constructor

new ExecutionContext(address?, state?): ExecutionContext

Defined in: packages/core/src/core/execution.ts:58

Parameters

address?

ExecutionAddress = []

state?

InvocationState = ...

Returns

ExecutionContext

Properties

address

readonly address: ExecutionAddress = []

Defined in: packages/core/src/core/execution.ts:59

Accessors

durable

Get Signature

get durable(): boolean

Defined in: packages/core/src/core/execution.ts:66

Returns

boolean


failure

Get Signature

get failure(): { error: unknown; } | undefined

Defined in: packages/core/src/core/execution.ts:215

Returns

{ error: unknown; } | undefined


interruptions

Get Signature

get interruptions(): readonly Interruption[]

Defined in: packages/core/src/core/execution.ts:219

Returns

readonly Interruption[]


localInterruptions

Get Signature

get localInterruptions(): readonly Interruption[]

Defined in: packages/core/src/core/execution.ts:216

Returns

readonly Interruption[]


runId

Get Signature

get runId(): string

Defined in: packages/core/src/core/execution.ts:62

Returns

string

Methods

approval()

approval(payload): Promise<unknown>

Defined in: packages/core/src/core/execution.ts:98

Pause at this address until the host supplies a persisted answer.

Parameters

payload

unknown

Returns

Promise<unknown>


check()

check(signal?): void

Defined in: packages/core/src/core/execution.ts:209

Parameters

signal?

AbortSignal

Returns

void


checkpoint()

checkpoint<T>(input, invoke, signal?): Promise<T>

Defined in: packages/core/src/core/execution.ts:125

Checkpoint one boundary. Completed descendants survive interrupted parents.

Type Parameters

T

T

Parameters

input

unknown

invoke

() => Promise<T>

signal?

AbortSignal

Returns

Promise<T>


child()

child(frame): ExecutionContext

Defined in: packages/core/src/core/execution.ts:206

Parameters

frame

AddressFrame

Returns

ExecutionContext


decision()

decision<T>(name, decide): Promise<T>

Defined in: packages/core/src/core/execution.ts:85

Cache decisions separately from outputs, before a selected branch starts.

Type Parameters

T

T

Parameters

name

string

decide

() => Promise<T>

Returns

Promise<T>


effect()

effect<T>(name, adapter): Promise<T>

Defined in: packages/core/src/core/execution.ts:183

Effect adapters must reconcile an earlier intent or honor its idempotency key.

Type Parameters

T

T

Parameters

name

string

adapter
execute

(idempotencyKey) => Promise<T>

reconcile

(idempotencyKey) => Promise<{ found: true; output: T; } | { found: false; }>

Returns

Promise<T>


fail()

fail(error): void

Defined in: packages/core/src/core/execution.ts:214

Parameters

error

unknown

Returns

void


interrupt()

interrupt(payload): never

Defined in: packages/core/src/core/execution.ts:220

Parameters

payload

unknown

Returns

never


readState()

readState<T>(name, initial): Promise<T>

Defined in: packages/core/src/core/execution.ts:161

Read shared run state without creating a write receipt.

Type Parameters

T

T

Parameters

name

string

initial

T

Returns

Promise<T>


resolve()

resolve(address, answer): Promise<void>

Defined in: packages/core/src/core/execution.ts:109

Hosts resolve the exact pending address, not a mutable node label.

Parameters

address

ExecutionAddress

answer

unknown

Returns

Promise<void>


updateState()

updateState<T>(name, initial, update): Promise<T>

Defined in: packages/core/src/core/execution.ts:169

State updates and their receipts commit atomically; replay does not update twice.

Type Parameters

T

T

Parameters

name

string

initial

T

update

(current) => T

Returns

Promise<T>


durable()

static durable(journal, identity): Promise<ExecutionContext>

Defined in: packages/core/src/core/execution.ts:63

Parameters

journal

ExecutionJournal

identity

ExecutionIdentity

Returns

Promise<ExecutionContext>