2 commits

Author	SHA1	Message	Date
allaun	6b649ad271	fix(dna): correct alphabet ordering ATGCBSPZ→ABCGPSTZ + proof cleanup ... Critical bug fix: dna_codec.py used biological base ordering (ATGCBSPZ) instead of ASCII-ordered spec ordering (ABCGPSTZ). This violated the core monotonicity axiom (int rank = lexicographic rank) that the entire monotone LUT pipeline depends on. Changes: - python/dna_codec.py: BITS_TO_BASE, HACHIMOJI_BASES, LATIN_TO_GREEK corrected to ABCGPSTZ ordering; encode_binary_vector parameter renamed bases_per_var; module docstring updated - tests/test_dna_codec.py: hardcoded byte→DNA expectations updated for new ordering (0xFF→ZZT, 0xd1→TPC); bases_per_var parameter name updated; 31/31 tests green - formal/CoreFormalism/HachimojiLUT.lean: replace fragile canonical_phases_preserved.2.2.2.2.2.1 chains with named obtain destructuring in pythagorean_position and contradiction_position - docs/UNIFIED_THEORY.md: add ground-truth caveat to epigenetic optimizer results table (n≥24 results are local optima, not verified global minima) Note: test_dna_nn.py has 4 pre-existing failures (Ising chain correlations) unrelated to this fix — dna_qubo_nn.py has its own base encoding and does not import dna_codec.py. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-06-22 23:20:16 -05:00
allaunthefox	5331d2cc4e	feat(dna): unified theory — DNA encoding, epigenetic computation, logarithmic vector spaces ... Derivation from first principles: 1. Hachimoji DNA encoding (8 bases, ASCII-ordered, monotone LUT) 2. Imaginary Semantic Time (observer-independent semantic axis) 3. Sieve observers with CRT reconciliation (mod ℓ projections) 4. Semantic mass (E - E_min, E_s = m · 8²) 5. Gap preservation theorem (cleanMerge_preservesGap from GraphRank.lean) 6. Epigenetic computation (bistability, spreading, memory, attractors) 7. Logarithmic vector spaces (Kritchevsky: log N is a geometric vector) 8. Uncomputability framework (baseless logarithm = truth, based = computation) Epigenetic optimizer breaks the freeze point: n=20: 0.7s (brute: 0.3s) n=24: 1.5s (brute: FROZEN) n=30: 3.4s (brute: FROZEN) n=50: 23.9s (brute: FROZEN) Files: docs/UNIFIED_THEORY.md — full theory derivation docs/HACHIMOJI_DNA_SYNTAX.md — formal syntax specification docs/EPIGENETIC_COMPUTATION.md — epigenetic optimizer docs/UNCOMPUTABILITY.md — logarithmic vector space framework docs/REDERIVATION.md — rederivation from first principles python/dna_*.py — implementation (codec, LUT, GPU, surface) tests/test_dna_*.py — 68 tests, all green Build: N/A (Python + Lean documentation)	2026-06-23 02:18:16 +00:00