In the domain of computer science and software engineering, the core theoretical principle distinguishing state modification is the separation between **mutation** and **reassignment**. This framework defines a **mutable object** as a data structure capable of undergoing change after creation, where any modification affects the underlying object referenced by all variables pointing to it. Conversely, **reassignment** is a binding operation that alters the variable's reference to a new object without affecting the original object's state, thereby resolving ambiguity in variable scope and object identity.
Prerequisite chain context: requires Mutable Objects and Shared References in Python.