[...] Her father is 1st in line for the "Duke in Bavaria, Prince of Bavaria" title, then the title goes to Sophie, then to her son. [...]
You are mixing two different cases. The Jacobite one and the Bavarian one. Note that the Bavarians have
never, ever pursued any claim whatsoever on the Stuart legacy. For them it is an interesting
fait-divers in their family history and nothing more. Princess Sophie is not in line of succession of the Bavarian or Liechtenstein successions. Only in the -extremely unlikely and purely theoretic- "Jacobite succession" she possibly finds herself back.
Jacobite succession:
1 - The Duke of Bavaria - 1933 (residence:
Schloss Nymphenburg)
2 - Max Emanuel, Duke in Bavaria - 1937 (residences:
Schloss Tegernsee and
Schloss Wildenwart)
3 - Princess Sophie of Liechtenstein, Duchess in Bavaria - 1967 (residences:
Schloss Vaduz and
Palais Liechtenstein)
4 - Prince Joseph Wenzel of Liechtenstein - 1995
5 - Prince Georg of Liechtenstein - 1999
6 - Prince Nikolaus of Liechtenstein - 2000
7 - Princess Marie of Liechtenstein - 1996
Bavarian succession:
1 - The Duke of Bavaria - 1933 (residence:
Schloss Nymphenburg)
2 - Max Emanuel, Duke in Bavaria - 1937 (residences:
Schloss Tegernsee and
Schloss Wildenwart)
3 - Luitpold, Prince of Bavaria - 1951 (residences:
Schloss Kaltenberg and
Schloss Leutstetten)
4 - Ludwig, Prince of Bavaria - 1982 (residence:
Kaltenberg hunting lodge)
5 - Heinrich, Prince of Bavaria - 1986
6 - Karl, Prince of Bavaria - 1987