Lifts of Operator Systems

We transfer the theory of slack operators and sums-of-squares-criteria for lifts from convex cones to operator systems. These allow to study the following question, among others: Given an abstract operator system, is its enveloping $C^{\ast }$-algebra finite-dimensional, or is it the linear image of a system with a finite-dimensional enveloping algebra?