Struct OptionalParserPackPlatformProof 

pub struct OptionalParserPackPlatformProof {

    pub schema_version: u32,
    pub pack_id: String,
    pub platform: PackPlatform,
    pub candidate: ParserPackCandidateIdentity,
    pub archive_name: String,
    pub archive_sha256: Sha256Digest,
    pub archive_bytes: u64,
    pub expanded_bytes: u64,
    pub artifact_manifest_sha256: Sha256Digest,
    pub accepted_manifest_sha256: Sha256Digest,
    pub capability_set_digest: Blake3Digest,
    pub fixture_corpus_sha256: Sha256Digest,
    pub native_audit_report_sha256: Sha256Digest,
    pub runner: ParserPackFreshRunner,
    pub grammars: Vec<ParserPackGrammarProbe>,
    pub memory: ParserPackMemoryProbe,
}

Fresh-runner receipt for one exact completed platform archive.

Fields

schema_version: u32

Platform-proof schema version.

pack_id: String

Stable logical pack identity.

platform: PackPlatform

Required native target.

candidate: ParserPackCandidateIdentity

Exact candidate identity repeated for cross-platform comparison.

archive_name: String

Safe completed archive basename.

archive_sha256: Sha256Digest

SHA-256 of the complete archive, including its artifact manifest.

archive_bytes: u64

Exact completed archive bytes.

expanded_bytes: u64

Expanded bytes including the artifact manifest.

artifact_manifest_sha256: Sha256Digest

SHA-256 of the immutable artifact manifest inside the archive.

accepted_manifest_sha256: Sha256Digest

SHA-256 of the byte-identical accepted logical manifest.

capability_set_digest: Blake3Digest

Byte-identical logical accepted capability digest.

fixture_corpus_sha256: Sha256Digest

SHA-256 of the byte-identical retained fixture corpus.

native_audit_report_sha256: Sha256Digest

SHA-256 of the normalized native audit report bound by the artifact manifest.

runner: ParserPackFreshRunner

Clean-machine and physical-isolation state.

grammars: Vec<ParserPackGrammarProbe>

Strictly language-sorted accepted grammar worker probes.

memory: ParserPackMemoryProbe

Exact-host memory-boundary and cleanup probe.

Implementations

impl OptionalParserPackPlatformProof

pub fn validate( &self, logical: &OptionalParserPackManifest, ) -> Result<(), OptionalParserPackManifestError>

Validate one fresh-runner receipt against the accepted logical manifest.

Errors

Returns the first candidate, archive, isolation, or grammar-probe violation.

Trait Implementations

impl Clone for OptionalParserPackPlatformProof

fn clone(&self) -> OptionalParserPackPlatformProof

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for OptionalParserPackPlatformProof

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for OptionalParserPackPlatformProof

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for OptionalParserPackPlatformProof

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

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 OptionalParserPackPlatformProof

impl StructuralPartialEq for OptionalParserPackPlatformProof