Admissibility frontier · Edition 3

Expanded claim page · assertion 1 of 2

Jordan freedom and the need for selectors

Interpretive mapAuditor

Organizes thought or workflow but is not evidence for a physical claim. checks assumptions, certificates, counterexamples and stopping rules.

Exact assertion

Jordan algebras organize observables and positive state cones particularly well. Their strength is also their danger: many embeddings, real forms and idempotent choices are available. Without a selector, the theory can describe a landscape of possible measuring frames without choosing the one realized.

What this commits us to

The claim supplies a map or analogy. It becomes a derivation only after an explicit carrier-preserving map and invariant are given.

Logical anatomy

Scope

Chapter “The exceptional horizon”, section “Jordan freedom and the need for selectors”. This is assertion 1 of 2 in that section.

Evidence posture

Treat the passage as organization or analogy unless a cited carrier-preserving map is supplied.

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

Provide an explicit map that preserves the claimed structure, then identify an observable consequence that the analogy alone did not supply.

Source map

Controlling documents