Struct SafetyCertificate 

pub struct SafetyCertificate {
    pub certificate_id: String,
    pub action_id: String,
    pub agent_id: String,
    pub decided_at: DateTime<Utc>,
    pub decision: CertificationDecision,
    pub zone: SafetyZone,
    pub margins: BTreeMap<String, f64>,
    pub gradient: Option<f64>,
    pub binding_constraint: Option<String>,
    pub drift_budget: Option<f64>,
    pub deterministic_hash: DeterministicHash,
    pub domain_payload: Option<Value>,
}

A safety certificate produced by the certification kernel.

Fields

certificate_id: String

Unique certificate identifier.

action_id: String

Identifier of the action that was certified.

agent_id: String

Identifier of the agent that proposed the action.

decided_at: DateTime<Utc>

When the certification decision was made.

decision: CertificationDecision

The certification decision.

zone: SafetyZone

Safety zone classification.

margins: BTreeMap<String, f64>

Per-channel margins (channel_name -> margin in [0,1]).

gradient: Option<f64>

Aggregate rate of change (gradient).

binding_constraint: Option<String>

Name of the binding (tightest) constraint channel.

drift_budget: Option<f64>

Remaining budget before zone transition.

deterministic_hash: DeterministicHash

Deterministic hash for reproducibility verification.

domain_payload: Option<Value>

Opaque domain-specific payload (e.g., full channel breakdown as JSON).

Trait Implementations

impl Clone for SafetyCertificate

fn clone(&self) -> SafetyCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SafetyCertificate

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for SafetyCertificate

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for SafetyCertificate

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

where __S: Serializer,

Serialize this value into the given Serde serializer.