Various graph builder methods (7 of them?) contain this or similar phrasing:

Let outputShape be the result of invoking the underlying implementation for calculating output dimensions, given options.

Is this truly expected to be implementation dependent, or can it be rigorously specified on a per-op basis?