@misc{indiciae4dd484f6bdae, title = {Elusive but Coverable: The Recursion-Theoretic Structure of Complete Abstract Interpretations}, author = {Nicklas Carpenter and Roberto Giacobazzi}, year = {2026}, url = {https://arxiv.org/abs/2607.09128}, note = {Source identifier: 2607.09128} }