Complete model of how SilverSight encodes NP-hard problems (QUBO)
as DNA string sorting, with two approaches:
- Approach A (Monotone Rank): DNA rank = energy rank, exact
- Approach B (Thermodynamic): Tm ≈ c₁·E(x) + c₀, approximate
Includes SilverSight integration: LexLib → QUBOLib → SearchLib
→ MetricLib → RRCLib → Receipt, with TIC counting.
Scaling table from n=10 (1ms) to n=50 (1s).
