Masses Channel Distinction Color Orientation Is Second Distinction

The color channel's two axes

In particle physics, color charge is the property that governs how quarks interact via the strong force. It comes in three varieties, conventionally called red, green, and blue, and each quark carries one of them. The framework of Recognition Science, which models physical structure from a discrete record of events it calls a ledger, treats each gauge channel as carrying two distinct axes of information: presence and orientation. The theorem color_orientation_is_second_distinction establishes that for the color channel, the second axis, the up/down orientation, is a genuine two-sided datum.

What this means in plain terms: the framework proves that the two possible orientations of the color channel are provably different from each other. The proof, checked in the framework's machine-checked library of formal theorems, shows that the two equivariant coupling tables, the rules for how color charge interacts, are distinct. This is not a matter of convention or definition; it is a mathematical fact within the framework. The theorem states that the coupling dimension for one sector is not equal to the coupling dimension for the other sector.

The theorem is part of a larger counting argument. The framework's B-22 precedent establishes that a two-sided axis, like a balance between two states, counts as one degree of freedom, not two. The coherence exponent in that precedent is 3 spatial + 1 temporal + 1 balance = 5. If one counted each side of the balance as a separate degree of freedom, the exponent would be 6, which the framework proves is not the case. This precedent refutes the idea that the two sides of a distinction should be counted separately.

In Recognition Science, the theorem supports the model that each coupled gauge channel carries exactly two banked axes: presence and orientation. For the charge channel, presence means nonzero charge and orientation means the sign, positive or negative. For the color channel, presence means coupling to color and orientation means the up/down distinction. The theorem proves that this orientation is a real, two-sided datum, and the framework's model then counts it as one degree of freedom per channel.

The theorem does not claim that color charge itself has only two values. The three colors of quantum chromodynamics remain. It also does not claim that the up/down orientation is physically observable in the same way as the three color states. The theorem is about the internal structure of the framework's model, establishing that the orientation axis is a genuine distinction, not a redundant label. The model's identification of two axes per channel is a definitional choice, while the distinctness of the two orientations is the proved theorem.

/-- **THEOREM (the color channel's second axis is banked and free).** The
up/down orientation is a genuine two-sided datum: the two equivariant
coupling tables are provably distinct (`CouplingDimensionFromSector`). -/
theorem color_orientation_is_second_distinction :
    MassGenesis.couplingDimOfSector ≠ MassGenesis.couplingDimOfSector' :=
  MassGenesis.couplingDimOfSector_ne_couplingDimOfSector'

/-- **THEOREM (the B-22 precedent: one two-sided axis counts as ONE dof).**
The coherence exponent counts 3 spatial + 1 temporal + 1 balance = 5; the
two-sided balance symmetry contributes one axis. -/
theorem b22_counts_two_sided_axis_as_one : (3 : ℤ) + 1 + 1 = 5 := rfl

/-- **THEOREM (the sides-as-dofs reading is refuted by the precedent).**
Counting the two-sided balance as two dofs would give exponent 6, not the
banked 5. So the dof unit is the distinction axis, not the side. -/
theorem sides_as_dofs_breaks_b22 : (3 : ℤ) + 1 + 2 ≠ 5 := by decide

/-- The remaining model: a configuration dof is a distinction AXIS (B-22's
own counting), and each coupled gauge channel carries exactly the two banked
axes of Part II. The axes and the precedent are kernel-checked; the
identification is the model. -/
structure ChannelDistinctionModel where
  distinctionsPerChannel : ℕ
  distinctionsPerChannel_eq_two : distinctionsPerChannel = 2

What this page does not claim

The theorem does not claim that color charge has only two values. The theorem does not claim that the up/down orientation is directly observable in particle experiments. The theorem does not derive the number of colors from first principles.

Verify this page

Every tagged claim above names its theorem. To check one yourself rather than trust this page, elaborate the source module with Lean 4 and audit its axiom basis:

$ lake env lean IndisputableMonolith/Masses/ChannelDistinction.lean
expected axiom basis: [propext, Classical.choice, Quot.sound] (the Lean kernel's standard three; no RS-specific axioms)

A page whose claims cannot be reproduced this way does not ship. In production, every anchor links to the exact declaration in the public source release, and this block carries the build receipt for the page itself.

Derived articles

This page is generated by a question-recursion engine: the questions its answers raise become the next pages. The current agenda, with open targets marked red: