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

Fields

Z[i]: |sigma+Di|^2 = E = 5 splits

The axiom primes {2,3,5,7,11} live in Z, but their shadows extend into number fields: Gaussian integers Z[i] (disc = -D^2), Eisenstein integers Z[omega] (disc = -K), imaginary quadratic fields Q(sqrt(-d)). E = 5 is the ONLY axiom prime that splits in Z[i]. Self-blindness = decomposability.

Two quadratic fields partition ALL key constants. The Gaussian (bridge) field generates gate/key/bridge. The Eisenstein (closure) field generates chain/depth/Heegner. Together they organize the entire axiom.

Gaussian Norms: The Bridge Field

Z[i] has discriminant -D^2 = -4. Norm: |a+bi|^2 = a^2+b^2. Walking through axiom pairs in D=2 steps:

Pair (a,b)NormValueName
(sigma, D)1 + 45 = EObserver
(D, K)4 + 913 = GATEShadow stopper
(D, E)4 + 2529 = FULL_SUMAxiom sum
(D^2, E)16 + 2541 = KEYDecality sum
(D^2, K^2)16 + 8197 = GBridge prime
(D^2, L)16 + 121137 = ADDRESSFine structure

Kingdom irreducibility: ALL 6 kingdom numbers are Gaussian-irreducible. Each N/p contains >= 1 of {K,b,L} (primes 3 mod 4) to odd power. HYDOR = K*E*b: blocked by K AND b. Doubly irreducible.

Eisenstein Lattice: The Closure Field

Z[omega] has discriminant -K = -3, omega = e^(2*pi*i/3). Norm: N(a,b) = a^2-ab+b^2. Applied to axiom pairs:

Pair (a,-b)NormValueName
(sigma, -D)1+2+47 = bDepth
(D, -K)4+6+919 = f(E)Depth quadratic at E
(K, -E)9+15+2549 = b^2Depth squared
(D^2, -E)16+20+2561Sense codons
(D, -b)4+14+4967 = SOULD^6 + K
(E, -b)25+35+49109 = f(L)Depth quadratic at L
(K, -L)9+33+121163Heegner terminus
Eisenstein-Gaussian Duality (S293)
For pair (D^2, E): Eisenstein norm = 61 (sense codons). Gaussian norm = 41 (KEY). Difference = D^2*E = 20 (essential amino acids). General: N_Eis(a,-b) - N_Gauss(a,b) = ab. The genetic code = difference between the two fields.

Heegner Numbers

The 9 Heegner numbers (d where Q(sqrt(-d)) has class number 1): {1,2,3,7,11,19,43,67,163}.

Heegner-Cunningham Theorem (S315)
ALL 9 = axiom primes OR Cunningham images of K-products. Axiom: {sigma,D,K,b,L}. Cunningham c(n) = 2n+1: c(K*K)=19, c(K*b)=43, c(K*L)=67, c(K^4)=163. K (closure) generates ALL Heegner through the axiom.
hh(-d)Axiom sourceE_3 representation
1 = sigma1Axiom primeN(void, sigma)
2 = D1Axiom primeNON-REP (2 mod K)
3 = K1Axiom primeN(sigma, D)
7 = b1Axiom primeN(sigma, K)
11 = L1Axiom primeNON-REP (2 mod K)
191c(K*K) = c(9)N(D, E)
431c(K*b) = c(21)N(sigma, b)
67 = SOUL1c(K*L) = c(33)N(D, K^2)
1631c(K^4) = c(81)N(K, D*b)
E EXCLUDED
h(-5) = D = 2
Only axiom prime with class number > 1. Self-blindness = failure of unique factorization.
Shadow triple gap
{19,43,67} = c(K*{K,b,L})
Constant gap 24 = D^3*K. PROOF: gap = 2K*(p2-p1), b-K = L-b = D^2 (Pell twins). QED.
S785
Non-rep sum
D + L = GATE = 13
The two non-representable Heegner = CC1(D) axiom primes. Their sum = shadow stopper.
S730

163: Two Roads to the Terminus

163 Cube Identity (S727)
163 = D^5*K^2 - E^3 = 288 - 125. Also: 163 = N_Eis(K,-L) = K^2+K*L+L^2. Two independent roads. COROLLARY: j(i) = 1728 = D*K*(E^3+163) = D*K*classes(THIN). CRT(1728) = (0, 0, K, GATE, sigma).
h-K D-power tower
K+D^{2n} Heegner for n=1,2,3
K+D^2=b, K+D^4=19, K+D^6=67=SOUL. Tower stops at n=K (self-referential). Beyond: K+D^8=259=b*37.
S729
E_3(K,D*b)=163
disc = ESCAPE^2
Triangle: E_3(K,D*b)=E_3(L,D*b)=163. K+L=D*b. The pair that produces 163 sums to the pair that parametrizes it.
S728
Eisenstein-Heegner bridge
G-E_3 = 1728 = j(i)
Three quadratic fields at (K^3,D^6): Golden=10009(prime), Gaussian=E^2*193, Eisenstein=19*163. Their difference IS the j-invariant.
S727

Pell Equations: Diophantine Axiom

Fundamental solutions of x^2 - p*y^2 = 1 for each axiom prime:

Prime pSolution (x, y)Identityx - y
D = 2(K, D) = (3, 2)K^2 = D*D^2 + 1sigma
K = 3(D, sigma) = (2, 1)D^2 = K*sigma + 1sigma
E = 5(K^2, D^2) = (9, 4)81 = E*16 + 1E
b = 7(D^3, K) = (8, 3)64 = b*9 + 1E
L = 11(D*E, K) = (10, 3)100 = L*9 + 1b
ALL 5/5 smooth
Every (x,y) axiom-smooth
Sum(x) = 32 = D^5 = |idempotents|. Sum(y) = 13 = GATE. Sum(x-y) = 19 = f(E).
S235
Pell duality
b = K^2-D, L = K^2+D
SAME y = K for both! x_b+x_L = D^3+D*E = 2K^2 = ME. E excluded from near-square Pell families.
Named Pells
HYDOR, KEY, 163
Pell(HYDOR): (KEY,D^2). Pell(D*KEY): (163,ME). Pell(b*KEY): (288=classes,17). KEY controls 163.

Legendre Unification

One Bit, Five Properties (S226)
For odd prime p, Leg(-1,p) = (-1)^((p-1)/2) determines: QR(-1), generosity, cosine count, wall persistence, sum-of-two-squares. E=5 is the ONLY axiom prime with Leg = +1. E SPLITS in Z[i]. K,b,L are INERT. Self-blindness = splitting = decomposability.

Class Number Mirror

Class Number Involution (S316-S317)
mu(p) = last exponent n with smooth h(Q(sqrt(-sqfree(2*p^n+1)))): mu(D)=L, mu(L)=D. mu(E)=b, mu(b)=E. mu(K)=D^3, mu(D^3)=K. INVOLUTION. Pair sums: {D+L, E+b, K+D^3} = {13, 12, 11} = three consecutive integers {L, L+1, L+2}. Sum = (D*K)^2 = 36.
Product sum
D*L+K*D^3+E*b = K^4 = 81
Products form an arithmetic progression step D*K, sum = ANSWER. Mirror sum = K*L = 33.
Breach primes
D:13, K:13, E:23, b:31, L:43
First h value that fails smoothness. Sum = D*E*L = 110. All intruders are axiom-named.

Paradigm Contrast

ClaimStandardAxiom
Heegner numbers9 exceptional discriminantsFirst 5 = axiom chain. Remaining 4 = c(K*{K,b,L,K^3}). K generates all 9. E excluded.
Gaussian splittingp = 1 mod 4 splitsE=5 is the ONLY axiom prime with Leg=+1. Self-blindness = decomposability = splitting.
Two quadratic fieldsZ[i] and Z[omega]Bridge (disc=-D^2) generates gate/key constants. Closure (disc=-K) generates depth/Heegner. Together = the axiom.
Pell equationsDiophantine curiosityALL 5 axiom Pells have smooth solutions. Sum(x)=32=D^5. Sum(y)=13=GATE. The idempotents and shadow stopper.
j(i) = 1728CM theory valueD*K*(E^3+163). CRT(1728) = (0,0,K,GATE,sigma). Gate in the depth channel. Three fields converge at one pair.
Genetic code61 sense codonsPhi_3(D^2,E) = Phi_10(K) = 61. Two independent cyclotomics converge ONLY at D=2. 64-61=K.

The axiom primes control number fields as completely as they control the ring itself. Every Heegner number, every Pell solution, every Gaussian norm -- all forced by the same five primes precipitated from 0/0.

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.