Module assignability 

Type-Assignability (XTypes 1.3 §7.2.4.1).

Bestimmt ob ein Typ T1 einem Typ T2 zugewiesen werden kann — entspricht “kompatibel fuer Publication/Subscription-Match”. Die Regeln haengen von Extensibility (Final/Appendable/Mutable) + TypeConsistencyEnforcement ab.

Core-Regeln fuer Primitives, Strings, Collections, Aliases (via Resolver), Enums + Structs mit Final/Appendable/Mutable-Semantik. Strict-vs-lax-Variante ueber AssignabilityConfig.

Structs

AssignabilityConfig

Konfiguration fuer Assignability-Checks.

Enums

Assignable

Ergebnis des Assignability-Checks.

InheritanceError

Fehler beim Flatten einer Inheritance-Kette.

Functions

flatten_inheritance

Baut die “hypothetical flat type”-Struktur aus einer Single-Inheritance- Kette (XTypes 1.3 §7.2.2.4.5). Resolved base_type rekursiv und concatenated Base- gefolgt von Derived-Membern. Bei Member-Name- oder Member-ID-Kollisionen wird InheritanceConflict zurueckgegeben.

is_assignable

Prueft ob der Writer-Typ w fuer den Reader-Typ r kompatibel ist.