Module inference 

Basis/structure-level inference instruments that descended into gam-terms during the #1521 crate carve.

These modules depend only on gam-terms and crates below it (gam-linalg, gam-spec, gam-math, gam-problem). They were hoisted out of the monolith’s gam::inference::* namespace; the root crate keeps the old paths valid via re-exports.

Modules

formula_dsl

higher_order

Higher-order likelihood asymptotics for likelihood-ratio tests (issue #939): Bartlett corrections that make the first-order χ² reference distribution second-order accurate at modest n and near-boundary λ.

lawley

Lawley (1956) cumulant assembly for Bartlett corrections (#939).

smooth_test

Wood-style smooth-component Wald tests.

structure_evidence

Anytime-valid structure discovery: e-process gates, universal-inference atom tests, e-BH error control, and KL-optimal steering probes.