Deduplicate Recursive SMARTS Solves

[scal444]

When the same recursive SMARTS occurs multiple times at the same level, we should solve it once and broadcast rather than solving multiple times. We do that simply by mapping the pattern to multiple output bits. If that ever becomes a problem we could alias bits.

[greptile-apps]

Confidence Score: 5/5

The PR appears safe to merge, with no outstanding correctness, security, or repository-rule violations identified.

Summary

This PR deduplicates equivalent recursive SMARTS patterns at each nesting depth and broadcasts one computed result to every corresponding recursive-pattern bit.

• Uses depth-qualified SMARTS serialization to share device-side pattern molecules.
• Replaces single pattern IDs with masks representing equivalent occurrences.
• Precomputes per-query, per-depth entries for recursive preprocessing.
• Adds direct and end-to-end coverage for repeated flat and nested recursive patterns.

_{Reviews (2) · Last reviewed commit: "Deduplicate repeated recursive SMARTS wo..."}