How to solve: The rank condition ISN'T verified!

It is never a good idea to manually linearize except to gain intuition. It is simply too error prone.
Any mistake can make the BK conditions fail. Often it’s a timing mistake, but that is not necessary.