Monitoring tells you it happened; a constraint stops it from happening.
Before and after comparison: post-hoc monitoring alerts after the write versus a runtime constraint that suspends the thread before mutation.