Documentation

LeanPool.ParameterFreeGradient.V7.Proofs.Stage4AboveTwoPrimalRepair.Closure

Kernel-checked narrow closure of the Stage-4 A03--A04 primal-energy bridge.

The dual terminal-energy and causal-trial layers remain deliberately outside this module.