I.R44 — Lean Bayesian Status

Boolean fragment formalized in TauLib.Logic.BooleanRecovery. Bayesian extension (tau-Bayesian states, factorization, witness pair functor) is research program, not yet in Lean.