@misc{indiciae1ae067d9081c,
  title = {Guarded Realization Semantics: Occurrence-Sensitive Certificates and Behavior-Dependent Lower Bounds},
  author = {SeungJu Lee},
  year = {2026},
  url = {https://arxiv.org/abs/2607.23567},
  note = {Source identifier: 2607.23567}
}