The following packages provide phplrt/position-contracts-implementation