Anti-large cardinal principles I'm interested in axioms that prevent the existence of large cardinals. More precisely:
(Informal definition) $\Phi$ is an anti-large-cardinal axiom iff $V \models \Phi \Rightarrow V \not \models \Psi$ for some garden-variety large cardinal axiom $\Psi$.
Probably the most famous are:
Variety 1 Axioms of constructibility (e.g. $V=L$, $V=L[x]$).
$V=L$ for example implies that there are no measurable cardinals in $V$. Often we don't need the full power of $L$ to get anti-large cardinal features though. For instance:
Variety 2 $\square$-principles 
often prevent the existence of large cardinals via their anti-reflection features. For example $\square_\kappa$ prevents the existence of cardinals that reflect stationary sets to $\alpha < \kappa$ (and hence rule out cardinals like supercompacts).
Trivially, we might look at axioms of the following form:
Variety 3 $\neg \Phi$ or $\neg Con(\Phi)$ for some large cardinal axiom $\Phi$.
These obviously and boringly prevents the existence of a large cardinal in the model. Another possible candidate (formalisable in $NBG + \Sigma^1_1$ comprehension) is:
Variety 4 Inner model hypotheses.
For example, the vanilla inner model hypothesis that any parameter-free first-order sentence true in an inner model of an outer model of $V$ is already true in an inner model of $V$. This prevents the existence of inaccessibles in $V$. Other variants rule out cardinals not consistent with $L$.
Final example (if we're being super liberal about what we allow to be revised):
Variety 5 Choice axioms.
For instance $AC$ prevents the existence of Reinhardt (and super-Reinhardt, Berkeley etc.) cardinals in $V$ (assuming that these are, in fact, consistent with $ZF$, which is pretty non-trivial).
My question:
Are there other kinds of axiom with anti-large-cardinal features? Especially non-trivial ones (i.e. not like Variety 3).
 A: The following is part of unpublished work by Toshimichi Usuba:
Definition. A cardinal $\kappa$ is hyper-huge if for every $\lambda > \kappa$ there is an elementary embedding
$$
j \colon V \to M
$$
into some inner model $M$ such that $\operatorname{crit}(j) = \kappa$, $\lambda < j(\kappa)$ and $^{j(\lambda)} M \subseteq M$.
Definition. An inner model $M$ of $V$ is a ground if there is some set forcing $\mathbb P \in M$ and some $\mathbb P$-generic filter $G$ over $M$ such that $M[G] = V$.
Theorem (Usuba). If there is a hyper-huge cardinal, then there are only set many grounds.
He also proved that $V$ has a $\subseteq$-minimal ground (which is known as the bedrock) iff there are only set many grounds. Thus the nonexistence of the bedrock is an anti-large cardinal axiom.
On the other hand, in Inner Model Theoretic Geology, Fuchs and Schindler provided an example for which the bedrock does not exist, namely: If $L[E]$ is a pure extender model without a strong cardinal satisfying some 
'nice inner model theoretic properties' (*) then the bedrock of $L[E]$ does not exist. (**)
(*) $L[E]$ is assumed to be tame, fully iterable in $V$, internally not fully iterable as guided by $\mathcal{P}$-constructions and the extender sequence $E$ and its canonical extensions by $\operatorname{Col}(\omega, \theta)$, for cutpoints $\theta$ of $L[E]$, are ordinal definable in their respective models.
(**) Please note that they provide a much more detailed analysis of the class of grounds for this model.
A: Foreman's maximality principle (the statement: any non-trivial forcing either adds a new real or collapses some cardinals) implies there are no inaccessible cardinal.
Also the consistency of Magidor's question (tree property at all regular cardinals above $\aleph_1$)  implies the non-existence of inaccessible cardinals.
Another example is the following maximality principle introduced 
at A new maximality principle and its consequences:
$(MP_*):$ For all uncountable regular cardinals $\kappa, 2^{<\kappa}=\kappa^{+}$
and all trees of height and size $\kappa$ are specialized.
A: Universal indestructibility is another example. In our joint paper, 


*

*A. W. Apter and J. D. Hamkins, Universal indestructibility, Kobe Journal of Mathematics, vol. 16, iss. 2, pp. 119-130, 1999. (arxiv)


Arthur Apter and I proved that it is relatively consistent that there is a supercompact cardinal and every supercompact and partially supercompact cardinal is fully Laver indestructible. The proof used the "trial-by-fire" forcing, where one proceeds in a grand forcing iteration, killing at every stage $\delta$ the most supercompactness of $\delta$ that could be killed by $<\delta$-directed closed forcing. The difficult part is to show that with a suitable large cardinal assumption, something does indeed survive this trial by fire. 
Meanwhile, relating to your question, we also proved that under universal indestructibility, there can be at most one supercompact cardinal. Indeed, if universal indestructibility holds, then no cardinal is supercompact beyond a measurable cardinal.
A: Here is a different kind of example, not a full instance of what you request, but halfway. Namely, a natural principle that implies either that there are no large cardinals of a certain kind or else a proper class of them.
Consider the maximality principle, which is the scheme asserting of any set-theoretic assertion $\varphi$ that if there is some forcing extension in which $\varphi$ becomes true and remains true in all further forcing extensions, then it is already true. 
This assertion can be expressed in modal terms by  $$\diamondsuit\Box\varphi\to\varphi$$
using the forcing modalities. For example, see my paper, Hamkins, Joel David, A simple maximality principle., J. Symb. Log. 68, No. 2, 527-550 (2003). ZBL1056.03028. (my blog post)  A version of the principle was introduced by Jouko Väänänen. 
One of the first observations to make about the maximality principle is that it implies that there is no medium ground when it comes to certain kinds of larger cardinals. 


*

*If MP holds, then either there are no inaccessible cardinals, or a proper class of them. The reason is that if there are just a few, then one can force so as to collapse them and thereby come to have none, in a way that persists to all further extensions. So there must have been none to begin with. 

*If MP holds, then either there are no Mahlo cardinals or a proper class of them. Similarly, if there were only a bounded number of them, then you could force to kill them all and this would remain true in all further extensions; so it must have been true already.
