Struct Artifact 

pub struct Artifact {
    pub primary: String,
    pub sidecars: Vec<(String, Vec<u8>)>,
    pub citations: Vec<ContractId>,
    pub quorum_status: QuorumStatus,
}

Emitted artifact — primary source/IR text plus sidecar files plus the structural citation chain to Layer-5 compile contracts.

The citations field is the structural channel that closes the audit chain: every target-specific IR construct in primary cites a Layer-5 compile contract by ID. Recovery is via this field, NOT via regex over primary text. See contracts/xpile-backend-trait-v1.yaml equation compile_contract_citation.

Fields

primary: String

Emitted source / IR text (Rust source, Ruchy source, PTX text, WGSL source, SPIR-V text, Lean source).

sidecars: Vec<(String, Vec<u8>)>

Optional binaries, manifests, debug maps, accompanying the primary.

citations: Vec<ContractId>

Layer-5 compile contracts sanctioning every target-specific construct in primary. Structural — not regex-recoverable.

quorum_status: QuorumStatus

Multi-emitter quorum status (PMAT-262 / Section 29). At v0.1.0 every Backend impl emits exactly one artifact, so this is always QuorumStatus::Single { emitter: <backend_name> }. Multi-emitter backends (future rustc_codegen_nvvm + aprender-gpu quorum on PTX) populate QuorumStatus::Multi { ... } with the diff_exec result.

Defaults via serde to Single { emitter: "unknown" } for backward-compatible deserialization of older JSON payloads.

Trait Implementations

impl Clone for Artifact

fn clone(&self) -> Artifact

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Artifact

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Artifact

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Artifact

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

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 Artifact