Lịch sử phát hành & Cải tiến hệ thống

Nhật ký phiên bản (Changelog)

Chi tiết các bản cập nhật, nâng cấp giải thuật đại số tượng trưng, tính năng bảo mật và cải tiến giao diện của DPSY / SOS Prover Studio.

v7.2.0

Phiên bản hiện tại
Tháng 9, 2026

Product Polish V1 + Solver Capacity Upgrade & Full Engine Migration

Điểm nổi bật chính
  • Nâng cấp giới hạn độ phức tạp cú pháp AST lên 2000 nút (tăng gấp 4 lần từ 500).
  • Tăng ngân sách thời gian tính toán lên 180s (backend) / 190s (worker) / 200s (frontend).
  • Bảo vệ xử lý đồng thời (Concurrency Lock): 1 bài toán/user với mã lỗi SOLVE_ALREADY_RUNNING.
  • Lịch sử giải toán server-side (D1 solver_history) tự động lưu trữ và quản lý tối đa 50 bài gần nhất.
  • Thư viện 14 bài toán mẫu chuẩn hóa (Example Gallery) xác minh độc lập bằng SymPy và Gram SOS.
  • Hệ thống xuất bản tài liệu khoa học: LaTeX (.tex), Markdown (.md) và In/PDF chuẩn hóa.
  • Tính năng báo cáo bài toán nghi ngờ (Solver Issue Reporting) và trung tâm kiểm định Admin.
  • Tự động lưu nháp đầu vào (Autosave draft) với cơ chế chống rung debounce 800ms.
  • Hệ thống phím tắt chuyên sâu (Ctrl+Enter, Esc, Ctrl+K, ?).

Động cơ Toán học & Sức chứa (Solver Capacity)

  • Hợp nhất hoàn toàn hệ thuật toán v7.2.0: T0–T11 + T12Y contact/surface discovery.
  • Nâng MAX_AST_NODES từ 500 lên 2000 trong input_parser và security_limits.
  • Nâng DEFAULT_TIMEOUT_SECONDS lên 180.0s trong toàn bộ engine và runner.
  • Cải tiến quy trình dọn dẹp tiến trình con (Process Tree cleanup) khi hủy tác vụ.

Bảo mật Cổng API & Cơ sở dữ liệu (Gateway & D1)

  • Áp dụng bảng active_solves trong Cloudflare D1 kiểm soát xung đột tài nguyên.
  • Tạo bảng solver_history và solver_reports với chỉ mục (user_id, created_at DESC).
  • Đồng bộ chuỗi timeout: Backend 180s < Gateway Watchdog 190s < Frontend Client 200s.
  • Hỗ trợ đầy đủ phương thức HTTP DELETE trên gateway CORS headers.

Trải nghiệm Studio & Giao diện (UX & Polish)

  • Thêm trạng thái tính toán kéo dài với thông báo định hướng thông minh sau 15s và 60s.
  • Hộp thoại thư viện 14 bài mẫu phân loại rõ theo SOS Đối xứng, Vòng quanh, Bậc 4, DPSY Hữu tỉ, Ràng buộc.
  • Hộp thoại báo cáo bài toán bất thường kèm ảnh chụp trạng thái kỹ thuật gửi trực tiếp về Admin.
  • Trang Lịch sử (/history) chuyên biệt hỗ trợ tìm kiếm, lọc trạng thái và nạp lại vào Studio chỉ với 1 click.

v7.1.6

Tháng 8, 2026

Hệ thống Bản quyền 5 Cấp độ & Xác thực Danh tính Kép

Điểm nổi bật chính
  • Triển khai 5 gói bản quyền: Dùng thử 3 ngày (Trial), Pro 1 tháng, 6 tháng, 1 năm và Vĩnh viễn (Lifetime).
  • Định danh đa phương thức: Tài khoản nội bộ Argon2id và Google Identity Services (OAuth).
  • Hệ thống Dual Transport (HttpOnly Cookie + Authorization Bearer) vượt qua Safari ITP và Brave Shields.
  • Bảng điều khiển Quản trị viên (Admin Dashboard) quản lý người dùng và cấp mã bản quyền.

Bản quyền & Tài khoản

  • Kích hoạt nguyên tử (Atomic Activation) bảo vệ chống xung đột kích hoạt đồng thời.
  • Mã hóa bảo mật License Key sử dụng PBKDF2/SHA-256 kèm pepper bí mật.
  • Hỗ trợ liên kết tài khoản Google với tài khoản mật khẩu hiện có.

v7.0.0

Tháng 7, 2026

Khởi tạo Nền tảng DPSY / SOS Prover Studio Web

Điểm nổi bật chính
  • Ra mắt giao diện web Prover Studio tích hợp trình hiển thị công thức toán KaTeX.
  • Kết nối microservice tính toán đại số tượng trưng Python FastAPI với SymPy SOS.
  • Trình bày chứng minh toán học qua 4 tab: Kết quả, LaTeX Manuscript, Nhật ký CLI và Candidates.

Kiến trúc Ban đầu

  • Xây dựng bộ phân tích cú pháp biểu thức an toàn AST chống chèn mã độc.
  • Bảo vệ bot thông qua Cloudflare Turnstile server-side verification.
  • Thiết kế bảng dải ký hiệu toán học MathSymbolRibbon hỗ trợ nhập nhanh.

Sẵn sàng trải nghiệm DPSY / SOS v7.2.0?

Bắt đầu phân tích bất đẳng thức đối xứng và tìm kiếm chứng chỉ SOS chính xác 100% với giao diện nghiên cứu hoàn thiện.