pub enum CausalClaim {
Correlation,
Mediation,
Intervention,
}Expand description
v0.38: Pearlian causal typing for an assertion. The kernel’s
pre-v0.38 record carried only direction: Some("positive" | "negative") — enough to know that “X covaries with Y” but not
whether the speaker meant correlation, mediation, or intervention.
In real review work those are different epistemic claims with
different evidence requirements; conflating them produced silent
over-claiming.
This release lands the schema layer. The reasoning surface (do-calculus, identifiability, derived bridges that propagate causal vs correlational claims separately) ships in a follow-up. The same staging used v0.32 (Replication as object) → v0.36.1 (Project.replications becomes the source of truth for confidence).
Variants§
Correlation
“X covaries with Y” — no claim about generative direction.
Mediation
“X mediates Y → Z” — pathway claim, weaker than intervention.
Intervention
“Setting X=x changes Y” — Pearl’s do(X=x).
Trait Implementations§
Source§impl Clone for CausalClaim
impl Clone for CausalClaim
Source§fn clone(&self) -> CausalClaim
fn clone(&self) -> CausalClaim
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read moreSource§impl Debug for CausalClaim
impl Debug for CausalClaim
Source§impl<'de> Deserialize<'de> for CausalClaim
impl<'de> Deserialize<'de> for CausalClaim
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>,
Source§impl PartialEq for CausalClaim
impl PartialEq for CausalClaim
Source§fn eq(&self, other: &CausalClaim) -> bool
fn eq(&self, other: &CausalClaim) -> bool
self and other values to be equal, and is used by ==.Source§impl Serialize for CausalClaim
impl Serialize for CausalClaim
impl Copy for CausalClaim
impl Eq for CausalClaim
impl StructuralPartialEq for CausalClaim
Auto Trait Implementations§
impl Freeze for CausalClaim
impl RefUnwindSafe for CausalClaim
impl Send for CausalClaim
impl Sync for CausalClaim
impl Unpin for CausalClaim
impl UnsafeUnpin for CausalClaim
impl UnwindSafe for CausalClaim
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
Source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§impl<Q, K> Equivalent<K> for Q
impl<Q, K> Equivalent<K> for Q
Source§fn equivalent(&self, key: &K) -> bool
fn equivalent(&self, key: &K) -> bool
key and return true if they are equal.