Numerical global Y/Z-rate floors for all six exact released orientations

import Definitions.Def_mme_released_global_yz_certificate
import Definitions.Def_mme_released_global_frame_data
import Definitions.Def_mme_global_CW_joint_start_data
open BigOperators MME MME.TensorObj MME.ProfiledCW MME.ReleasedGlobal MME.ReleasedGlobalNumeric MME.ReleasedGlobalYZ MME.MoreAsymmetryExactSeed MME.RegionRate MME.RecursiveThinSplit MME.GlobalCW MME.RecursiveYZ
open scoped Classical
set_option autoImplicit false
set_option maxRecDepth 3000
universe u

theorem mme_released_global_yz_rate_floor (o : Fin 6) (i : Fin 2) :
    (rateFloor o : ℝ) ≤ (profile o).coarse (yzMode i) 0 +
      (profile o).words (yzMode i) 0 - (profile o).compat i 0 := by
  sorry