The case

A stipulated toy, not a theory of communication. An observed response Y ∼ N(ab, 1), where a is the strength of an attempted communicative influence and b the responsiveness of the receiving process. The distribution depends only on the product ab.

  • Same distribution. (a, b) = (0, 1), no attempt and a responsive receiver, and (1, 0), an attempt and an unresponsive receiver, both give N(0, 1), and so does every point on the two axes.
  • Divergence. Against the reference N(0, 1), K(a, b) = D_KL = ½a²b².
  • Fisher matrix. The score is (y − ab)(b, a), so G(a, b) = [[b², ab], [ab, a²]]: determinant zero everywhere, rank at most one, zero at the origin. The regular asymptotics, which need G invertible (THEORY-082), fail on the axes.
  • Learning coefficient. For a prior smooth and positive near the origin, ∫ exp(−n a²b²/2) π(a, b) da db ≍ (log n)/√n, so λ = ½ with multiplicity m = 2. The free energy grows as ½ log n − log log n, not as the regular (d/2) log n = log n (THEORY-087).
  • Intervention. Change b with a fixed. At (0, 1) the response stays N(0, 1); at (1, 0) it moves to N(b′, 1). An intervention on the receiver separates what no number of ordinary observations does.

What it can show

That a missing response is compatible with an absent attempt and with an unresponsive receiver, that the nominal parameter count overstates the model’s complexity there, and that the distinction is recoverable by intervention (CLAIM-407).

What it cannot show

That the two settings are different communicative acts. Whether “an attempt that was not taken up” is an act at all is a question for the account of communicative kinds (TERM-040), not for the likelihood.

Note of 2026-10-31: the same λ, different multiplicity

A3 of the exchange “Analyze nucleation concepts” rebuilt this case as gradient flow on L = ½(uv − 1)² and added a contrast, rechecked. With a nonzero target the true set ab = c ≠ 0 is a smooth curve, with λ = ½ and m = 1. At the target 0 the true set is the crossing ab = 0, with λ = ½ and m = 2. So λ alone does not identify the geometry of the optimal set; the multiplicity separates them. A14 gave a variant for a three-factor probe Y ∼ N(q²c₁c₂, σ²) on a box. When the true response is zero, λ = ¼ and m = 1, from the q⁴ term. When it is positive, λ = ½. A15 gave the Bernoulli version, σ(uv), with the same pair of values as this case. The singularity is the probe’s and the parameterization’s, as this case already says (“What it cannot show”).