陽真 is a musician in the Credits.fm index. A musician is the person or group behind the codes — IPI numbers identify them as a songwriter or publisher, ISNI identifiers as a creative contributor, and their recordings each carry an ISRC.