”Without further knowledge, the calculator cannot know that a negative number is impossible (in other words, you can't have -5 civilizations, for example).”

Not true. If there are no negative terms, the equation cannot have negative values.