{"id":"arxiv/2609.11326","url":"https://arxiv.org/abs/2609.11326","tags":["cs.LO","cs.AI","cs.CL","math.LO"],"score":0,"title":"Rice's Theorem under Self-Modification: Elevation Operators and a Normal Form","domain":"cs.LO","source":"arxiv","authors":["Jose Pascual Gumbau Mezquita"],"reviews":0,"subject":"cs.LO","summary":"We ask whether it can be certified algorithmically that a self-modifying program keeps a behavioural property, a safety property in the motivating case, after its next rewrite (preservation) and along its whole evolution (persistence). When the rewrite depends only on behaviour, preservation is a behavioural property and Rice's theorem applies. When the rewrite reads the code, preservation is no longer behavioural; yet, under a uniform disruption condition, the s-m-n reduction that proves Rice's theorem works inside a single class of behaviourally identical programs, and preservation…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}