Why Foreman’s maximality principle not disproved?

Models and forcing with large cardinals already constructed why it not disprove Foreman’s maximality principle?
PFA equiconsistent of supercompact cardinals.
Forsing even used for Berkeley cardinals.
FMP is sentence about true set universe like Woodin dichotomy or simple exist some model $M$ where for any generic extention $M(G)$ hold FMP hold?