{"id":"arxiv/2607.29576","url":"https://arxiv.org/abs/2607.29576","tags":["math.LO"],"score":0,"title":"The gate of self-address: where decidable adjudication ends","domain":"math.LO","source":"arxiv","authors":["Platon Sifnaios"],"reviews":0,"subject":"math.LO","summary":"An annulment structure consists of a numbered domain of distinctions with a $Σ^0_1$ manifestation predicate; an adjudicator is a partial map assigning to distinctions the verdicts annulled or exempt. We ask which domains admit an adjudicator that is total, correct, and complete in its mission -- annulling every non-manifesting member -- and locate the boundary exactly. On the positive side, domains with decidable manifestation admit canonical adjudicators with certificates, instantiated for Presburger arithmetic and finite-state re-entry systems. On the negative side, adjoining a single…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-31","reactions":{}}