Programmes
p*: certifiable active inference
The free energy principle's standard derivation lets one distribution play both the agent's model and the world, so a wrong model has nowhere to show up. Hold the two apart. How much free energy does an agent then pay for being wrong about the world, and how much for being wrong about what its own model implies? How tightly can each be certified?