Hick: RT = c + d·log₂(N+1); RT(N=1)=c+d, RT(N=3)=c+2d, RT(N=7)=c+3d; slope/bit = d

Sympy-exact symbolic witness of the Hick-Hyman law choice-RT canonical form and its integer-log₂ anchors. Setup: choice-set size N, intercept c, slope-per-bit d — all positive symbols. Hick law: RT = c + d·log(N+1)/log(2) (sympy…