"""I'm sure this can be modeled mathematically, but I'm not convinced this would help."""

Why would a mathematically modeled system of key-value observing would not help? For one, it would enable one to prove and examine all kinds of assumptions about the model working correctly.