Trait FalsifiableHypothesis 

pub trait FalsifiableHypothesis {
    type State;

    // Required methods
    fn predict(&self, state: &Self::State) -> Predictions;
    fn falsification_criteria(&self) -> Vec<FalsificationCriteria>;
    fn robustness(&self, state: &Self::State) -> f64;
    fn null_hypothesis_test(
        &self,
        predictions: &Predictions,
        observations: &Observations,
        significance: f64,
    ) -> NHSTResult;
}

Trait for falsifiable hypotheses.

Implements Popper’s demarcation criterion: a hypothesis is scientific only if it can be falsified by observation.

Required Associated Types

type State

Type of state this hypothesis operates on.

Required Methods

fn predict(&self, state: &Self::State) -> Predictions

Generate testable predictions from state.

fn falsification_criteria(&self) -> Vec<FalsificationCriteria>

Define what would falsify this hypothesis.

fn robustness(&self, state: &Self::State) -> f64

Compute robustness degree (distance to falsification).

Positive values indicate satisfaction with margin. Negative values indicate violation. Zero indicates boundary (maximally falsifiable).

fn null_hypothesis_test( &self, predictions: &Predictions, observations: &Observations, significance: f64, ) -> NHSTResult

Perform null hypothesis significance test.

Implementors

impl FalsifiableHypothesis for EnergyConservationHypothesis

type State = f64