Admissibility frontier · Edition 3

Expanded claim page · assertion 3 of 3

the spanning tree is not yet one experiment

Externally openScout

Needs an ingredient, calculation or observation not yet supplied by the declared model or evidence. opens a plausible new route or searches beyond the present ingredients.

Exact assertion

The two candidates also live on opposite sides of the electroweak threshold. Their coefficient names form a graph, but their phases form one experimental record only if a declared operator basis, running, threshold matching and correlated nuisance model transport the sign between them. The next task is therefore two quadratic differential response polynomials and one common matching ledger; a vanished or nuisance-collinear cross term kills the corresponding edge.

What this commits us to

The corpus identifies the missing datum but does not currently contain it. This assertion is a boundary marker, not a disguised derivation.

Logical anatomy

Scope

Chapter “The admissibility frontier”, section “the spanning tree is not yet one experiment”. This is assertion 3 of 3 in that section.

Evidence posture

The cited documents locate the boundary; they do not contain the missing physical ingredient.

Research move

opens a plausible new route or searches beyond the present ingredients.

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

Supply the missing datum with a physical definition and demonstrate that it connects locally to the existing construction.

Source map

Controlling documents