My post wasn't that I didn't believe that there were JFK only fare bases published by US; I was curious to see if they were the same that I saw.
And these fares have been out there for more than week, and will only price on UA's IAD-JFK flights with a US code on them. I'd say its a leap that because US published fares on their codeshare that they are going to announce service to JFK. They might (and IMHO should) resume flights to JFK, but I think its a reach to say this action shows they are coming to JFK soon....