Corpus construction_step active 2026-05-27T20:53:50+00:00
Corpus v3 · Construction step cid000037CNS0009activev1

Hyperfactorization and ABCD chart

Address geometry is made global by hyperfactorization.

Payload

Address geometry is made global by hyperfactorization. Every X≥ 2 receives a unique decomposition X=((A↑↑ C)^B)· D as a tower atom T(A,B,C)=(A↑↑ C)^B multiplied by a residual D. At this point divisibility and internal primality have already been earned. In the τ-statement, A is the largest internal prime atom (under idx, the largest prime divisor of X), C is the maximal tetration height of the A-tower factor, B is the residual tower exponent, and D has only internal prime factors strictly less than A. The resulting ABCD chart, written in later scalar notation as

:ℕ_≥ 2 to P×ℕ_≥ 1^3,

is injective and turns arithmetic objects into typed global addresses. This prevents number from collapsing into a flat additive/multiplicative background and preserves the tower structure needed for boundary polarity downstream.

Identifiers

  • Corpus ID cid000037
  • Primary alias CNS0009
  • Type Construction step
  • Status active
  • Visibility public
  • Version v1

Aliases & legacy IDs

S009

Release lines

corpus_v3_workingcorpus_v2

Relations

Appears in (1)

Version & History

  • v1 · 2026-05-10 imported from v2 construction spine steps 100

Status disclaimer

A Corpus Item page reports the program's current internal record for this item. It does not imply external verification, scientific consensus, or final proof unless explicitly stated. Read it together with its dependencies, formalization status, and the program's overall stance.

Save or share this page for inspection

Download a portable dossier, copy a reviewer note, or send this page to someone who can inspect it.

Email to expert