V0.1

Named profiles

Profiles may define specific wire encodings or implementation requirements without changing the semantic core. A profile is not mandatory for every v0.1 semantic implementation unless separately approved.

• ipa1 assertion profile candidate