shiftProduced property
True when char is already known to be the character the keystroke produced under shift, rather than merely the base key held down while shift is also held.
Kitty's keyboard protocol can report an alternate "shifted key" code point alongside the base one; when a parser substitutes that shifted key into char, it sets this flag. It stays false whenever char came from the base code point with shift inferred only from the modifier bits — the case where the actual produced character (a symbol on a non-US layout, for instance) is unknowable. Only meaningful for KeyCodeKind.char; unused for named keys.
Implementation
final bool shiftProduced;