Enum Identifiability 

pub enum Identifiability {
    Identified,
    Conditional,
    Underidentified,
    Underdetermined,
}

v0.40: hard identifiability verdict for a finding’s causal claim against the declared study-design grade.

Variants

Identified

The design admits the claim. (Correlation under any grade, mediation under RCT/QE, intervention under RCT.)

Conditional

The design admits the claim only under additional assumptions the kernel cannot verify (instrument validity for QE-grade intervention, lack of unmeasured confounders for QE-grade mediation). The reviewer must document the assumption.

Underidentified

The design cannot identify the claim. Observational data alone does not identify intervention. Theoretical evidence alone does not identify causation.

Underdetermined

causal_claim or causal_evidence_grade is unset; the kernel has nothing to grade. Pre-v0.38 findings are all in this bucket until reviewed.

Implementations

impl Identifiability

pub fn as_str(self) -> &'static str

pub fn needs_reviewer_attention(self) -> bool

True if this verdict signals the substrate cannot vouch for the claim as stated. Underidentified is the obvious case; Conditional is included here because it requires reviewer attestation the kernel hasn’t seen.

Trait Implementations

impl Clone for Identifiability

fn clone(&self) -> Identifiability

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Identifiability

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Identifiability

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for Identifiability

fn eq(&self, other: &Identifiability) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for Identifiability

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Copy for Identifiability

impl Eq for Identifiability

impl StructuralPartialEq for Identifiability