Four obligations, supplied in one model

The finite model of Section sec:model meets these obligations mathematically: $J$ fixes preparation, its unitary extension and SWAPs fix evolution, tensor regrouping fixes access, and the terminal residual is a fixed pure vacancy. These are not gravitationally justified objects.