2 commits

Author	SHA1	Message	Date
allaun	540236e617	feat(cartan-dna): Cartan-DNA bridge — derive spectral gap from encoder ... python/cartan_dna_bridge.py: - Constructs 8×8 Cartan crossing matrix (block diagonal: 4×2 pairs) - Each 2×2 block [273 256; 256 273] has eigenvalues {529, 17} - σ = 273/1792 = 39/256 (normalized diagonal weight) - τ = 256/1792 = 1/7 (normalized adjacent weight) - ∆ = (273-256)/1792 = 17/1792 (difference) - The min nonzero eigenvalue 17 IS the gap numerator docs/cartan_dna_derivation.md: - Step-by-step spec for modifying dna_codec.py - Replace thermodynamic weights with Cartan weights - Expected output and verification All derived values match the Lean reference exactly. The DNA encoder can now witness the spectral gap chain.	2026-06-30 20:06:38 -05:00
allaun	863da04f21	feat(avm-ports): port AVM ISA to all 12 scientific languages ... Lean (reference), Python, Rust, C, C++, Go, Julia, R, Scala, Fortran, Coq, Octave — all implementing the same AVM ISA v1 specification. Every port implements: - Full type universe: Q0_16, Q16_16, Bool - 11 primitives with floor division (Lean Int.ediv), V6 signed comparison, symmetric clamping [-2147483647, 2147483647] - 12 instruction opcodes with stack depth limit (1024) - Fuel-bounded run loop - Error handling (stack under/overflow, type mismatch, div-by-zero, jump OOB)	2026-06-30 17:42:38 -05:00