Result review batch 17

Run python3 commutative_lrs_review.py from this directory. The checker uses only Python’s standard library and writes audit-output.json.

The commutative-polynomial-automata checks independently reproduce the factorial controls, all bounded derivative identities over unary and binary alphabets, the rising-factorial triangular basis, and the cusp-ring hostile example. The indexed-LRS checks cover rational-to-integer normalization, zeroness preservation, companion and block-matrix identities, small escaping prime certificates, and the hostile case showing why one global denominator clearing is insufficient.

These finite checks corroborate the displayed identities and boundary cases. The general algebraic and complexity claims continue to depend on their written proofs and cited primary sources.