You can estimate cost of CEL program using static analysis before running it. "estimate" only because size of runtime data is generally unknown (but obv you could limit that).

"You can" - in theory, or does this actually exist?

With certain macros disabled like .map the runtime is O(code length)!