Enum GateExtra 

#[non_exhaustive]
pub enum GateExtra {
    DuplicateStems {
        divergent: usize,
        baselined: usize,
        unbaselined: Vec<String>,
        stale: Vec<String>,
        divergent_stems: Vec<String>,
    },
    Sigma {
        entity_types: usize,
        roles: usize,
        symbols: usize,
        contracts_checked: usize,
        violations: usize,
        formal_total: usize,
        formal_prose: usize,
    },
    Relations {
        relations_n: usize,
        contracts_with_relations: usize,
        roles_used: Vec<String>,
        cycles: Vec<String>,
        legacy_depends_on: usize,
        legacy_unresolved_depends_on: usize,
        violations: usize,
    },
    Shapes {

        shapes_n: usize,
        focus_nodes_n: usize,
        pc_shape: String,
        plant_violations: usize,
        violations: usize,
        warnings: usize,
        by_shape: Vec<String>,
        triples: usize,
        armed_shapes: Vec<String>,
        not_armed_shapes: Vec<String>,
        unarmed_violations: usize,
        by_entity_type: BTreeMap<String, usize>,
        pc_extract: BTreeMap<String, String>,
        receipts: usize,
        witnesses: usize,
        hex_mismatches: usize,
        unmeasured_rows: usize,
        w3c_cases_passed: usize,
        w3c_cases_n: usize,
        symbols_resolved: usize,
        symbols_unresolved: usize,
        lean_statements: usize,
        lean_refs_unresolved: usize,
        release: Option<Box<ReleaseStats>>,
    
},
}

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.

Sigma

ONT-2b: what Σ declares and what the corpus was checked against.

Fields

entity_types: usize

entity_types Σ declares.

roles: usize

roles Σ declares.

symbols: usize

symbols Σ declares.

contracts_checked: usize

Contract files read (never counting ontology.yaml itself).

violations: usize

Findings: undeclared entity types, undeclared roles, undeclared glyphs.

formal_total: usize

formal: expressions read.

formal_prose: usize

Of those, how many carry NO symbol Σ declares — the formal_prose debt, shrink-only.

Relations

ONT-4: the corpus’s typed relations, checked against Σ’s roles.

Fields

relations_n: usize

Typed edges after symmetric closure.

contracts_with_relations: usize

Contracts carrying a relations: block.

roles_used: Vec<String>

role=count per role used.

cycles: Vec<String>

Cycles through acyclic roles, as role: a -> b -> a.

legacy_depends_on: usize

metadata.depends_on edges, read and counted, never rewritten (R-5).

legacy_unresolved_depends_on: usize

Of those, how many name no contract — ratcheted shrink-only in the baseline.

violations: usize

Findings.

Shapes

ONT-4b: the shapes gate — every shape: block over the extracted graph, with the plant.

Fields

shapes_n: usize

shape: blocks read.

focus_nodes_n: usize

Distinct focus nodes across the shapes (the plant excluded).

pc_shape: String

fired — the plant drew a violation; the gate never reaches Ran otherwise.

plant_violations: usize

How many violations the plant drew.

violations: usize

Corpus violations (the plant excluded).

warnings: usize

Corpus warnings.

by_shape: Vec<String>

shape=focus-count per shape.

triples: usize

Triples in the extracted graph.

armed_shapes: Vec<String>

ONT-4c1 (§3.9 per-shape arming): shapes that feed the verdict, in corpus order.

not_armed_shapes: Vec<String>

Shapes computed and reported but not armed — their violations are in unarmed_violations.

unarmed_violations: usize

Violations from unarmed shapes (named in the findings as warnings; never in the meet).

by_entity_type: BTreeMap<String, usize>

Focus nodes each extractor produced: pv-contract, gguf, apr-model.

pc_extract: BTreeMap<String, String>

The extractor positive controls: gguf (corrupt magic refused), apr-model (lying header refused).

receipts: usize

Ladder receipt files read under evidence/dogfood/models/.

witnesses: usize

Receipt rows whose sha256 equals a rung’s.

hex_mismatches: usize

Receipt rows whose sha256 differs from the rung’s.

unmeasured_rows: usize

Receipt rows without a sha256 (never a witness).

w3c_cases_passed: usize

ONT-4b2: vendored W3C SHACL-Core cases that passed this run, and how many are vendored.

w3c_cases_n: usize

symbols_resolved: usize

ONT-4b2: bound Rust symbols the syn walk resolved / could not resolve.

symbols_unresolved: usize

lean_statements: usize

ONT-4b2: Lean theorems extracted, and contract lean_theorem: references naming none of them.

lean_refs_unresolved: usize

release: Option<Box<ReleaseStats>>

aprender#3715: what extract:release-evidence derived — absent unless a release subject was given.

Trait Implementations

impl Clone for GateExtra

fn clone(&self) -> Self

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.