Continue the Thread

Axiom Arcade
6 games at 60fps in pure .ax
Emergence
AND/XOR/MAJ produce Life=7
.ax Revolution
Ship of Theseus: .ax replaces everything
Bootstrap
sigma/sigma = sigma uniqueness

The Two Chains

c(n) = 2n + 1

The Cunningham map c(n) = 2n+1 is the simplest function that turns existence into observation: double and add one. Starting from sigma=1 and D=2, this one map generates ALL five axiom primes before the axiom's own products close the gate.

The Two Cunningham Chains

A Cunningham chain of the first kind starts from a seed and repeatedly applies c(n) = 2n+1, continuing as long as each result is prime:

CC1(sigma)
1 -> 3 -> 7 -> STOP
Length = K = 3. Stops at 15 = K*E. Elements: {sigma, K, b}.
S184
CC1(D)
2 -> 5 -> 11 -> 23 -> 47 -> STOP
Length = E = 5. Stops at 95 = E*19. Elements: {D, E, L, 23, 47}.
S184

Interleaved by size: sigma(1), D(2), K(3), E(5), b(7), L(11). The two chains alternate perfectly. Every axiom prime belongs to exactly one chain.

Cross-Chain Duality

Cross-Reference Theorem (S167, PROVED)
Each chain's first descendant names the other chain's length. CC1(sigma) produces K=3 at depth 1, and |CC1(D)| = E = 5 at depth 1 of CC1(D). Reciprocally: |CC1(sigma)| = K = 3. The two seeds define each other.

Both chains stop when their OWN products appear. CC1(sigma) stops at K*E = 15 -- the observer kills the closure chain. CC1(D) stops at E*19 = 95 -- the observer appears again. E is the universal stopper. The shadow chain breaks at 13 where s(13) = 6 = D*K = composite.

The Shadow Function

The inverse of Cunningham: s(p) = (p-1)/2. Each axiom prime shadows its predecessor:

Prime ps(p) = (p-1)/2NameStatus
K = 31sigmaPrime/unit
E = 52DPrime
b = 73KPrime
L = 115EPrime
136 = D*KCOMPOSITECHAIN BREAKS

The axiom is the longest initial prime segment where all shadows are prime or 1. At p=13, the shadow is 6 = D*K = composite. The gate shuts. Only 7 of 78,498 primes below 10^6 appear in axiom shadow trees (0.009%). E divides 38.5% of CC1 stopping values (expected 20%).

The (p-1) Ladder

Every axiom prime minus one equals D times its predecessor in the chain:

Primep - 1= D * ?Body part
K = 32DD^2+sigma = E -> fingers + thumb
E = 54D^2D*K+sigma = b -> joints + thorn
b = 76D*KD*E+sigma = L -> toes + protector
L = 1110D*ETerminal. L-1 = D*E = 10 fingers.
D-Generation Uniqueness (S326, PROVED)
Of 15 possible products p*q+1 where p,q are axiom primes, only D*{D,K,E}+1 = {E,b,L} are axiom primes. D is the SOLE generative bridge. No other prime creates axiom primes this way.

The Sum Identity

Why does the (p-1) column sum to 23 = CC1(D)? Four routes to the same number:

ExpressionValueReading
c(L) = 2*11+123Cunningham of protector
sum(p-1)23Axiom neighborhood sum
D^2*K + L12 + 11Trinity heart + protector
D+K+b+L2+3+7+11Axiom without observer
Neighborhood Sum Theorem (S962, PROVED)
sum(p-1) for axiom primes = c(L) = 23. Proof: sum(p) = D+K+E+b+L = 28. Subtract |axiom primes| = E = 5. Get 23. This equals c(L) because K+b = D*E = 10 (inner pair sum = outer pair product). Equivalently: K+b = (D-1)(L-1). The four non-observer primes sum to D*L+1 = c(L).

The observer E removes itself: sum(p-1) = sum(p) - E. Everything minus the observer reveals the Cunningham chain. Dually: sum(p+1) = sum(p) + E = 28+5 = 33 = K*L. The gap between the two sums = D*E = 2*E = the observer seen from both sides.

The Shadow Sum

The shadow function s(p) = (p-1)/2 maps each odd axiom prime to its predecessor:

s(K)=sigma, s(E)=D, s(b)=K, s(L)=E. Sum of shadows = sigma+D+K+E = 11 = L.

Shadow Sum Theorem (S962, PROVED)
The shadows of the four odd axiom primes sum to L. The protector IS the sum of all shadows. Therefore sum(p-1 for odd axiom) = 2*L = D*L. Adding (D-1)=1 for p=D: total = D*L + sigma = c(L) = 23.

Products tell the same story. Product(p-1) = 1*2*4*6*10 = 480 = D^5*K*E. Product(p+1) = 3*4*6*8*12 = 6912 = D^8*K^3. The neighborhoods are MADE of the axiom.

The Mirror Law

Mirror Law Theorem (S263, PROVED)
c(p) = 2p+1, so 2p = c(p)-1. Therefore D*p = -1 (mod c(p)). Each new axiom prime is born as the MIRROR of D times its predecessor. The Cunningham map IS the mirror operator.
ProductValuemod c(p)Mirror
D*D = D^24mod E=54 = -1 (mod 5)
D*K6mod b=76 = -1 (mod 7)
D*E10mod L=1110 = -1 (mod 11)

Mirror preservation: DATA-1 = 209 and lambda-1 = 419 both mirror ALL 4 inner channels. The axiom's named constants carry the mirror law in their structure.

Cunningham-Mersenne Identity

Mersenne Connection (S258, PROVED)
c^n(0) = 2^n - 1 = M(n) for all n >= 1. The Cunningham map applied to void generates Mersenne numbers. Proof by induction: c(0)=1=M(1). If c^k(0) = 2^k-1, then c^(k+1)(0) = 2*(2^k-1)+1 = 2^(k+1)-1 = M(k+1).

Axiom-smooth Mersenne exponents are ONLY n in {1, 2, 3, 4, 6}:

nM(n) = 2^n - 1Factorization
11sigma
23K
37b
415K * E
531NOT SMOOTH (31 is outsider)
663K^2 * b
124095Contains 13 = GATE enters

The smooth exponents {1,2,3,4,6} are exactly the proper divisors of lambda(DATA) = D^2*K = 12. The Cunningham chain, the Mersenne numbers, and the ring's lambda function are the same object seen from different angles.

The Smoothness Boundary

For each prime p, the SU(p) gauge group has p^2-1 generators. For axiom primes, these are always axiom-smooth (all factors in {D,K,E,b,L}). How far does this extend?

pp^2-1Smooth?Note
2 = D3 = KYESSU(2) = weak force
3 = K8 = D^3YESSU(3) = strong force
5 = E24 = D^3*KYESSU(5) = GUT
7 = b48 = D^4*KYESphi(DATA)
11 = L120 = D^3*K*EYESIcosahedral = E!/D
13168 = D^3*K*bYESGate prime
29840 = D^3*K*E*bYESD*lambda
31 = M_E960 = D^6*K*EYESLAST consecutive
371368 = D^3*K^2*19NO19=ESCAPE intruder
41 = KEY1680 = D^2*lambdaYESRecovery
71 = c(E*b)5040 = b!YESb factorial
Smoothness Boundary Theorem (S960+S962, PROVED)
p^2-1 is axiom-smooth for ALL primes from D=2 through 31 consecutively (L primes). First failure at p=37, the (D^2*K)-th prime. 31 = 2^E-1 = Mersenne(E) guards the boundary. The protector shields L primes. The trinity heart breaks the pattern.

Recovery primes punctuate the boundary: KEY=41 gives 1680=D^2*lambda (D^2 heartbeats), and 71=c(E*b) gives 5040=b! (depth factorial). The smoothness extends past the axiom's own primes, guarded by Mersenne and pierced by the trinity heart.

CRT(23) Palindrome

23 = D*L + sigma = 2*11 + 1 is the first excluded Cunningham prime (CC1(D) depth 3). Its CRT decomposition reads as a mirror:

CRT(23)
(sigma, D, K, D, sigma)
Palindrome: sigma-D-K-D-sigma. Closure (K) at center. Mirror around it.
S275
Position
23 = p_9 = p_{K^2}
The K^2-th prime IS the Cunningham boundary. The spider's web (K^2=9) sets the gate.
Biology
23 chromosome pairs
Also: 23 bronchial generations (Weibel), 23 spinal discs. D*L+sigma shapes anatomy.
Sophie Germain
D -> E -> L -> 23 -> 47
Four consecutive safe primes: E=2D+1, L=2E+1, 23=2L+1, 47=2*23+1.

Cunningham of Products

Apply c(n)=2n+1 to products of axiom primes. Every prime result is axiom-meaningful:

Productc(product)c^2-1Name
D*K = 613 = GATE168 = D^3*K*bSmooth
D*b = 1429840 = D*lambdaTwo heartbeats
K*E = 1531 = M_E960 = D^6*K*EMersenne(E)
K*b = 21431848 = D^3*K*b*LAll non-E channels
E*b = 35715040 = b!DEPTH FACTORIAL
D*K*E = 3061 = GRIEF3720c(DATA/b)
K*L = 3367 = SOUL4488c(sum(p+1))
Cunningham Product Theorem (S963, PROVED)
c(D*K)=GATE, c(K*E)=Mersenne(E), c(E*b)=71 with 71^2-1=b!=5040. GRIEF=c(DATA/b)=61. SOUL=c(K*L)=67. GRIEF+SOUL=128=D^b. The Cunningham map applied to axiom-prime products produces ALL major named constants.

The c(E*b) = 71 identity is remarkable: the Cunningham of observer*depth is a prime whose SU-dimension equals depth factorial. 5040 = 7! = D^4*K^2*E*b. The factorization uses four of five axiom primes (only L absent). And GRIEF+SOUL = D^b = 128 = the mirror count.

What Others See

Cunningham chainsCuriosities in number theory, no deep significanceTwo seeds (sigma, D) generate ALL five axiom primes. Cross-referencing lengths. Self-stopping.Shadow functionJust (p-1)/2, a standard mapDefines the axiom's boundary. Chain breaks at 13 where s(13)=6=composite. Gate = self-imposed limit.Mersenne numbers2^n-1, connection to perfect numbersc^n(0) = M(n). Smooth Mersenne exponents = divisors of 12 = D^2*K. Same lambda.Sophie Germain primesp and 2p+1 both prime, used in cryptographyCC1(D) IS a Sophie Germain chain of length E=5. The axiom's D-chain is the longest safe prime chain starting from 2.Prime generationSieves, probabilistic tests, no structureTwo deterministic seeds + one map + self-stopping = the complete axiom. No search needed.Sum of (p-1)No significance, just p-5sum(p-1) = c(L) = 23. K+b=D*E forces it. Observer removes itself. Four equivalent expressions.SU smoothnessp^2-1 smooth for small p, coincidenceExtends through L primes, breaks at trinity heart. Mersenne(E) guards boundary. Recovery at KEY.c(n*m)Just 2nm+1, no significancec(D*K)=GATE. c(E*b)->b!. c(DATA/b)=GRIEF. c(K*L)=SOUL. Every prime result is a named constant.

This work is and will always be free.
No paywall. No copyright. No exceptions.

If it ever earns anything, every cent goes to the communities that need it most.

This sacred vow is permanent and irrevocable.
— Anton Alexandrovich Lebed

Source code · Public domain (CC0)

Contributions in equal measure: Anthropic's Claude, Anton A. Lebed, and the giants whose shoulders we stand on.

Rendered by .ax via WASM DOM imports. Zero HTML authored.