IndisputableMonolith.Verification.Track6FalsifierSensitivity

declarations in this module (17)

• def theoremGradeDiscriminatorSectors L52
• def rivalRowsCovered L56
• def falsifierRowsWithDatasetAttachments L59
• def rowsWithLikelihoodOrStatusRecords L63
• def guardedRingdownFamilies L67
• def guardedRingdownMappings L71
• theorem theorem_grade_discriminator_sector_count L74
• theorem rival_rows_covered_count L77
• theorem dataset_attachment_row_count L80
• theorem likelihood_or_status_row_count L83
• theorem guarded_ringdown_family_count L86
• theorem guarded_ringdown_mapping_count L89
• theorem guarded_ringdown_mapping_count_pos L92
• structure Track6FalsifierSensitivityCert L104
• def track6FalsifierSensitivityCert L139
• theorem track6FalsifierSensitivityCert_inhabited L159
• theorem track6_falsifier_sensitivity_one_statement L172