Admissibility frontier · Edition 3

Expanded claim page · assertion 2 of 3

two currents require three calculations

Externally openCartographer

Needs an ingredient, calculation or observation not yet supplied by the declared model or evidence. maps territory, distinctions, dependencies and interfaces.

Exact assertion

The literature supplies the architecture but not the answer. Ward identities protect the Dirac B minus L row; general mixing theory says the nonconserved incidence insertion may still rescale, shear by the protected current and mix with closure sectors. Published ALP running is a useful cross-check for the broken incidence direction, but exact B minus L is derivative-null there, so the ALP route cannot realize the full two-port vector response. A Majorana mass removes the protected row and begins a separate branch.

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 “two currents require three calculations”. This is assertion 2 of 3 in that section.

Evidence posture

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

Research move

maps territory, distinctions, dependencies and interfaces.

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