Consider the forcing notion(s) introduced by Friedman (or Mitchell or Neeman) for adding a club subset of $\omega_2$ by finite conditions. In the generic extension CH fails, but I can't see the reals added by the forcing. Would you please give an explicit construction of $\aleph_2$-many reals in the generic extension by these forcings. Can we determine if the added reals are Cohen, Random, or ....
Remark. The question applies to many similar forcing constructions, in particular to the forcings introduced in Neeman's paper.
1) Friedman, Forcing with finite conditions. Set theory, 285–295, Trends Math., Birkhäuser, Basel, 2006.
2) Mitchell, Adding closed unbounded subsets of $\omega_2$ with finite forcing. Notre Dame J. Formal Logic 46 (2005), no. 3, 357–371.
3) Neeman, Forcing with sequences of models of two types.