Well after going through it the only point where i feel your method could fall short is in the potential noise in signature
The ECDSA signature  may have noise and if the signature you are using is not perfectly aligned with the assumptions made in your model it could disrupt the entire process and this will make it hard for the lattice based approach to solve the problem accurately
Aside that I really can't think of anything
You should consider examining the impact of signature noise