pub struct BedRock { /* private fields */ }Expand description
BedRock reasoning module for first principles analysis.
Decomposes statements to foundational axioms, identifies hidden assumptions, and rebuilds understanding from verified foundations.
Implementations§
Source§impl BedRock
impl BedRock
Sourcepub fn with_config(analysis_config: BedRockConfig) -> Self
pub fn with_config(analysis_config: BedRockConfig) -> Self
Create a new BedRock module with custom analysis configuration.
Sourcepub fn analysis_config(&self) -> &BedRockConfig
pub fn analysis_config(&self) -> &BedRockConfig
Get the analysis configuration.
Sourcepub fn decompose(&self, query: &str, previous_steps: &[String]) -> BedRockResult
pub fn decompose(&self, query: &str, previous_steps: &[String]) -> BedRockResult
Perform first principles decomposition on the query.
This is the core analysis method that:
- Parses the query to identify claims
- Recursively decomposes each claim
- Classifies principles by type
- Identifies gaps and assumptions
Trait Implementations§
Source§impl ThinkToolModule for BedRock
impl ThinkToolModule for BedRock
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 BedRock
impl RefUnwindSafe for BedRock
impl Send for BedRock
impl Sync for BedRock
impl Unpin for BedRock
impl UnwindSafe for BedRock
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