Is there a forcing notion $\mathbb{P}$ such that:
For any $p \in\mathbb{P}, \mathbb{P}/p = \{q \in \mathbb{P}: q \leq p \}$ is not forcing isomorphic to a homogeneous forcing notion,
For all $G$, $\mathbb{P}$-generic over $V$, $HOD^{V[G]} \subseteq V$.
If so, then can we also require the following extra assumption.
- For all $G, H$, $\mathbb{P}$-generic over $V, V[G] \equiv V[H]$.