Scope
Chapter “The admissibility frontier”, section “the first new inequality is not new”. This is assertion 5 of 5 in that section.
Expanded claim page · assertion 5 of 5
the first new inequality is not new
Obstruction / no-goAuditor
A stated candidate class or identification has been ruled out under explicit assumptions. checks assumptions, certificates, counterexamples and stopping rules.
Exact assertion
Storage typing changes the verdict on the real impedance lane. At 1 kHz, 3.162 kHz and 10 kHz, the complete fitted impedance fails the relaxation-only Loewner test for all 54 cells. Remove the series inductance already present in the frozen model and all 54 pass, with a positive smallest corrected eigenvalue. This dramatic reversal is not new physics and not independent validation—the nonnegative basis imposed the shared relaxation measure, while the source lacks measured slopes and repeat covariance. It is a practical detector design: report raw and storage-corrected kernels together, vary fixture inductance, and ask whether only the raw verdict moves.
What this commits us to
A specified candidate class fails under explicit assumptions. The conclusion does not automatically extend to mechanisms outside that class.
Logical anatomy
Evidence posture
Check the assumptions defining the ruled-out candidate class; the no-go does not automatically extend beyond that class.
Research move
checks assumptions, certificates, counterexamples and stopping rules.
Verification route
- Recover the declared objects and assumptions from the controlling documents.
- Check the calculation, construction, obstruction or stopping rule on those same objects.
- Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
- Apply the status rule and retain every named external dependency.
What would move or defeat this claim
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
Controlling documents
- admissibility 96 population storage corrected loewner certificateOpen controlling document →
- admissibility 95 cross frequency shared measure boundOpen controlling document →
- admissibility 66 contextual triangle bound reduces to standard positivityOpen controlling document →
- admissibility 08 finite contextual casimir experimentOpen controlling document →
- frontier physics target assessments v1Open controlling document →