Fix a scalar accounting model with the other constraints declared. Suppose an admitted assisted campaign \((R,v)\) at total budget \(B\) has an admitted closed simulator at budget \(g(B)\). Require that the simulator can reproduce the contributor's endowment, observations and causal interaction, together with the recipient's allowed final artifact and evaluation law. All simulation work and initialization count. Then, for \(j\in \{\mathrm {disc},\mathrm {acq}\}\),

If the simulation is uniform across instance sizes with \(g(B)\leq cB\) for a fixed constant \(c\), an actual assisted procedure reaching \(\tau \) at work \(U(n)\) implies \(B_{\mathrm {closed}}(n,\tau )\leq cU(n)\). This excludes a lower bound \(L(n)\) with \(U(n)/L(n)\to 0\). Unavailable background state, observations, hardware or large simulation overhead can invalidate the premise; different origin alone does not. The argument does not assume that a language model already has an affordable simulation of a human contributor.

Admission includes discovery of any required reconstruction program from the declared initial state. A simulator written with advance knowledge of the useful representation does not satisfy this premise merely because its later execution is cheap. If the program is generated during the campaign, its generation law, failed attempts and selection costs belong in the simulation. This conditional proposition supplies no lower bound on that discovery cost; § [ftip-00N6] distinguishes program existence from its availability to the lineage.