Struct ProcessAttestation 

pub struct ProcessAttestation {
    pub artifact_hash: String,
    pub control_hash: Option<String>,
    pub intent_hash: String,
    pub composed_root: String,
    pub generation: u64,
    pub previous_root: Option<String>,
    pub attested_at: DateTime<Utc>,
}

Attestation written to Process.status.attestation after each convergence cycle.

Composition:

composed_root = BLAKE3(
    "tatara-process/v1alpha1\n"
    ++ artifact_hash ++ "\n"
    ++ control_hash.unwrap_or("") ++ "\n"
    ++ intent_hash ++ "\n"
    ++ previous_root.unwrap_or("")
)

Fields

artifact_hash: String

BLAKE3(rendered resources ++ their applied-status digests).

control_hash: Option<String>

BLAKE3(compliance-verification proof) — absent iff no compliance bindings.

intent_hash: String

BLAKE3(canonical-spec ++ nix-store-path? ++ lisp-AST?).

composed_root: String

BLAKE3 of the three pillars + previous root.

generation: u64

Monotonic generation counter — starts at 0, increments each cycle.

previous_root: Option<String>

The prior composed_root in the chain. None for generation 0.

attested_at: DateTime<Utc>

When the attestation was computed.

Implementations

impl ProcessAttestation

pub fn compose( artifact_hash: String, control_hash: Option<String>, intent_hash: String, previous_root: Option<String>, generation: u64, ) -> Self

Compose an attestation from the three pillars + chain context.

pub fn initial( artifact_hash: String, control_hash: Option<String>, intent_hash: String, ) -> Self

Convenience for the initial attestation (generation 0, no previous root).

pub fn next( &self, artifact_hash: String, control_hash: Option<String>, intent_hash: String, ) -> Self

Convenience for chaining: self.next(new_pillars) yields the next attestation.

pub fn verify(&self) -> bool

Verify that composed_root is consistent with the pillars + previous_root.

Trait Implementations

impl Clone for ProcessAttestation

fn clone(&self) -> ProcessAttestation

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ProcessAttestation

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ProcessAttestation

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for ProcessAttestation

fn schema_name() -> String

The name of the generated JSON Schema.

fn schema_id() -> Cow<'static, str>

Returns a string that uniquely identifies the schema produced by this type.

fn json_schema(generator: &mut SchemaGenerator) -> Schema

Generates a JSON Schema for this type.

fn is_referenceable() -> bool

Whether JSON Schemas generated for this type should be re-used where possible using the $ref keyword.

impl Serialize for ProcessAttestation

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

where __S: Serializer,

Serialize this value into the given Serde serializer.