Expand description
Typed FCALL wrappers for execution lifecycle functions (lua/execution.lua).
§Partial-type pattern (RFC-011 §2.4)
Post-RFC-011, ExecutionId no longer has Default, so parsers cannot
construct result structs with a placeholder execution_id to be
overwritten by the caller. Instead, each ff_function! wrapper whose
result carries an execution_id returns a *Partial type that omits
the field, with a .complete(execution_id) combinator the caller
invokes after the FCALL returns (the caller always knows the
execution_id — it supplied the id as ARGV).
complete is a total match over the Partial variants, so future
result variants that carry an execution_id force a compile error
in complete until the new variant is wired through.
Structs§
- Claimed
Execution Partial - Partial form of
ClaimedExecutionused by the parser path; caller-suppliedexecution_idis attached viaClaimExecutionResultPartial::complete. - Exec
OpKeys - Bundles ExecKeyContext + IndexKeys + lane-scoped index resolution. Passed as the key context to all execution ff_function! invocations.
Enums§
- Cancel
Execution Result Partial - Partial form of
CancelExecutionResult(omitsexecution_id). - Claim
Execution Result Partial - Partial form of
ClaimExecutionResult. - Complete
Execution Result Partial - Partial form of
CompleteExecutionResult(omitsexecution_id). - Delay
Execution Result Partial - Partial form of
DelayExecutionResult(omitsexecution_id). - Expire
Execution Result Partial - Partial form of
ExpireExecutionResult. - Move
ToWaiting Children Result Partial - Partial form of
MoveToWaitingChildrenResult(omitsexecution_id).