This bundle evaluates the six anchored claims for “Learning U-Statistics with Active Inference” (arXiv:2605.11638v1). It contains the lane-authored program, fresh numerical outputs, compact public-data extracts, and judge-facing pages.
The pages report decisive VERIFIED or FALSIFIED outcomes only. The program uses streamed or bounded arrays and writes one summary row per sweep cell.