Files
lzf_0626 6516ccb385 feat: 第二版——接口契约对齐 docs/05,修复静默故障与数据库基线
相对第一版 46fc976 的完整变更。组员迁移对照表见 docs/20。

一、对外契约对齐 docs/05(破坏性,共 4 处,组员需按 docs/20 调整)
1) 配置发布端点改为文档规定的复数资源名:submit→validations、
   approve→reviews(需 body decision)、activate→activations、
   rollback→rollbacks;第一版这 4 个动词式路径 docs/05 从未定义过。
2) 错误码由 8 个笼统码改为 15 个具体语义码(FORBIDDEN→AGENT_PERMISSION_DENIED、
   UNAUTHORIZED→AUTHENTICATION_REQUIRED、CONFLICT→RESOURCE_VERSION_CONFLICT、
   RESOURCE_NOT_FOUND→RUN_NOT_FOUND/SESSION_NOT_FOUND 等),
   输入类错误状态码 400→422。
3) POST /api/v1/agent-runs 与 GET /api/v1/agent-runs/{run_id} 统一为
   {data, meta} 信封(data 内字段名与语义未变)。
4) 错误响应体统一为 {error:{code,message,retryable,field_errors}, meta:{trace_id}},
   不再返回 FastAPI 默认的 {"detail": ...}。

二、数据库基线与约束
新增 39 张表的基线迁移(链根)与联合唯一键纠偏(4 张表、删 8 增 4,幂等收敛);
撤下 config_release 的双人复核 CHECK(应用层已允许自审,审核节点保留,
自审如实写入 reviewer_id);记忆 active key 生成列与唯一键;
activate 开始记录 supersedes_release_id 使版本链可追溯。
docs/00 基线未修改,未重命名或删除任何表与字段。

三、修复会静默出错或无报错的缺陷
- 跑完集成测试后平台会静默失去生效配置:清理只删自己创建的版本,却没有恢复被它
  顶成 superseded 的原生效版本,且审计一并删除因而完全无痕,表现为所有工具被拒
  但没有任何报错。已修清理逻辑并加恢复。
- Worker 单轮异常导致进程退出;记忆抽取调用方的“事务已开始”异常;
  召回缓存丢失 degraded 标记;连接时区未生效导致 created_at/updated_at 差 8 小时;
  .env 与 os.getenv 密钥来源分裂导致“没有可用的已批准模型端点”。
- 记忆信号识别漏判与跨键误命中;SSE 未带 Accept 的协商行为。

四、功能补齐
记忆链路 P1/P2/P3(抽取、受控词表、召回与缓存、生命周期级联及投影事件)、
fin_* 场内交易只读 ORM 层、agent_intent_config 状态流转并在运行期真正生效、
限流(Redis 固定窗口、故障一律放行)、游标校验、trace_id 中间件、
示例业务 Agent fund_query_demo 与一键端到端验证脚本,以及审计/指纹/迁移状态工具。

五、文档与验证
新增 docs/19(业务 Agent 接入实操)、docs/20(第一版迁移指南)与 docs/evidence 证据;
docs/01/02/06/08/09/17 同步实现现状。

验证结果:ruff 通过、mypy 103 文件无错、unit+contract 447 passed、
integration 29 passed、acceptance_check --production 7 PASS、
demo_agent_e2e 9/9 PASS(含失败关闭反证)。
2026-09-10 15:55:54 +08:00

120 lines
6.3 KiB
Python

from datetime import datetime
from decimal import Decimal
from typing import Any
from sqlalchemy import (
JSON,
BigInteger,
DateTime,
Integer,
Numeric,
String,
Text,
UniqueConstraint,
)
from sqlalchemy.dialects.mysql import BIGINT, DATETIME
from sqlalchemy.orm import Mapped, mapped_column
from app.model.base import Base
class RequestIdempotency(Base):
__tablename__ = "request_idempotency"
id: Mapped[int] = mapped_column(BigInteger, primary_key=True)
user_id: Mapped[int] = mapped_column(BigInteger, nullable=False)
session_id: Mapped[str] = mapped_column(String(64), nullable=False)
agent_type: Mapped[str] = mapped_column(String(32), nullable=False)
idempotency_key: Mapped[str] = mapped_column(String(64), nullable=False)
request_hash: Mapped[str] = mapped_column(String(64), nullable=False)
trace_id: Mapped[str] = mapped_column(String(64), nullable=False)
status: Mapped[str] = mapped_column(String(16), nullable=False, default="processing")
result_message_id: Mapped[int | None] = mapped_column(BigInteger)
error_code: Mapped[str | None] = mapped_column(String(64))
locked_until: Mapped[datetime | None] = mapped_column(DateTime)
expire_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
created_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
updated_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
__table_args__ = (UniqueConstraint("user_id", "agent_type", "idempotency_key"),)
class AgentRun(Base):
__tablename__ = "agent_run"
id: Mapped[int] = mapped_column(BigInteger, primary_key=True)
run_id: Mapped[str] = mapped_column(String(36), unique=True, nullable=False)
idempotency_id: Mapped[int] = mapped_column(BigInteger, unique=True, nullable=False)
session_id: Mapped[str] = mapped_column(String(64), nullable=False)
user_id: Mapped[int] = mapped_column(BigInteger, nullable=False)
agent_type: Mapped[str] = mapped_column(String(32), nullable=False)
trace_id: Mapped[str] = mapped_column(String(64), unique=True, nullable=False)
request_message_id: Mapped[int] = mapped_column(BigInteger, nullable=False)
result_message_id: Mapped[int | None] = mapped_column(BigInteger)
status: Mapped[str] = mapped_column(String(24), nullable=False, default="queued")
attempt_count: Mapped[int] = mapped_column(Integer, nullable=False, default=0)
worker_id: Mapped[str | None] = mapped_column(String(128))
locked_until: Mapped[datetime | None] = mapped_column(DateTime)
error_code: Mapped[str | None] = mapped_column(String(64))
result_version: Mapped[int | None] = mapped_column(Integer)
cancel_requested_at: Mapped[datetime | None] = mapped_column(DateTime)
started_at: Mapped[datetime | None] = mapped_column(DateTime)
completed_at: Mapped[datetime | None] = mapped_column(DateTime)
created_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
updated_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
class DomainEventOutbox(Base):
__tablename__ = "domain_event_outbox"
id: Mapped[int] = mapped_column(BigInteger, primary_key=True)
event_id: Mapped[str] = mapped_column(String(36), unique=True, nullable=False)
event_type: Mapped[str] = mapped_column(String(64), nullable=False)
aggregate_type: Mapped[str] = mapped_column(String(32), nullable=False)
aggregate_id: Mapped[str] = mapped_column(String(64), nullable=False)
trace_id: Mapped[str] = mapped_column(String(64), nullable=False)
payload: Mapped[dict[str, Any]] = mapped_column(JSON, nullable=False)
status: Mapped[str] = mapped_column(String(16), nullable=False, default="pending")
retry_count: Mapped[int] = mapped_column(Integer, nullable=False, default=0)
next_retry_at: Mapped[datetime | None] = mapped_column(DateTime)
last_error: Mapped[str | None] = mapped_column(Text)
occurred_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
published_at: Mapped[datetime | None] = mapped_column(DateTime)
created_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
updated_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
class OutboxDelivery(Base):
__tablename__ = "outbox_delivery"
__table_args__ = (
UniqueConstraint("event_id", "consumer_name", name="uk_outbox_delivery_event_consumer"),
)
id: Mapped[int] = mapped_column(BigInteger, primary_key=True)
event_id: Mapped[str] = mapped_column(String(36), nullable=False)
consumer_name: Mapped[str] = mapped_column(String(64), nullable=False)
delivered_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
class HandoverTicket(Base):
__tablename__ = "svc_handover_ticket"
id: Mapped[int] = mapped_column(BigInteger, primary_key=True)
ticket_no: Mapped[str] = mapped_column(String(32), unique=True, nullable=False)
session_id: Mapped[str] = mapped_column(String(64), nullable=False)
customer_id: Mapped[int | None] = mapped_column(BigInteger)
source_agent: Mapped[str] = mapped_column(
String(32), nullable=False, default="customer_service"
)
source_message_id: Mapped[int | None] = mapped_column(BigInteger)
intent: Mapped[str | None] = mapped_column(String(32))
confidence: Mapped[Decimal | None] = mapped_column(Numeric(5, 4))
priority: Mapped[str] = mapped_column(String(8), nullable=False, default="P1")
reason_code: Mapped[str] = mapped_column(String(64), nullable=False)
reason_detail: Mapped[str | None] = mapped_column(String(500))
conversation_summary: Mapped[str | None] = mapped_column(Text)
source_references: Mapped[list[dict[str, Any]] | None] = mapped_column(JSON)
status: Mapped[str] = mapped_column(String(16), nullable=False, default="pending")
assigned_to: Mapped[int | None] = mapped_column(BIGINT(unsigned=True))
assigned_at: Mapped[datetime | None] = mapped_column(DATETIME(fsp=6))
accepted_at: Mapped[datetime | None] = mapped_column(DATETIME(fsp=6))
resolved_at: Mapped[datetime | None] = mapped_column(DATETIME(fsp=6))
closed_at: Mapped[datetime | None] = mapped_column(DATETIME(fsp=6))
resolution: Mapped[str | None] = mapped_column(Text)
created_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
updated_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)