Skip to main content

StandardWebDecisionProfile

Struct StandardWebDecisionProfile 

Source
pub struct StandardWebDecisionProfile { /* private fields */ }
Expand description

Complete opt-in standard web decision profile.

Construction validates every layer and binds execution to one immutable HttpEvidencePolicy. Installation prepares the decision loop and executor registry on owned clones. Ontology definitions are committed under one knowledge-base write lock only after every other layer has preflighted.

§Examples

use url::Url;
use termivar_scanner::{
    AdaptationLimits, BenefitScore, DecisionExecutorRegistry, DecisionLoop,
    DecisionLoopConfig, ExperiencePolicy, HttpEvidencePolicy, KnowledgeBase,
    PlanningContext, RiskScore, StandardWebDecisionProfile,
};

let target = Url::parse("https://example.test/")?;
let config = DecisionLoopConfig::new(
    PlanningContext::new(
        BenefitScore::from_percent(80)?,
        100,
        RiskScore::from_percent(40)?,
    ),
    AdaptationLimits::default(),
    ExperiencePolicy::default(),
    8,
)?;
let knowledge = KnowledgeBase::new();
let mut decision_loop = DecisionLoop::new(config);
let mut executors = DecisionExecutorRegistry::new();

StandardWebDecisionProfile::new(HttpEvidencePolicy::for_origin(target)?)?
    .install(&knowledge, &mut decision_loop, &mut executors)?;

Implementations§

Source§

impl StandardWebDecisionProfile

Source

pub fn new(policy: HttpEvidencePolicy) -> Result<Self, StandardWebDecisionError>

Builds and validates all four layers before any host state is changed.

Source

pub fn install( &self, knowledge: &KnowledgeBase, decision_loop: &mut DecisionLoop, executors: &mut DecisionExecutorRegistry, ) -> Result<StandardWebDecisionInstallReport, StandardWebDecisionError>

Installs the full profile with preflighted all-or-nothing semantics.

Source

pub fn reasoning(&self) -> &StandardWebReasoning

Returns the standard ontology and fingerprint profile.

Source

pub fn planning(&self) -> &StandardWebAttackProfile

Returns the standard utility-planner profile.

Source

pub fn execution(&self) -> &StandardWebDiscoveryExecutorProfile

Returns the scope-bound discovery executor profile.

Source

pub fn verification(&self) -> &StandardWebVerificationProfile

Returns the passive and active verifier profile.

Auto Trait Implementations§

Blanket Implementations§

Source§

impl<T> Any for T
where T: 'static + ?Sized,

Source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
§

impl<'a, T, E> AsTaggedExplicit<'a, E> for T
where T: 'a,

§

fn explicit(self, class: Class, tag: u32) -> TaggedParser<'a, Explicit, Self, E>

§

impl<'a, T, E> AsTaggedImplicit<'a, E> for T
where T: 'a,

§

fn implicit( self, class: Class, constructed: bool, tag: u32, ) -> TaggedParser<'a, Implicit, Self, E>

Source§

impl<T> Borrow<T> for T
where T: ?Sized,

Source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
Source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

Source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
Source§

impl<T> From<T> for T

Source§

fn from(t: T) -> T

Returns the argument unchanged.

§

impl<A, B, T> HttpServerConnExec<A, B> for T
where B: Body,

§

impl<T> Instrument for T

§

fn instrument(self, span: Span) -> Instrumented<Self> ⓘ

Instruments this type with the provided [Span], returning an Instrumented wrapper. Read more
§

fn in_current_span(self) -> Instrumented<Self> ⓘ

Instruments this type with the current Span, returning an Instrumented wrapper. Read more
Source§

impl<T, U> Into<U> for T
where U: From<T>,

Source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

§

impl<T> PolicyExt for T
where T: ?Sized,

§

fn and<P, B, E>(self, other: P) -> And<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns [Action::Follow] only if self and other return Action::Follow. Read more
§

fn or<P, B, E>(self, other: P) -> Or<T, P>
where T: Sized + Policy<B, E>, P: Policy<B, E>,

Create a new Policy that returns [Action::Follow] if either self or other returns Action::Follow. Read more
Source§

impl<T> Same for T

Source§

type Output = T

Should always be Self
Source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

Source§

type Error = Infallible

The type returned in the event of a conversion error.
Source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
Source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

Source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
Source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
§

impl<T> WithSubscriber for T

§

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self> ⓘ
where S: Into<Dispatch>,

Attaches the provided Subscriber to this type, returning a [WithDispatch] wrapper. Read more
§

fn with_current_subscriber(self) -> WithDispatch<Self> ⓘ

Attaches the current default Subscriber to this type, returning a [WithDispatch] wrapper. Read more