Enum GateExtra 

#[non_exhaustive]
pub enum GateExtra {
    DuplicateStems {
        divergent: usize,
        baselined: usize,
        unbaselined: Vec<String>,
        stale: Vec<String>,
        divergent_stems: Vec<String>,
    },
}

Out-of-band structured detail for gates that post-date the frozen GateDetail vocabulary.

This type did not exist in provable-contracts 0.3.1, so no 0.3.1 program names it and none can match it. That is what makes it extensible where GateDetail is not, and it is #[non_exhaustive] from birth so the next post-0.3.1 gate does not have to repeat this exercise.

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

DuplicateStems

PV-DUP-001: contract stems claimed by several files with divergent content.

Fields

divergent: usize

Total ambiguous stems found in the tree.

baselined: usize

How many of those are recorded in the ratchet baseline.

unbaselined: Vec<String>

Ambiguous stems NOT in the baseline — these fail the gate.

stale: Vec<String>

Baseline entries that no longer diverge — these fail the gate too.

divergent_stems: Vec<String>

Every ambiguous stem, with its variant count and paths, for the report.

Trait Implementations

impl Clone for GateExtra

fn clone(&self) -> GateExtra

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for GateExtra

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

Formats the value using the given formatter.

impl Serialize for GateExtra

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

where __S: Serializer,

Serialize this value into the given Serde serializer.