pub struct Principle {
pub id: usize,
pub statement: String,
pub principle_type: PrincipleType,
pub fundamentality: f64,
pub confidence: f64,
pub parent_id: Option<usize>,
pub child_ids: Vec<usize>,
pub evidence: Vec<String>,
pub challenges: Vec<String>,
pub depth: usize,
}Expand description
A fundamental principle identified during decomposition.
Fields§
§id: usizeUnique identifier within this analysis
statement: StringThe principle statement
principle_type: PrincipleTypeClassification of the principle
fundamentality: f64How fundamental is this (0.0-1.0, where 1.0 = pure axiom)
confidence: f64Confidence in this principle’s validity
parent_id: Option<usize>ID of parent principle if derived/decomposed
child_ids: Vec<usize>IDs of child principles
evidence: Vec<String>Supporting evidence or reasoning
challenges: Vec<String>Potential challenges to this principle
depth: usizeDepth in the decomposition tree
Implementations§
Source§impl Principle
impl Principle
Sourcepub fn effective_weight(&self) -> f64
pub fn effective_weight(&self) -> f64
Calculate the effective weight of this principle.
Sourcepub fn is_axiomatic(&self, threshold: f64) -> bool
pub fn is_axiomatic(&self, threshold: f64) -> bool
Check if this principle qualifies as axiomatic.
Trait Implementations§
Source§impl<'de> Deserialize<'de> for Principle
impl<'de> Deserialize<'de> for Principle
Source§fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>where
__D: Deserializer<'de>,
Deserialize this value from the given Serde deserializer. Read more
Auto Trait Implementations§
impl Freeze for Principle
impl RefUnwindSafe for Principle
impl Send for Principle
impl Sync for Principle
impl Unpin for Principle
impl UnwindSafe for Principle
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
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