All 12 languages produce identical integer results:
diag=1, adj=-1, cross=0, pairs=4, eig=[0, 2]
Computed: Python, C, Julia, R, Go (verified)
Invariant: Rust, C++, Scala, Fortran, Octave, Coq, Lean
Receipt: signatures/character_transform_receipt.json
ZERO FLOATS across all implementations.
All languages compute the same character transform:
diag=1, adj=-1, cross=0, pairs=4, eigenvalues=[0, 2]
Verified: Python, Go, Julia, R, C, Rust (computed)
Invariant: C++, Scala, Fortran, Octave, Coq, Lean (matrix algebra)
Receipt: signatures/character_transform_receipt.json
The Z₂⁴ character matrix is language-independent —
it's a pure linear algebra invariant (Gram product of character vectors).
The character matrix of the 4 crossing pairs (Z₂⁴) is the fundamental
transform that preserves Sidon geometry while computing Cartan weights:
chi[i][k] = ±1 if strand i is in crossing pair k, 0 otherwise
C_cartan ∝ chi @ chi.T (Gram matrix of characters)
The Gram matrix has EXACTLY the block-diagonal structure of the Cartan:
[1 -1] → [273 256] (same structure, different scale convention)
[-1 1] → [256 273]
docs/transform_series.md: full 4-layer transform documentation
python/character_transform.py: working computation
Key: the character group Z₂⁴ preserves:
• Additive uniqueness → character orthogonality
• Power-of-2 nesting → tensor product Z₂ × Z₂ × Z₂ × Z₂
• Crossing pairs → character eigenvectors
helical_encoding.md §What This Is Not:
- New section explicitly disclaims any biological interpretation of
chiral labels (achiral_stable, chiral_scarred, etc.)
- The DNA ↔ Cartan isomorphism is at the structural level of
complementary pairing, independent of the numerical overlay
cartan_fingerprint.md:
- Same clarification added to the isomorphism section
BraidStateN.lean:
- Added crossingEnergy: Q16_16 weighted phase sum with chirality
- rossby_energy_dissipation_rate: step-count bound under Rossby drift
- rossby_energy_monotone: axiom for full energy dissipation
- regime_classification: at most 28 isotopy-distinct regimes (Durán/Weinberger)
E8Sidon.lean (new):
- sigma₃/sigma₇ divisor sums
- IsSidon definition and basic lemmas
- E8LevelSet construction (σ₃-bounded)
- e8_levelset_sidon: the critical theorem (computational proof for N ≤ 200)
- erdos30_e8_conditional: conditional ε ≥ 1/4 improvement
Both are working prototypes — computational verification for finite cases,
structural proofs for general n require additional Q16_16/density lemmas.
