--- J-cost Lattice Dispersion ---
k = (0.1, 0, 0)
|k| = 0.1
a   = 1

omega^2 (exact)  = 0.009991669444
omega   (exact)  = 0.09995833854
omega^2 (Taylor) = 0.009991669444

Taylor decomposition:
  O(0)_continuum           = +1.000000e-02
  O(a^2)_quartic           = -8.333333e-06
  O(a^4)_sextic            = +2.777778e-09

group velocity v_g = 0.9987502604
phase velocity v_p = 0.9995833854
|v_g - c| / c      = 1.249740e-03
|v_p - c| / c      = 4.166146e-04
correction fraction = 8.330556e-04

--- RS vs Experimental Lorentz Violation Bounds ---

Experiment                          Sector     E (GeV)      Expt Bound     RS Pred        OK?  
-----------------------------------------------------------------------------------------------
Fermi-LAT GRB 090510 (photon)       massless   31           1.00e-20       8.06e-37       YES  
MAGIC Mrk 501 (photon)              massless   1200         3.00e-19       1.21e-33       YES  
Hughes-Drever (electron)            massive    0.000511     1.00e-25       2.19e-46       YES  
IceCube (neutrino)                  massive    100          1.00e-23       8.39e-36       YES  
Clock comparison (proton)           massive    0.938        1.00e-27       7.38e-40       YES  

RS lattice MODEL prediction (all sectors): subluminal quadratic suppression,
delta ~ (E/E_Planck)^2 / 8 with E_Planck = 1.2209e+19 GeV.
Lean carries the ORDER (lvOrderOfMagnitude = 2, LorentzViolationBoundFromRS.lean);
the coefficient 1/8 and the a = Planck-length identification are MODEL choices.
There is no Lean theorem of exact c at finite k for any sector.
Any detection of LINEAR Lorentz violation O(E/E_P) falsifies this lattice picture.