An AI-Assisted Solution to the Signed BAR Conjecture: Uniqueness in the Harrison–Reiman Class and a Completely-𝒮 Class Obstruction

Published in arXiv preprint, 2026