Struct StandardApiReasoning 

pub struct StandardApiReasoning { /* private fields */ }

Validated deterministic JSON/GraphQL and visibility-boundary rule pack.

Generic JSON produces only a response-format hypothesis. GraphQL needs its official response media type, a route signal, or an explicit paired comparison. Visibility conclusions require exactly one atomic termivar_core::ApiVisibilityComparison evidence record.

Examples

use termivar_scanner::{KnowledgeBase, RuleEngine, StandardApiReasoning};

let knowledge = KnowledgeBase::new();
let mut rules = RuleEngine::new();
let profile = StandardApiReasoning::new()?;
let installed = profile.install(&knowledge, &mut rules)?;

assert_eq!(installed.rules_inserted(), profile.rules().len());

Implementations

impl StandardApiReasoning

pub fn new() -> Result<Self, StandardApiReasoningError>

Builds and validates the complete ontology and rule set.

pub fn install( &self, knowledge: &KnowledgeBase, engine: &mut RuleEngine, ) -> Result<StandardApiInstallReport, StandardApiReasoningError>

Installs the complete profile atomically and idempotently.

Rule identities are preflighted on a clone before ontology state is changed. Ontology installation also uses a prospective clone, so a conflict leaves both registries unchanged.

pub fn concepts(&self) -> &[OntologyConcept]

Returns concepts in stable declaration order.

pub fn axioms(&self) -> &[OntologyAxiom]

Returns semantic axioms in stable declaration order.

pub fn rules(&self) -> &[ReasoningRule]

Returns rules in stable declaration order.

Trait Implementations

impl Clone for StandardApiReasoning

fn clone(&self) -> StandardApiReasoning

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StandardApiReasoning

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

Formats the value using the given formatter.