Multiplication-Free Gaussian Elimination and Matrix Inversion via Bitplane Semantics: Exact Trailing Updates with Boolean GEMM, GF(2) Gauss–Jordan, Bareiss, and Modular CRT | Synapse