Well, they start with an assumption that the halting problem is addressed simply by "running out of gas." I could easily see a dev assessing the infinite loop potential and glibly thinking, "well, that would just run out of gas, too."

That doesn't explain the lack of guarantee on "constant". What is the technical detail which prevents such a guarantee?