`threeSubstrateCert`

definition

show as: view math explainer →

module: IndisputableMonolith.Foundation.ThreeSubstrateValidationCert
domain: Foundation
line: 68 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.Foundation.ThreeSubstrateValidationCert on GitHub at line 68.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

depends on

formal source

  65  photonic_rate : photonicCodeRate = 7 / 8
  66  f2_cube_connection : languageModelAlignmentFraction = (2^3 - 1 : ℚ) / 2^3
  67
  68def threeSubstrateCert : ThreeSubstrateCert where
  69  three_substrates := validationSubstrateCount
  70  fixed_point := shared_fixed_point
  71  descent := shared_descent
  72  symmetry := shared_symmetry
  73  lm_alignment := lm_fraction_eq
  74  photonic_rate := photonic_code_rate_rfl
  75  f2_cube_connection := seven_eighths_from_F2_cube
  76
  77end IndisputableMonolith.Foundation.ThreeSubstrateValidationCert

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.