The paper grew: one missing conjunct, and what honest revision looks like
The LTL paper got its August revision: the consistency-verifier divergence we reported in July now has a root cause, a one-line fix, and a zero. Here is the story in plain words.