补历史欠账:D3.4 B-02(决 12)与 D4.1 §B-02 早已承诺把 docs/43 纳入 SOURCES, 从未执行;W21 首次把它暴露成实测缺口(702 块里「科创债」0 处)。 语料与切片 - docs/43-场内基金产品手册(知识库入库版).md 纳入 SOURCES:20 只场内基金 (13 ETF + 7 LOF),fin_product_collection / public / prefix=ETF;切片件 702 -> 755 块 - 新增三个「按源开启」的切片开关(默认关,其它 8 个源零字节变化): strip_editorial_marks / qualify_table_rows / exclude_sections - 费率表表头补单位(%/年);docs/43 与 knowledge 镜像逐字一致 - docs/45 裁定不入库(与 FAQ-0018 / POL-AST-011/012 重复,会抢 top1) 修复两个真实缺陷 - W24-A 切片器行标签取错列:多列表格第 0 列是代码(159700[:2]='15'), 上游 _prefer_section 判不出重合 => 每一问都被换成整节块 (实测「科创债ETF南方怎么样」返回 20 只产品的整张表);改取表头「名称」列 - W24-B text-embedding-v3 单请求上限 10 条:load_knowledge_milvus.embed() 只在灌库路径分批,自检路径超 10 条即在数据写完后崩;分批下沉进 embed() - B-02 的 M-4 回归:_exit_partial 两条调用路径候选集不同(主路径 TopK 全量 vs 证据路径被 E4_MAX_EVIDENCE 截断)=> 同一句问句的答复质量取决于 E4 有没有 调用模型;_answer_from_evidence 新增 display_hits,展示候选一律用 TopK 全量, 送模型的证据包保持 6 块不变 产品名识别 - _PRODUCT_NAME_SHAPE 后缀集补 定期开放混合 / 股票(LOF)A / (LOF) / 原油A - 新增 _BRANDLESS_PRODUCT_NAMES(沪深300ETF,唯一无厂商字样的产品,只能枚举) - _strip_product_name_lead 增「先切掉前一只基金」 验收 - 金标 46 条 M-1 46/46、M-4 46/46、M-6 5/46、M-7/8/9/10 = 0、 M-2 28/31、M-2b 15/18、M-3 4/4(与 w23 基线逐项一致) - 两次独立复跑 result_w24d / result_w24e 指标完全相同 - Milvus 自检 15/15;全量回归 1996 passed / 3 skipped;ruff 零新增 - 真 HTTP 11 条全绿 判据变更(必须知情,不适用「零回归」表述) - B-01(访客)expected_evidence 补 ETF - B-05(客户,同一句问句)expected_exits [E3] -> [E3, E4] - load_knowledge_milvus 自检 BAS-CON-006 -> ETF-005 文档 - 客服agent/D2.1 升 v6.39;D2.4 升 v1.8(语料 755 块、手册切片实测 53); D2.8 新增 §3.6 与 §11 复测;D2.9 升 v1.3 - 开发文档/D1.1 升 v1.15(新增 §31);D1.6 升 v1.2(新增 §11、§10.4 销账); D4.8 升 v1.2(新增 §10) 诚实留痕 - _exit_partial 仍按分数挑块(不接收问句),本轮只统一候选集口径 - E5b 展示层净化仍不覆盖「收益 + 数字%」形态,继续挂账 - 语料里 2 个零容忍地雷块(POL-SPM-016 / POL-SPM-022-01)是禁令条款,故意保留
229 lines
12 KiB
Python
229 lines
12 KiB
Python
"""把 knowledge/_chunks.jsonl 灌入 Milvus 四个知识集合(一次性灌库脚本,可反复重跑)。
|
||
|
||
设计要点:
|
||
|
||
1. **集合 schema 不再由本脚本定义** —— 从 `tools/setup_milvus_knowledge_collections.py`
|
||
import `build_schema` / `build_index_params` / `NUM_PARTITIONS` / `FIELD_LIMITS`。
|
||
2026-09-18 之前这里自带第二份字段表(本脚本 `doc_id`/`content` 一套 vs 建表脚本
|
||
`knowledge_id`/`snippet` 一套),**同名集合两套定义**正是 `H-05` ④ 要求收敛的缺陷;
|
||
收敛方向取本脚本这一套,理由见建表脚本的 docstring。
|
||
2. **`visibility` 是分区键**,写入时必须**显式**给出,且只接受 `public` / `registered`。
|
||
本脚本在向量化**之前**先逐条校验(fail-closed),不依赖集合默认值兜底 ——
|
||
档位缺省不是"写空串",而是"不计入任何档位",属档位越权风险。
|
||
3. **向量输入用「标题 + 正文」**而不是只喂正文:标题里带条款号与章节名(如
|
||
「第五章 … 第十三条 … 第一类:资金流转异常」),是比正文更干净的检索信号。
|
||
4. **幂等**:用 upsert,同一 doc_id 重复灌库不会产生重复行,可以反复重跑。
|
||
5. 灌完立刻做检索自检(拿几个真实客户问题去查),不看自检结果不算灌成功。
|
||
"""
|
||
|
||
import asyncio
|
||
import json
|
||
import os
|
||
import sys
|
||
from collections import Counter, defaultdict
|
||
from pathlib import Path
|
||
|
||
import httpx
|
||
from dotenv import load_dotenv
|
||
from pymilvus import MilvusClient
|
||
|
||
load_dotenv(override=False)
|
||
|
||
# 建表脚本与本脚本要能被同一进程 import(`tools/` 不是包,按路径挂进去)。
|
||
sys.path.insert(0, str(Path(__file__).resolve().parents[1]))
|
||
sys.path.insert(0, str(Path(__file__).resolve().parent))
|
||
|
||
import setup_milvus_knowledge_collections as collections_setup # noqa: E402
|
||
from app.core.knowledge_contracts import ALLOWED_COLLECTIONS, VECTOR_DIM # noqa: E402
|
||
from setup_milvus_knowledge_collections import FIELD_LIMITS # noqa: E402
|
||
|
||
MILVUS_URI = os.environ.get("MILVUS_URI", "http://127.0.0.1:19530")
|
||
MILVUS_TOKEN = os.environ.get("MILVUS_TOKEN") or None
|
||
EMBED_BASE = "https://dashscope.aliyuncs.com/compatible-mode/v1"
|
||
#: 与 `model_endpoint_config.id=1`(`knowledge-embedding-qwen-v3`)及 `VECTOR_DIM` 契约一致。
|
||
#: 2026-09-18 实测:`text-embedding-v3` 与 `qwen3.7-text-embedding-flash` 都可用、都输出 1024 维,
|
||
#: 故此处不一致**不致命**,但必须收敛为一种口径 —— 取现库与文档都在用的 `text-embedding-v3`。
|
||
EMBED_MODEL = "text-embedding-v3"
|
||
#: 密钥名必须与端点的 `secret_ref`(`env:QWEN_API_KEY`)**逐字一致**,否则
|
||
#: `EnvironmentSecretResolver` 报"模型密钥未配置",表现为客服答不出 → 强制转人工。
|
||
EMBED_KEY = os.environ.get("QWEN_API_KEY", "")
|
||
DIM = VECTOR_DIM
|
||
BATCH = 10
|
||
#: DashScope 的 `text-embedding-v3` **单次请求最多 10 条**(实测 12 条即 400
|
||
#: `InvalidParameter`)。原先只有"灌库"那条路径按 `BATCH` 分批,
|
||
#: "检索自检"是把**全部问句一次性**丢过去 —— 于是 `CHECKS` 一超过 10 条,
|
||
#: 灌库会在**数据已经写完之后**崩在自检上(2026-09-21 实测:`W23` 加到 14 条即触发;
|
||
#: 崩溃点与写入点分离,最容易误判成"灌库失败")。分批下沉进 `embed()`,两个调用点都安全。
|
||
MAX_BATCH = 10
|
||
|
||
#: 档位取值域。写入侧**只接受**这两个值;空值 / 未知值一律中止灌库(fail-closed)。
|
||
VISIBILITY_VALUES = frozenset({"public", "registered"})
|
||
|
||
#: 与检索白名单同源,避免"灌进了检索查不到的集合"。
|
||
COLLECTIONS = sorted(ALLOWED_COLLECTIONS)
|
||
|
||
# 检索自检用例:(自然语言问题, 期望命中的 doc_id 前缀)。
|
||
#
|
||
# ⚠️ 期望值是**语料版本的函数**,改语料就要跟着改:2026-09-18 重灌时(FAQ 由 44 条
|
||
# V1.x 换成 `D6.1.3` 的 64 条 V2.0、政策与产品手册同步 V2.0)旧期望值全部失效,
|
||
# 表现为「自检只有 3/7 命中」——但逐条看会发现**排序其实是对的**,只是编号变了
|
||
# (例如「基金赎回到账」从 `FAQ-0016` 变成 `FAQ-0026`)。这组值即重灌当日的实测基线。
|
||
CHECKS = [
|
||
("基金赎回到账需要多长时间", "FAQ-0026"),
|
||
# 分等级的「能买什么」:`POL-AST-012` 的匹配矩阵与 FAQ 是同一份内容,
|
||
# 但这一问的措辞更近条款语言,故政策集合排前(实测 0.792)。
|
||
("C1 保守型客户可以买哪些风险等级的产品", "POL-AST-012"),
|
||
("C1 客户能买什么", "FAQ-0019"),
|
||
("南方季季盈90天的起投金额是多少", "PROD-006"),
|
||
("开户需要准备哪些材料", "FAQ-0036"),
|
||
("业绩比较基准是什么意思", "FAQ-0022"),
|
||
("高净值客户能享受什么费率优惠", "HNW-005"),
|
||
# `乙-7` 第 4 集合(金融行业基础信息):这三条**只有**新集合能答,
|
||
# 用来证明第 4 集合确实灌进去了、也确实进了检索面。
|
||
("基金定投是什么", "BAS-TRD-012"),
|
||
# ⚠️ `W23` 语料变更:期望值由 `BAS-CON-006` **改为 `ETF-005`**(0.861,`BAS-CON-006`
|
||
# 退到 #2 的 0.789)。**这是更好的结果**:`ETF-005` 的标题「场内基金与场外基金的区别」
|
||
# 与问句几乎逐字对应,且答的是**本平台**口径(含"模拟交易下单即按市价全额成交");
|
||
# 行业通用那条只讲定义。改法与 FAQ-0065 那次同源:**期望值是语料版本的函数**。
|
||
("场内基金和场外基金有什么区别", "ETF-005"),
|
||
# 期望值是 FAQ-0065(`W6` 补的专条「什么是T日、T+1?」)而不是第 4 集合 ——
|
||
# 实测 FAQ-0065 得 0.703 胜出,这是**更好**的结果:专条比通用常识更贴题。
|
||
# 第 4 集合是「FAQ 答不了时的兜底」,不是"抢答 FAQ 能答的题"。
|
||
("T+1 是什么意思", "FAQ-0065"),
|
||
# `W23` 新源 `docs/43`(场内基金手册,20 只产品)的**存在性证明**:这四条只有它答得上。
|
||
# 入库前实测「科创债」在 `_chunks.jsonl` 里 0 处、`ETF南方` 0 处,客户问
|
||
# 「科创债ETF南方怎么样」拿到的是**另一只产品**(`南方稳健增利债券 A` 的产品卡,0.6696)
|
||
# ——问 A 答 B。这四条一起覆盖「产品参数 / 交易规则 / 费率 / 常见问答」四类内容。
|
||
("科创债ETF南方怎么样", "ETF-007-06"),
|
||
("科创债ETF南方的风险等级是多少", "ETF-007-06"),
|
||
("科创债ETF南方的管理费率是多少", "ETF-009-06"),
|
||
("场内基金报价的最小变动单位是多少", "ETF-003"),
|
||
("ETF 能定投吗", "ETF-010"),
|
||
]
|
||
|
||
|
||
async def embed(texts: list[str]) -> list[list[float]]:
|
||
"""按 `MAX_BATCH` 分批取向量;**顺序与入参一一对应**(每批内按 index 归位)。"""
|
||
vectors: list[list[float]] = []
|
||
async with httpx.AsyncClient(timeout=90) as client:
|
||
for start in range(0, len(texts), MAX_BATCH):
|
||
response = await client.post(
|
||
f"{EMBED_BASE}/embeddings",
|
||
headers={"Authorization": f"Bearer {EMBED_KEY}"},
|
||
json={"model": EMBED_MODEL, "input": texts[start:start + MAX_BATCH]},
|
||
)
|
||
response.raise_for_status()
|
||
items = sorted(response.json()["data"], key=lambda item: item["index"])
|
||
vectors.extend(item["embedding"] for item in items)
|
||
return vectors
|
||
|
||
|
||
async def main() -> None:
|
||
if not EMBED_KEY:
|
||
print("缺少 QWEN_API_KEY(必须与 model_endpoint_config.secret_ref 逐字一致)")
|
||
return
|
||
|
||
records = [
|
||
json.loads(line)
|
||
for line in (Path("knowledge") / "_chunks.jsonl").read_text(encoding="utf-8").splitlines()
|
||
if line.strip()
|
||
]
|
||
print(f"待入库块数:{len(records)}")
|
||
|
||
# 档位先校验后向量化:非法/缺失时**一条向量都不调**,避免花了钱才发现白灌。
|
||
invalid = [r for r in records if str(r.get("visibility", "")) not in VISIBILITY_VALUES]
|
||
if invalid:
|
||
print(f"档位非法或缺失:{len(invalid)} 条(只接受 {sorted(VISIBILITY_VALUES)}),已中止:")
|
||
for record in invalid[:5]:
|
||
print(f" {record.get('doc_id')} visibility={record.get('visibility')!r}")
|
||
return
|
||
print("档位分布:" + str(dict(Counter(str(r['visibility']) for r in records))))
|
||
|
||
print("\n== 建集合(幂等;结构冲突即中止,绝不覆盖) ==")
|
||
_created, _existed, conflicting = await collections_setup.ensure_collections(
|
||
MILVUS_URI, MILVUS_TOKEN or ""
|
||
)
|
||
if conflicting:
|
||
print("集合结构冲突,已中止(未做任何覆盖):")
|
||
for line in conflicting:
|
||
print(f" - {line}")
|
||
return
|
||
|
||
client = MilvusClient(uri=MILVUS_URI, token=MILVUS_TOKEN)
|
||
|
||
grouped: dict[str, list[dict[str, object]]] = defaultdict(list)
|
||
for record in records:
|
||
grouped[str(record["collection"])].append(record)
|
||
|
||
print("\n== 生成向量并写入 ==")
|
||
truncated: dict[str, int] = {}
|
||
for name, group in grouped.items():
|
||
rows: list[dict[str, object]] = []
|
||
for start in range(0, len(group), BATCH):
|
||
batch = group[start:start + BATCH]
|
||
vectors = await embed(
|
||
[f"{record['title']}\n{record['content']}" for record in batch]
|
||
)
|
||
for record, vector in zip(batch, vectors, strict=True):
|
||
# 截断长度**只从集合定义取**(`FIELD_LIMITS` 由建表模块导出):
|
||
# 这里若写死数字,就会出现"脚本截到 8000、集合只给 4096"这类
|
||
# 只在写入那一刻才暴露的错配,而且改一处必须记得改另一处。
|
||
row: dict[str, object] = {}
|
||
for field, limit in FIELD_LIMITS.items():
|
||
value = str(record[field])
|
||
if len(value) > limit:
|
||
truncated[field] = truncated.get(field, 0) + 1
|
||
value = value[:limit]
|
||
row[field] = value
|
||
row["embedding"] = vector
|
||
rows.append(row)
|
||
print(f" {name}: 已向量化 {min(start + BATCH, len(group))}/{len(group)}")
|
||
client.upsert(collection_name=name, data=rows)
|
||
client.flush(collection_name=name)
|
||
|
||
if truncated:
|
||
print("⚠️ 有字段被截断到集合上限(计数):", truncated)
|
||
else:
|
||
print("所有字段均在集合定义的长度上限内,无截断。")
|
||
|
||
print("\n== 各集合条目数 ==")
|
||
for name in COLLECTIONS:
|
||
stats = client.get_collection_stats(collection_name=name)
|
||
print(f" {name}: {stats.get('row_count')} 条")
|
||
|
||
print("\n== 检索自检 ==")
|
||
queries = [question for question, _ in CHECKS]
|
||
query_vectors = await embed(queries)
|
||
hits = 0
|
||
for (question, expected), vector in zip(CHECKS, query_vectors, strict=True):
|
||
results = client.search(
|
||
collection_name="fin_policy_collection", data=[vector], limit=3,
|
||
output_fields=["doc_id", "title", "visibility"],
|
||
)
|
||
top = client.search(
|
||
collection_name="fin_faq_collection", data=[vector], limit=3,
|
||
output_fields=["doc_id", "title"],
|
||
)
|
||
product = client.search(
|
||
collection_name="fin_product_collection", data=[vector], limit=3,
|
||
output_fields=["doc_id", "title"],
|
||
)
|
||
basic = client.search(
|
||
collection_name="fin_basic_collection", data=[vector], limit=3,
|
||
output_fields=["doc_id", "title"],
|
||
)
|
||
merged = [item for group in (basic, top, product, results) for item in group[0]]
|
||
merged.sort(key=lambda item: item["distance"], reverse=True)
|
||
best = merged[0] if merged else None
|
||
# 注意:COSINE 下 pymilvus 返回的 distance 越大越相似
|
||
found = ""
|
||
if best is not None:
|
||
found = f"{best['entity']['doc_id']} (score={best['distance']:.3f}) {best['entity']['title'][:44]}"
|
||
mark = "OK " if best is not None and str(best["entity"]["doc_id"]).startswith(expected) else "检查"
|
||
hits += 1 if mark == "OK " else 0
|
||
print(f" [{mark}] {question}\n → {found}")
|
||
print(f"\n自检命中 {hits}/{len(CHECKS)}")
|
||
|
||
|
||
asyncio.run(main())
|