qiaoqichao/mini-openclaw-v2
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
13 Commits 2 Branches 0 Tags
d18c147076bb26c10de45a8f29e5ff0ff36f87df
Commit Graph
5 Commits
Author SHA1 Message Date
qiaoqichaoandClaude Code f8c4ba9e1d feat(v2): T05-b 知识卡片与硬规则依据门禁 
T05 第二步：候选与治理。设计明令"复用卡片治理、不新建第二套发布库"，
故本模块**只做投影**，状态机与发布完全委托 component_registry。

新增 contracts：Origin / GovernanceStatus / RuleEffect / Condition /
RuleContent / KnowledgeCard。Condition 只允许字段+有限算子，**不执行表达式**。
RuleContent 在契约层就要求 hard 必须带 policy_ref 或 authorization_ref 且附依据证据。

新增 services/knowledge_cards.py：
- propose()：投影字段（origin/谱系/范围/条件）后委托 registry.draft()，**只产草稿**
- publish()：发布时**再查一次** hard 门禁——草稿可能在提议后被改，不能只信提议时的校验
- effective()：按数据域/有效期/范围过滤已发布版本（BR-04）

既有治理的保证原样生效，有测试锁定：自批被 release() 拒绝、无评测不能发布、
已发布需新版本号、提议不产生已发布版本。

三处必须点明的边界与映射：
1. **同键不同义**：本设计的 data_domain ↔ 注册表的 scope（demo/production），
   而本设计的 scope 是 project/team。投影层显式互换并存为 card_scope，绝不混用；
   调用方私传 data_domain 会被拒
2. **条件形状不同**：注册表条件是 {code,field,operator,threshold,title,suggestion}，
   本设计是 {field,operator,value}。做**翻译**而非强加；算子只映射注册表实际
   会产出的 5 个（gt/lt/eq/gte/lte），出现其它取值即报错而非当作已支持
3. **内置种子组件是全局的**，没有 project_id/edited_by，**不是项目知识卡片**。
   投影时明确报错，避免把内置 Skill 误当项目卡片

测试：新增 test_knowledge_cards.py 20 项（门禁 6 + 来源谱系 6 + 治理复用 5 + 有效过滤 3）。
全量 310 项 OK（290 → 310）；verify.py 10/10 PASS。

Co-Authored-By: Claude Code <noreply@anthropic.com>
 2026-09-29 18:47:59 +08:00
qiaoqichaoandClaude Code 04ef3972a8 feat(v2): T05-a 历史过程时间线（缺时间不编造） 
T05 卡片要求"先 timeline，再候选，再编辑/测试/审核"。本批是第一步。

新增 contracts：DecisionEvent（区分 occurred_at 与 recorded_at）、CaseTimeline。
新增 services/history_cases.py：确定性提炼，无模型调用。

两条硬规则的实现：
- **不编造发生时间**（BR-02）：occurred_at 只取材料里记载的日期；缺失/占位值
  （"-"、"缺失"、"未知"）或无法解析时保持 None 并给缺证提示。recorded_at 必填，
  但它**不表示发生时间**——有测试断言二者不相等
- **不编造经过**（14 §4）：只有最终报告或非结构化材料时产出 **0 个事件** 并标
  `partial` + "过程材料不完整"，绝不生成虚构的问询顺序

其它：列名靠别名表识别，**未识别的列忽略而非猜测**；未声明事件类型时保守记为
question 而不丢弃该行；事件携带行级 evidence_id 以便回溯原文定位；同项目重复提炼
是同一对象 revision 递增（03 §4）；缺日期事件排序时置于末尾，不被打乱成"近期"。

实现中修掉一处自己的问题：build() 初版调了两次 store.put（首次建库 revision 会变 2），
且校验发生在落库之后——非法时间线本可能入库。现改为先校验再单次 put。

测试：新增 test_history_cases.py 18 项（不编造 6 + 提炼 6 + 隔离与版本 6），
含"缺日期为 None 且不等于导入时间""只有最终报告不得生成时间线"等反例。
全量 290 项 OK（272 → 290）；verify.py 10/10 PASS。

Co-Authored-By: Claude Code <noreply@anthropic.com>
 2026-09-29 18:41:50 +08:00
qiaoqichaoandClaude Code 8fef00d268 feat(v2): T04 模拟案例生成与数据集划分 
先边界 fixture 再批量生成；全程程序组合场景，**不做任何模型调用**（14 §8 末）。

新增 services/simulation_dataset.py：
- generate(seed, scale)：程序化生成虚构项目，同 seed 同版本**逐条一致**
- split()：按关联组 + 时间分桶（组内不拆），以组的最早发生时间排序
- assert_group_integrity / assert_source_allowed：组不跨集合；保留集来源禁止用于提炼
- manifest()：构造 DatasetManifest 契约体

契约补 T04 才该有的部分（T00/04 当初有意推迟）：EventOutcome 七值枚举、
OutcomeCount、DatasetManifest。含两条硬约束——合成数据必须 demo 域（BR-34）、
计数不得为 0（空结果用不适用表达）。

配比按 14 §8：通过 1800（直接 900 + 补件后 900）/ 未通过 600 / 不计入 600
（附条件 100 + 未送审 175 + 退出 175 + 待定 150）= 3000。
两个建模决定：
- "补件后通过"是 approved 的**子类型**（outcome_subtype），不是独立 outcome ——
  06 §3 要求区分首次提交与补件后，但设计 §9.1 的 EventOutcome 只有 7 个值，不自扩充
- conditional 是否计入目标由客户映射决定（OQ-05），故 label=None，绝不默认当通过

实现中被自己的检查抓到两个 bug：
1. 分组与近重复用了两套独立公式，导致 near_duplicate_of 指向别组记录，
   assert_group_integrity 直接报"近重复案例跨集合"。现组号与近重复由同一序号唯一推出
2. split() 末段取剩余可能为负（极端小样本），会静默切出错误的划分。已夹到非负

测试：新增 test_simulation_dataset.py 24 项（边界 fixture 10 + 生成 10 + 清单 4 +
落盘 2），含 AC-35 的可复现性与 AC-36 的组不跨集合/保留集来源拒绝。
全量 272 项 OK（248 → 272）；verify.py 10/10 PASS。

Co-Authored-By: Claude Code <noreply@anthropic.com>
 2026-09-29 18:30:34 +08:00
qiaoqichaoandClaude Code c59fff68d3 feat(v2): S1 存储层——材料导入批次与事实冲突检测 
T02 第二个子卡。复用 assistant_objects（新 kind），**未新建表**；旧库结构不变。

新增服务：
- services/material_import.py 批次生命周期：create/load/listing/mark_item/
  retry/cancel；状态由逐项状态派生（ready/partial/failed/parsing）
- services/fact_conflict.py 冲突检测/阻断/裁定；FactConflictUnresolved(E-17)

解决的**真实缺口**（BR-23 / AC-24）：既有 apply_candidate 对 values/facts 是
后写覆盖，sources 虽累积多来源但无人检测分歧、无人阻断。本层在**新路径**前置
检测：冲突时证据仍入 sources（BR-22 留痕）但值不采用（BR-23），已确认值不被覆盖。

增量改动（均为可加性，未改既有语义与调用方行为）：
- assistant_store.py：新增 idempotent_lookup / idempotent_remember 共享 helper。
  既有 enqueue 与 create_report 的内联实现**未改写**。用 INSERT OR REPLACE 而非
  裸 INSERT：重试路径上裸 INSERT 会抛 sqlite3.IntegrityError（非 Conflict，
  translate() 无法映射为 409）。
- assistant_materials.apply_candidate 新增 adopt=True 形参。adopt=False 只记证据
  不改值；既有调用方不传参，行为完全不变（有回归测试）。

设计决定：
- T00/04 曾提 3 个 kind；实现时发现契约中 ImportItem 无 revision 且内嵌于批次，
  items 是值对象，故收敛为 2 个 kind（import_batch / fact_conflict）
- E-17 有两个面：确认动作被拒 = 422；运行级结果 = HTTP 200 且冲突存于
  degradations。契约映射与注释均已写明，并有测试锁定

测试：新增 test_prescreen_storage.py（33 项）。全量 196 项 OK（124 → 196）。
scripts/verify.py 9/9 PASS（exit 0）。

Co-Authored-By: Claude Code <noreply@anthropic.com>
 2026-09-29 14:49:03 +08:00
qiaoqichaoandClaude Code d8a7d3858c feat(v2): 新增 S1 契约层（材料集合导入与事实确认） 
T02 首个子卡 = S1 契约层。新增 backend/contracts/prescreen.py（设计指定的
唯一 owner），定义 SourceLocator / ImportItem / ImportBatch / FactConflict
与共用约束、错误码与错误信封。

落实的规格条目：
- BR-22 逐文件保留来源/定位/解析版本与状态
- BR-23 多来源冲突保留候选并要求显式处理（resolved 需说明+选择+人）
- AC-23 反例：绝对路径(C:/、/、//share)、上级引用(..)、超限、空集合、
  failed 缺 error_code、parsed 缺 document_id、parsed 带 error_code
- AC-24 反例：候选值全同不构成冲突；未知用 null 而非 0/空串；
  candidates 必须与 candidate_evidence_ids 同序同集合
- 01 §5 错误码与既有 translate() 的 HTTP 语义对齐；E-17 为运行级、HTTP 200
- 03 §9.1 时间必须带时区；禁止未知字段（E-07）

D3 定案（工程限制，非业务阈值）：单文件 ≤10 MiB 沿用既有 LIMIT；单批
≤20 文件 / ≤20 MiB。依据 03 §1 末「管理员只能降低初期限制，放宽须重新验证」，
取保守方向即规格许可；放宽需另立验证。

依赖方向：contracts 不导入 services，标准字段白名单校验留在 service 层。

测试：新增 test_prescreen_contracts.py 38 项，全绿；scripts/verify.py 9/9 PASS。

Co-Authored-By: Claude Code <noreply@anthropic.com>
 2026-09-29 14:20:39 +08:00