用途：在已从校验分析拿到校验算法、且算法可逆的前提下，为任意输入（用户名、机器码）生成合法序列号，用于分发、测试与验证；相比打补丁不修改目标文件，可避开自校验与签名问题。仅限自有软件、授权测试、CTF与研究环境，禁止未授权解锁与商业软件绕过，产物不得扩散。
主要能力：分析序列号格式（长度、字符集、分隔符、校验位位置）；对校验算法分类并判定可逆性，包括等值比较、算术/XOR/移位变换、查表、校验位（Luhn、CRC16/32、mod 97/11）、加解密与单向型（哈希、RSA/ECC验签）；按变换层与校验层分层逆推，必要时用 z3 约束求解；用 Python 标准库实现 keygen.py，支持 argparse 输入、批量生成与 --verify 自检。
使用方式：先取得校验函数反编译伪代码与比较链，列出合法序列号必须满足的约束；分析格式后按类型逆推，正推或建模求解；实现脚本并逐行对照伪代码；在沙箱内用生成的序列号跑目标程序，覆盖全部校验点，并与已知合法序列号对照。可选工具：python3、pip install z3-solver、调试器断在比较指令处对照中间值。
适用场景：算法可逆、序列号本地生成、需要参数化输入的分发与测试。
限制：校验点未定位、算法含哈希或非对称验签等不可逆部分、序列号由服务器随机下发或存在服务器侧二次验证时，本技能不适用，应改走补丁或先确认全校验点清单。需注意规范化（大小写、去分隔符、补零）、位宽与字节序、校验位顺序与基数、多校验点漏判等常见问题。