Struct ExportEnvelopeV3 

pub struct ExportEnvelopeV3 {

    pub envelope_id: EnvelopeId,
    pub schema_version: String,
    pub content_digest: ContentDigest,
    pub source_authority: String,
    pub scope_key: ScopeKey,
    pub trace_ctx: Option<TraceCtx>,
    pub exported_at: String,
    pub export_meta: Option<ForgeExportMeta>,
    pub evidence_bundle: Option<EvidenceBundle>,
    pub support_sets: Vec<SupportSetV1>,
    pub contradiction_witnesses: Vec<ContradictionWitnessV1>,
    pub retraction_records: Vec<RetractionRecordV1>,
    pub claim_states_v13: Vec<ClaimStateV13>,
    pub intervention_bundles_v14: Vec<Value>,
    pub outcome_schemas_v14: Vec<Value>,
    pub cohort_contracts_v14: Vec<Value>,
    pub counterfactual_slices_v14: Vec<Value>,
    pub experiment_cases_v14: Vec<Value>,
    pub comparability_matrices_v14: Vec<Value>,
    pub decision_traces_v14: Vec<Value>,
    pub refuter_suites_v14: Vec<Value>,
    pub refuter_results_v14: Vec<Value>,
    pub experiment_budgets_v14: Vec<Value>,
    pub rollout_decisions_v14: Vec<Value>,
    pub rollback_decisions_v14: Vec<Value>,
    pub attestation_envelopes_v15: Vec<Value>,
    pub trust_root_sets_v15: Vec<Value>,
    pub artifact_admission_policies_v15: Vec<Value>,
    pub transparency_receipts_v15: Vec<Value>,
    pub attestation_revocations_v15: Vec<Value>,
    pub attestation_supersessions_v15: Vec<Value>,
    pub remote_oracle_leases_v15: Vec<Value>,
    pub remote_slice_requests_v15: Vec<Value>,
    pub remote_slice_results_v15: Vec<Value>,
    pub cross_runtime_replay_tickets_v15: Vec<Value>,
    pub dispute_bundles_v15: Vec<Value>,
    pub disclosure_policies_v15: Vec<Value>,
    pub disclosure_budgets_v15: Vec<Value>,
    pub records: Vec<ExportRecordV3>,
}

CLIB-013: Canonical Forge export envelope (v3).

Field categories

Core fields (always populated): envelope_id, schema_version, content_digest, source_authority, scope_key, exported_at, records.

Active v13 fields (populated by Forge when support-algebra artifacts exist): support_sets, contradiction_witnesses, retraction_records, claim_states_v13.

v14 extension points (schema-reserved for mechanism-runtime / experiment lanes; populated only when the owning lane has produced matching artifacts): intervention_bundles_v14 through rollback_decisions_v14.

v15 extension points (schema-reserved for attestation-exchange / admission lanes; populated only when the owning lane has produced matching artifacts): attestation_envelopes_v15 through disclosure_budgets_v15.

Extension fields use Vec<Value> + skip_serializing_if = "Vec::is_empty" so they carry zero overhead in serialized envelopes when unused.

Fields

envelope_id: EnvelopeId

Unique envelope identity, assigned by Forge.

schema_version: String

Always "export_envelope_v3" for this version.

content_digest: ContentDigest

BLAKE3 content digest for idempotent deduplication.

source_authority: String

Forge or other producing authority.

scope_key: ScopeKey

Target scope for all records in this envelope.

trace_ctx: Option<TraceCtx>

Cross-crate trace context.

exported_at: String

ISO 8601 timestamp of when this envelope was exported.

export_meta: Option<ForgeExportMeta>

Optional export metadata retained as first-class provenance.

evidence_bundle: Option<EvidenceBundle>

Canonical Forge evidence substrate backing the projected records.

support_sets: Vec<SupportSetV1>

Additive v13 support algebra artifacts owned by Forge.

contradiction_witnesses: Vec<ContradictionWitnessV1>

Additive v13 contradiction witnesses owned by Forge.

retraction_records: Vec<RetractionRecordV1>

Additive v13 retraction lineage artifacts owned by Forge.

claim_states_v13: Vec<ClaimStateV13>

Additive v13 claim-state artifacts owned by Forge.

intervention_bundles_v14: Vec<Value>

Additive v14 intervention artifacts preserved verbatim from the owner lane.

outcome_schemas_v14: Vec<Value>

cohort_contracts_v14: Vec<Value>

counterfactual_slices_v14: Vec<Value>

experiment_cases_v14: Vec<Value>

comparability_matrices_v14: Vec<Value>

decision_traces_v14: Vec<Value>

refuter_suites_v14: Vec<Value>

refuter_results_v14: Vec<Value>

experiment_budgets_v14: Vec<Value>

rollout_decisions_v14: Vec<Value>

rollback_decisions_v14: Vec<Value>

attestation_envelopes_v15: Vec<Value>

Additive v15 attestation and admission artifacts preserved verbatim.

trust_root_sets_v15: Vec<Value>

artifact_admission_policies_v15: Vec<Value>

transparency_receipts_v15: Vec<Value>

attestation_revocations_v15: Vec<Value>

attestation_supersessions_v15: Vec<Value>

remote_oracle_leases_v15: Vec<Value>

remote_slice_requests_v15: Vec<Value>

remote_slice_results_v15: Vec<Value>

cross_runtime_replay_tickets_v15: Vec<Value>

dispute_bundles_v15: Vec<Value>

disclosure_policies_v15: Vec<Value>

disclosure_budgets_v15: Vec<Value>

records: Vec<ExportRecordV3>

Rich projection records carrying kernel-relevant export semantics.

Implementations

impl ExportEnvelopeV3

pub fn validate(&self) -> Result<(), ExportEnvelopeError>

Validates the canonical v3 export envelope and its computed digest.

pub fn compute_digest( source_authority: &str, scope_key: &ScopeKey, records: &[ExportRecordV3], export_meta: Option<&ForgeExportMeta>, evidence_bundle: Option<&EvidenceBundle>, ) -> Result<ContentDigest, ExportEnvelopeError>

Computes the canonical digest for the v3 envelope content before additive v13/v15 groups.

pub fn compute_digest_with_v13( base_digest: ContentDigest, support_sets: &[SupportSetV1], contradiction_witnesses: &[ContradictionWitnessV1], retraction_records: &[RetractionRecordV1], claim_states_v13: &[ClaimStateV13], ) -> Result<ContentDigest, ExportEnvelopeError>

Extends a base digest with additive v13 support-algebra artifacts.

pub fn compute_digest_with_endgame( base_digest: ContentDigest, intervention_bundles_v14: &[Value], outcome_schemas_v14: &[Value], cohort_contracts_v14: &[Value], counterfactual_slices_v14: &[Value], experiment_cases_v14: &[Value], comparability_matrices_v14: &[Value], decision_traces_v14: &[Value], refuter_suites_v14: &[Value], refuter_results_v14: &[Value], experiment_budgets_v14: &[Value], rollout_decisions_v14: &[Value], rollback_decisions_v14: &[Value], attestation_envelopes_v15: &[Value], trust_root_sets_v15: &[Value], artifact_admission_policies_v15: &[Value], transparency_receipts_v15: &[Value], attestation_revocations_v15: &[Value], attestation_supersessions_v15: &[Value], remote_oracle_leases_v15: &[Value], remote_slice_requests_v15: &[Value], remote_slice_results_v15: &[Value], cross_runtime_replay_tickets_v15: &[Value], dispute_bundles_v15: &[Value], disclosure_policies_v15: &[Value], disclosure_budgets_v15: &[Value], ) -> Result<ContentDigest, ExportEnvelopeError>

Extends a base digest with additive v14/v15 endgame artifact groups.

Trait Implementations

impl Clone for ExportEnvelopeV3

fn clone(&self) -> ExportEnvelopeV3

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ExportEnvelopeV3

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExportEnvelopeV3

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl JsonSchema for ExportEnvelopeV3

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 ExportEnvelopeV3

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl TryFrom<ExportEnvelopeV2> for ExportEnvelopeV3

type Error = ExportEnvelopeError

The type returned in the event of a conversion error.

fn try_from(value: ExportEnvelopeV2) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<ExportEnvelopeV3> for ExportEnvelopeV2

type Error = ExportEnvelopeError

The type returned in the event of a conversion error.

fn try_from(value: ExportEnvelopeV3) -> Result<Self, Self::Error>

Performs the conversion.