Duplicate @as Attribute

In XMIR, objects must not have duplicate @as attributes.

Incorrect:

<o base="foo">
  <o base="Φ.f1" as="bar"/>
  <o base="Φ.f1" as="bar"/>
</o>

Correct:

<o base="foo">
  <o base="Φ.f1" as="bar"/>
  <o base="Φ.f1" as="buzz"/>
</o>

Published on Tue Mar 31 07:20:32 UTC 2026.