29. Quantitative grounding with finite retained memory

The likelihood-profile theorem identifies what an exact statistical memory must retain. It does not make its probability coordinates finitely representable. A rational posterior can acquire larger denominators after each update. Rounding those coordinates changes the object, so a finite-record theory needs a stated error, horizon, and observation model.