Auth Bypass: Signature inclusion can grant write access to fields the implementation does not support, violating mutability capabilities.

Auth Bypass: Object field writes could instantiate polymorphic schemes, leading to type confusion and unauthorized data access.

Type Confusion: Arity mismatches in type equality and subtyping can cause miscompilation and type confusion.