SafetyRequirements

formal source

  93/-! ## Safety Requirements -/
  94
  95/-- Nautilus safety requirements (from NTL-008/018). -/
  96structure SafetyRequirements where
  97  has_watchdog : Bool
  98  has_overcurrent_protection : Bool
  99  has_overvoltage_protection : Bool
 100  has_thermal_protection : Bool
 101  has_loss_of_load_detection : Bool
 102  has_deterministic_shutdown : Bool
 103  all_satisfied :
 104    has_watchdog = true ∧
 105    has_overcurrent_protection = true ∧
 106    has_overvoltage_protection = true ∧
 107    has_thermal_protection = true ∧
 108    has_loss_of_load_detection = true ∧
 109    has_deterministic_shutdown = true
 110
 111/-- The canonical safety configuration. -/
 112def fullSafety : SafetyRequirements where
 113  has_watchdog := true
 114  has_overcurrent_protection := true
 115  has_overvoltage_protection := true
 116  has_thermal_protection := true
 117  has_loss_of_load_detection := true
 118  has_deterministic_shutdown := true
 119  all_satisfied := ⟨rfl, rfl, rfl, rfl, rfl, rfl⟩
 120
 121end IndisputableMonolith.Superhuman.TechnologicalAccess