Thomas Kunz wrote this via email:
In the Hyperglot database, the capital ẞ is listed as an auxiliary character
for capitalising ß. According to the official rules (German: Amtliches
Regelwerk; abbreviated: AR) for German spelling, valid since 1 July 2024,
the capital ẞ is the appropriate and correct way to capitalise the Eszett.
The use of “SS” is now only permitted as an alternative, see § 25 E3 AR.
You can view the official rules here:
https://www.rechtschreibrat.com/DOX/RfdR_Amtliches-Regelwerk_2024.pdf
Previously, we have avoided the strict interpretation as it would lead to many rejections (maybe it should?!). Perhaps, there is a way, we could report German being supported with an older orthography, i. e. fall back gracefully if the capital Eszett is not present.
Thomas Kunz wrote this via email:
Previously, we have avoided the strict interpretation as it would lead to many rejections (maybe it should?!). Perhaps, there is a way, we could report German being supported with an older orthography, i. e. fall back gracefully if the capital Eszett is not present.