Documentation

LeanPool.ParameterFreeGradient.V7.Proofs.Stage4AboveTwo.PartialClosure

Kernel-checked Stage-4 prefix retained by the narrow-repair run.

This is deliberately not named Closure: the terminal primal-energy bridge, dual terminal energy, and causal aboveTrial remain outside the checked prefix.