slime/include

共用算法头文件

• slime/solver_core.hpp：Java 整数回绕、48 位随机数、精确史莱姆判定、低位约束和原高位求解器。
• slime/upper_interval.hpp：输出差必要条件与高位区间求交，用于正约束（可稀疏图案）的普通候选分支；CLI 在发出结果前核对非史莱姆约束。

CLI 直接依赖这里。research/slime_solver_core.hpp 和原实验目录的 interval_solver.hpp 仅转发包含，以便已有研究程序、教学代码和历史复现命令继续工作。

保留现有命名空间及算法语义。精确验证支持 Java 重试，不代表普通候选生成已经包含拒绝尾部补扫。