판 이력 — Library Reachability in LSR-Synth: How Anti-Memorization Design Changes the Measurement of Symbolic Discovery | AIChainDay