Operator systems and spectral truncations