It was brought up, that Yuen Miu used to be credited for the role here on HKMDB but had since been removed. Pictures were also uploaded showing both Yuen Miu and that other actor in the character's outfit and it was suggested there might be 2 different disciples.
So I looked over the film and noticed that for the majority of the film the disciple is played by the younger actor (whose name I don't know), with Yuen Miu doubling for a few stunts. However, in the final scenes, it is the same character just not being played by the same young actor, Yuen Miu has taken over the disciple role altogether rather than just being a double.
So I've added these updates to the HKMDB page
Encounters Of The Spooky Kind [1980]
https://hkmdb.com/db/movies/view.mhtml?id=6193&complete_credits=1&display_set=eng
Yuen Miu --- 3rd role as Chin Hoi's disciple (also stunt double+stunts)
https://hkmdb.com/db/people/view.mhtml?id=8229&display_set=eng
Cheers
