Predecessor audit relevant to this extension

The extension does not rely on the following documentary or presentation defects of the supplied En10-A source:

1. Its relational-clock references should identify En09-A.tex, version 1, rather than a second En10-A.tex.

2. The final computational-ledger row ends with the incomplete sentence “Enter is an admitted primitive of”. A complete row should end, for example, “Enter is an admitted primitive of the declared operational library”, followed by its row terminator and closing rule.

3. “Rational probabilities” for the rational example means probabilities affine in $\theta$ with rational coefficients; their values are rational when $\theta$ is rational. The finite-count estimator values are rational in that example.

4. An $n$-shot decoder takes an $n$-record list or its declared histogram, not one isolated word. This manuscript uses that interface explicitly.

The finite likelihood needed here is re-derived in Lemma lem:law. These corrections neither supply physical identification nor change the predecessor's source-access assumptions.