Struct BlocktrailEnvelope 

pub struct BlocktrailEnvelope {
    pub id: String,
    pub type_: String,
    pub profile: String,
    pub genesis: String,
    pub states: Vec<String>,
    pub txo: Vec<BlocktrailTxo>,
}

The on-disk blocktrails.json envelope — the 4th web-contract layer (ADR-124 §2.2). The gitmark.json substrate anchors the reducer/state/ ledger layers; blocktrails.json is the trail layer.

Per the reconciliation (C6): this shape is reconstructed from the webcontracts.org / “Melvo Predicts” reference pattern — it is NOT byte-verifiable against a fetchable create-agent artefact (the create-agent repo contains only gitmark.json). Only gitmark.json is “verbatim”.

Shape: @type "Blocktrail", profile "gitmark" (the anchoring substrate), a BIP-341 single-use-seal chain expressed as states[] (the commit SHAs — the ledger states, in order) paired with txo[] (the UTXO chain that seals them). genesis ties back to the gitmark.json genesis seal.

Fields

id: String

gitmark:<first-commit-sha>:0 — the genesis seal (shared with the gitmark.json genesis).

type_: String

Always "Blocktrail".

profile: String

Anchoring substrate profile — always "gitmark" here.

genesis: String

gitmark:<first-commit-sha>:0.

states: Vec<String>

The ledger states in order — commit SHAs the trail notarises.

txo: Vec<BlocktrailTxo>

The BIP-341 single-use-seal UTXO chain sealing states[] (1:1 order).

Implementations

impl BlocktrailEnvelope

pub fn new_gitmark_profile( genesis_sha: &str, states: Vec<String>, txo: Vec<BlocktrailTxo>, ) -> Self

Build a Blocktrail over an ordered set of commit SHAs (states) and their sealing UTXO chain (txo), profiled on the gitmark substrate (ADR-124 §2.2, C6 reference shape).

genesis_sha is the trail’s first commit SHA; the envelope’s @id and genesis are both gitmark:<genesis_sha>:0.

pub fn to_blocktrails_json(&self) -> Result<String, ProvenanceError>

Serialise to the canonical blocktrails.json text.

Trait Implementations

impl Clone for BlocktrailEnvelope

fn clone(&self) -> BlocktrailEnvelope

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for BlocktrailEnvelope

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for BlocktrailEnvelope

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Eq for BlocktrailEnvelope

impl PartialEq for BlocktrailEnvelope

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

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 BlocktrailEnvelope