Struct RuntimeReceiptV1 

pub struct RuntimeReceiptV1 {
    pub pipeline_id: String,
    pub stages: Vec<StageReceiptSummary>,
    pub non_claim: String,
    pub receipt_hash: String,
}

A sealed record of one pipeline run (schema v1).

Fields

pipeline_id: String

stages: Vec<StageReceiptSummary>

The ordered per-stage receipt summaries (input/output hashes + authorities).

non_claim: String

The load-bearing non-claim.

receipt_hash: String

SHA-256 (via CanonicalHasher) over the pipeline id, the frozen-authority allow-list, and every stage summary in order — the run’s tamper-evident root.

Implementations

impl RuntimeReceiptV1

pub const NON_CLAIM: &'static str = "A deterministic record of which stages ran over which densors against \ which frozen authorities — NOT a claim that the result is correct, optimal, or meaningful in any domain; \ the runtime is a mechanism, the meaning lives in the authorities it cites."

pub fn build( manifest: &DensorManifest, stages: Vec<StageReceiptSummary>, ) -> Self

Build a sealed run receipt from the manifest + the ordered stage summaries.

pub fn verify(&self, manifest: &DensorManifest) -> bool

Re-derive the seal and confirm it matches (tamper-evident). Requires the same manifest the run used.

pub fn short(&self) -> &str

The 12-char short form of the receipt hash, for logs.

Trait Implementations

impl Clone for RuntimeReceiptV1

fn clone(&self) -> RuntimeReceiptV1

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RuntimeReceiptV1

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RuntimeReceiptV1

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for RuntimeReceiptV1

fn eq(&self, other: &RuntimeReceiptV1) -> 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 RuntimeReceiptV1

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for RuntimeReceiptV1

impl StructuralPartialEq for RuntimeReceiptV1