The Hardware-Software Contract — ActGen