Machine-readable capability truth for the native calculus surface.
Descriptors are static POD-like metadata: discovery allocates nothing and never infers mathematical guarantees from a function name.