IndisputableMonolith.Verification.CalibrationPolicy

declarations in this module (15)

• structure DimensionlessPrediction L48
• def dimensionlessPredictions L57
• structure SIAnchor L69
• def hbar_anchor L82
• structure SIAnchoredPrediction L89
• inductive CalibrationMode L102
• def currentCalibrationMode L111
• def canMakeSIPredictions L115
• def dimensionlessOnlyClaim L123
• def singleAnchorClaim L129
• def calibratedModules L166
• structure CalibrationCompliance L173
• def quarkMassCompliance L178
• def neutrinoCompliance L183
• def electronMassCompliance L188