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（含失败关闭反证）。
124 lines
4.4 KiB
Python
124 lines
4.4 KiB
Python
"""从 `alembic/baseline_generated.sql` 生成基线初始迁移（方案 A）。
|
|
|
|
背景：39 张基线表此前没有任何 Alembic 迁移，空库无法重建。本脚本把基线 DDL 转成一条
|
|
初始迁移（`down_revision=None`），使 `alembic upgrade head` 能在空库上建出全部业务表。
|
|
|
|
设计取舍：迁移体内使用 `op.execute` 原样执行基线 SQL，而不是手工翻译成 `op.create_table`。
|
|
39 张表包含生成列、字符集与排序规则、联合唯一键等方言细节，逐表翻译容易引入新的结构漂移；
|
|
原样执行可保证"迁移产生的结构与 baseline_generated.sql 一致"，而该文件由
|
|
`tools/generate_baseline_sql.py` 从基线文档生成，并由 `tools/audit_constraints.py` 审计。
|
|
|
|
默认只打印摘要，加 `--write` 才落盘，避免在 Alembic 链上意外产生双 head。
|
|
|
|
用法：
|
|
python tools/generate_baseline_migration.py # 预览
|
|
python tools/generate_baseline_migration.py --write # 写入迁移文件
|
|
"""
|
|
|
|
from __future__ import annotations
|
|
|
|
import re
|
|
import sys
|
|
from pathlib import Path
|
|
|
|
ROOT = Path(__file__).resolve().parents[1]
|
|
SQL_FILE = ROOT / "alembic" / "baseline_generated.sql"
|
|
TARGET = ROOT / "alembic" / "versions" / "20260909_baseline_schema.py"
|
|
REVISION = "20260909_baseline_schema"
|
|
|
|
TABLE_RE = re.compile(r"CREATE TABLE\s+`?([A-Za-z0-9_]+)`?")
|
|
|
|
HEADER = '''"""基线结构初始迁移（方案 A）：使空库可重建全部基线表。
|
|
|
|
本文件由 `tools/generate_baseline_migration.py` 从 `alembic/baseline_generated.sql` 生成，
|
|
请勿手工编辑；结构变更请改 `docs/00-新数据库基线设计.md` 后重新生成基线 SQL 与迁移。
|
|
|
|
设计说明：基线表此前不在 Alembic 链上，导致空库无法重建（迁移链只创建平台增量表）。
|
|
本迁移作为链首（`down_revision=None`）：既有库的 `alembic_version` 已位于本迁移的后代，
|
|
Alembic 不会重复执行；空库则从本迁移开始依次建表。
|
|
|
|
约束：只创建基线表，不修改任何既有表名或既有字段定义。
|
|
"""
|
|
from alembic import op
|
|
|
|
revision = "{revision}"
|
|
down_revision = None
|
|
branch_labels = None
|
|
depends_on = None
|
|
|
|
STATEMENTS: list[str] = [
|
|
'''
|
|
|
|
TAIL = '''
|
|
|
|
def upgrade() -> None:
|
|
for statement in STATEMENTS:
|
|
op.execute(statement)
|
|
|
|
|
|
def downgrade() -> None:
|
|
# 仅用于整体回退到空库；真实环境回退请使用前向兼容迁移。
|
|
for table in reversed(TABLES):
|
|
op.execute(f"DROP TABLE IF EXISTS `{table}`")
|
|
'''
|
|
|
|
|
|
def split_statements(sql_text: str) -> list[str]:
|
|
statements: list[str] = []
|
|
current: list[str] = []
|
|
for line in sql_text.splitlines():
|
|
stripped = line.strip()
|
|
if not stripped or stripped.startswith("--"):
|
|
continue
|
|
if stripped.startswith("SET FOREIGN_KEY_CHECKS"):
|
|
continue
|
|
current.append(line)
|
|
if stripped.endswith(";"):
|
|
statements.append("\n".join(current).rstrip().rstrip(";"))
|
|
current = []
|
|
if current:
|
|
statements.append("\n".join(current).rstrip())
|
|
return statements
|
|
|
|
|
|
def table_names(statements: list[str]) -> list[str]:
|
|
names: list[str] = []
|
|
for statement in statements:
|
|
match = TABLE_RE.match(statement.strip())
|
|
if match:
|
|
names.append(match.group(1))
|
|
return names
|
|
|
|
|
|
def render(statements: list[str], tables: list[str]) -> str:
|
|
body = "".join(
|
|
' """' + statement.replace('"""', '\\"\\"\\"') + '""",\n' for statement in statements
|
|
)
|
|
tables_block = "TABLES: list[str] = [\n" + "".join(
|
|
f' "{name}",\n' for name in tables
|
|
) + "]\n"
|
|
return HEADER.format(revision=REVISION) + body + "]\n\n" + tables_block + TAIL
|
|
|
|
|
|
def main() -> int:
|
|
if not SQL_FILE.exists():
|
|
print(f"baseline sql missing: {SQL_FILE}")
|
|
return 1
|
|
statements = split_statements(SQL_FILE.read_text(encoding="utf-8"))
|
|
tables = table_names(statements)
|
|
if len(statements) != len(tables):
|
|
print(f"unexpected: statements={len(statements)} tables={len(tables)}")
|
|
return 1
|
|
if "--write" not in sys.argv:
|
|
print(f"preview: statements={len(statements)} tables={len(tables)}")
|
|
print(f"target : {TARGET}")
|
|
print("run with --write to create the migration file")
|
|
return 0
|
|
TARGET.write_text(render(statements, tables), encoding="utf-8")
|
|
print(f"written: {TARGET} (statements={len(statements)}, tables={len(tables)})")
|
|
return 0
|
|
|
|
|
|
if __name__ == "__main__":
|
|
raise SystemExit(main())
|