Module falsification 

Popperian falsification framework.

Implements Karl Popper’s philosophy of science:

• Every hypothesis must be falsifiable
• Null hypothesis testing (NHST)
• Robustness metrics via Signal Temporal Logic

Demarcation Criterion

A theory T is scientific iff there exists some observation O that could refute T.

Modules

ml_hypotheses

ML-specific nullification hypotheses.

stats

Statistical test functions.

Structs

EnergyConservationHypothesis

Energy conservation hypothesis.

FalsificationCriteria

Falsification criteria defining what would refute a hypothesis.

NullificationReport

Report containing multiple nullification test results.

NullificationResult

Result of a nullification test.

NullificationTest

Popperian nullification test for ML simulation.

Observations

Observations to test against predictions.

Predictions

Predictions generated by a hypothesis.

ReportSummary

Summary of nullification report.

Enums

ComparisonOp

Comparison operator for falsification criteria.

NHSTResult

Result of null hypothesis significance testing.

Traits

FalsifiableHypothesis

Trait for falsifiable hypotheses.