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（含失败关闭反证）。
73 lines
2.6 KiB
Python
73 lines
2.6 KiB
Python
"""`ApiTransactionService` 的输入契约与 `digest` 测试。
|
|
|
|
`Idempotency-Key` 是所有公共写接口的强制头，它的长度与字符集校验必须在**开启事务之前**
|
|
完成——否则非法请求也会占用一次事务和一次 `INSERT ... ON DUPLICATE KEY` 抢占，把本该
|
|
零成本的拒绝变成一次真实的库写入尝试。本文件用"创建会话即报错"的替身来证明这个顺序。
|
|
|
|
抢占、命中回放、哈希冲突的完整路径需要 `PlatformRepository.table()` 反射真实表，
|
|
那部分由集成测试覆盖（`tests/integration/`），这里不重复造表。
|
|
"""
|
|
|
|
from typing import Any
|
|
|
|
import pytest
|
|
|
|
from app.core.contracts import RequestContext
|
|
from app.core.errors import ValidationAgentError
|
|
from app.service.api_transaction_service import ApiTransactionService, digest
|
|
|
|
CONTEXT = RequestContext(user_id="9001", trace_id="trace-1")
|
|
|
|
|
|
async def never_called(_session: Any) -> dict[str, Any]: # pragma: no cover - 不应被调用
|
|
raise AssertionError("非法请求不应执行 action")
|
|
|
|
|
|
def exploding_factory() -> None:
|
|
raise AssertionError("非法请求不应创建数据库会话")
|
|
|
|
|
|
@pytest.mark.parametrize(
|
|
"key",
|
|
[
|
|
None,
|
|
"", # 空
|
|
"x" * 15, # 短于 16
|
|
"x" * 129, # 长于 128
|
|
"稳健型稳健型稳健型稳健型", # 长度够但不是 ASCII
|
|
],
|
|
)
|
|
async def test_invalid_key_is_rejected_before_any_database_work(
|
|
key: str | None, monkeypatch: pytest.MonkeyPatch
|
|
) -> None:
|
|
monkeypatch.setattr(
|
|
"app.service.api_transaction_service.SessionFactory", exploding_factory
|
|
)
|
|
|
|
with pytest.raises(ValidationAgentError):
|
|
await ApiTransactionService().execute(CONTEXT, "conversations", key, {}, never_called)
|
|
|
|
|
|
async def test_valid_key_passes_the_guard(monkeypatch: pytest.MonkeyPatch) -> None:
|
|
"""合法 key 不应被前置校验拦下：用一个立即失败的替身证明校验已通过、进入数据库阶段。"""
|
|
monkeypatch.setattr(
|
|
"app.service.api_transaction_service.SessionFactory", exploding_factory
|
|
)
|
|
|
|
with pytest.raises(AssertionError, match="不应创建数据库会话"):
|
|
await ApiTransactionService().execute(CONTEXT, "conversations", "a" * 16, {}, never_called)
|
|
|
|
|
|
def test_digest_is_order_independent() -> None:
|
|
assert digest({"a": 1, "b": 2}) == digest({"b": 2, "a": 1})
|
|
|
|
|
|
def test_digest_changes_with_content() -> None:
|
|
assert digest({"a": 1}) != digest({"a": 2})
|
|
|
|
|
|
def test_digest_is_stable_for_non_ascii() -> None:
|
|
value = {"text": "稳健型"}
|
|
assert digest(value) == digest({"text": "稳健型"})
|
|
assert len(digest(value)) == 64
|