Unsupported Features

This page documents features outside the current executable profile.

If a feature is listed here, production contracts must not depend on it, regardless of whether it appears in broader architectural notes or future-facing design material.

Language Features

Unsupported:

• while;
• recursion;
• cross-contract calls;
• arbitrary method calls;
• dynamic or wildcard imports;
• using imported modules as executable/composed code;
• inheritance;
• unbounded iteration.

Supported storage access forms: self.field, self.field[index], self.field[a][b], and self.struct_field.member.

Runtime Features

Unsupported:

• automatic incompatible storage migration transforms;
• automatic external policy hook execution at ledger commit beyond current deterministic policy specs;
• mutable chart/allowed-edge governance transactions as contract intrinsics.

The following product module stdlib helpers are available in the runtime: fees.*, fx.*, installments.*, insurance.*, yield.*, provisioning_loss.*, nfa.*. See Intrinsics for the full list.

Type System Edges

Money[...] is part of the type model, but current executable contracts should not expose it in:

• public ABI;
• storage fields;
• typed local bindings.

Struct[...] is supported in storage and for internal contract use. It cannot appear in public entrypoint parameters or return values.