Carrier: F_151 x F_5, encoded by 5*x+u. QR/NQR fiber extension. Base operation on F_151: x o y = 60x + 92y (mod 151), where beta=59 is a primitive 5th root and both -1 and beta+1 are quadratic non-residues. For d=y-x: the fiber law is 2u+4v (mod 5) when d=0, right projection v when d is a nonzero quadratic residue, and -u-v (mod 5) when d is a non-residue. Direct check of the 755x755 table: Eq 677 and Eq 255 hold; fully idempotent; left-cancellative; not right-cancellative; nonmedial. Right-cancellation witness: 15*0=145=16*0. Medial witness: (0*0)*(1*5)=40, while (0*1)*(0*5)=41. This is not a direct product: the fiber operation depends on the QR/NQR class of the base difference.
omegaestable · 2026-08-17 04:14:21