module module

`IndisputableMonolith.Superhuman.SafetyInterlock`

show as: view Lean formalization →

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

generate prose now

depends on (5)

Lean names referenced from this declaration's body.

IndisputableMonolith.Constants module_import
IndisputableMonolith.Cost module_import
IndisputableMonolith.Gap45 module_import
IndisputableMonolith.Gap45.RecognitionBarrier module_import
IndisputableMonolith.Superhuman.Core module_import

declarations in this module (11)

theorem gap45_coprime L30
theorem gap45_lcm L31
theorem beat_fraction_irreducible L32
theorem beat_diff_prime L33
theorem sigma_nonzero_has_cost L37
theorem sigma_zero_optimal L41
def coherenceLevel L48
theorem coherenceLevel_pos L50
theorem max_coherence_at_balance L55
theorem power_ethics_same_axis L62
theorem weaponization_structurally_impossible L71