event-calculus-single-general-inertia-axiom

Summary

Instead of hand-writing a separate "stays the same" rule for every property in the model, this approach uses one universal rule that says anything keeps its value until something explicitly starts or ends it. That makes the model far easier to extend, because adding a new property doesn't require a new persistence axiom — you only need to list the events that actually change it.