You're right, of course. My apologies. I was needlessly confrontational. I'm underslept and having a bit of a rough week, but that's no excuse.
This is the best I've found.
In general, the characteristics of the core line up pretty well with what was roadmapped for Kunpeng 930 - notably SVE and SMT - so it's pretty clearly a Taishan. The really funky thing, I guess, is that it seems to be an ARMv8 core in a heterogeneous configuration with A510. I assume the A510 is operating at an ISA level equivalent to the Taishan. K9000S is a unique beast in a number of ways - it's an SVE1 design in a consumer SoC, and has SMT!
I also don't think the "big" and "mid" cores in the K9000S are actually different IP, despite the microarchitecture ID being different; I believe they're just different parameterizations of the same uarch. (I don't have strong evidence to support this at present beyond the basics - they seem to have the same featureset and Huawei wasn't known to have a smaller core in development.)