Resolution Properties of the Evaluation Operator

This paper defines structural resolution as a system-level property in the Modal-Dependence Calculus. Resolution is identified with the output of the evaluation operator, such that a structure is resolved if and only if it is admissible. The analysis establishes that resolution failure occurs whenever a single element lacks a defined dependence path, and that this failure state is invariant under extension of the structure. These results show that resolution is a binary, non-compensatory property determined entirely by element-level definability.