[Autoplectic]

Summary

The generator-cap LP imposed reverse consistency on the joint moments (T_g(a, b) = sum G Gt) but forward stationarity only on the belief moments (y_h). Every generator state also satisfies forward stationarity multiplied by its own reverse belief:

T_h(a', b) = sum_{x, g, a : f(a, x) = a'} Gt[x, g, h, a, b]

This PR adds those rows; they are valid for every generator.

Effect at the same cost:

• Survey process ((1,1),(2,0),(1,0)): two-state cap 0.918 -> 0.907 at 600 nodes; coverage at pipeline budgets 1.2614 -> 1.2773.
• ((1,·),(2,0),(1,0)): coverage 1.1749 -> 1.1842.
• (2, inf): caps unchanged at exactly 1/2 and 3/4, and the exact certificate still verifies.
• Interleaved chain at 9/20: unchanged (its two-state cap stays at the joint-only mu_2).

Test plan

• New test_forward_joint_stationarity_tightens_the_two_state_cap (the functional generator stays below the cap; the cap is < 0.91).
• Generator-cap, window-spec, pipeline and phase-bound suites pass, including the exact RLL certificate.
• ruff.

Made with Cursor