Struct Basic 

pub struct Basic<'receipt, 'prepared, 'path, 'document, N, D, G> { /* private fields */ }

Completed original root/counter field/header/key/digest facts. Negative key, digest, inclusion and readable hint outcomes remain available. This does not claim timestamp chronology, material completeness, arbitrary open-format semantics or application policy/trust acceptance, and is not a B-T/LT/LTA.

Implementations

impl<'r, 'p, 'v, 'd, N: Copy, D: Copy, G: Copy> Basic<'r, 'p, 'v, 'd, N, D, G>

pub fn inputs(&self) -> &BasicInput<'r, 'p, 'v, 'd, N, D, G>

Same original receipt inputs, without re-verifying or copying them.

pub fn included(&self) -> Option<Location<N, D, G>>

Actual exact-DER signing-certificate occurrence in the original KeyInfo.

pub fn hints(&self) -> &[Hint<N, D, G>]

Every present original protected/ordinary/attribute issuer hint and its retained syntax diagnostics. Catalogue roles remain available through its source; issuer/serial agreement is not claimed by these encoding reports.

pub fn all_root_requirements_met(&self) -> bool

Only the completed field/header/selected-key/digest conditions above. Optional hints must have conforming DER syntax; their contents do not replace the actual certificate digest binding (EN319132-1 §5.2.2 Note2). This constant-time getter does not scan attacker-sized hint catalogues.

Trait Implementations

impl<'v, 'd, N: Copy, D: Copy, G: Copy> BasicStage<'v, 'd> for Basic<'_, '_, 'v, 'd, N, D, G>

type Id = N

Original node identity.

type Document = D

Stable document identity.

type Generation = G

Exact document generation.

type Signer = CheckedPathCertificate<'v, 'd, N, D, G>

The signing-certificate binding receipt.

type Counters = CounterPaths<'v, 'd, N, D, G>

The complete countersignature census.

fn signer(&self) -> &Self::Signer

Same signer receipt the stage checked.

fn counters(&self) -> &Self::Counters

Same countersignature census the stage checked.

fn all_requirements_met(&self) -> bool

Every condition of the format’s basic level holds.