Stateless comparisons via an L1 collapse signature (structure-first). No storage.
Find whether Line 1 (target) appears inside Line 2 (dataset).