Spectral Truncations in Noncommutative Geometry and Operator Systems