What the pricing templates do not price

En02-A's one-shot environment and register accounting is a task ledger, not an entropy coefficient. Only its supplied labels and statements are attributed here; no unsupplied mesh formula is invented CheungEn02A.

En02-B's tree result prices a specified decoder module:

with its stated gate, depth, and record bounds CheungEn02B ({thm:tree}). These are decoder resources, not a PEPS virtual dimension, a boundary collar width, or an entropy charge.

The earlier Oai283-A development normalizes a full-diamond allowance $1/2$ as a half-diamond allowance $1/4$. That normalization is correct but gives none of $t,g_1,K,\delta$ in Theorem thm:terminal Oai283Draft.

The plan's phrase “the only missing number” requires correction. Within the documentary conclusion, $C$ is existential. Within this audit, the derivation and quantitative uniformity of the external proof stages also remain unverified. An unspecified constant is not the sole outstanding proof obligation.