Why mealy machine, Why?
Why did the Mealy machine linger for so long? It was the first formal object that perfectly encoded a core obsession, and because of that, it became impossible to let go of—even long after its utility had expired. The digital trail of drafts and planning sessions reveals this reluctance. In the preparation notes, the verdict was clear: §3.2 Mealy notation | M = (Q, Σ, Δ, δ, λ, q₀) | Drop App A.1 | Theorem 1 + Mealy proof | Drop It was marked for deletion. Even the prism agent had pointed out the redundancy: “The Mealy machine result is simply the zero-cut special case of the static certificate”—strictly weaker, less general, and less rigorous than what followed. Yet, like a ghost in the machine, it kept reappearing. It haunted 2026jan.tex, lingered on Desktop/cc.tex, and found its way back into the AIES submission. Every attempt to excise it failed; it kept surviving. ...