为原生反序列化实现精确类型白名单与对象图预算，实跑合法、未知类型、过深、长数组和业务字段失败，说明外层字节限制及可信边界。