$method.meta.getattributes doesn't list source class/role and version metadata but it could be included.

This non-transparent method source also worried me. The combination of multiple inheritence, roles, traits, runtime role-things, multiple dispatch (including subtypes and signature distance), dispatcher/traversal options and the autoloading possibilities together make interpreting a method call potentially quite tricky. It seems like the composability and flattening of the Traits Paper has been lost.

I have to remind myself that while the explanation has to be exhaustive, the cognitive load during programming should in fact be lighter.