From a different codebase, one of the behaviors in the code has the following comment:

  // The binding deliberately SKIPS the contradiction check: a form
  // bound to an object the same document deletes is a legal stale
  // state (PDD-3@v1)

Where PDD-3 deals with a specific type of race conditions that my agents were over-optimizing/spinning out on; Now if I ever change the rule the version would change to PDD-3@v2; which triggers a re-evaluation for all decisions that were made under the previous version.