Constraint-Lattice Decoding With Posterior Certificates for Auditable Long-Context Autoregressive Reasoning. JDMKD 2025, 15 (12), 1-17.