DIY — DO IT BY YOURSELFF# .NET CROSS-PLATFORM LAB

// FShot: Pure Functional Vector Path Smoothing & Bézier Segments
namespace FShot.Core.Geometry

module PathSmoothing =
    /// Loại bỏ các điểm quá gần điểm liền trước đó (RDP distance filter)
    let simplifyPoints (minDistance: float) (points: Point list) : Point list =
        if minDistance <= 0.0 then points
        else
            let rec loop (kept: Point list) (rest: Point list) : Point list =
                match rest with
                | [] -> List.rev kept
                | p :: tail ->
                    let last = List.head kept
                    if Operations.pointDistance last p < minDistance then
                        loop kept tail
                    else
                        loop (p :: kept) tail
            match points with
            | [] -> []
            | first :: rest -> loop [ first ] rest

    /// Chuyển danh sách điểm đã rà soát thành các đoạn cong bậc hai (Quadratic Bézier)
    let toQuadraticSegments (points: Point list) : (Point * Point * Point) list =
        let midpoint (a: Point) (b: Point) : Point =
            Operations.pointLerp a b 0.5
        match points with
        | [] | [ _ ] -> []
        | [ a; b ] -> [ (a, midpoint a b, b) ]
        | _ ->
            let rec loop acc pts =
                match pts with
                | p0 :: p1 :: p2 :: tail ->
                    let seg = (midpoint p0 p1, p1, midpoint p1 p2)
                    loop (seg :: acc) (p1 :: p2 :: tail)
                | [ p0; p1 ] -> List.rev ((midpoint p0 p1, p1, p1) :: acc)
                | _ -> List.rev acc
            loop [] points

// F-GitGraph: Parallel Kahn Topo Sort & DAG Solver
namespace NeoGitCore.Graph

open System
open System.Collections.Generic
open NeoGitCore.Domain
open NeoGitCore.Storage

[<RequireQualifiedAccess>]
module TopoSort =
    let private comparerFor (ordering: CommitOrdering) =
        match ordering with
        | CommitOrdering.Date ->
            Comparer.Create(fun (_: uint32, t1: int64) (_: uint32, t2: int64) -> compare t2 t1)
        | CommitOrdering.Topological ->
            Comparer.Create(fun (g1: uint32, t1: int64) (g2: uint32, t2: int64) ->
                let c = compare g2 g1
                if c <> 0 then c else compare t2 t1)

    /// Sắp xếp topo dùng thuật toán Kahn cải tiến + hàng đợi ưu tiên theo thế hệ
    let orderWith (ordering: CommitOrdering) (snapshot: GraphSnapshot) : int[] =
        let n = snapshot.Commits.Length
        let indegree = Array.zeroCreate<int> n
        for i in 0 .. n - 1 do
            for p in snapshot.Parents[i] do
                indegree[p] <- indegree[p] + 1

        let queue = PriorityQueue<int, uint32 * int64>(comparerFor ordering)
        for i in 0 .. n - 1 do
            if indegree[i] = 0 then
                queue.Enqueue(i, (snapshot.Generation[i], snapshot.CommitTime[i]))

        let result = Array.zeroCreate<int> n
        let mutable k = 0
        while queue.Count > 0 do
            let i = queue.Dequeue()
            result[k] <- i
            k <- k + 1
            for p in snapshot.Parents[i] do
                indegree[p] <- indegree[p] - 1
                if indegree[p] = 0 then
                    queue.Enqueue(p, (snapshot.Generation[p], snapshot.CommitTime[p]))
        result

// podman-FUI: Unidirectional MVU Elmish Architecture & Domain Messages
namespace PodmanFUI.Domain

open PodmanFUI.Domain.Errors
open PodmanFUI.Domain.ContainerModels
open PodmanFUI.Domain.NavigationModels

module MvuTypes =
    /// Mô hình trạng thái toàn cục của Dashboard theo chu trình một chiều MVU
    type DashboardModel =
        { ActiveCategory: NavigationCategory
          ActiveTab: DetailTab
          CurrentFocus: ActiveFocus
          Containers: ContainerSummary list
          FilteredContainers: ContainerSummary list
          SelectedIndex: int
          SelectedContainerId: string option
          DetailData: ContainerDetail option
          IsFilterActive: bool
          FilterQuery: string
          ActiveModal: ModalState
          IsLoading: bool
          ErrorMessage: string option
          TerminalWidth: int
          TerminalHeight: int }

    /// Danh mục các thông điệp sự kiện MVU
    type DashboardMsg =
        // 1. Nhập liệu Bàn phím & Chuột
        | KeyPressed of key: string
        | RowSelected of index: int
        | CategoryChanged of category: NavigationCategory
        | TabChanged of tab: DetailTab
        | ToggleFocus
        // 2. Tác vụ nghiệp vụ Container
        | RequestAction of action: ContainerAction * containerId: string
        | ConfirmModal
        | DismissModal
        | UpdateFilter of query: string
        | ClearFilter
        // 3. Kết quả bất đồng bộ từ tầng Socket / Hệ điều hành
        | ContainersLoaded of Result<ContainerSummary list, ConnectionError>
        | DetailLoaded of Result<ContainerDetail, ConnectionError>
        | ActionExecuted of Result<ContainerAction * string, ConnectionError>
        | TerminalResized of width: int * height: int

    /// Chỉ thị tác vụ bất đồng bộ sinh ra từ hàm Update
    type DashboardCmd =
        | FetchContainers
        | FetchDetail of containerId: string
        | PerformContainerAction of action: ContainerAction * containerId: string
        | ExecuteShell of containerId: string
        | Batch of DashboardCmd list
        | NoCmd