stateDiagram-v2
    [*] --> 在售: 卖家发布
    在售 --> 已冻结: 队首意向进入交易（自动）/ 卖家手动冻结
    已冻结 --> 已下架: 标记交易成功（自动，无需解冻）
    已冻结 --> 在售: 标记交易失败 / 交易中买家撤销 / 手动解冻（仅手动冻结时）
    在售 --> 已下架: 手动下架
    已下架 --> [*]

stateDiagram-v2
    [*] --> 排队中: 提交意向（发口令码）
    排队中 --> 交易中: 队首自动进入交易
    交易中 --> 成功: 卖家标记交易成功
    交易中 --> 失败: 卖家标记失败+确认作废
    交易中 --> 排队中: 卖家标记失败+确认重新排队（时间刷新，排队尾，口令码不变）
    交易中 --> 撤销: 买家凭口令码撤销（交易中买家也可主动退出）
    排队中 --> 撤销: 买家凭口令码撤销
    排队中 --> 失败: 商品交易成功/下架，未轮到的自动转失败
    成功 --> [*]
    失败 --> [*]
    撤销 --> [*]

erDiagram
    SELLER ||--o{ PRODUCT : "发布"
    PRODUCT ||--o{ INTENT : "被意向"
    SELLER {
        string username PK
        string password_hash
    }
    PRODUCT {
        int id PK
        string name
        string description
        string image_url
        decimal price
        string status
        datetime published_at
        datetime closed_at
        int seller_id FK
    }
    INTENT {
        int id PK
        string buyer_name
        string phone
        string token UK
        string status
        datetime created_at
        datetime updated_at
        int product_id FK
    }

flowchart TD
    A[买家浏览商品] --> B{是否购买}
    B -- 否 --> A
    B -- 是 --> C[填姓名+电话提交意向]
    C --> D[成功页显示口令码, 仅一次]
    D --> E{队首意向?}
    E -- 是 --> F[自动进入交易, 商品自动冻结]
    E -- 否 --> G[排队中, 凭码查位次/改信息/撤销]
    F --> H{线下交易 / 买家撤销}
    H -- 成功 --> I[卖家标记成功: 商品自动下架<br/>胜者终态成功, 其余意向自动转失败<br/>所有口令码失效]
    H -- 失败 --> J[卖家标记失败并确认处置]
    H -- 买家撤销 --> N[意向移除, 队列前移, 终态撤销<br/>商品恢复在售/自动递补]
    J -- 作废 --> K[该意向终态失败, 口令码失效]
    J -- 重新排队 --> L[时间刷新排到队尾, 原口令码继续有效]
    K --> M[系统自动递补下一位, 再次自动冻结]
    L --> M
    M --> F
    G -- 撤销 --> N
    I --> O[商品进入历史档案, 含全部意向流水]