@misc{indiciaea2df9f9aef23,
  title = {A Reachable-State Operator Formulation of Deferred Acceptance: Progress Invariants and Structural Diagnostics},
  author = {Yoshiteru Ishida},
  year = {2026},
  url = {https://arxiv.org/abs/2609.19237},
  note = {Source identifier: 2609.19237}
}