lzf_0626
6516ccb385
相对第一版 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（含失败关闭反证）。
93 lines
5.1 KiB
Python
93 lines
5.1 KiB
Python
from datetime import datetime
|
||
from typing import Any
|
||
|
||
from sqlalchemy import JSON, BigInteger, DateTime, Integer, Numeric, String, Text
|
||
from sqlalchemy.orm import Mapped, mapped_column
|
||
|
||
from app.model.base import Base
|
||
|
||
|
||
class MemoryUnit(Base):
|
||
"""中期记忆单元；字段与 docs/00 第 669-696 行基线一致。
|
||
|
||
生成列 `active_memory_key` 由数据库计算（仅 status='active' 时返回 memory_key），
|
||
ORM 不映射该列，唯一键 `(customer_id, active_memory_key)` 负责"每客户每键仅一条有效记忆"。
|
||
"""
|
||
|
||
__tablename__ = "memory_unit"
|
||
id: Mapped[int] = mapped_column(BigInteger, primary_key=True)
|
||
memory_uuid: Mapped[str] = mapped_column(String(36), unique=True, nullable=False)
|
||
customer_id: Mapped[int] = mapped_column(BigInteger, nullable=False)
|
||
memory_key: Mapped[str] = mapped_column(String(128), nullable=False)
|
||
content: Mapped[str] = mapped_column(Text, nullable=False)
|
||
structured_value: Mapped[dict[str, Any] | None] = mapped_column(JSON)
|
||
memory_type: Mapped[str] = mapped_column(String(24), nullable=False)
|
||
source_type: Mapped[str] = mapped_column(String(24), nullable=False)
|
||
source_confidence: Mapped[float] = mapped_column(Numeric(5, 4), nullable=False)
|
||
confidence: Mapped[float] = mapped_column(Numeric(5, 4), nullable=False)
|
||
evidence_count: Mapped[int] = mapped_column(Integer, nullable=False, default=0)
|
||
conflict_count: Mapped[int] = mapped_column(Integer, nullable=False, default=0)
|
||
recall_count: Mapped[int] = mapped_column(Integer, nullable=False, default=0)
|
||
status: Mapped[str] = mapped_column(String(16), nullable=False)
|
||
valid_from: Mapped[datetime] = mapped_column(DateTime, nullable=False)
|
||
valid_until: Mapped[datetime | None] = mapped_column(DateTime)
|
||
last_evidenced_at: Mapped[datetime | None] = mapped_column(DateTime)
|
||
last_recall_at: Mapped[datetime | None] = mapped_column(DateTime)
|
||
promoted_at: Mapped[datetime | None] = mapped_column(DateTime)
|
||
version: Mapped[int] = mapped_column(BigInteger, nullable=False, default=1)
|
||
created_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
|
||
updated_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
|
||
|
||
|
||
class MemoryEvidence(Base):
|
||
"""记忆证据；`idempotency_key` 唯一键是重复消费的幂等边界。"""
|
||
|
||
__tablename__ = "memory_evidence"
|
||
id: Mapped[int] = mapped_column(BigInteger, primary_key=True)
|
||
memory_id: Mapped[int] = mapped_column(BigInteger, nullable=False)
|
||
evidence_type: Mapped[str] = mapped_column(String(24), nullable=False)
|
||
source_table: Mapped[str | None] = mapped_column(String(64))
|
||
source_record_id: Mapped[str | None] = mapped_column(String(64))
|
||
source_episode_id: Mapped[int | None] = mapped_column(BigInteger)
|
||
evidence_excerpt: Mapped[str | None] = mapped_column(Text)
|
||
evidence_snapshot: Mapped[dict[str, Any] | None] = mapped_column(JSON)
|
||
weight: Mapped[float] = mapped_column(Numeric(5, 4), nullable=False)
|
||
idempotency_key: Mapped[str] = mapped_column(String(128), unique=True, nullable=False)
|
||
occurred_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
|
||
created_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
|
||
|
||
|
||
class MemorySyncOutbox(Base):
|
||
__tablename__ = "memory_sync_outbox"
|
||
id: Mapped[int] = mapped_column(BigInteger, primary_key=True)
|
||
event_uuid: Mapped[str] = mapped_column(String(36), nullable=False)
|
||
aggregate_type: Mapped[str] = mapped_column(String(24), nullable=False)
|
||
aggregate_uuid: Mapped[str] = mapped_column(String(36), nullable=False)
|
||
aggregate_version: Mapped[int] = mapped_column(BigInteger, nullable=False)
|
||
target_store: Mapped[str] = mapped_column(String(16), nullable=False)
|
||
operation: Mapped[str] = mapped_column(String(16), nullable=False)
|
||
payload: Mapped[dict[str, Any]] = mapped_column(JSON, nullable=False)
|
||
status: Mapped[str] = mapped_column(String(16), nullable=False)
|
||
retry_count: Mapped[int] = mapped_column(BigInteger, nullable=False, default=0)
|
||
next_retry_at: Mapped[datetime | None] = mapped_column(DateTime)
|
||
last_error: Mapped[str | None] = mapped_column(Text)
|
||
created_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
|
||
processed_at: Mapped[datetime | None] = mapped_column(DateTime)
|
||
|
||
|
||
class MemoryConflict(Base):
|
||
"""记忆冲突；库列名为 `status`，`resolution`/`severity`/`resolved_by` 必须映射。"""
|
||
|
||
__tablename__ = "memory_conflict"
|
||
id: Mapped[int] = mapped_column(BigInteger, primary_key=True)
|
||
left_memory_id: Mapped[int] = mapped_column(BigInteger, nullable=False)
|
||
right_memory_id: Mapped[int] = mapped_column(BigInteger, nullable=False)
|
||
conflict_type: Mapped[str] = mapped_column(String(24), nullable=False)
|
||
severity: Mapped[str] = mapped_column(String(8), nullable=False)
|
||
status: Mapped[str] = mapped_column(String(16), nullable=False)
|
||
resolution: Mapped[str | None] = mapped_column(Text)
|
||
winner_memory_id: Mapped[int | None] = mapped_column(BigInteger)
|
||
resolved_by: Mapped[int | None] = mapped_column(BigInteger)
|
||
resolved_at: Mapped[datetime | None] = mapped_column(DateTime)
|
||
created_at: Mapped[datetime] = mapped_column(DateTime, nullable=False)
|