Spaces:
Running
Running
File size: 2,733 Bytes
3493993 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 | from __future__ import annotations
from datetime import datetime
from uuid import uuid4
from sqlalchemy import (
JSON,
CheckConstraint,
DateTime,
ForeignKey,
Index,
String,
Text,
UniqueConstraint,
)
from sqlalchemy.orm import Mapped, mapped_column
from app.security.models import Base, utcnow
class CopilotRunRecord(Base):
__tablename__ = "copilot_runs"
__table_args__ = (
UniqueConstraint(
"workspace_id", "idempotency_key", name="uq_copilot_run_workspace_idempotency"
),
CheckConstraint(
"status in ('plan_ready','blocked','executing','completed','partial','failed','cancelled')",
name="ck_copilot_run_status",
),
Index("ix_copilot_runs_workspace_created", "workspace_id", "created_at"),
Index("ix_copilot_runs_workspace_status", "workspace_id", "status"),
Index("ix_copilot_runs_project_created", "project_id", "created_at"),
)
id: Mapped[str] = mapped_column(String(36), primary_key=True, default=lambda: str(uuid4()))
workspace_id: Mapped[str] = mapped_column(
String(36), ForeignKey("workspaces.id", ondelete="RESTRICT"), nullable=False
)
user_id: Mapped[str] = mapped_column(
String(36), ForeignKey("users.id", ondelete="RESTRICT"), nullable=False
)
project_id: Mapped[str | None] = mapped_column(
String(36), ForeignKey("projects.id", ondelete="RESTRICT")
)
idempotency_key: Mapped[str] = mapped_column(String(255), nullable=False)
request_fingerprint: Mapped[str] = mapped_column(String(64), nullable=False)
request_text: Mapped[str] = mapped_column(Text, nullable=False)
context_json: Mapped[dict[str, object]] = mapped_column("context", JSON, nullable=False)
plan_json: Mapped[dict[str, object]] = mapped_column("plan", JSON, nullable=False)
status: Mapped[str] = mapped_column(String(32), nullable=False)
current_action_id: Mapped[str | None] = mapped_column(String(64))
results_json: Mapped[list[dict[str, object]]] = mapped_column(
"results", JSON, nullable=False, default=list
)
summary: Mapped[str | None] = mapped_column(Text)
error_code: Mapped[str | None] = mapped_column(String(100))
error_message: Mapped[str | None] = mapped_column(Text)
confirmed_at: Mapped[datetime | None] = mapped_column(DateTime(timezone=True))
created_at: Mapped[datetime] = mapped_column(
DateTime(timezone=True), nullable=False, default=utcnow
)
updated_at: Mapped[datetime] = mapped_column(
DateTime(timezone=True), nullable=False, default=utcnow, onupdate=utcnow
)
completed_at: Mapped[datetime | None] = mapped_column(DateTime(timezone=True))
|