This paper exhibits significant similarities with Moritz Müller's work, "Typical forcings, NP search problems and an extension of a theorem of Riis", as kindly pointed out by anonymous reviewers. 

The full version, currently in preparation, will include a comprehensive discussion on this issue.