It's funny (fascinating actually!) because it reads just like your typical highly opinionated software engineering blog post, only applied to music. Yet most of it, particularly the first three points, has no basis in reality. (E.g. point 3 - any music theorist will tell you there is a VERY valid reason for choosing a double-sharp over a natural in particular contexts.)
Thanks for the link, it gave me a good laugh.
As another amateur musician, I was nodding at most of these points. I fully believe it’s all very complex and double sharps exist for some reason, but how much of that do you really need the reader to understand?
Anyway, my first guess for a double sharp would be that you're e.g. notating an F# which is itself sharp for whatever reason, and you can't just notate it as a G because Gs are also sharped. (As will be true in any key signature with three or more sharps.) Then the reason for marking F𝄪 rather than G♮ is exactly the same as the reason you'd mark F# rather than G♠in a key that didn't sharp either note. And even from a pure usability perspective, if you're in a key with three sharps and you're doing a lot of alternating between F𝄪 and G#, it's kind of nice having the two notes at the positions of F and G so that you can give them the appropriate accidentals once per measure instead of every time you play either note, the way you'd need to do if they were both on a G.
I ran into some trouble with this exact problem when engraving this score recently: https://musescore.com/user/36584999/scores/7810499
The first half of the vibraphone part looks like you're mainly doing downward variations, so I wrote it with flats. But the second half obviously suggests that it wants F#s rather than Gâ™s, and it felt really weird to use F# sometimes and Gâ™ other times.
Since I know virtually no music theory, my approach was to ask people for help on the internet. I found someone who had majored in music theory and his response was "hmm, interesting", followed by asking a bunch of his friends. Consensus eventually worked out as something like "Hmm, interesting! Could go either way, but maybe F# is a little better than Gâ™. Whatever you choose, be consistent."
It was all fairly unsatisfying and I'd be interested in other comments on how the accidentals in the piece should be marked. Following the general theme of "F# looks a little better, but be consistent" I interpreted every accidental anywhere in the piece as a departure upward rather than downward. :/
[1] I've also seen sharps used while going down, but it was pretty obvious what was going on there - the music had changed keys, but the score hadn't changed key signatures. Those sharps just reflected the new key rather than being departures from it.
The B natural (raised 7th in C minor) helps keep you grounded by pulling very hard back to C minor. Also, the B natural is the raised 4th of F minor, and raised 4th is being used a lot when you're on the tonic as well which helps keep the feel. Very much double harmonic minor in feel all taken together.
Your actual question... Honestly I don't know and feel the same as others you've asked. I guess the violin in measure 12 feels like it's hitting a flat 5, so personally I'd choose G flat throughout that section for consistency. But I dunno, it's kind of a toss up to me.
Similarly, regarding the F#/Gb question in the vibraphone part, F# is better than Gb because you are resolving UP to G, so you want to use a different note name. The only questionable part is measures 11-12...I won't go into detail but I would say it can go either F# or Gb - both are perfectly fine ("depends on the person" kind of thing!)
The rule "you want to use sharps when you're going up and flats when you're going down" is maybe only really true for chromatic scales, and even then it's tenuous. In general, you pick accidentals based on the key or harmony that you're in.
Unfortunately music theory commentary does not translate well into English at all, so apologies if this comes across as gobbledygook. And make no mistake, I don't think in these terms when playing/composing music. It's more like a deep intuition you get after a while.
EDIT: vcxy beat me to it!
Yes, it is true that using a piece of software shouldn't require a CS degree. But you still expect the source code to follow "CS principles". Similarly, you expect scores to follow "music theory principles". Now, it takes time and effort to understand these principles, just like with CS. However, whereas almost everybody understands that the subject of computer science is vast and is not to be underestimated, the same doesn't seem to be the case for music theory. And I can sort of understand why - computer science is math (1 + 1 = 2), but music theory is just hand-wavy rules made up by dead people, no? Well, yes, but that does not make it any less "true". Music theory as a tradition is very real, and you can't expect people to take your music-theory "PEPs" seriously unless you have been deeply embedded in that tradition.
Of course, this is not me knocking the author in any way. Sometimes the best innovations come to those with fresh eyes. But I just hope to convey the idea that music theory (or maybe more accurate to say "music tradition") is not something to be easily dismissed and, just like in computer science, a good solution requires a good understanding of the problem.
That sentence right there is just jam packed with bullshit and misunderstanding.