IndisputableMonolith.Verification.Knobs

   1import Mathlib
   2
   3namespace IndisputableMonolith
   4namespace Verification
   5
   6/-- Zero-knobs proof bundle export: lists core dimensionless proofs (discoverable). -/
   7@[simp] def zeroKnobsExports : List String :=
   8  [ "K_gate"
   9  , "cone_bound"
  10  , "eight_tick_min"
  11  , "period_exactly_8"
  12  , "dec_dd_eq_zero"
  13  , "dec_bianchi"
  14  , "display_speed_identity"
  15  , "gap_delta_time_identity"
  16  , "recognition_lower_bound_sat"
  17  ]
  18
  19end Verification
  20end IndisputableMonolith
  21