Geometry
---
Status: proved exact classification
Date: 2026-08-15
Depends on: ES-SQUARE-COMPLETION-TRAP-GEOMETRY.md, ES-SQUARE-COMPLETION-BACKBONE.md, THEORY.md
Claim boundary: classifies square-completed minimal-depth realizability when the layer index itself is prime. It does not classify composite layer indices and does not prove universal Erdős--Straus coverage.
1. Setup
For every positive layer index a, put
and define the square-completed Type-II trap
Call a an exact completed depth if there exists a prime p whose first hit among the layers S_1,S_2,... occurs exactly at a.
The prime-modulus backbone already proves that every a with m_a prime greater than 7 is realized infinitely often, including by Mordell-hard primes.
Here we prove the converse when a itself is prime.
2. A prime-index completed layer has only three parameters
Let
Then
Therefore
Since
we have
and
Hence:
Lemma — three-point prime layer
For prime a,
3. Reduction along every modulus-ancestry edge
Suppose
and
Since both
and
subtracting gives
The modulus m_j is odd, so 4 is invertible modulo it. Thus
Reducing the three-point prime layer gives
But all three residues lie in the earlier completed layer S_j:
D=1gives-4;D=jgives
D=j^2gives
Therefore:
Theorem — prime-index ancestry absorption
If a is prime and
then
In fact the reduction is exactly the three canonical residues
Thus every modulus-ancestry edge into a prime-index completed layer is a complete direct shadow.
4. Every composite modulus 4a-1 has an earlier 3 mod 4 prime divisor
Assume now that
and
is composite.
Because
its prime factorization contains at least one prime factor
with odd total multiplicity.
Since m_a is composite, such a prime factor may be chosen with
Write
with
Then
and
By the prime-index ancestry theorem,
Therefore every candidate captured by layer a is already captured by the earlier layer j.
Hence:
Corollary — composite-modulus prime layers are structural gaps
If
then a cannot be a minimal square-completed depth for any integer, and in particular for any prime.
The entire layer is directly redundant.
5. Converse: prime modulus gives infinitely many exact first hits
If instead
ES-SQUARE-COMPLETION-BACKBONE.md applies the CRT, the neutral-residue theorem
and Dirichlet's theorem to produce infinitely many primes whose first completed hit is exactly a.
Those primes may all be chosen in the Mordell-hard class
6. Exact classification
Combining the two directions gives the main result.
Theorem — prime-index completed spectrum
Let a be prime. Then
Moreover, in the positive case the depth is realized by infinitely many Mordell-hard primes.
In the negative case the whole completed layer is directly shadowed by an earlier layer associated with any 3 mod 4 prime divisor of 4a-1.
7. Relation to the prime-modulus backbone
The prime-modulus backbone is therefore not merely a sufficient infinite family inside the completed spectrum.
Among prime-valued layer indices, it is complete.
The remaining completed-depth spectrum problem is entirely concentrated on composite layer indices:
This is a substantial sharpening of the spectrum geometry.
8. Why the completed layer makes the proof short
The theorem depends crucially on the square completion.
At a prime index a, the full Type-II square layer contains the three natural divisor parameters
which reduce along ancestry to
Those are automatically available in every earlier completed layer S_j.
In centered signed-box language, the prime layer is the one-dimensional box
and ancestry sends its three points directly into the canonical three-point subset of the earlier box.
This is the first exact theorem obtained by combining the new square-completed internal geometry with the old modulus-ancestry shadow framework.
9. Next theorem target
The natural next question is the composite-index analogue:
For which composite
adoes every completed signed exponent vector reduce into an earlier completed layer along some ancestry divisor of4a-1?
The prime-index theorem suggests separating the composite spectrum by the factorization of both
and
The most promising first families are:
- semiprime
a=uv, where the mixed region has low dimension; - prime powers, where
S_a=T_aand no mixed completion occurs; - indices whose modulus
4a-1has a small3 mod4prime divisor, giving a strong ancestry coordinate.