Realm

vk · Traits · E1

A registry-declared extension relationship. Implementations are sealed.

TrRustExperimental

Trvk::Extends

Contract

A registry-declared extension relationship. Implementations are sealed.

This proves a native chain type relationship, not enabled features, valid raw pointers, tag uniqueness or GPU resource lifetimes.