REPAIR: same four entry identities, values, uncertainty intervals and generator output; labels/captions/comments consistent
Decimal exponentiation control: exp(log(2)) agrees with 2 within 1e-65
source log interval exponentiated independently: ['8.346616941015704128864008111158086537361819374243565926995076927350371', '8.346658674204742093035419030670144061784767233911781874019450398819296']
Arb precision repeat: 192 and 384 bits give identical written interval
independent published estimates: all four selected intervals contained in earlier independent estimates; bond and cubic series values read as quoted by HNG
newer square estimates: non-overlap confirmed; neither selected, both contained in retained older estimate
published rigorous site bounds and elementary size bounds: passed
enumeration controls: one-dimensional site and bond counts all equal 1
square exact site enumeration: {1: 1, 2: 2, 3: 6, 4: 19, 5: 63, 6: 216, 7: 760, 8: 2725}
square bond enumeration, both algorithms: {1: 2, 2: 6, 3: 22, 4: 88}
sc exact site enumeration: {1: 1, 2: 3, 3: 15, 4: 86, 5: 534, 6: 3481}
sc bond enumeration, both algorithms: {1: 3, 2: 15, 3: 95, 4: 681}
series extrapolation control: a_n=7^n/n returns exactly 7
independent series extrapolation [30, 35, 40, 45, 50, 55, 60]: 4.06256550736454024
independent series extrapolation [40, 45, 50, 55, 60, 65, 70]: 4.06256687331609736
precision limitation: extrapolation and source checks are heuristic; no final digits of any growth constant are certified
RESULT: PASS