Warren: Intelligent design's demonstration of the failure of Darwin's program is a combination of empirical and theoretical arguments.
The theoretical arguments have already shown to be fallacious. The design inference is powerless in demonstrating the failure of Darwin's program since in order to do so it first has to show that said program is erroneous. In order to do this probability calculations are required which have yet to be applied to Darwinian pathways.
Empirical arguments? What empirical arguments? IC is not sufficient to identify design anymore (per your quote of Dembski), ID is even more elusive.
What are we talking about here?