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

122 lines
4.4 KiB
Python

from dataclasses import dataclass
from typing import Any, Protocol
class VectorClient(Protocol):
def search(self, collection_name: str, data: list[list[float]], limit: int) -> Any: ...
class VectorSearchResult:
def __init__(self, hits: Any, degraded: bool = False) -> None:
self.hits = hits
self.degraded = degraded
@dataclass(frozen=True)
class VectorHit:
"""标准化后的向量命中;`memory_uuid` 用于回表,`score` 为集合内相似度。"""
memory_uuid: str
score: float
class VectorMemoryAdapter:
"""Milvus 读边界:查询失败一律降级,绝不让向量库故障冒泡到主链路。"""
# `memory_uuid` 的候选字段名,覆盖实体列与常见别名。
_UUID_FIELDS = ("memory_uuid", "uuid", "memory_id", "id")
_SCORE_FIELDS = ("score", "distance", "similarity")
def __init__(self, client: VectorClient, collection: str) -> None:
self.client = client
self.collection = collection
def search(self, embedding: list[float], limit: int = 10) -> VectorSearchResult:
try:
hits = self.client.search(
collection_name=self.collection,
data=[embedding],
limit=max(1, min(limit, 100)),
)
return VectorSearchResult(hits)
except Exception:
return VectorSearchResult([], degraded=True)
def parse_hits(self, hits: Any) -> list[VectorHit]:
"""把 pymilvus 的嵌套命中结构折叠为 `VectorHit` 列表(纯函数,不抛异常)。
pymilvus 返回 `[[{id, distance, entity}]]`(每查询一组),行内既有实体字典
也有命名为 `id` / `distance` 的字段,这里两种形态都吸收;没有可识别
`memory_uuid` 的行被丢弃而不是猜造标识,避免召回无法回表的假引用。
"""
parsed: list[VectorHit] = []
for row in self._flatten(hits):
hit = self._parse_hit(row)
if hit is not None:
parsed.append(hit)
return parsed
def _flatten(self, hits: Any) -> list[Any]:
rows: list[Any] = []
for group in hits if isinstance(hits, (list, tuple)) else [hits]:
if isinstance(group, (list, tuple)):
rows.extend(group)
else:
rows.append(group)
return rows
def _parse_hit(self, row: Any) -> VectorHit | None:
if isinstance(row, dict):
fields = dict(row)
elif isinstance(row, (list, tuple)) and len(row) >= 2:
# 无实体字典时的裸数组形态:约定 (主键, 距离)。
return self._hit_from_pair(str(row[0]), row[1])
else:
fields = self._object_fields(row)
entity = fields.get("entity")
if isinstance(entity, dict):
merged = dict(entity)
merged.update({key: value for key, value in fields.items() if key != "entity"})
fields = merged
uuid = self._first_string(fields, self._UUID_FIELDS)
if uuid is None:
return None
return VectorHit(memory_uuid=uuid, score=self._score(fields))
def _hit_from_pair(self, raw_id: str, raw_score: Any) -> VectorHit | None:
if not raw_id:
return None
return VectorHit(memory_uuid=raw_id, score=self._as_float(raw_score) or 0.0)
def _object_fields(self, row: Any) -> dict[str, Any]:
fields: dict[str, Any] = {}
for name in (*self._UUID_FIELDS, *self._SCORE_FIELDS, "entity"):
if hasattr(row, name):
fields[name] = getattr(row, name)
return fields
def _first_string(self, fields: dict[str, Any], names: tuple[str, ...]) -> str | None:
for name in names:
value = fields.get(name)
if value is None:
continue
if isinstance(value, str) and value.strip():
return value.strip()
if isinstance(value, int):
return str(value)
return None
def _score(self, fields: dict[str, Any]) -> float:
for name in self._SCORE_FIELDS:
score = self._as_float(fields.get(name))
if score is not None:
return score
return 0.0
def _as_float(self, value: Any) -> float | None:
try:
return float(value)
except (TypeError, ValueError):
return None