Matrix-factorization examples (Cholesky and QR)

Executable #eval witnesses for the exact finite factorizations: Cholesky $A=LL^\mathsf{T}$ and QR $A=QR$ (with $Q^\mathsf{T}Q=I$). Each pairs a positive reconstruction/orthonormality check with a negative control, over Float, sorry/admit-free.