Fixed-Start Nontermination in Homogeneous Nonnegative Equality Loops: Continuation Cores, Arithmetic Obstructions, and Decidable Frontiers develops a structural and arithmetic theory for deciding whether a prescribed initial state in a homogeneous nonnegative equality loop can generate an infinite integer trajectory. The problem arises naturally from balance-loop representations in numeration…