Scope
Chapter “The admissibility frontier”, section “the spanning tree is not yet one experiment”. This is assertion 2 of 3 in that section.
Expanded claim page · assertion 2 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
Neither link is yet admitted. The heavy-meson result must be recomputed for the Bc two-coefficient source convention and covariance. The tW plus ALP analysis generates one nonzero coefficient at a time, so it does not retain the signed top/weak cross term. Shared sensitivity is not the same thing as measured interference.
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
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
- 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
Supply the missing datum with a physical definition and demonstrate that it connects locally to the existing construction.
Source map
Controlling documents
- admissibility 72 candidate phase edges and scale bridgeOpen controlling document →
- admissibility 71 observable resolution and phase connectivity gateOpen controlling document →
- programme lane expansion 37 the five coordinate observable map needs bottom weak and neutrino compassesOpen controlling document →