pub struct ExecKeyContext { /* private fields */ }Expand description
Pre-computed key context for all keys on an execution’s partition. Created once per operation and reused for all key construction.
Implementations§
Source§impl ExecKeyContext
impl ExecKeyContext
pub fn new(partition: &Partition, eid: &ExecutionId) -> Self
Sourcepub fn policy(&self) -> String
pub fn policy(&self) -> String
ff:exec:{p:N}:<eid>:policy — JSON-encoded ExecutionPolicySnapshot.
ff:exec:{p:N}:<eid>:tags — User-supplied key-value labels.
Sourcepub fn lease_current(&self) -> String
pub fn lease_current(&self) -> String
ff:exec:{p:N}:<eid>:lease:current — Full lease object.
Sourcepub fn lease_history(&self) -> String
pub fn lease_history(&self) -> String
ff:exec:{p:N}:<eid>:lease:history — Append-only lease events.
Sourcepub fn claim_grant(&self) -> String
pub fn claim_grant(&self) -> String
ff:exec:{p:N}:<eid>:claim_grant — Ephemeral claim grant.
Sourcepub fn attempt_hash(&self, index: AttemptIndex) -> String
pub fn attempt_hash(&self, index: AttemptIndex) -> String
ff:attempt:{p:N}:<eid>:<attempt_index> — Per-attempt detail.
Sourcepub fn attempt_usage(&self, index: AttemptIndex) -> String
pub fn attempt_usage(&self, index: AttemptIndex) -> String
ff:attempt:{p:N}:<eid>:<attempt_index>:usage — Per-attempt usage counters.
Sourcepub fn attempt_policy(&self, index: AttemptIndex) -> String
pub fn attempt_policy(&self, index: AttemptIndex) -> String
ff:attempt:{p:N}:<eid>:<attempt_index>:policy — Frozen attempt policy snapshot.
Sourcepub fn stream(&self, index: AttemptIndex) -> String
pub fn stream(&self, index: AttemptIndex) -> String
ff:stream:{p:N}:<eid>:<attempt_index> — Attempt-scoped output stream.
Sourcepub fn stream_meta(&self, index: AttemptIndex) -> String
pub fn stream_meta(&self, index: AttemptIndex) -> String
ff:stream:{p:N}:<eid>:<attempt_index>:meta — Stream metadata.
Sourcepub fn suspension_current(&self) -> String
pub fn suspension_current(&self) -> String
ff:exec:{p:N}:<eid>:suspension:current — Current suspension episode.
Sourcepub fn waitpoints(&self) -> String
pub fn waitpoints(&self) -> String
ff:exec:{p:N}:<eid>:waitpoints — Set of all waitpoint IDs.
Sourcepub fn waitpoint(&self, wp_id: &WaitpointId) -> String
pub fn waitpoint(&self, wp_id: &WaitpointId) -> String
ff:wp:{p:N}:<wp_id> — Waitpoint record.
Sourcepub fn waitpoint_signals(&self, wp_id: &WaitpointId) -> String
pub fn waitpoint_signals(&self, wp_id: &WaitpointId) -> String
ff:wp:{p:N}:<wp_id>:signals — Per-waitpoint signal history.
Sourcepub fn waitpoint_condition(&self, wp_id: &WaitpointId) -> String
pub fn waitpoint_condition(&self, wp_id: &WaitpointId) -> String
ff:wp:{p:N}:<wp_id>:condition — Resume condition evaluation state.
Sourcepub fn signal_payload(&self, sig_id: &SignalId) -> String
pub fn signal_payload(&self, sig_id: &SignalId) -> String
ff:signal:{p:N}:<signal_id>:payload — Opaque signal payload.
Sourcepub fn exec_signals(&self) -> String
pub fn exec_signals(&self) -> String
ff:exec:{p:N}:<eid>:signals — Per-execution signal index.
Sourcepub fn signal_dedup(&self, wp_id: &WaitpointId, idempotency_key: &str) -> String
pub fn signal_dedup(&self, wp_id: &WaitpointId, idempotency_key: &str) -> String
ff:sigdedup:{p:N}:<wp_id>:<idem_key> — Signal idempotency guard.
Sourcepub fn dep_edge(&self, edge_id: &EdgeId) -> String
pub fn dep_edge(&self, edge_id: &EdgeId) -> String
ff:exec:{p:N}:<eid>:dep:<edge_id> — Per-edge local state.
Sourcepub fn deps_unresolved(&self) -> String
pub fn deps_unresolved(&self) -> String
ff:exec:{p:N}:<eid>:deps:unresolved — Set of unresolved edge IDs.
Sourcepub fn deps_all_edges(&self) -> String
pub fn deps_all_edges(&self) -> String
ff:exec:{p:N}:<eid>:deps:all_edges — Set of ALL applied edge IDs
on this execution (unresolved + satisfied + impossible). Populated by
ff_apply_dependency_to_child, never pruned on resolve. Used by the
retention trimmer to enumerate dep edge hashes without SCAN.
Sourcepub fn noop(&self) -> String
pub fn noop(&self) -> String
Dummy key on this partition, used as a placeholder for unused KEYS positions (e.g. empty idempotency key). Ensures all KEYS in an FCALL share the same hash tag, preventing CrossSlot errors in cluster mode.