τ-Photon

The τ-photon is the unique massless boundary character of the EM (B-)sector: a phase-quantum mode with no T²-fiber rest-mass content, propagating as a null transport on the boundary algebra of the τ³-arena and emerging as a β-decay byproduct alongside the proton-electron pair.

Categorical invariant. Massless boundary character of the EM (B-)sector; phase-quantum mode; null transport on the boundary algebra.

Primary registry anchor: IV.P35

Supporting items: IV.P50, IV.P341, IV.P47, IV.L03, IV.T34

1. IV.D12 — Particle Kind: a particle is a stable defect bundle on the T² fiber
2. IV.P341 — Photon as B-sector carrier: the EM-sector boundary mode
3. IV.P35 — Photon as Boundary Character — unique massless mode of the boundary algebra
4. IV.P50 — Photon Uniqueness — no second massless boundary character exists
5. IV.P47 — Photon-Wave Identity — the photon and the EM wave are the same object
6. IV.L03 — Photon Phase Quantum Law fixes the per-mode phase quantum
7. IV.T34 — Photon Propagation Speed — boundary null transport gives c

Lean modules referenced: TauLib.BookIV.Electroweak.PhotonMode, TauLib.BookIV.Electroweak.TauMaxwell

Numerical value: 0 ± 0 kg

Calibration anchor: PG-P01-neutron

Calibration chain:

1. Boundary character (massless by structural derivation, IV.P35)
2. c (propagation speed) anchored via dimensional bridge to m_n

Manuscript reference: manuscript-sources/book-04/part01/ch05-photon-null-transport.tex

Status: Formalized

Module: TauLib.BookIV.Electroweak.PhotonMode

Lean kind: theorem

Lean symbol: PhotonMode

Related glossary entries

• PG-P01-neutron τ-Neutron
• PG-P02-proton τ-Proton
• PG-P03-electron τ-Electron

Referenced by

• PG-P11-z-boson τ-Z Boson