Struct ExecutionIdentity 

pub struct ExecutionIdentity {
    pub producer: ExecutionProducerIdentity,
    pub backend: String,
    pub backend_version: String,
    pub build_identity: String,
    pub runtime_config: String,
    pub native_identity: Option<NativeExecutionIdentity>,
}

Runtime execution identity shared by evidence-producing extensions.

This records what executed a result. It is intentionally generic: CVC5, Cedar analysis, OR-Tools, HiGHS, model inference, and deterministic fake backends can all populate the same contract without leaking implementation fields into domain payloads.

Fields

producer: ExecutionProducerIdentity

Producer crate, extension, or service.

backend: String

Logical backend or engine name, for example cvc5 or cp-sat-v9.15.

backend_version: String

Backend version visible at the safe execution boundary.

build_identity: String

Build/source/config identity for replay and audit.

runtime_config: String

Runtime options that affect the result.

native_identity: Option<NativeExecutionIdentity>

Native backend details when the execution crossed an FFI/native boundary.

Implementations

impl ExecutionIdentity

pub fn new( producer: ExecutionProducerIdentity, backend: impl Into<String>, backend_version: impl Into<String>, build_identity: impl Into<String>, runtime_config: impl Into<String>, native_identity: Option<NativeExecutionIdentity>, ) -> ExecutionIdentity

Creates execution identity metadata.

pub fn non_native( producer_name: impl Into<String>, producer_version: impl Into<String>, backend: impl Into<String>, runtime_config: impl Into<String>, ) -> ExecutionIdentity

Creates non-native execution identity metadata.

pub fn unspecified( producer_name: impl Into<String>, producer_version: impl Into<String>, ) -> ExecutionIdentity

Creates unknown execution identity metadata for placeholders and tests.

pub fn runtime_config_from_typed<T>(value: &T) -> String

where T: Serialize,

Serializes a typed configuration struct to the canonical runtime_config JSON string.

This is the workspace-standard encoding for runtime_config per kb/Standards/Runtime Config Encoding.md: a JSON object whose keys are the struct field names and whose values are field values. Empty configs serialize as {}.

Panics if T’s Serialize impl is malformed (e.g., non-finite floats, non-string map keys). For all practical workspace config structs this is unreachable; a panic here means the caller’s config struct is broken.

let rc = ExecutionIdentity::runtime_config_from_typed(&my_cfg);
let identity = ExecutionIdentity::non_native("crate", "1.0", "backend", rc);

pub fn with_runtime_config_typed<T>(self, value: &T) -> ExecutionIdentity

where T: Serialize,

Replaces this identity’s runtime_config with the JSON encoding of a typed config struct. Builder-style sibling of Self::runtime_config_from_typed.

Trait Implementations

impl Clone for ExecutionIdentity

fn clone(&self) -> ExecutionIdentity

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExecutionIdentity

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExecutionIdentity

fn deserialize<__D>( __deserializer: __D, ) -> Result<ExecutionIdentity, <__D as Deserializer<'de>>::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ExecutionIdentity

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for ExecutionIdentity

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ExecutionIdentity

impl StructuralPartialEq for ExecutionIdentity