Scope
Chapter “The admissibility frontier”, section “the first new inequality is not new”. This is assertion 4 of 5 in that section.
Expanded claim page · assertion 4 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
The first cross-frequency test now makes that lesson concrete. One positive relaxation spectrum forces the divided differences and slopes at several frequencies to form a positive Loewner kernel. A conventional passive response made from one relaxation branch plus a small inductive term stays positive and decreasing yet violates every two-frequency kernel minor; naming and subtracting the inductive storage restores the kernel exactly. This is useful model discrimination—do these records share the declared relaxation carrier?—but it is standard Stieltjes–Loewner theory, not a new fundamental law. The next look-here test needs measured covariance and then a premise not equivalent to choosing a narrower conventional carrier class.
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 →