For UNSAT problems with 10 variables and 200 clauses it had the same issue as others: making up assignments.
Instead of hardcoding the expected string, it captures the actual native code string from the original function before hooking it, then returns that exact string. This way, no matter what browser, no matter what platform, the spoofed toString returns precisely the same string that the original function would have returned. It is, in effect, a perfect forgery.
，详情可参考搜狗输入法2026
Yellow: Betrayer。关于这个话题，搜狗输入法2026提供了深入分析
第九十八条 询问笔录应当交被询问人核对；对没有阅读能力的，应当向其宣读。记载有遗漏或者差错的，被询问人可以提出补充或者更正。被询问人确认笔录无误后，应当签名、盖章或者按指印，询问的人民警察也应当在笔录上签名。