IndisputableMonolith.Holography.KeystoneFactorThree

declarations in this module (11)

• theorem factor_three_is_ledger_forced L68
• theorem density_ratio_is_three L75
• def TotalEntropyBekensteinBound L90
• theorem record_reading_saturates L97
• theorem microstate_reading_violates L106
• theorem keystone_selects_record_reading L117
• theorem violation_is_scale_free L126
• theorem violation_survives_unit_conversion L134
• theorem microstate_chain_contradicts_bound L148
• theorem record_chain_saturates_bound L173
• theorem keystone_certificate L195