4095 — A Third Prime Falsifies Blind Rational Reconstruction of the Barcode Row
Status
Established for the first source-labelled first-death row of the interaction-net barcode.
Attempted reconstruction
Entry 4089 established a two-prime stable labelled support skeleton at
The twenty nonzero coefficients of the first first-death row were combined by CRT. Standard symmetric rational reconstruction used modulus
and height bound
Fourteen of twenty coefficients produced apparent rational candidates.
Hostile third prime
The exact source construction was repeated at the independent prime
It reproduced the quotient ranks
kernel profile
and emergence rank .
The same source-labelled first-death row was then compared with the fourteen two-prime rational candidates.
Only one candidate survived reduction modulo : the normalization coefficient .
Thus
two-prime candidates survived the independent prime.
Three-prime attempt
Using all three primes raises the modulus to
and the symmetric height bound to .
Even then, only twelve of twenty coefficients admit bounded rational reconstruction. The row is not completely reconstructed.
Narrow conclusion
Stable labelled support does not supply coefficient-height bounds.
Blind CRT plus symmetric rational reconstruction is unreliable here: thirteen of fourteen plausible two-prime coefficients were false.
Therefore the characteristic-zero barcode cannot be recovered responsibly by accumulating modular samples without a source-derived denominator or height theorem.
Surviving architecture
The evidence now separates three layers:
- the labelled barcode skeleton is stable across good primes;
- finite-field coefficients are prime-dependent presentations of that skeleton;
- characteristic-zero coefficients require an independently derived arithmetic lattice or exact source solve.
Next legitimate computation
Choose one first-death class by its frozen source labels and derive its relation directly over , using fraction-free elimination or a source-derived determinant/minor formula.
The result must then be reduced modulo all three primes and match the exported rows projectively.
No further prime should be added before that exact arithmetic structure is specified.