IndisputableMonolith.Verification.RecognitionStabilityAudit.RStoRL

declarations in this module (51)

• structure MoralState L63
• structure VirtueAction L85
• def zero L93
• def norm L96
• def scale L100
• def add L104
• def virtueNames L108
• def interpret L125
• def energyCost L129
• def satisfiesTemperance L133
• def SigmaFeasible L143
• structure LACompletion L160
• def identity L179
• def phiScale L187
• structure AuditResult L199
• def lexBetter L222
• structure LexicographicSelector L252
• def selectByLex L261
• def filterFeasible L271
• structure GibbsPolicy L294
• def weight L305
• def partitionFn L309
• def prob L314
• def freeEnergy L321
• def default L326
• def cool L332
• def warm L340
• structure EightTickCadence L359
• def totalValue L368
• def maxHarm L373
• def sigmaClosed L379
• def totalEnergy L383
• def satisfiesTemperanceWindow L387
• def exercisedPatience L393
• structure RSEnvironment L410
• def step L427
• def selectAction L432
• def SatisfiesConsent L445
• def HarmBound L451
• structure ActionConstraints L454
• structure ParasiticPattern L469
• def parasitismScore L480
• def parasitismThreshold L486
• def isParasitic L489
• theorem virtueAction_norm_nonneg L495
• theorem virtueAction_zero_norm L500
• theorem virtueAction_scale_norm L505
• theorem lexBetter_irrefl L517
• theorem gibbs_weight_pos L522
• theorem gibbs_partitionFn_pos L528
• theorem eightTick_value_finite L546