100 lines
4.1 KiB
Python
100 lines
4.1 KiB
Python
"""SQLAlchemy 2.x ORM models,对应 DESIGN.md §7.4 schema。
|
|
|
|
3 张表:users / tasks / messages。
|
|
- users 本地形态固定 INSERT sentinel(`00000000-...`)
|
|
- messages.payload 用 jsonb,GIN 索引在 migration 里建
|
|
- run 状态承载在 tasks.run_status / run_error 两列(0004 合并 runs 表);
|
|
原 runs / usage_events 表 0004 删 — 详 DESIGN §7.4 取舍 / PROGRESS 05-18
|
|
"""
|
|
from __future__ import annotations
|
|
|
|
from datetime import datetime
|
|
from decimal import Decimal
|
|
from typing import Any, Optional
|
|
from uuid import UUID, uuid4
|
|
|
|
from sqlalchemy import (
|
|
DateTime,
|
|
ForeignKey,
|
|
Integer,
|
|
Numeric,
|
|
Text,
|
|
UniqueConstraint,
|
|
func,
|
|
)
|
|
from sqlalchemy.dialects.postgresql import JSONB, UUID as PG_UUID
|
|
from sqlalchemy.orm import DeclarativeBase, Mapped, mapped_column
|
|
|
|
|
|
class Base(DeclarativeBase):
|
|
pass
|
|
|
|
|
|
# 本地单用户 sentinel —— 所有本地 task 都 FK 到这一行
|
|
SENTINEL_USER_ID: UUID = UUID("00000000-0000-0000-0000-000000000000")
|
|
|
|
|
|
class User(Base):
|
|
__tablename__ = "users"
|
|
|
|
user_id: Mapped[UUID] = mapped_column(PG_UUID(as_uuid=True), primary_key=True, default=uuid4)
|
|
email: Mapped[Optional[str]] = mapped_column(Text, nullable=True)
|
|
oidc_subject: Mapped[Optional[str]] = mapped_column(Text, nullable=True)
|
|
password_hash: Mapped[Optional[str]] = mapped_column(Text, nullable=True)
|
|
plan: Mapped[Optional[str]] = mapped_column(Text, nullable=True)
|
|
created_at: Mapped[datetime] = mapped_column(
|
|
DateTime(timezone=True), server_default=func.now(), nullable=False
|
|
)
|
|
|
|
|
|
class Task(Base):
|
|
__tablename__ = "tasks"
|
|
|
|
task_id: Mapped[UUID] = mapped_column(PG_UUID(as_uuid=True), primary_key=True, default=uuid4)
|
|
user_id: Mapped[UUID] = mapped_column(
|
|
PG_UUID(as_uuid=True), ForeignKey("users.user_id"), nullable=False
|
|
)
|
|
name: Mapped[str] = mapped_column(Text, nullable=False)
|
|
working_dir: Mapped[str] = mapped_column(Text, nullable=False)
|
|
skill: Mapped[str] = mapped_column(Text, nullable=False, default="")
|
|
description: Mapped[str] = mapped_column(Text, nullable=False, default="")
|
|
status: Mapped[str] = mapped_column(Text, nullable=False, default="active")
|
|
model: Mapped[str] = mapped_column(Text, nullable=False, default="")
|
|
model_profile: Mapped[str] = mapped_column(Text, nullable=False, default="")
|
|
reasoning_effort: Mapped[str] = mapped_column(Text, nullable=False, default="")
|
|
tokens_prompt: Mapped[int] = mapped_column(Integer, nullable=False, default=0)
|
|
tokens_completion: Mapped[int] = mapped_column(Integer, nullable=False, default=0)
|
|
cost_usd: Mapped[Decimal] = mapped_column(Numeric(12, 6), nullable=False, default=0)
|
|
# 当前 in-flight 状态(原 runs 表合并入,DESIGN §7.4 简化 / 0004 migration):
|
|
# idle / running / cancelling / error;ok / cancelled 收尾直接回 idle,
|
|
# 只有 error 是持久终态(下次起新 run 时由 post_message 清掉)
|
|
run_status: Mapped[str] = mapped_column(Text, nullable=False, default="idle")
|
|
run_error: Mapped[Optional[str]] = mapped_column(Text, nullable=True)
|
|
created_at: Mapped[datetime] = mapped_column(
|
|
DateTime(timezone=True), server_default=func.now(), nullable=False
|
|
)
|
|
updated_at: Mapped[datetime] = mapped_column(
|
|
DateTime(timezone=True), server_default=func.now(), onupdate=func.now(), nullable=False
|
|
)
|
|
|
|
|
|
class Message(Base):
|
|
__tablename__ = "messages"
|
|
__table_args__ = (UniqueConstraint("task_id", "idx", name="uq_messages_task_idx"),)
|
|
|
|
message_id: Mapped[UUID] = mapped_column(PG_UUID(as_uuid=True), primary_key=True, default=uuid4)
|
|
task_id: Mapped[UUID] = mapped_column(
|
|
PG_UUID(as_uuid=True),
|
|
ForeignKey("tasks.task_id", ondelete="CASCADE"),
|
|
nullable=False,
|
|
)
|
|
idx: Mapped[int] = mapped_column(Integer, nullable=False)
|
|
payload: Mapped[dict[str, Any]] = mapped_column(JSONB, nullable=False)
|
|
tokens_in: Mapped[Optional[int]] = mapped_column(Integer, nullable=True)
|
|
tokens_out: Mapped[Optional[int]] = mapped_column(Integer, nullable=True)
|
|
created_at: Mapped[datetime] = mapped_column(
|
|
DateTime(timezone=True), server_default=func.now(), nullable=False
|
|
)
|
|
|
|
|