Documentation

LeanPool.ParameterFreeGradient.V7.Proofs.Stage4AboveTwoDualPhase.AnalyticPrefix

Kernel entry point for the Stage-4 dual-energy and phase-bound analytic prefix.

The causal LocalTrial construction and V7.aboveTrial are deliberately not part of this module.