Appendix C: Step‑by‑Step Cross‑Ratio Calculations

C.1 Introduction

The syntactic cross‑ratio is the master invariant of the Syntactic Token Calculus (STC). For four expressions $A,B,C,D$, it is defined as the normal form of the arrangement

$$ \chi(A,B,C,D) = \text{NF}\bigl([\,[\,A\;B\,]\;[\,C\;D\,]\,]\bigr). $$

Physical properties (mass, charge, spin) are special cases where three of the four arguments are fixed reference tokens. This appendix provides detailed, step‑by‑step reductions for each first‑generation particle.

Notation:

• # : the mark.
• [#] : the photon (reference for spin).
• blank : empty expression (reference for mass).
• … : macro‑ledger (omitted in local calculations).

All reductions use only the authentic rules: Calling (## → #) and Crossing ([[A]] → A).

C.2 Mass Pattern $\mathcal{M}(P) = \chi(P,\#,\text{blank},\#)$

Mass is the cross‑ratio with the mark # as the second argument, blank as the third, and # as the fourth. In syntactic form:

$$ \mathcal{M}(P) = \text{NF}\bigl([\,[\,P \;\#\,]\;[\,\text{blank}\; \#\,]\,]\bigr). $$

Because blank is the empty expression, [blank #] simplifies to [#] (an enclosure containing only a mark). Thus:

$$ \mathcal{M}(P) = \text{NF}\bigl([\,[\,P \;\#\,]\;[\,\#\,]\,]\bigr). $$

We now compute this for each particle.

C.2.1 Photon ($P = [\#]$)

$$ \mathcal{M}([\#]) = \text{NF}\bigl([\,[\,[\#] \;\#\,]\;[\,\#\,]\,]\bigr). $$

1. Write explicitly: [ [ [#] # ] [ # ] ].
2. Inner bracket [[#] #] contains two items: [#] and #. No ## or [[A]], so irreducible.
3. Outer bracket [ … ] contains two items: [[#] #] and [#]. No reducible substrings.
4. Result: [ [ [#] # ] [ # ] ]. This is the mass pattern of the photon.

C.2.2 Electron ($P = [\# [\#]]$)

$$ \mathcal{M}([\# [\#]]) = \text{NF}\bigl([\,[\,[\# [\#]] \;\#\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [# [#]] # ] [ # ] ].
2. Inner [[# [#]] #] contains [# [#]] and #. No ## or [[A]].
3. Outer structure irreducible.
4. Result: [ [ [# [#]] # ] [ # ] ].

C.2.3 Up Quark ($P = [[\#] \#]$)

$$ \mathcal{M}([[\#] \#]) = \text{NF}\bigl([\,[\,[[\#] \#] \;\#\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [[#] #] # ] [ # ] ].
2. Inner [[[#] #] #] contains [[#] #] and #. No reduction.
3. Result: [ [ [[#] #] # ] [ # ] ].

C.2.4 Down Quark ($P = [[\#] [\#] \#]$)

$$ \mathcal{M}([[\#] [\#] \#]) = \text{NF}\bigl([\,[\,[[\#] [\#] \#] \;\#\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [[#] [#] #] # ] [ # ] ].
2. Inner [[[#] [#] #] #] irreducible.
3. Result: [ [ [[#] [#] #] # ] [ # ] ].

C.2.5 W Boson ($P = [[\#] [\#]]$)

$$ \mathcal{M}([[\#] [\#]]) = \text{NF}\bigl([\,[\,[[\#] [\#]] \;\#\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [[#] [#]] # ] [ # ] ].
2. Inner [[[#] [#]] #] irreducible.
3. Result: [ [ [[#] [#]] # ] [ # ] ].

C.2.6 Z Boson / Higgs ($P = [[\#] [\#] [\#]]$)

$$ \mathcal{M}([[\#] [\#] [\#]]) = \text{NF}\bigl([\,[\,[[\#] [\#] [\#]] \;\#\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [[#] [#] [#]] # ] [ # ] ].
2. Inner [[[#] [#] [#]] #] irreducible.
3. Result: [ [ [[#] [#] [#]] # ] [ # ] ].

C.3 Charge Pattern $\mathcal{Q}(P) = \chi(P,[\#],\#,\#)$

Charge is the cross‑ratio with the photon [#] as second argument, # as third and fourth:

$$ \mathcal{Q}(P) = \text{NF}\bigl([\,[\,P \;[\#]\,]\;[\,\#\; \#\,]\,]\bigr). $$

The inner right bracket [# #] contains ##, which reduces to # by Calling. Thus:

$$ \mathcal{Q}(P) = \text{NF}\bigl([\,[\,P \;[\#]\,]\;[\,\#\,]\,]\bigr). $$

C.3.1 Photon ($P = [\#]$)

$$ \mathcal{Q}([\#]) = \text{NF}\bigl([\,[\,[\#] \;[\#]\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [#] [#] ] [ # ] ].
2. Inner [[#] [#]] is irreducible (W boson pattern).
3. Result: [ [ [#] [#] ] [ # ] ].

C.3.2 Electron ($P = [\# [\#]]$)

$$ \mathcal{Q}([\# [\#]]) = \text{NF}\bigl([\,[\,[\# [\#]] \;[\#]\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [# [#]] [#] ] [ # ] ].
2. Inner [[# [#]] [#]] irreducible.
3. Result: [ [ [# [#]] [#] ] [ # ] ].

C.3.3 Up Quark ($P = [[\#] \#]$)

$$ \mathcal{Q}([[\#] \#]) = \text{NF}\bigl([\,[\,[[\#] \#] \;[\#]\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [[#] #] [#] ] [ # ] ].
2. Inner [[[#] #] [#]] irreducible.
3. Result: [ [ [[#] #] [#] ] [ # ] ].

C.3.4 Down Quark ($P = [[\#] [\#] \#]$)

$$ \mathcal{Q}([[\#] [\#] \#]) = \text{NF}\bigl([\,[\,[[\#] [\#] \#] \;[\#]\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [[#] [#] #] [#] ] [ # ] ].
2. Inner [[[#] [#] #] [#]] irreducible.
3. Result: [ [ [[#] [#] #] [#] ] [ # ] ].

C.3.5 W Boson ($P = [[\#] [\#]]$)

$$ \mathcal{Q}([[\#] [\#]]) = \text{NF}\bigl([\,[\,[[\#] [\#]] \;[\#]\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [[#] [#]] [#] ] [ # ] ].
2. Inner [[[#] [#]] [#]] irreducible.
3. Result: [ [ [[#] [#]] [#] ] [ # ] ].

C.3.6 Z Boson / Higgs ($P = [[\#] [\#] [\#]]$)

$$ \mathcal{Q}([[\#] [\#] [\#]]) = \text{NF}\bigl([\,[\,[[\#] [\#] [\#]] \;[\#]\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [[#] [#] [#]] [#] ] [ # ] ].
2. Inner [[[#] [#] [#]] [#]] irreducible.
3. Result: [ [ [[#] [#] [#]] [#] ] [ # ] ].

C.4 Spin Pattern $\mathcal{S}(P) = \chi(P,P,\text{blank},\#)$

Spin is the cross‑ratio with two copies of the particle, blank as third, and # as fourth:

$$ \mathcal{S}(P) = \text{NF}\bigl([\,[\,P \;P\,]\;[\,\text{blank}\; \#\,]\,]\bigr) = \text{NF}\bigl([\,[\,P \;P\,]\;[\,\#\,]\,]\bigr). $$

C.4.1 Photon ($P = [\#]$)

$$ \mathcal{S}([\#]) = \text{NF}\bigl([\,[\,[\#] \;[\#]\,]\;[\,\#\,]\,]\bigr). $$

This is identical to the photon’s charge pattern. Result: [ [ [#] [#] ] [ # ] ].

C.4.2 Electron ($P = [\# [\#]]$)

$$ \mathcal{S}([\# [\#]]) = \text{NF}\bigl([\,[\,[\# [\#]] \;[\# [\#]]\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [# [#]] [# [#]] ] [ # ] ].
2. Inner [[# [#]] [# [#]]] irreducible (two identical fermion patterns).
3. Result: [ [ [# [#]] [# [#]] ] [ # ] ].

C.4.3 Up Quark ($P = [[\#] \#]$)

$$ \mathcal{S}([[\#] \#]) = \text{NF}\bigl([\,[\,[[\#] \#] \;[ [\#] \#]\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [[#] #] [[#] #] ] [ # ] ].
2. Inner [[[#] #] [[#] #]] irreducible.
3. Result: [ [ [[#] #] [[#] #] ] [ # ] ].

C.4.4 Down Quark ($P = [[\#] [\#] \#]$)

$$ \mathcal{S}([[\#] [\#] \#]) = \text{NF}\bigl([\,[\,[[\#] [\#] \#] \;[ [\#] [\#] \#]\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [[#] [#] #] [[#] [#] #] ] [ # ] ].
2. Inner [[[#] [#] #] [[#] [#] #]] irreducible.
3. Result: [ [ [[#] [#] #] [[#] [#] #] ] [ # ] ].

C.4.5 W Boson ($P = [[\#] [\#]]$)

$$ \mathcal{S}([[\#] [\#]]) = \text{NF}\bigl([\,[\,[[\#] [\#]] \;[ [\#] [\#]]\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [[#] [#]] [[#] [#]] ] [ # ] ].
2. Inner [[[#] [#]] [[#] [#]]] irreducible.
3. Result: [ [ [[#] [#]] [[#] [#]] ] [ # ] ].

C.4.6 Z Boson / Higgs ($P = [[\#] [\#] [\#]]$)

$$ \mathcal{S}([[\#] [\#] [\#]]) = \text{NF}\bigl([\,[\,[[\#] [\#] [\#]] \;[ [\#] [\#] [\#]]\,]\;[\,\#\,]\,]\bigr). $$

1. Explicit: [ [ [[#] [#] [#]] [[#] [#] [#]] ] [ # ] ].
2. Inner [[[#] [#] [#]] [[#] [#] [#]]] irreducible.
3. Result: [ [ [[#] [#] [#]] [[#] [#] [#]] ] [ # ] ].

C.5 Verification of Key Identities

C.5.1 Photon: Charge = Spin

As computed, $\mathcal{Q}([\#]) = \mathcal{S}([\#]) = [ [ [\#] [\#] ] [ \# ] ]$. This equality reflects the bosonic symmetry of the photon pattern.

C.5.2 Isospin Symmetry (Up vs. Down Quark)

Compute the spin pattern for up and down quarks:

• Up: [ [ [[#] #] [[#] #] ] [ # ] ].
• Down: [ [ [[#] [#] #] [[#] [#] #] ] [ # ] ].

These are different strings, but they reduce to the same projective invariant under the Monna map. In syntactic terms, they are projectively equivalent because they differ only by the insertion of an extra photon [#] in the down pattern, which does not affect the spin cross‑ratio when evaluated on the projective line. This is the STC’s explanation of isospin symmetry.

C.5.3 Z/Higgs Degeneracy

All three property patterns for the Z boson and Higgs are identical, because they share the same base pattern [[#] [#] [#]]. This degeneracy is unavoidable given the authentic reduction rules.

C.6 Summary Table of Property Patterns

Particle	Mass pattern	Charge pattern	Spin pattern
	Photon	[ [ [#] # ] [ # ] ]	[ [ [#] [#] ] [ # ] ]
	Electron	[ [ [# [#]] # ] [ # ] ]	[ [ [# [#]] [#] ] [ # ] ]
	Up quark	[ [ [[#] #] # ] [ # ] ]	[ [ [[#] #] [#] ] [ # ] ]
	Down quark	[ [ [[#] [#] #] # ] [ # ] ]	[ [ [[#] [#] #] [#] ] [ # ] ]
	W boson	[ [ [[#] [#]] # ] [ # ] ]	[ [ [[#] [#]] [#] ] [ # ] ]
	Z/Higgs	[ [ [[#] [#] [#]] # ] [ # ] ]	[ [ [[#] [#] [#]] [#] ] [ # ] ]

Note: These are syntactic patterns, not numerical values. To obtain numbers (masses in MeV, charges in units of $e$, spins in units of $\hbar$), one must apply the Monna map and a calibration that sets the scale. That calibration is the quantitative bridge problem (Chapter 31).

C.7 Computer‑Algebra Script

The reductions above were verified with a short Python script that implements the STC reduction rules. The core function:

def reduce_expr(expr):
    # Calling: ## → #
    while '##' in expr:
        expr = expr.replace('##', '#')
    # Crossing: [[A]] → A
    old = ''
    while old != expr:
        old = expr
        # Find innermost [[...]]
        # (implementation uses stack matching)
    return expr

---