Struct FoundationReport 

pub struct FoundationReport {

    pub active_foundation: String,
    pub description: Option<String>,
    pub numeric_domain: Option<String>,
    pub truth_domain: Option<String>,
    pub root_constructs: Vec<RootConstructDescriptor>,
    pub by_status: Vec<(String, Vec<String>)>,
    pub by_semantic_status: Vec<(String, Vec<String>)>,
    pub foundations: Vec<FoundationDescriptor>,
    pub active_implementations: Vec<ActiveImplementationDescriptor>,
    pub proof_rules: Vec<ProofRuleSnapshot>,
    pub proof_assumptions: Vec<ProofAssumptionSnapshot>,
    pub proof_objects: Vec<ProofObjectSnapshot>,
    pub strict_pure_links: bool,
    pub allowed_host_primitives: Vec<String>,
    pub dependency_graph: Vec<(String, Vec<String>)>,
}

Snapshot of the foundation/root-construct state for the trust report.

Fields

active_foundation: String

description: Option<String>

numeric_domain: Option<String>

truth_domain: Option<String>

root_constructs: Vec<RootConstructDescriptor>

by_status: Vec<(String, Vec<String>)>

by_semantic_status: Vec<(String, Vec<String>)>

foundations: Vec<FoundationDescriptor>

active_implementations: Vec<ActiveImplementationDescriptor>

proof_rules: Vec<ProofRuleSnapshot>

Proof-object substrate (issue #97, Phase 3). Surfaced on the report so the trust audit can list every declared rule and concrete derivation. Names are kept sorted for stable output across runs.

proof_assumptions: Vec<ProofAssumptionSnapshot>

proof_objects: Vec<ProofObjectSnapshot>

strict_pure_links: bool

Pure-links strict mode state (issue #97, Phase 6). Surfaced so the trust audit can prove the engine is running in strict mode and list every host primitive that was explicitly allow-listed.

allowed_host_primitives: Vec<String>

dependency_graph: Vec<(String, Vec<String>)>

Dependency-graph traversal (issue #97, Phase 7). For every registered root-construct, the transitive closure of its depends_on chain, sorted deterministically. Leaf constructs map to an empty vector. Pairs are kept sorted by name so the report is reproducible.

Trait Implementations

impl Clone for FoundationReport

fn clone(&self) -> FoundationReport

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FoundationReport

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

Formats the value using the given formatter.

impl Default for FoundationReport

fn default() -> FoundationReport

Returns the “default value” for a type.

impl PartialEq for FoundationReport

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