TY  - RPRT
TI  - Guarded Realization Semantics: Occurrence-Sensitive Certificates and Behavior-Dependent Lower Bounds
AU  - SeungJu Lee
PY  - 2026
UR  - https://arxiv.org/abs/2607.23567
ID  - 2607.23567
ER  -