As you've seen in replies here already, many term choices you've made have enough variety in how they're conventionally used that people incorrectly assume they know what it means only to see the "nope!" popup when they try to apply it. That frustration is going to spoil first impressions of what actually seems to be a really great puzzle system, which is a shame. The more you can reduce that experience, the less likely you'll be to prematurely burn off players.
A good measure for getting it right would be that you don't even need a glossary at all, or that you can get it so condensed that you can make it more prominent without becoming distracting.
Alternately, you could maybe use symbols instead of words to represent your rules, as more players would intuit that they should learn the symbols before making (wrong) assumptions.
I did! That was the main workload of this project, and is still ongoing. I have ideas for improvements, and I also have to fix some sentences manually sometimes. But it's getting there.
The sharing shows a kind of "health bar". Every time you make an illogical guess, it reduces one. Running out of "health" doesn't prevent you from completing the puzzle, but it does show up in your share. Based on this, you made 4 "illogical" guesses. If you didn't, then there's a bug. But feels like I should anyways clarify this, if it wasn't clear to you. Thanks again!