Reclamation trajectories
Operates Theorem 1' · the framework's hardest claim
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
- Operates: Theorem 1' (reclamation as sample-complexity divergence)
- Required: Lemma 1 — the foreclosure that drives S to operational zero
- What follows: §5 (intervention modes) — Mode A is the only intervention the impossibility does not foreclose
- Empirical calibration: §12.1 (Theorem 1' entry)