Three Types and a Funeral for Your Inference Library

This is Part 1 of a series on Bayesian decision-theoretic agents. This post describes the Credence architecture as it stood in March 2026, when the system used the standard Kolmogorov definition of probability &mdash; measures over sample spaces. Since then, the foundation has been reconstructed around de Finetti&rsquo;s definition, where expectation (the prevision ) is the primitive and…