Can xiangqi notation ever need to disambiguate three pieces of the same type on one file, the way chess sometimes must after pawn promotions?
These answers restate the rules implemented by our open-source engine, which follows the WXF laws and is regression-tested against the official 110-diagram repetition casebook. Where an answer refers to a specific position, that position lives on the linked reference page, where the build verifies it against the engine before publishing.
Direct answer
No, and it is structurally impossible. Chess occasionally needs to distinguish between three or more pieces of the same type after a pawn promotes into a second or third queen. Xiangqi has no equivalent: there is no promotion, and every side starts with a fixed number of each piece type that can only ever go down through captures, never up. The two-piece disambiguation rule xiangqi notation actually has, naming which of two identical pieces on a file is meant, is already the maximum case that can ever occur.
Why this is a genuine structural difference, not a coincidence
Chess's promotion rule is precisely what creates the possibility of extra queens crowding a file or rank; remove promotion and the three-or-more scenario disappears entirely. Since xiangqi never had a promotion mechanic to begin with, its notation was never designed to handle more than two identical pieces meeting on the same line.
What xiangqi notation does instead handle
The two-piece case is common and real, two horses or two chariots ending up on the same file, and WXF notation handles it cleanly with a front or rear marker rather than a file coordinate. That is the entire scope of the problem in xiangqi; nothing beyond it is needed.
Related questions
Could a handicap or unusual setup ever create three of one piece?
No, handicap games remove pieces from the standard setup, they never add extras beyond the normal complement.
Does this mean xiangqi notation is simpler than chess's in this respect?
Yes, in exactly this one respect; the underlying rules make a whole category of chess notation complexity irrelevant.