ProgramState: SuccessStatus["programState"]