Admissibility frontier · Edition 3

Expanded claim page · assertion 12 of 14

the shared path is not yet a shared algebra

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

That second view closes the point-prediction gate. Donor-only nested validation pairs the fixed 10 kHz record with approximately 2.82 Hz for 51 of 54 targets; two alternatives choose nearby low-frequency scales. All 54 cells then pass on fifteen untouched frequencies. The median cellwise median error is 0.674%, the worst median is 3.261%, and the worst maximum is 5.503%. The practical result is a two-tone population-state protocol: one point locates the high-frequency port and one locates relaxation or diffusion. It remains a within-batch point predictor, not simultaneous uncertainty, fixture covariance, external replication, dynamics or new physics.

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

Scope

Chapter “The admissibility frontier”, section “the shared path is not yet a shared algebra”. This is assertion 12 of 14 in that section.

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

  1. Recover the declared objects and assumptions from the controlling documents.
  2. Check the calculation, construction, obstruction or stopping rule on those same objects.
  3. Compare the source conclusion with the exact assertion above; do not strengthen its verbs or enlarge its domain.
  4. 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