printConsistency

formal source

  62  IO.println ""
  63
  64/-- Print consistency checks section. -/
  65def printConsistency : IO Unit := do
  66  IO.println "┌─────────────────────────────────────────────────────────────┐"
  67  IO.println "│ Consistency Checks                                          │"
  68  IO.println "└─────────────────────────────────────────────────────────────┘"
  69  IO.println ""
  70  IO.println "  ✓ cone_cmin_consistent: c_min = (K_net·C_proj·C_eng)⁻¹"
  71  IO.println "  ✓ eight_tick_cmin_consistent: c_min = (K_net·C_proj·C_eng)⁻¹"
  72  IO.println "  ✓ cone_cmin_numerical: c_min = 1/2"
  73  IO.println "  ✓ eight_tick_cmin_numerical: c_min = 49/162"
  74  IO.println ""
  75
  76/-- Print probability bounds section. -/
  77def printProbability : IO Unit := do
  78  IO.println "┌─────────────────────────────────────────────────────────────┐"
  79  IO.println "│ Probability Bounds                                          │"
  80  IO.println "└─────────────────────────────────────────────────────────────┘"
  81  IO.println ""
  82  IO.println "  Coincidence probability for CPM constants matching RS:"
  83  IO.println "  • Number of independent constants: 4"
  84  IO.println "  • Precision of each match: 3 decimal places"
  85  IO.println "  • Upper bound: 10^(-12)"
  86  IO.println ""
  87  IO.println "  ✓ coincidence_negligible: probability < 10^(-10)"
  88  IO.println ""
  89
  90/-- Print example witness section (standalone CPM). -/
  91def printExamples : IO Unit := do
  92  IO.println "┌─────────────────────────────────────────────────────────────┐"
  93  IO.println "│ Example Witness                                             │"
  94  IO.println "└─────────────────────────────────────────────────────────────┘"
  95  IO.println ""