Mirror Differentiation Is Carried by the Support-Mediated Transport Loop

Within the kernel transport framework of T17 - T32, it provides the explicit algebraic mechanism underlying the scalar differentiation established abstractly in T31 - T32. Under the mirror ansatz (an anti-automorphic transformation preserving diagonal blocks and exchanging off-diagonal transport components up to scalar weights μ, ν, μ', ν') the scalar return weights of the native and mirrored realizations are computed directly from block matrix multiplication: β = a'a + b'c β_J = a'a + μν'c'b giving the closed-form difference: β_J − β = μν'c'b − b'c The diagonal contribution a'a is exactly invariant under the mirrored realization. All mirror-induced differentiation is carried exclusively by the off-diagonal, support-mediated contribution. Mirror invariance holds if and only if μν'c'b = b'c. Status: All formulas solid by direct matrix multiplication: no conditions beyond the projector structure and mirror ansatz. Conditional on the mirror ansatz itself, the block form of the mirrored transport maps is a modeling assumption; derivation from the full T17 kernel geometry and explicit identification of μ, ν, μ', ν' remain open. All results inherit T16/T17/T20 conditionality. Dependencies: T14, T15, T16, T17, T18, T19, T20, T26, T27, T28, T29, T30, T31, T32.