Independent audit: Optimal Bayesian Stopping for Efficient Inference of Consistent LLM Answers

This bundle audits the five anchored claims for the current paper revision. Each claim has one decisive verdict and its own evidence page. The audit combines equation-level checks, exhaustive finite-state checks, and bounded reaggregation of the official FEval-TTC responses.