feat: 建立四路线冲突破解与候选决策轨迹#36
Merged
Merged
Conversation
问题: - fixed viewer 只能识别 legacy current-state，缺少 additive blocked trail 与 fail-closed proof seam。 变更: - 增加 blocked solution-trail fixture、可 import validator、稳定 CLI、schema dispatch 与 error-only viewer state。 - 将 Playwright 1.61.1 / Chromium 149.0.7827.55 的真实浏览器验证接入 npm test 和 CI/release。 - 保留 legacy fixture、14-skill surface 与 disposable prototype 原样。 原因: - #30 要求 fixture、语义验证、CLI、fixed viewer 和仓库级门禁形成一个可独立落绿的纵向切片。 验证: - npm test（12/12） - git diff --cached --check - legacy/prototype 零 diff，prototype 外无依赖引用，skill count 14 风险: - 中：单提交涉及 12 个文件，但均属于同一 acceptance chain，拆分会破坏中间提交的契约一致性。 - viewer validator companion 已覆盖直接 URL 与既有 current-view 软链 URL。 关联: - GitHub #30，parent #29 Refs: #30
问题: - defined cloud 尚无可审计的四路线分支、假设验证与证伪优先 challenge 契约。 变更: - 新增唯一四路线 runtime reference，并接通 CLD/BRN/ASM/CHL 的 one-main-move 路由。 - 扩展 blocked solution-trail fixture、fail-closed semantic validator 与 fixed viewer read-back。 - 覆盖 route target、clarity/existence、challenge authorization、refs/backrefs、scope 与 branch evidence isolation。 原因: - 让路线选择只由 scope-matched challenge evidence 驱动，同时保留 #30 legacy/current-state 与 blocked trail 行为。 验证: - git diff --cached --check - npm test（22/22 PASS，含固定版本真实 Chromium seam） 风险: - 中：单一垂直契约跨 15 文件；拆分会让 skill、schema、validator、viewer 或 proof 暂时漂移。回滚本提交可整体撤销；#27 prototype 未纳入。 关联: - #31 - Parent #29 - Blocker #30 closed and integrated Refs: #31
问题: - 已授权的 assumption break 尚不能形成可审计的 single candidate 与独立 B/C coverage。 变更: - 增加 INJ/CND/COV case、schema、fixture、semantic validator/CLI 与 fixed viewer 合同。 - 对 cardinality、授权 break、coverage 字段、support assumptions、open blocker、proof language 与 candidate-only boundary fail closed。 - 保留 legacy、blocked 与 four-route 行为和真实浏览器 proof。 原因: - skill、projection、validator、viewer 与测试必须作为同一纵向合同交付，避免局部版本漂移。 验证: - npm test: PASS 30/30；Playwright 1.61.1 / Chromium 149.0.7827.55，未 skip。 - git diff --cached --check: PASS。 - node scripts/validate-data.mjs docs/examples/single-candidate-trail.json: PASS。 风险: - 中：原子合同跨 13 个文件；可通过本 commit 整体回滚。未包含 AND/OR/alternatives、archive/mobile 或 decision_ready 行为。 关联: - Refs: #32
问题: - single candidate 无法表达显式 AND、OR 或证据隔离的完整替代候选包。 变更: - 增加扁平 composition、typed member roles、AND removal proof 与 OR 每成员独立 B/C coverage。 - 增加 ALT evidence/coverage/gate isolation、package/branch disposition 与 fail-closed semantic errors。 - 扩展 fixed viewer、green fixture、skill/schema 契约和真实浏览器回归证明。 原因: - skill、schema、fixture、validator、viewer 与 tests 必须作为一个垂直契约移动，避免任一层静默漂移。 验证: - npm test：37/37 PASS，含 Playwright Chromium 149.0.7827.55，未 skip。 - Standards review：0 unresolved findings；Spec review：0 unresolved findings。 - fixed viewer styled full-page review：PASS；git diff --cached --check：PASS。 风险: - 中：单提交包含 13 个文件，但它们属于不可安全拆分的共享垂直契约；legacy、blocked、route、single 与 composed paths 均已回归。 关联: - Refs: #33
问题: - current-state 与 solution trail 缺少真实 active/archive 配对流程和窄屏审计边界。 变更: - 增加唯一 pair/archive 文件操作 owner、固定双向导航校验与 fixed viewer readback。 - 增加 390x844 collapsible dossier、局部 route scroll、sticky warning 与独立 B/C coverage proof。 - 同步 skill、schema、公开文档与真实临时 library 浏览器回归。 原因: - current reality 与 candidate reasoning 保持独立 artifact，同时让真实 pair 可直接打开且 archive 不改写 recorded status。 验证: - npm test（34/34 PASS；Playwright 1.61.1 / Chromium 149.0.7827.55；0 skipped） - git diff --cached --check - Standards review: 0 findings - Spec review: 0 findings 风险: - 中低：15 文件组成一个不可拆的 skill→filesystem→validator→viewer→browser contract；回滚此提交即可整体撤销。 - 未实现 #33/#35、AND/OR、decision_ready 或后续验证语义。 关联: - Parent #29 Refs: #34
问题: - 完整候选 trail 只能停在 in_progress，缺少可审计的 decision_ready 与独立 HITL 承诺边界。 变更: - 复用候选、alternative、disposition 与 blocker gate，新增 fail-closed decision_ready 状态和人类 authority readback。 - fixed viewer 同屏呈现 decision_ready、candidate 与两个 not_completed，并扩展中英文公共/维护契约。 - 增加 API、CLI、真实浏览器、proof-language 与 HITL negative matrix。 原因: - readiness 只是候选包进入后续验证的机械门禁，不是效果证明或自动阶段转换。 验证: - npm test：47/47 PASS，Playwright 1.61.1 / Chromium 149.0.7827.55，0 skip。 - Standards review：0 unresolved；Spec review：0 unresolved。 - git diff --cached --check：PASS。 风险: - 中低：15 个文件超过 8-file 建议，但 skill、schema、validator、viewer、tests 与 docs 是一个不可拆的 fail-closed 垂直契约；legacy、四路线、single、AND/OR/alternatives、archive/mobile 均有回归保护。 Refs: #35
问题: - candidate trail 缺少整组 route core 时，import API 会抛出 TypeError，而不是返回稳定错误码。 根因: - route prerequisite 只在至少一个 route 字段存在时执行，后续关系校验又直接解引用可缺失数组。 变更: - candidate trail 无条件先经过 route/core 校验，并让缺失反向引用参与结构化失败。 - 增加缺失 route core 与浅层畸形输入的回归覆盖。 原因: - semantic validator 必须对不可信 data.json 保持 total 与 fail-closed，viewer/CLI 才能稳定消费错误结果。 验证: - npm test（48/48 PASS，Playwright 真实 Chromium seam，0 skip） - 932 个递归字段删除探针无 validator exception - git diff --cached --check 风险: - 低：只收紧无效输入的失败路径；有效 fixture、viewer 与 archive 行为不变。 关联: - GitHub PR #36
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
结果
把 TOC 冲突图从 validated cloud 推进到 candidate-only decision trail，并在 fixed viewer 中保持可审计、fail-closed 与 HITL 边界。
主要能力
验证
npm test：47/47 PASSgit diff --check origin/main..HEAD：PASSprototypes/issue-27-conflict-resolution-decision-trail.html未纳入提交或运行时依赖Tickets
完成并关闭 #30、#31、#32、#33、#34、#35。
Closes #29
Refs #20