Struct StandardWebReasoning 

pub struct StandardWebReasoning { /* private fields */ }

Validated web-domain ontology and deterministic fingerprint rule pack.

The profile recognizes disclosed nginx, Apache HTTP Server, PHP, Laravel, Livewire, Sanctum, HTTP Basic, and HTTP Bearer signals. Conclusions remain hypotheses: only verifier stages may mark them confirmed or rejected.

Examples

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

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

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

Implementations

impl StandardWebReasoning

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

Builds and validates the standard vocabulary and rule definitions.

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

Installs the complete profile idempotently into knowledge and rules.

Definitions are first applied to owned clones, so a known identity or semantic conflict is detected before shared state is changed.

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 reasoning rules in stable declaration order.

Trait Implementations

impl Clone for StandardWebReasoning

fn clone(&self) -> StandardWebReasoning

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StandardWebReasoning

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

Formats the value using the given formatter.