def definition def or abbrev

`structuralSafetyCert`

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

formal statement (Lean)

  38noncomputable def structuralSafetyCert : StructuralSafetyCert where
  39  five_failure_modes := failureModeCount

Definition body.

  40  safety_threshold := cert
  41
  42end IndisputableMonolith.Engineering.StructuralSafetyFromJCost

Lean names referenced from this declaration's body.

failureModeCount in IndisputableMonolith.Engineering.StructuralSafetyFromJCost decl_use
StructuralSafetyCert in IndisputableMonolith.Engineering.StructuralSafetyFromJCost decl_use
failureModeCount in IndisputableMonolith.Governance.InstitutionalFailureFromJCost decl_use
failureModeCount in IndisputableMonolith.Materials.FatigueFractureMechanicsFromJCost decl_use
failureModeCount in IndisputableMonolith.Sociology.GovernanceDesignFromConfigDim decl_use