This answer just considers the version of the question for transitive models $M$.
Under a reasonable interpretation of the order $<_L$ of constructibility, there is no such transitive model $M$. However, that interpretation is fine structurally motivated, and with a more obvious interpretation, I’m not sure how to prove it in general. There are many cases, however, where it can be ruled out with the more obvious one, and I’ll start with an example of that.
So let us start with the non-fine structurally motivated definition of $<_L$:
We order elements $x\in L$ first on stage $L_{\alpha+1}$ of construction, then on complexity $\Sigma_n$ of formula used to define $x$ over $L_\alpha$, then on finite set $s$ of ordinals used as parameters in such a definition, and finally on the specific $\Sigma_n$ formula used. Here we order $[\mathrm{OR}]^{<\omega}$ (finite sets of ordinals) top-down lexicographically, so $s<t$ iff $s\neq t$ and $\max((s\backslash t)\cup(t\backslash s))\in t$. A little more precisely, fix a recursive enumeration $\varphi_0,\varphi_1,\ldots$ of all formulas in the language of set theory. Now given $x\in L$, the rank of $x$ is the lexicographic rank of the lexicographically least tuple $(\alpha,n,s,k)$ where $x\in L_{\alpha+1}$ and $n,k<\omega$ and $\varphi_k$ is $\Sigma_n$ and $s=\{s_0,\ldots,s_{\ell-1}\}\in [\alpha]^{<\omega}$ and $x=\{y\in L_\alpha\bigm| L_\alpha\models\varphi_k(s_0,\ldots,s_{\ell-1},y)\}$.
Now let’s consider what is presumably the most obvious example of a candidate model $M$: let $\alpha$ be least such that $L_\alpha\models\mathrm{ZFC}$ and let $c$ be the $<_L$-least Cohen generic over $L_\alpha$, and $M=L_\alpha[c]$. Then $<_L\upharpoonright M$ cannot be added to $M$.
(Remark: This should be contrasted to when we restrict attention to the prewellorder $\leq^*$ of $L$
given just by stage of construction ($x\leq^* y$ iff for all $\beta$, if $y\in L_\beta$ then $x\in L_\beta$). For this example, $\leq^*\upharpoonright M$ is definable from parameter $c$; see When is $L$-Rank definable in inner models of $V=L$?)
Now $L_\alpha$ is pointwise definable, and this yields a surjection $\pi:\omega\to L_\alpha$ which is $\Sigma_1$-definable over $L_{\alpha+1}$ from the parameter $\alpha$. Therefore there is a Cohen generic over $L_\alpha$ in $L_{\alpha+2}$,
and in fact one that is $\Sigma_1$-definable over $L_{\alpha+1}$ from the parameter $\alpha$. This is optimal for such a Cohen generic: Because $L_\alpha\models\mathrm{ZFC}$, we have $c\notin L_{\alpha+1}$ and there is no $\Sigma_0$ definition of $c$ over $L_{\alpha+1}$ from parameters. It also implies that $L_\alpha\preceq_{\Sigma_1} L_{\alpha+1}$, and hence there is no $\Sigma_1$ definition of $c$ over $L_{\alpha+1}$ from any $s\in[\mathrm{OR}]^{<\omega}$ with $s<_{\mathrm{lex}}\{\alpha\}$.
So in terms of the 4-tuples defining $<_L$, the $<_L$-least Cohen generic $c$ has tuple $(\alpha+1,1,\{\alpha\},k)$ for some $k<\omega$.
Assuming that $<_L\upharpoonright M$ is $M$-compatible (meaning that $(M,{<_L\upharpoonright M})$ is a model of ZFC, in the expanded language with the predicate $<_L\upharpoonright M$), we want to deduce that $M$ can understand enough about $\pi$ for a contradiction.
That is, for $\beta\in\alpha\backslash\omega$ let $c_\beta=c\cup\{\beta\}$. Then note that $c_\beta$ has tuple $(\alpha+1,1,\{\alpha\},k_\beta)$ for some $k_\beta<\omega$ (using here the surjection $\pi:\omega\to L_\alpha$ mentioned above). But the class $C=\{c_\beta\bigm|\beta\in[\omega,\alpha)\}\subseteq M$ is definable over $M$, so if $<_L\upharpoonright M$ is $M$-compatible, then $<_L\upharpoonright C$ is too. But this is an ordering of $\mathrm{OR}^M\backslash\omega$ in ordertype $\omega$, which is impossible.
Now it seems one would like to generalize this to show that there is no such transitive $M$ at all. But we used some particular fine structural facts which don't easily (seem to) generalize. In particular, the use of the standard $\Sigma_n$ hierarchy becomes inconvenient when $n>1$. This is modified in fine structure theory, and replaced with a slightly different definability hierarchy (e.g. $\mathrm{r}\Sigma_n$ instead of $\Sigma_n$). One also uses the $\mathcal{J}$-hierarchy $\mathcal{J}_\alpha$, and definability over $\mathcal{J}_\alpha$, instead of the $L$-hierarchy $L_\alpha$ (though I think the more crucial thing is the definability hierarchy). If one defines $<_L$ in a natural way using these things, also incorporating the fine structural standard parameters in a natural way, then there can be no such transitive $M$ for which $<_L\upharpoonright M$ is $M$-compatible.
That is (now assuming fine structure), define $<_L$ as follows: Given $x\in L$, let the $<_L$-rank of $x$ be the lexicographic rank of the lexicographically least tuple $(\alpha,n,s,k)$ such that $x\in\mathcal{J}_{\alpha+1}$, $\varphi_k$ is $\mathrm{r}\Sigma_{n}$, $s\in[\mathrm{OR}\cap\mathcal{J}_\alpha]^{<\omega}$,
and $x=\{y\in\mathcal{J}_\alpha\bigm|\mathcal{J}_\alpha\models\varphi_k(\vec{p}_{n-1},s,y)\}$, where $\vec{p}_{n-1}=(p_1,p_2,\ldots,p_{n-1})^{\mathcal{J}_\alpha}$, the first $n-1$ standard parameters of $\mathcal{J}_\alpha$ (and $\vec{p}_{-1}=\emptyset$). Then there is no transitive $M\models\mathrm{ZFC}+V\neq L$ such that $<_L\upharpoonright M$ is $M$-compatible.
Proof: Suppose $M$ is otherwise. Let $\alpha=\mathrm{OR}^M$. Let $(\gamma,n',s,k)$
be a minimal tuple determining a set $x\in M\backslash \mathcal{J}_\alpha$. Note that $n'=n+1>0$, by rank considerations. So $x\in \mathcal{J}_{\gamma+1}\backslash \mathcal{J}_\gamma$ and $x$ is $\mathrm{r}\Sigma_{n+1}^{\mathcal{J}_\gamma}(\{\vec{p}_n^{\mathcal{J}_\alpha},s\})$. Let $\xi=\sup(x)<\alpha$. Now observe that $\rho_{n+1}^{\mathcal{J}_\gamma}\leq\xi$ and $s\backslash\xi=p_{n+1}^{\mathcal{J}_\gamma}\backslash\xi$. (If $s\backslash\xi<_{\mathrm{lex}}p_{n+1}^{\mathcal{J}_\gamma}\backslash\xi$ then use an $(n+1)$-solidity witness, which is in $\mathcal{J}_\gamma$, to compute $x\in \mathcal{J}_\gamma$, contradicting the minimality of $\gamma$. The other direction is by $(n+1)$-soundness.) Now for $\beta\in[\xi,\alpha)$ define $x_\beta=x\cup\{\beta\}$, and note that the tuple for $x_\beta$ is $(\gamma,n+1,s_\beta,k_\beta)$, where $s_\beta\backslash\xi=s\backslash\xi$ and $k_\beta<\omega$. (If $s_\beta\backslash\xi<_{\mathrm{lex}} s\backslash\xi$, note that $x_\beta$ violates the minimality of the tuple for $x$ for giving something in $M\backslash L_\alpha$.) But then if ${<_L}\upharpoonright M$ is $M$-compatible, then $(M,{<_L\upharpoonright M})$ can define an ordering of its ordinals in ordertype $\leq$ that of the lexicographic ordering on $[\xi]^{<\omega}\times\omega$, which is impossible.
It would be very interesting to know what the answer is in general for the first (non-fine structurally motivated) definition of $<_L$.
