Formation with @as attributes

In XMIR, @as attributes are prohibited inside formations. They are only valid in object applications.

Incorrect:

<o name="foo">
  <o as='due'/>
</o>

Correct:

<o name="foo" base="Φ.f">
  <o as='due'/>
</o>

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