Falsifying the GID and Complete GGU Models
When predicting statements by applying hypotheses and standard logical discourse, the hypotheses are also considered as predicted rationally produced results. The GID and Complete GGU-models yield universes, not just our own. If there are verified describable correlations between a universe's developing systems, then these correlations need to be included as hypotheses for the models predictions. Hence, the verified physical laws and theories, for our universe, are included as part of the hypotheses. However, it is the rational structure that is being modeled. Determining whether a described behavior for a physical-system is fact for our universe is an additional and unnecessary requirement since it could be factual behavior for ours but not factual for some other universe. I also note that these models satisfy the unification .
Secular scientific communities often state that an acceptable "scientific" model must be (Popper) falsifiable. A definition for "model or theory falsification" relative to physical law or theory is that there is a model or theory statement that by observation or argument is not factual. Physical science as practiced today requires each accepted physical science theory to contain a statement that satisfies this requirement. Restricted Intelligent Design (RID) as put forth by members of the Discovery Institute does not appear to have this property and the term "pseudoscience" is applied to RID. However, the development for our universe, via GID and the Complete GGU-models, an additional feature is that the sequence of alterations in the physical-systems satisfies the accepted physical laws and theories. Hence, via this requirement, GID and the Complete GGU-models are falsifiable since any one of the physical theory falsifying statements is, relative to this additional feature, a GID and Complete GGU-model statement.
Further, in general for our universe, trivially, the General ID model would be falsified if it can be demonstrated that an appropriately described sequence of coupled cause and event statements did not follow the logic-system employed.
 Herrmann, R. A. "General Logic-Systems that Determine Significant Collections of Consequence Operators," arxiv:math/0603573. Theorem 2.2 shows that the logic-system approach yields the unification as established in "The best possible unification for any collection of physical theories," Internat. J. Math. and Math. Sci., 17(2004):861-872. (arxiv:physics/0306147)