Struct PromiseId 

pub struct PromiseId(/* private fields */);

Reference to an external-completion handle (HITL, A2A async, subagent result).

A PromiseId is not a bearer capability: resolving a promise additionally requires a separate high-entropy resolver token (INV-9). The id is a UUIDv7 so it is unguessable for practical purposes and time-ordered for indexing.

Examples

use zeph_durable::PromiseId;

let id = PromiseId::new();
assert_ne!(id, PromiseId::new());

Implementations

impl PromiseId

pub fn new() -> Self

Mint a fresh promise identity.

pub fn derive(execution_id: ExecutionId, step_id: StepId) -> Self

Derive the deterministic promise id for a (execution_id, step_id) position.

Used by promise() so a resumed execution re-derives the same id at the same program point and re-attaches to the pending durable_promises row instead of minting an orphan. The id is guessable from the execution journal, but that is harmless: a PromiseId is not a bearer capability (INV-9) — resolution requires the separate high-entropy resolver token.

Examples

use zeph_durable::{ExecutionId, PromiseId, StepId};

let exec = ExecutionId::new();
let a = PromiseId::derive(exec, StepId::new(3));
let b = PromiseId::derive(exec, StepId::new(3));
assert_eq!(a, b, "the same position derives the same promise id");
assert_ne!(a, PromiseId::derive(exec, StepId::new(4)));

pub fn as_uuid(self) -> Uuid

Return the underlying UUID.

Trait Implementations

impl Clone for PromiseId

fn clone(&self) -> PromiseId

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for PromiseId

impl Debug for PromiseId

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for PromiseId

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for PromiseId

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for PromiseId

impl Hash for PromiseId

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for PromiseId

fn eq(&self, other: &PromiseId) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl Serialize for PromiseId

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for PromiseId