Total: 1
We examine whether the variables required for a future macroscopic description of a given physical system can themselves be stated in advance. Representing macroscopic descriptions as coarse-grainings of a fixed microscopic phase space, we distinguish formal prestatability, concerning the existence of an effective complete vocabulary of admissible macroscopic distinctions, from dynamical prestatability, concerning whether the future relevance of those distinctions is decidable. Both obstructions disappear for finite microscopic state spaces. In the infinite limit, exhaustive formal prestatability can fail, while a restricted predictive architecture may remain formally pre-statable. We construct such an architecture and show that, under universal dynamics, the future relevance of a candidate variable is equivalent to the halting problem. Thus a fixed microscopic phase space can support macroscopic descriptions whose future variables are not fully pre-statable.