Whether the dispositive of the prior Federal Supreme Court judgment was incomplete and had to be rectified under Art. 129 LTF.
Yes. The dispositive omitted any ruling on the cantonal costs and party expenses, so rectification was warranted.
When the Supreme Court modifies the challenged decision, it may itself redistribute previous-instance costs or remit the matter; the prior judgment had inadvertently failed to address that point.