Sure, its probably a better definition of "free action" but I am very convinced that those are necessary conditions (though probably not sufficient). Additional time can be an external input, that's fine, its only important that its the _only_ one.

Any definition of free will that doesn't appeal to dualism will allow programs to have free will, that's just par for the course.