Ordinary dimensional analysis is a necessary but permissive constraint on effective field theory: it enforces dimensional homogeneity but does not by itself determine whether a symmetry-allowed operator is structurally admissible. This paper introduces a minimal formal framework for a Quantized Dimensional Ledger (QDL) approach and defines a closure-frequency budget derived from an action-compatible dimensional target. Within this setting, an operator-exclusion theorem is proved by explicit construction. The family (∂nF) 2 (^nF) ² (∂nF) 2 is dimensionally legal in ordinary effective field theory after suppression by powers of a heavy scale, but it exceeds the closure-frequency budget for every n≥1n 1n≥1 and is therefore structurally inadmissible. A second worked example shows that the standard SMEFT deformation OHWBO₇ₖ₁OHWB becomes structurally non-generic under one natural closure assignment, requiring coefficient support that is not supplied by generic effective-field-theory scaling. These results establish that structural admissibility can yield exclusion criteria beyond ordinary dimensional analysis and provide a concrete falsifiability condition: if nature robustly requires support in a sector excluded by closure, the closure hypothesis fails in that domain.
James D. Bourassa (Fri,) studied this question.