feat(selector): 增加离线候选遍历与严格回放验证 Demo #22

2026-09-10T15:15:15+08:00

likang commented

2026-09-10 15:15:15 +08:00

新增 selector_candidate_demo，移除 provenance intent 后枚举候选 selector
对候选分支执行有界重建与严格 STEP 比较
仅在候选遍历完整且唯一 strict 通过时生成 selector 映射记录
增加 selector 候选搜索、预算限制和记录生成的测试
保持生产 selector resolver 不受 Demo 逻辑影响
更新 CADFS 能力台账，记录 IMPRINT 派生 profile 的 lineage selector 缺口

- 新增 selector_candidate_demo，移除 provenance intent 后枚举候选 selector - 对候选分支执行有界重建与严格 STEP 比较 - 仅在候选遍历完整且唯一 strict 通过时生成 selector 映射记录 - 增加 selector 候选搜索、预算限制和记录生成的测试 - 保持生产 selector resolver 不受 Demo 逻辑影响 - 更新 CADFS 能力台账，记录 IMPRINT 派生 profile 的 lineage selector 缺口

likang added 1 commit 2026-09-10 15:15:16 +08:00

feat(selector): 增加离线候选遍历与严格回放验证 Demo 994d06aaea

- 新增 selector_candidate_demo，移除 provenance intent 后枚举候选 selector
- 对候选分支执行有界重建与严格 STEP 比较
- 仅在候选遍历完整且唯一 strict 通过时生成 selector 映射记录
- 增加 selector 候选搜索、预算限制和记录生成的测试
- 保持生产 selector resolver 不受 Demo 逻辑影响
- 更新 CADFS 能力台账，记录 IMPRINT 派生 profile 的 lineage selector 缺口

likang merged commit c6d3bfddec into main

2026-09-10 15:15:24 +08:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: likang/cdsl-cad#22