ψ' : Updated judgment state from disputes extrinsic. GP §10. Processes verdicts, culprits, and faults.
7.6. Judgments (§10)
def
Jar.updateJudgments [Jar.JamConfig] (psi : Jar.JudgmentsState) (d : Jar.DisputesExtrinsic) : Jar.JudgmentsStateJar.updateJudgments [Jar.JamConfig] (psi : Jar.JudgmentsState) (d : Jar.DisputesExtrinsic) : Jar.JudgmentsState