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).
Functions§
- ff_
cancel_ execution - ff_
claim_ execution - ff_
complete_ execution - ff_
create_ execution - ff_
delay_ execution - ff_
expire_ execution - ff_
fail_ execution - ff_
move_ to_ waiting_ children - ff_
set_ execution_ tags - Call
ff_set_execution_tags: write caller-supplied tag fields to the execution’s separate tags key. Returns the number of pairs applied. - validate_
tag_ key - Client-side fast-fail validator for tag keys. Matches the Lua
pattern
^[a-z][a-z0-9_]*%.[^.]— requires: