PRESERVED FAILED HAND-CONTROL PARAMETER
======================================
Actual execution: 2026-10-02 12:19:47 UTC.
Command: python3 -I -B check_heisenberg_factorization.py
Exit: 1, RuntimeError: B3(512) exact root-of-unity resultant control.
Failed checker SHA256 before correction:
7b2888ddda7fe6118d7b9789e760225a264b1a593a2a0d2d746b160252df550f

The factorization helper correctly evaluated the q=9 central-order r=3,
m=3 block at t=2^3=8. The separate hand-resultant check mistakenly used
the value512=2^9 belonging to the primitive r=9,m=1 block, whose B1 is1.
The failed source line was 't = 512', followed by the otherwise correct
general B3(t) expression. Its check message was
'B3(512) exact root-of-unity resultant control'.

The run reached this check only AFTER the independent full q=3 and q=5
regular determinants matched the derived factorization. The exception was
not bypassed. The repair changes the hand-control value to8 and its label
toB3(8), without changing the factorization or matrix generation.
The actual corrected run is recorded separately. This was a fixture-index
mix-up, not evidence against the analytic block formula or limit proof.
