Admissibility frontier · Edition 3

Expanded claim page · assertion 1 of 2

Why two is comparison and three is consistency

Interpretive mapTranslator

Organizes thought or workflow but is not evidence for a physical claim. moves a structure between mathematical, physical or ordinary languages.

Exact assertion

Two rulers can disagree, but the disagreement is only pairwise. Add a third ruler and one may compare 1 with 2, 2 with 3, and 3 back with 1. The final comparison can fail to return to the starting convention. Three is therefore the smallest cycle that can store a relational defect.

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 “One carrier, two faces, three relations”, section “Why two is comparison and three is consistency”. 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

moves a structure between mathematical, physical or ordinary languages.

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