fix(ocr): apply universal CJK filter and early input sanitization

feat(ml): deploy expert symbolic solver and unified math_utils