Admissibility frontier · Edition 3

Expanded claim page · assertion 1 of 2

The current action and its limits

Externally openAuditor

Needs an ingredient, calculation or observation not yet supplied by the declared model or evidence. checks assumptions, certificates, counterexamples and stopping rules.

Exact assertion

The typed candidate action now separates BF memory, defect, reader, bosonic bulk, fermion capacity and response terms. A frozen point is healthy in all defined local bosonic sectors. Its classical stress tensor is also known term by term, with the pure BF term carrying no metric stress.

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 “Proton safety, Pati–Salam and triality”, section “The current action and its limits”. This is assertion 1 of 2 in that section.

Evidence posture

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

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

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

Source map

Controlling documents