Yes, but whole story is about that initial contract didn't have non-disclosure clause, they planned to publish their result, and government wanted to add it aft

Yes, but whole story is about that initial contract didn't have non-disclosure clause, they planned to publish their result, and government wanted to add it afterwards and force them to sign new papers, and discussion was about that. Also in my understanding initial work was about something else, and P=NP proof was some side result.