Structural Enforcement of Statistical Rigor in AI-Driven Discovery: A Functional Architecture.

arXiv:2511.06701v4 Announce Type: replace-cross Abstract: AI-Scientist systems risk manufacturing spurious discoveries through uncontrolled multiple testing. We present a functional architecture that enforces statistical rigor at two levels: a Haskell embedded