Scope
Chapter “The admissibility frontier”, section “the shared path is not yet a shared algebra”. This is assertion 10 of 14 in that section.
Expanded claim page · assertion 10 of 14
A stated candidate class or identification has been ruled out under explicit assumptions. checks assumptions, certificates, counterexamples and stopping rules.
Exact assertion
The simplest predictive envelope also exposes a trap. At each held-out frequency, the componentwise minimum and maximum of the other 53 cells cover exactly 52 of 54 scalar ranks: the apparent 96.296% coverage is forced because the global minimum and maximum must exclude themselves. It is not validation of a population law. The real datum is relational across frequency. ID07 is above the donor real-part range at all fifteen evaluation points, ID52 is repeatedly extreme in the imaginary part, and only 42 cells keep every complex point inside. A useful population model must carry a latent cell state coherently through the spectrum. The next experiment is nested prediction from one predeclared calibration record or independent metadata, with simultaneous spectral coverage and replicate covariance—not wider pointwise bars.
A specified candidate class fails under explicit assumptions. The conclusion does not automatically extend to mechanisms outside that class.
Chapter “The admissibility frontier”, section “the shared path is not yet a shared algebra”. This is assertion 10 of 14 in that section.
Check the assumptions defining the ruled-out candidate class; the no-go does not automatically extend beyond that class.
checks assumptions, certificates, counterexamples and stopping rules.
Break one of the no-go assumptions in a controlled construction, or show that the alleged obstruction does not follow within its stated class.
Source map