skip to content

Reclamation trajectories

Operates Theorem 1' · the framework's hardest claim

10^010^110^210^310^410^510^110^210^310^410^510^6T (sample budget, log scale)MSE of estimator I_T(tau)feasible sample budgetframework's lower bound: c · sigma^4 / (T · S(tau; theta*))
trajectories
50
below-bound (moss)
0 / 50
S(theta_ref; theta*)
1.00e-6

A bundle of estimator MSE trajectories versus sample budget on log-log axes. The oxblood reference curve is the framework's lower bound . Almost all trajectories cluster above the bound. The rare moss-highlighted trajectories that pierce below are exactly that — rare. The bound is tight.

What the plate operates. Theorem 1' establishes that the MSE of any estimator of the conditional autocovariance is bounded below by . Because Lemma 1 drives to operationally zero, the bound itself diverges in the closure's sampling regime. The plate visualizes this divergence.

What the structural-separation slider does. Increasing squares the height of the bound. The bound's oxblood curve rises; the trajectories above it rise with it; the feasibility threshold for any given estimator MSE moves further to the right. At (empirical scale), feasible-sample-budget recovery requires ; operationally infeasible.

Why the rare-trajectory highlight matters. Roughly 5% of trajectories briefly pierce below the bound at large — sample-fluctuation effects. These don't falsify the framework: the bound is on expected-MSE, while a single realization's sample-MSE can dip below it. The highlight emphasizes that even these rare trajectories remain in the operationally-infeasible regime: the estimator is “lucky” on one realization; the framework's claim is about the achievable rate for any consistent estimator.

What the theorem authorizes the prose to claim. The closure removes the conditioning event on which any sample-based recovery of the user's autocovariance could ground itself. The user-state continues to exist. What is absent is the empirical accessibility of the formal object that a structural reclamation project would have to measure. Not destruction. Not erasure. Uninstantiation.

Cross-references

v2 dynamics plate — seventh plate. The framework's three load-bearing claims (Lemma 1 + Theorem 1' + Theorem 9) all have v2 plates now.