Fractional CR-Sublattice

The τ-fractional CR-sublattice Λ_CR^q is a sub-lattice of the strong-sector CR-address lattice with rational denominator q — the categorical home of fractional charges in confined regimes. It is the τ-native explanation of why quark charges appear in thirds: the underlying CR-address structure carries a q = 3 sublattice that becomes apparent inside the strong-sector confinement boundary.

Categorical invariant. Rational-denominator sublattice of the strong-sector CR-address lattice; the categorical seat of fractional confinement charges.

Primary registry anchor: IV.D158

Supporting items: IV.D52, IV.D74, IV.D169

1. I.K0 — Universe Postulate
2. IV.D52 — CR-Address: categorical address space
3. IV.D74 — Address resolution: how addresses parse
4. IV.D169 — Strong configuration space
5. IV.D158 — Fractional CR-sublattice Λ_CR^q with rational denominator q

Lean modules referenced: TauLib.BookIV.Strong.Confinement

Calibration anchor: PG-P01-neutron

Calibration chain:

1. CR-address lattice (categorical)
2. Rational denominator q (categorical, q = 3 for quark charges)
3. Confinement boundary: charges only fractionalize inside the strong sector
4. External charges are always integer multiples of e (recovered via β-decay)

Manuscript reference: manuscript-sources/book-04/part04/ch30-confinement-admissibility.tex

Status: Formalized

Module: TauLib.BookIV.Strong.Confinement

Lean kind: structure

Lean symbol: FractionalCRSublattice

Related glossary entries

• PG-P01-neutron τ-Neutron
• PG-O07-finite-stage-strong-vacuum Finite-Stage Strong Vacuum