A scalable Kalman filter algorithm: Trustworthy analysis on constrained least square model. (5th October 2020)