Lattice Verification and Higher-Order Seeley-DeWitt Analysis of the 4D Sigma Model on Sp(2N,R)/U(N) | Synapse