III.T17 — Self-Adjointness of H_L

H_L with Kirchhoff conditions is self-adjoint on L²(L). All eigenvalues are real. The K5 diagonal discipline (categorical axiom) is the structural reason: self-adjointness is forced by the requirement that the crossing point mediates between lobes without introducing imaginary coupling.