用途与实际影响
这项功能怎样使用
为什么需要它
日期或金额只要和原文对不上,就可能让几份文件一起引用一个错误值。项目必须自行核对事实和未决冲突,而不是接受外部写入的“已通过”。
举个实际例子
我可以问:“这条预算和日期能写进正式文件吗?请指出它们分别来自哪里,冲突先别替我决定。”项目会把金额、日期和表格位置对应回原文;关键冲突没解决时只交草稿。
最后我会得到什么
得到每条结论的来源位置、确认理由、冲突与缺项,以及这一轮只能交草稿还是可以生成正式文件的判断。决定由这件工作的负责人作出,工具不会因为外部文件自称通过就接受。
可以正式构建
重要结论都能回到当前资料,目标、范围、异常处理和验收写清楚,关键冲突也已解决时,才说明可以制作正式文件。
需要确认
依据缺失、重要结论待确认、资料已换版或说法冲突时,交回草稿和具体待决定项。
当前不可用
当前资料或已保存的事实不可读时,保留原文件并暂停正式制作;外部写一张‘已通过’清单不能替代核对。
从哪里开始
让 AI 先核对材料里的日期、范围、金额和负责人再成稿。
需要准备什么
- 这次要形成的工作判断或文件
- 只有实际冲突需要本人取舍时才给明确选择
从开始到拿到结果
- 1
把候选结论对回原文
AI列出金额、日期、范围等结论,并指出每一项来自选定文件的哪里。
- 2
处理冲突再决定能否正式制作
负责人确认重要事实与取舍;缺依据或冲突未解时只交草稿和待决定项。
- 3
交回能采用的口径
已确认事实进入同一版交付依据;原话对不上或关键问题未决时明确停在草稿,不制造正式 Office 文件。
技术实现与依据
这里保留实现、关键条件、精确入口、历史记录和验证结果。
typed money/date/datetime、CSV 行列、追加审阅理由与 canonical quality gate 已实现;审阅事件仍不记录 actor关键规则与设计选择
money/date/datetime 保存规范类型和 value_data,不只保存显示文字。
文本证据保存偏移、行列和原文;CSV 定位精确到行列。
确认、驳回、退回和 source-rebound 追加 FactReviewEvent。
每个真实状态变化要求非空 reason,并保留 evidence before/after。
当前事件 schema(数据结构) 没有 actor,不能称为完整多人审计。
AI 分析在项目外;核心只接收明确登记的事实、证据与决定。
正式入口从 SQLite 重建 manifest(清单) v2,调用方不能自报 ready。
本模块用到的名词
- Typed fact(结构化事实)
- 金额、日期和带时区时间分别保存机器可比较字段与人类显示值。
- FactReviewEvent(事实审阅事件)
- 一次状态或证据变化的追加记录;当前包含理由但不包含操作人。
- Canonical manifest(规范清单)
- 公开入口从 SQLite 重建的唯一正式事实投影,不能由调用方手写替代。
专业定义
正式文件之前先过事实门:证据定位、结构化值、确认理由、关键冲突、范围、异常和验收都要能从当前状态解释。
解决什么
解决无来源结论、金额日期口径漂移、审阅历史被覆盖和 quality 状态可伪造的问题。
当前怎样实现
- EvidenceSpan 由系统验证 quote 与来源字节一致,并计算 locator(原件定位记录)。
- FactValueType 支持 text、money、date、datetime;结构化字段严格校验。
- FactReviewEvent 保存 action、previous/current(当前状态) status、stale、revision、reason 和 evidence IDs。
- DeliveryCompiler 计算 missing goal/sections、unconfirmed、stale、evidence 和 conflicts。
- expected_manifest 从 current(当前状态) build、package、facts 与 evidence 重建,verify 逐字段比较持久化文件。
执行流程
- 1
登记候选事实
- 2
绑定证据原文
- 3
规范化类型值
- 4
确认/驳回/保留假设
- 5
追加理由与前后证据
- 6
计算质量缺口
- 7
生成draft或ready
- 8
正式入口再次重建manifest(清单)
边界
- 没有 actor 字段
- 责任角色仍是原文/文本值
- AI 判断不在核心内
- 没有字段级权限或多人审批
- 质量门不证明真实业务采用
失败与恢复
- Quote 不在来源或偏移不匹配
- 登记前失败,不保存伪造 EvidenceSpan。
- 关键事实冲突或缺必填章节
- quality 保持 draft,列出字段和证据,不启动正式 Office。
- 调用方修改 ready manifest(清单)
- SQLite 重建结果不一致,verify 和 artifacts 明确拒绝。
真实入口
PRIVATE source · models.py结构化事实、build与review event值对象
PRIVATE source · store.py证据、事实、追加审阅和冲突查询
PRIVATE source · compiler.py质量门与canonical manifest(清单)
如何验证
- 手写 ready、goal/fact/evidence/hash 漂移均拒绝。
- money/date/datetime 与 CSV 行列回归通过。
- 审阅事件追加且保留前后证据。
- 关键冲突只生成标记草稿。
- actor 缺口由数据类与表结构现场确认。
与其他模块的关系
本模块决定当前 build 是否可信;通过后,下一模块才能从同一规范清单生成正式文件。
