(defn find-critical-points-monadic [vectorized p parallel-level]
  "Phát hiện Điểm Quan Trọng Monadic - Sửa lỗi sử dụng pool luồng cố định"
  (with-managed-resource
    (->ThreadPoolResource parallel-level)
    (fn [thread-pool]
      (try
        (let [chunk-size (max 1 (quot (count vectorized) parallel-level))
              chunks (partition-all chunk-size vectorized)
              futures (mapv
                        (fn [chunk]
                          ;; SỬA LỖI 1: Chỉ định pool luồng được quản lý
                          (CompletableFuture/supplyAsync
                            #(keep
                              (fn [v]
                                (let [grad-result (discrete-gradient-simple v)
                                      val-result (p-adic-valuation-monadic v p)]
                                  ;; Trả về kết quả chỉ nếu cả hai phép tính đều thành công
                                  (when (and (is-ok? grad-result) (is-ok? val-result))
                                    {:vector v
                                     :gradient (extract-value grad-result)
                                     :p-adic-valuation (extract-value val-result)})))
                              chunk)
                            thread-pool))
                        chunks)
        results (mapcat #(.get ^CompletableFuture %) futures)]
        (ok (vec results)
            {:critical-count (count results)
             :parallel-level parallel-level}
            [{:level :info :message (str (count results) " điểm quan trọng được tìm thấy")}]))
      (catch Throwable t
        (err t {} [{:level :error :message "Lỗi phát hiện điểm quan trọng"}])))))

;; bind với log
(defn bind [r f]
  (if (is-ok? r)
    (try
      (let [result (f (extract-value r))
            combined-logs (concat (:logs r) (:logs result))]
        (if (is-ok? result)
          (->OkResult (extract-value result)
                      (merge (:metadata r) (:metadata result))
                      combined-logs)
          (->ErrResult (extract-error result)
                       (merge (:metadata r) (:metadata result))
                       combined-logs)))
      (catch Throwable t 
        (->ErrResult t 
                    (:metadata r)
                    (conj (:logs r) {:level :error :message (.getMessage t)}))))
    r))

(defn mapr [r f]
  (bind r (fn [v] (ok (f v) {} [{:level :info :message "Hoạt động Map"}]))))

(defprotocol ManagedResource
  (acquire [this] "Chiếm tài nguyên")
  (release [this resource] "Giải phóng tài nguyên")
  (describe [this] "Mô tả tài nguyên"))

(defn p-adic-valuation-monadic [^IntVector v ^int p]
  "Tính toán giá trị p-adic trong monad - an toàn với ngoại lệ"
  (try
    (let [result (if (= p 2)
                    ;; p=2 trường hợp đặc biệt: tối ưu hóa hoạt động bit
                    ...
                    ;; Giá trị p-adic tổng quát
                    ...)]
      (ok result 
          {:computation-type (if (= p 2) :bit-optimized :general)
           :p-value p}
          [{:level :debug :message (str "Tính toán giá trị p-adic: p=" p " kết quả=" result)}]))
    (catch Throwable t 
      (err t {} [{:level :error :message "Lỗi tính toán giá trị p-adic"}]))))

(defn prepare-aligned-data-enhanced [data vector-lane-count]
  "Phiên bản monadic của tiền xử lý dữ liệu - với xác thực"
  (try
    (when (empty? data)
      (throw (IllegalArgumentException. "Không thể xử lý dữ liệu trống")))
    ...
    (catch Throwable t 
      (err t {} [{:level :error :message "Lỗi chuẩn bị dữ liệu"}]))))