TA39 isolates the portion of the circulated residual phase that fails admissible reinjection into the coherent carrier sector. Following the forced extraction, mediated circulation, and admissible reinjection blocks derived in TA36-TA38, the theorem defines the complementary residual component that cannot return through the \ (Y\) -admissible reinjection channel. The non-reinjection projector₁ = I₇ₑ - Pₑ₄₈₍ the portion of the residual sector lying outside the admissibly returnable subspace, giving the unreinjected residual state\ₔ₍ₑ₄₈₍ (t) =Q₁\, e^tE₁\, D₁\, M the residual source termₑ₄ₒ (t) =\|Q₁\, e^tE₁\, D₁\, M\|². quantity is strictly positive whenever the extraction and circulation blocks generate residual load that admissibility cannot return to the carrier sector. The theorem further shows that the unreinjected residual remains dynamically active rather than simply discarded: the conserved mode of \ (E₁\) preserves a non-decaying component of \ (ₔ₍ₑ₄₈₍ (t) \) for all \ (t 0\). No identification with physical gravity is made. Instead, \ (Gₑ₄ₒ (t) \) is defined as the candidate residual source object for the surface-propagation analysis developed in TA40-TA42. Status: solid as a residual-sector decomposition and source-term definition; solid for strict positivity under the stated hypotheses; conditional for the explicit form of \ (Q₁\) pending computation of the leakage generator \ (AL\) ; speculative for any identification with physical gravitational source terms.
Craig Edwin Holdway (Sat,) studied this question.