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="Φ.org.eolang.f">
  <o as='due'/>
</o>

Published on Fri Sep 12 07:13:56 UTC 2025.