Struct Extraction 

pub struct Extraction {
    pub graph: Graph,
    pub warnings: Vec<Warning>,
    pub entities_extracted: Vec<String>,
    pub gguf: GgufStats,
    pub apr_model: AprStats,
    pub receipts: Vec<Receipt>,
    pub resolve: ResolveStats,
    pub code: CodeStats,
    pub lean: LeanStats,
}

Every extractor’s output over contract_dir, plus the input-side warnings the extractors chose to carry rather than hide (a torn JSONL line), plus what the model extractors and the receipt resolver counted.

Fields

graph: Graph

warnings: Vec<Warning>

entities_extracted: Vec<String>

Contracts whose entity.type this build extracts, by stem.

gguf: GgufStats

ONT-4c1: the ladder rungs and GGUF files, and the files this extractor refused.

apr_model: AprStats

ONT-4c1: the .apr files read, and the files this extractor refused.

receipts: Vec<Receipt>

ONT-4c1: the tracked ladder receipts, as read.

resolve: ResolveStats

ONT-4c1: witnesses, hex mismatches, unmeasured rows, green / missing hosts.

code: CodeStats

ONT-4b2: the bound Rust symbols, resolved by the syn walk or not.

lean: LeanStats

ONT-4b2: the in-tree Lean theorems and the contracts that cite them.

Trait Implementations

impl Clone for Extraction

fn clone(&self) -> Extraction

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Extraction

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

Formats the value using the given formatter.

impl Default for Extraction

fn default() -> Extraction

Returns the “default value” for a type.