I.D106 — Tau-Bayesian State

A tau-Bayesian state S: Obj(tau) -> [0,1]_tau satisfying normalization, polarity coherence (factors through witness pair functor), and positivity. Natural substrate for Bayesian reasoning on Truth4.