Looks like you’re trying to verify your adaptor signature (named s)  with the lender’s public key as you would validate a regular signature. Validate the adaptor signature manually by multiplying the plain signature ‘s_hat’ with G, and adding the oracles public key , which I’ll call T. When programming try to give your variables clearer names. I also find it easier to work with when people follow the convention of lower casing scalars.As a disclaimer,  I didn’t run the code, I just skimmed it.