Abstract
We make here the observation that due to the evolutionary nature of large systems, a long-term process that runs for month or years is generally not driven by any single program, but rather by an unpredictable sequence of programs, (P (1); :::; P (k)), resulting in a serious loss of predictability of the process itself. The main point of this paper is that under LGA such a sequence of programs can be made into a ``single organism,'' with certain invariant properties established by the law of the software development project. To demonstrate the feasibility and usefulness of such evolutionary invariants under LGA, we discuss in this paper the design of a law-governed evolving financial system in which certain important policies of "internal control" (such as separation of duties between the base system and its auditors) are established as invariants by formulating them as the law of the system