The Shape of a Total Theory: A Necessary-Conditions Net

A theory is total if it quantifies over everything and places no explanandum outside its own scope, including the theorists who hold it. Such a theory answers to two independent standards: coherence, that it hangs together as a system, and completeness, that it addresses every domain its own scope entails. This paper states and defends a battery of necessary conditions for both, and its contribution lies in how the completeness conditions are obtained: they are derived rather than listed. Seating the theorist inside the described world forces most of the domains a complete account must address, and an independent-variation test sorts the forced domains into structural slots, required of any total theory, and world-contingent fillers, required only of a theory of our world. Gravity and spacetime land among the fillers — a verdict no inventory built by inspection would deliver, and evidence that the derivation does more than relabel one. The conditions specify a target, what would count as a coherent, complete total account, without asserting that such an account exists, is unique, or has been found; that restraint keeps the net compatible with scientific pluralism. Read against the current landscape, the net is diagnostic: no surveyed account clears the structural conditions together, and the failures are complementary — each family illuminates a region its rivals leave dark. The conditions also reach past physics: a via-negativa tradition can be read against the same net, and it diverges from the scientific candidates at exactly one demand, determinate representation, which it rejects as doctrine rather than fails by oversight. The net is a sieve and a target specification: it reliably rejects incoherent or incomplete candidates, and it certifies no survivor as correct.