{"id":"arxiv/2607.23567","url":"https://arxiv.org/abs/2607.23567","tags":["math.CT"],"score":0,"title":"Guarded Realization Semantics: Occurrence-Sensitive Certificates and Behavior-Dependent Lower Bounds","domain":"math.CT","source":"arxiv","authors":["SeungJu Lee"],"reviews":0,"subject":"math.CT","summary":"Distinct proofs, programs, formulas, or rewrite paths may have the same observable behavior while differing in occurrence structure, sharing, interfaces, or transformation history. We develop a guarded realization semantics that retains these distinctions when an error is extracted. The resulting error magnitude is bounded above by a certificate attached to the chosen realization and below by the greatest lower bound determined solely by the observed behavior. For linear double-pushout rewriting in a typed presheaf setting, we identify the greatest subobject transported intact through a…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-26","reactions":{}}