E7 · 出版卷 29
安全报告生成
主张—来源映射、限制与版本化输出
*主张—来源映射、限制与版本化输出*
学习目标与边界
本课是通用、机构中立内容，不使用任何真实公司、个人、矿权、项目或可识别地点。通用角色只描述职责，每个 SYN-AI 标识符都明确表示合成教学证据。
- 界定由“主张—来源映射、限制与版本化输出”治理的决策。
- 区分生成建议、合格证据、确定性结果与负责任判断。
- 定义可测失败、弃答、升级与发布条件。
- 基于合成证据产出一套完成主张—来源核验的版本化双语报告包并为其控制辩护。
决策与专业边界
报告应从已批准的原子主张与证据关系生成，而不是接受开放式“写出结论”请求。先有结构，后有文字：定义章节、允许的主张类型、必需来源链接、不确定性语言、限制与签署。生成器只能在这些约束内组合与改写。核验阶段从候选报告重新提取原子主张，并与已批准主张集比较。
报告必须区分观测、派生产品、解释、假设与建议，说明未知项、被排除证据、所用版本以及范围外决策。安全生成只改善可读性，不增加科学权威。
核心概念
| 概念 | 运行含义 | |---|---| | 已批准主张集 | 允许进入报告的版本化原子命题集合。 | | 主张—来源映射 | 从每项报告主张到合格支持证据与相反证据的完整关系。 | | 限制陈述 | 对缺失证据、方法边界或未解决风险的有范围描述。 | | 版本化报告 | 带来源快照、生成配置与审核状态的不可变候选。 | | 语义差异 | 在主张、置信、证据与限制层面而不只在文字层面报告变化。 |
证据模型
报告包包含模式版本、已批准主张 ID、候选文字、主张位置、来源定位符、矛盾链接、置信记录、必需限制 ID、生成配置、核验结果、语义差异与批准。可读引文清单同时配有机器可检查映射。被移除主张仍保留在历史中并记录移除理由。
受控工作流
- 冻结已批准主张集、证据图与报告模式。
- 按观测、解释与假设标签组装章节。
- 生成有界文字，并在内部保留主张 ID。
- 重新提取候选主张并与批准集比较。
- 验证引文、矛盾、置信语言与必需限制。
- 审核语义差异、签署精确摘要并以不可变方式发布。
每一步都输出版本化制品或明确失败。后续阶段只消费前一阶段经过验证的输出；对话上下文绝不能成为未记录的数据通道。
测量与验收准则
测量原子支持精确率、引文完整度、矛盾披露、限制覆盖、语义差异准确率与审核修正率。可读性单独评价，不能抵消无来源主张。发布关口要求每项事实主张均已批准并有来源、每项规定限制均出现、每次高后果措辞变化均已审核。
$C_{citation}=\frac{N_{claims\ with\ sufficient\ citations}}{N_{factual\ claims}}$
| 关口 | 必需证据 | 发布后果 | |---|---|---| | 身份 | 可解析的主张、来源、配置与结果 ID | 任一身份含混即阻断 | | 依据 | 每项事实主张均到达充分来源片段 | 移除或扣留无来源主张 | | 独立性 | 血缘与分区检查证明无循环或目标信息 | 使受影响支持与评分失效 | | 审核 | 必需角色处置精确候选版本 | 候选保持未发布 | | 可复现性 | 清单、工具与检查能够重建证据包 | 退回数据包修正 |
主张—来源与系统合同
报告合同定义章节顺序、主张类型、必需证据关系、引文样式、不确定性词汇、禁止推断、限制 ID、语言、可访问性要求、核验阈值与签署角色。除非已批准主张明确包含，生成器不得创造新的数值、坐标、状态或建议。
安全、隐私与访问边界
报告应从经过过滤的证据快照呈现，并扫描受限标识符、隐藏指令与跨权限引文。公开版本是独立制品，带明确脱敏记录。不得把受保护证据发送到未声明外部服务。保存来源包与报告摘要，以便验证后续分发。
人工审核与升级
审核者使用主张表与语义差异，再检查呈现报告中的语境、显著性与可访问性。限制即使技术上存在，若藏在附录中也可能在运行上无效。签署绑定内容摘要、语言、呈现与证据快照；翻译必须作为新候选审核，因为限定词可能改变。
合成案例详解
一段合成报告有三项已批准主张：一条观测蚀变区间、一项解释趋势和一个连续性假设。生成器标明各层级，并引用区间记录、解释快照与假设矩阵。核验发现新增短语“延伸至剖面之外”，但批准集中并无此项。该短语被移除，规定限制“剖面之外的连续性未经检验”被放在假设旁。
反例与失败分析
一个提示包含原始文档，并要求生成带引文的简洁管理摘要。输出压缩了限定词、混合当前与过时来源，还创造一项无来源建议。段末引文无法说明哪一来源支持哪一主张。安全报告需要已批准主张层与生成后核验，不能只靠“请加引文”的指令。
常见失败模式
- 直接从原始上下文生成结论
- 用一个引文覆盖多项模糊主张
- 摘要时丢失限制
- 把翻译当作纯措辞变化
- 签署报告却不绑定证据快照
实践练习
- 为一份短合成报告建立已批准主张集。
- 把每项主张映射到支持、相反与缺失证据。
- 设计能够发现置信与限制变化的语义差异。
- 为双语报告版本编写发布检查。
考核制品
提交一套完成主张—来源核验的版本化双语报告包，并附来源清单、配置版本、验收证据、被拒案例、未解决风险，以及未选择某个合理备选控制的简要理由。如果图示或文字无法与机器可检查证据核对，制品即不完整。
验证检查点
把一项已发布合成主张逆向追踪，经过审核、置信、核验、证据图、工具结果或来源片段，直到不可变输入；再把一项被拒主张追踪到最早失败合同。根据清单重跑数据包并比较内容摘要。只有另一位审核者无需原对话即可重建接受与阻断路径、识别所有假设并复现发布决定，检查点才通过。对未解决风险应如实记录，不能用生成文字补全缺失事实。
来源
- FActScore 原子事实精确率评价， 把长文本输出拆成可逐项对照来源的原子事实的方法。
- FEVER 事实提取与核验基准， 把主张与支持、反驳或证据不足状态连接起来的原始基准。
- PROV-O 来源追溯本体， 描述实体、活动、责任角色与派生关系的标准模型。
- 《生成式人工智能风险管理配置文件》， 覆盖生成式系统特有风险与控制的跨行业配置文件。