Admissibility frontier · Edition 3

Expanded claim page · assertion 1 of 2

The selector problem

Internally exhaustedWitness

Rearranging the present ingredients no longer addresses the missing datum. retains observation, preparation history, stakes and situated evidence.

Exact assertion

The algebra admits paired matter constructions related by conjugation. Symmetric endpoint-blind data cannot choose one member of the pair. Audits of CP, CPT, residual \(\mathbb Z_3\), boundary orientation, Yukawa phases, a sterile Majorana term and the index-three construction leave a continuous phase circle unfixed.

What this commits us to

The named internal candidates have been tested without supplying the missing datum. Progress requires a genuinely new input rather than another relabelling of the same data.

Logical anatomy

Scope

Chapter “The Furey interface”, section “The selector problem”. This is assertion 1 of 2 in that section.

Evidence posture

The cited audit records which present candidates were checked and the precise datum required to reopen the branch.

Research move

retains observation, preparation history, stakes and situated evidence.

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

Introduce a new covariant datum outside the audited candidate set, then show exactly how it reopens the stopped inference.

Deeper certificate

Calculation or obstructionInspect the symmetry argument, reopening datum and evidenceOpen certificate →

This specialized page exposes the underlying calculation or obstruction in more detail.

Source map

Controlling documents