
iridae-dev/antecedentAntecedent is a typed causal-analysis compiler whose output is a qualified scientific claim. It keeps identification, structural uncertainty, empirical support, statistical uncertainty, assumptions, implementation evidence and provenance separate and machine-checkable all the way through execution and serialization.