pub struct ProofGuard { /* private fields */ }Expand description
ProofGuard reasoning module for fact verification.
Verifies claims using triangulated evidence from multiple sources. Implements the three-source rule (CONS-006) and provides structured verification output with confidence scoring.
Implementations§
Source§impl ProofGuard
impl ProofGuard
Sourcepub fn with_config(triangulation_config: TriangulationConfig) -> Self
pub fn with_config(triangulation_config: TriangulationConfig) -> Self
Create with custom triangulation configuration.
Trait Implementations§
Source§impl Default for ProofGuard
impl Default for ProofGuard
Source§impl ThinkToolModule for ProofGuard
impl ThinkToolModule for ProofGuard
Source§fn config(&self) -> &ThinkToolModuleConfig
fn config(&self) -> &ThinkToolModuleConfig
Get the module configuration
Source§fn execute(&self, context: &ThinkToolContext) -> Result<ThinkToolOutput, Error>
fn execute(&self, context: &ThinkToolContext) -> Result<ThinkToolOutput, Error>
Execute the module synchronously Read more
Source§fn description(&self) -> &str
fn description(&self) -> &str
Get the module description (convenience method)
Source§fn confidence_weight(&self) -> f64
fn confidence_weight(&self) -> f64
Get the confidence weight for this module
Auto Trait Implementations§
impl Freeze for ProofGuard
impl RefUnwindSafe for ProofGuard
impl Send for ProofGuard
impl Sync for ProofGuard
impl Unpin for ProofGuard
impl UnwindSafe for ProofGuard
Blanket Implementations§
Source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
Source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left is true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self into a Left variant of Either<Self, Self>
if into_left(&self) returns true.
Converts self into a Right variant of Either<Self, Self>
otherwise. Read more