We can build fine-structural models above a given set (such as $ℝ$), treating the set as a black box (for example, see "Scales in K(R)" by John Steel). However, in that case, we get choice modulo something that we do not treat fine-structurally.

A possible approach: One possibility is that instead of putting the extender sequence inside the model we are constructing, we just add (at appropriate points) the appropriate extenders to the model. If the model can recover the sequence, it becomes a conventional Mitchell-Steel model (possible alternative: HOD-like model). If it cannot, it may become a model of AD, until it grows enough to recover the sequence from parameters. At higher strengths, it may have multiple regions where it cannot recover the sequence, perhaps eventually enabling periodicity in the cumulative hierarchy.

Under large cardinal axioms, I believe there is no minimal (in terms of which reals it contains) inner model elementarily embeddable into $L(ℝ)$. However, there is minimal canonical such model; its reals are precisely those computable from some $x_i$ where $x_0=0$ and $x_{i+1}=M_ω^\#(x_i)$. The construction generalizes above an arbitrary real $r$ (setting $x_0=r$) and is single-valued (unlike the derived model construction) and depends only on the Turing degree of $r$, and among such constructions (if they are universally Baire) I suspect is minimal on a cone of Turing degrees. ("Such constructions" means given $r∈ℝ$, return countable $R⊆ℝ$ that depends only on the Turing degree of $r$, with $r∈R$ and $L(R)⊨\text{AD}$.)

There should also be the minimal canonical inner model elementarily embeddable into the minimal inner model of $\text{AD}_ℝ$ containing all the reals. I suspect it is obtained as follows. Set $M_{0,\text{adr}} = 0$, and $M_{i+1,\text{adr}}(x)$ as the sharp of the minimal iterable inner model above $x$ with a limit $δ$ of Woodin and of $<δ$-strong cardinals, and with the model closed under $M_{i,\text{adr}}$ below $δ$. Set $R$ to the set of reals computable from some $M_{i,\text{adr}}(0)$, and the model to the minimal inner model $M$ with $ℝ^M=R$ and $∀i \, M_{i,\text{adr}}(R)∈M$. $M_{i+1,\text{adr}}(R)$ should have Wadge rank $Θ_i$ in $M$.

A few more notes:
- The earliest (rudimentarily closed) point at which AC (wellordering principle) would fail in the suggested construction should correspond to $L_1(R)$ where $R$ is the minimal elementary submodel of the $V_{ω+1}$ (assuming projective determinacy).
- The earliest point at which a canonical fine-structural inner model cannot parameter-free recover its extender sequence is $L[M_1^\#]$; if we do not require the model to contain all ordinals, the failure likely first happens around local Woodin cardinals.
- There might also be other approaches to fine-structure. For example, at least for smaller large cardinal strengths, I think we can use indiscernibles in place of measures (Inner model theory using indiscernibles question), and some natural ZFC models (such as $L[Card]$ under large cardinal axioms) are of that type.

We can build fine-structural models above a given set (such as $\mathbb R$), treating the set as a black box (for example, see "Scales in $K(\mathbb R)$" by John Steel). However, in that case, we get choice modulo something that we do not treat fine-structurally.

A possible approach: One possibility is that instead of putting the extender sequence inside the model we are constructing, we just add (at appropriate points) the appropriate extenders to the model. If the model can recover the sequence, it becomes a conventional Mitchell–Steel model (possible alternative: HOD-like model). If it cannot, it may become a model of AD, until it grows enough to recover the sequence from parameters. At higher strengths, it may have multiple regions where it cannot recover the sequence, perhaps eventually enabling periodicity in the cumulative hierarchy.

Under large cardinal axioms, I believe there is no minimal (in terms of which reals it contains) inner model elementarily embeddable into $L(\mathbb R)$. However, there is minimal canonical such model; its reals are precisely those computable from some $x_i$ where $x_0=0$ and $x_{i+1}=M_\omega^\#(x_i)$. The construction generalizes above an arbitrary real $r$ (setting $x_0=r$) and is single-valued (unlike the derived model construction) and depends only on the Turing degree of $r$, and among such constructions (if they are universally Baire) I suspect is minimal on a cone of Turing degrees. ("Such constructions" means given $r\in\mathbb R$, return countable $R\subseteq\mathbb R$ that depends only on the Turing degree of $r$, with $r\in R$ and $L(R)\models\text{AD}$.)

There should also be the minimal canonical inner model elementarily embeddable into the minimal inner model of $\text{AD}_\mathbb R$ containing all the reals. I suspect it is obtained as follows. Set $M_{0,\text{adr}} = 0$, and $M_{i+1,\text{adr}}(x)$ as the sharp of the minimal iterable inner model above $x$ with a limit $\delta$ of Woodin and of $<\delta$-strong cardinals, and with the model closed under $M_{i,\text{adr}}$ below $δ$. Set $R$ to the set of reals computable from some $M_{i,\text{adr}}(0)$, and the model to the minimal inner model $M$ with $\mathbb R^M=R$ and $∀i \, M_{i,\text{adr}}(R)\in M$. $M_{i+1,\text{adr}}(R)$ should have Wadge rank $\theta_i$ in $M$.

A few more notes:

• The earliest (rudimentarily closed) point at which AC (wellordering principle) would fail in the suggested construction should correspond to $L_1(R)$ where $R$ is the minimal elementary submodel of the $V_{ω+1}$ (assuming projective determinacy).
  
• The earliest point at which a canonical fine-structural inner model cannot parameter-free recover its extender sequence is $L[M_1^\#]$; if we do not require the model to contain all ordinals, the failure likely first happens around local Woodin cardinals.
  
• There might also be other approaches to fine-structure. For example, at least for smaller large cardinal strengths, I think we can use indiscernibles in place of measures (Inner model theory using indiscernibles question), and some natural ZFC models (such as $L[\text{Card}]$ under large cardinal axioms) are of that type.