I found a torrent for 10A380, but the comments said the features demoed at WWDC were not in it. The same commenter did verify it was 10A380 though. Quite confusing.