相对第一版 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(含失败关闭反证)。
122 lines
4.4 KiB
Python
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
|
|
|