@guanlin4924/devflow-pi 0.1.40 → 0.1.48

package/plugins/devflow-core/skills/workflow-orchestrator/scripts/business_closure_e2e_seed.json

@@ -0,0 +1,516 @@
+{
+  "renumber": { "REQ-0001": "REQ-0005" },
+  "nodes": [
+    {
+      "id": "BEH-0006",
+      "kind": "behavior",
+      "status": "candidate",
+      "data": {
+        "name": "生成前端元素索引并供候选阶段消费",
+        "trigger": "代码索引完成后生成前端元素索引",
+        "actor_and_authority": "系统生成元素索引；候选阶段只读取已确认版本",
+        "preconditions": ["代码索引已完成且有效", "元素索引来源可追溯"],
+        "state_transition": "code_indexed -> element_indexed",
+        "invariants": ["元素索引必须绑定代码索引版本", "版本不一致不得被消费"],
+        "writes": ["element_index_version", "version_relation"],
+        "side_effects": ["开放候选生成阶段"],
+        "failure_paths": ["元素索引失败", "版本不一致"],
+        "recovery_strategy": "阻断候选完成并保留失败原因"
+      }
+    },
+    {
+      "id": "BEH-0007",
+      "kind": "behavior",
+      "status": "candidate",
+      "data": {
+        "name": "AI 根据双索引生成候选并保留未知 producer",
+        "trigger": "代码索引与元素索引就绪后生成候选",
+        "actor_and_authority": "AI 生成候选并保留 unknown producer；Core 校验引用",
+        "preconditions": ["双索引冻结版本就绪", "候选可引用两个索引版本"],
+        "state_transition": "indexed -> candidates_generated",
+        "invariants": ["unknown producer 不得猜测填充", "候选必须引用两个索引版本"],
+        "writes": ["candidate", "producer_status", "assumptions", "conflicts"],
+        "side_effects": ["进入 checker 输入"],
+        "failure_paths": ["AI 失败", "AI 超时", "非法输出"],
+        "recovery_strategy": "不生成伪成功候选，转交 checker 处理"
+      }
+    },
+    {
+      "id": "REQ-0006",
+      "kind": "requirement",
+      "status": "candidate",
+      "data": {
+        "fp": "FP-008",
+        "input": "已完成且有效的代码索引版本",
+        "output": "可消费的前端元素索引版本",
+        "behavior": "元素索引来源与代码索引版本可追溯",
+        "orchestration": "代码索引完成→元素索引→候选消费",
+        "failure": "元素索引失败或版本不一致阻断候选完成",
+        "verification": "读取元素索引并核对来源版本",
+        "source_refs": ["SRC-0001"],
+        "outcome": "可消费的前端元素索引版本",
+        "actor_and_authority": "系统根据已完成的代码索引生成元素索引；候选阶段只读取已确认版本",
+        "data_scope": "self",
+        "behavior_ref": "BEH-0006",
+        "failure_refs": ["BC-015"],
+        "acceptance_refs": ["AC-0002"],
+        "data_scope_detail": "本 feature 内同一 job 生成的代码索引与元素索引版本；不含其他 feature 或租户的索引。"
+      }
+    },
+    {
+      "id": "REQ-0007",
+      "kind": "requirement",
+      "status": "candidate",
+      "data": {
+        "fp": "FP-009",
+        "input": "代码索引 + 前端元素索引冻结版本",
+        "output": "AI 候选、producer 状态、assumptions/conflicts",
+        "behavior": "AI 根据双索引生成候选，unknown producer 不猜测",
+        "orchestration": "双索引就绪→AI 候选→checker 输入",
+        "failure": "AI 失败/超时/非法输出不生成伪成功候选",
+        "verification": "候选引用两个索引版本且未知事实进入治理字段",
+        "source_refs": ["SRC-0001"],
+        "outcome": "AI 候选、producer 状态、assumptions/conflicts",
+        "actor_and_authority": "AI 生成候选并保留 unknown producer；Core 校验候选引用",
+        "data_scope": "self",
+        "behavior_ref": "BEH-0007",
+        "failure_refs": ["BC-016", "BC-017"],
+        "acceptance_refs": ["AC-0003"],
+        "data_scope_detail": "候选引用本 feature 的代码索引与元素索引版本；未知 producer 进入治理字段而非被猜测填充。"
+      }
+    },
+    {
+      "id": "REQ-0008",
+      "kind": "requirement",
+      "status": "candidate",
+      "data": {
+        "fp": "FP-010",
+        "input": "含 unknown/conflict 的候选",
+        "output": "checker 结果、暂停状态、待处理项",
+        "behavior": "checker 暂停并等待用户处理，暂停时下游不可消费",
+        "orchestration": "候选→checker→暂停；单一待处理项",
+        "failure": "重复检查/会话请求不重复推进",
+        "verification": "观察 paused/waiting 状态、原因和待处理项",
+        "source_refs": ["SRC-0001"],
+        "outcome": "checker 结果、暂停状态、待处理项",
+        "actor_and_authority": "checker 记录未知事实并暂停；用户处理待处理项",
+        "data_scope": "self",
+        "behavior_ref": "BEH-0001",
+        "failure_refs": ["BC-018"],
+        "acceptance_refs": ["AC-0004"],
+        "data_scope_detail": "暂停状态与单一待处理项仅属本 feature job；暂停期间下游不消费。"
+      }
+    },
+    {
+      "id": "REQ-0009",
+      "kind": "requirement",
+      "status": "candidate",
+      "data": {
+        "fp": "FP-011",
+        "input": "用户对待处理事实的处理决定",
+        "output": "自动继续后的 canonical 与 approval",
+        "behavior": "用户处理后原流程自动继续，Core 生成 canonical/approval",
+        "orchestration": "同会话提交处理→checker 重验→Core 顺序产出",
+        "failure": "仍冲突或 Core 失败不得声称冻结",
+        "verification": "处理前后 revision 关联，canonical/approval 可查询",
+        "source_refs": ["SRC-0001"],
+        "outcome": "自动继续后的 canonical 与 approval",
+        "actor_and_authority": "用户提交处理决定；Core 重验并顺序产出 canonical/approval",
+        "data_scope": "self",
+        "behavior_ref": "BEH-0002",
+        "failure_refs": ["BC-019"],
+        "acceptance_refs": ["AC-0005"],
+        "data_scope_detail": "处理决定、canonical 与 approval 绑定同一会话 revision；Core 失败不得声称冻结。"
+      }
+    },
+    {
+      "id": "REQ-0010",
+      "kind": "requirement",
+      "status": "candidate",
+      "data": {
+        "fp": "FP-012",
+        "input": "外部回调事件、关联键和状态",
+        "output": "成功或失败终态及回调证据",
+        "behavior": "外部回调映射成功/失败状态分支",
+        "orchestration": "回调接收→校验→状态映射→终态",
+        "failure": "超时、重复、乱序、未知关联或非法来源不误推进",
+        "verification": "两条分支均可重放且有事件/终态证据",
+        "source_refs": ["SRC-0001"],
+        "outcome": "成功或失败终态及回调证据",
+        "actor_and_authority": "外部系统发起回调；系统校验关联并映射终态",
+        "data_scope": "self",
+        "behavior_ref": "BEH-0003",
+        "failure_refs": ["BC-020", "BC-021"],
+        "acceptance_refs": ["AC-0006"],
+        "data_scope_detail": "回调关联本 feature job；成功/失败两条分支均有可重放证据。"
+      }
+    },
+    {
+      "id": "REQ-0011",
+      "kind": "requirement",
+      "status": "candidate",
+      "data": {
+        "fp": "FP-013",
+        "input": "Core canonical/approval 冻结版本与同一会话上下文",
+        "output": "下游消费记录、fingerprint/revision、会话连续性证据",
+        "behavior": "下游只消费冻结版本且无需关闭/重启会话",
+        "orchestration": "冻结→下游读取→核对 fingerprint；原会话继续",
+        "failure": "草稿/旧版本/未冻结版本拒绝；中断不得伪报完成",
+        "verification": "消费请求引用冻结 revision/fingerprint；会话 ID 前后一致",
+        "source_refs": ["SRC-0001"],
+        "outcome": "下游消费记录、fingerprint/revision、会话连续性证据",
+        "actor_and_authority": "下游只读取冻结版本并核对 fingerprint；Core 提供冻结 revision",
+        "data_scope": "self",
+        "behavior_ref": "BEH-0004",
+        "failure_refs": ["BC-022"],
+        "acceptance_refs": ["AC-0007"],
+        "data_scope_detail": "下游消费记录引用冻结 revision/fingerprint；会话 ID 前后一致，无需重启。"
+      }
+    },
+    {
+      "id": "AC-0002",
+      "kind": "acceptance",
+      "status": "candidate",
+      "data": {
+        "requirement_refs": ["REQ-0006"],
+        "behavior_ref": "BEH-0006",
+        "outcome": "代码索引完成后必须生成可追溯的前端元素索引版本",
+        "verification": "读取元素索引并核对来源代码索引版本",
+        "notes": "对应 FP-008 / REQ-0006 的元素索引验收",
+        "requirement_ref": "REQ-0006",
+        "verification_types": ["business", "contract", "resilience"],
+        "title": "生成前端元素索引并供候选阶段消费",
+        "source_refs": ["SRC-0001"],
+        "business_verification": "代码索引完成后必须生成可消费的元素索引；元素索引与代码索引版本可追溯。",
+        "contract_verification": "元素索引版本与来源代码索引版本可读取并可核对一致；不一致时不得被候选阶段消费。",
+        "resilience_verification": "元素索引失败或版本不一致时阻断候选完成，保留失败原因。"
+      }
+    },
+    {
+      "id": "AC-0003",
+      "kind": "acceptance",
+      "status": "candidate",
+      "data": {
+        "requirement_refs": ["REQ-0007"],
+        "behavior_ref": "BEH-0007",
+        "outcome": "AI 根据双索引生成候选，unknown producer 不猜测填充",
+        "verification": "候选引用两个索引版本且未知事实进入治理字段",
+        "notes": "对应 FP-009 / REQ-0007 的候选生成验收",
+        "requirement_ref": "REQ-0007",
+        "verification_types": ["business", "contract", "resilience"],
+        "title": "AI 根据双索引生成候选并保留未知 producer",
+        "source_refs": ["SRC-0001"],
+        "business_verification": "双索引就绪后 AI 生成候选；unknown producer 显式保留为 unknown，不猜测填充。",
+        "contract_verification": "候选引用两个索引版本；未知事实进入 assumptions/conflicts 治理字段。",
+        "resilience_verification": "AI 失败、超时或非法输出不生成伪成功候选。"
+      }
+    },
+    {
+      "id": "AC-0004",
+      "kind": "acceptance",
+      "status": "candidate",
+      "data": {
+        "requirement_refs": ["REQ-0008"],
+        "behavior_ref": "BEH-0001",
+        "outcome": "checker 记录未知事实并暂停等待用户处理",
+        "verification": "观察 paused/waiting 状态、原因和待处理项",
+        "notes": "对应 FP-010 / REQ-0008 的暂停验收",
+        "requirement_ref": "REQ-0008",
+        "verification_types": ["business", "contract", "resilience"],
+        "title": "checker 记录未知事实并暂停等待用户处理",
+        "source_refs": ["SRC-0001"],
+        "business_verification": "含 unknown/conflict 的候选被 checker 拦截并暂停；暂停时下游不可消费。",
+        "contract_verification": "paused/waiting 状态、原因和单一待处理项可观察。",
+        "resilience_verification": "重复检查或重复会话请求不重复推进状态。"
+      }
+    },
+    {
+      "id": "AC-0005",
+      "kind": "acceptance",
+      "status": "candidate",
+      "data": {
+        "requirement_refs": ["REQ-0009"],
+        "behavior_ref": "BEH-0002",
+        "outcome": "用户处理后原流程自动继续并生成 Core canonical/approval",
+        "verification": "处理前后 revision 关联，canonical/approval 可查询",
+        "notes": "对应 FP-011 / REQ-0009 的自动继续验收",
+        "requirement_ref": "REQ-0009",
+        "verification_types": ["business", "contract", "resilience"],
+        "title": "用户处理后同一会话自动继续并生成 Core canonical/approval",
+        "source_refs": ["SRC-0001"],
+        "business_verification": "用户提交处理决定后原流程自动继续，Core 生成 canonical 与 approval。",
+        "contract_verification": "处理前后 revision 关联；canonical/approval 可查询。",
+        "resilience_verification": "仍存在冲突或 Core 失败时不得声称冻结。"
+      }
+    },
+    {
+      "id": "AC-0006",
+      "kind": "acceptance",
+      "status": "candidate",
+      "data": {
+        "requirement_refs": ["REQ-0010"],
+        "behavior_ref": "BEH-0003",
+        "outcome": "外部回调驱动成功与失败状态分支并保留证据",
+        "verification": "两条分支均可重放且有事件/终态证据",
+        "notes": "对应 FP-012 / REQ-0010 的回调分支验收",
+        "requirement_ref": "REQ-0010",
+        "verification_types": ["business", "contract", "resilience"],
+        "title": "外部系统回调驱动成功与失败状态分支",
+        "source_refs": ["SRC-0001"],
+        "business_verification": "外部回调映射成功/失败状态分支并进入终态。",
+        "contract_verification": "成功与失败两条分支均可重放且具有事件/终态证据。",
+        "resilience_verification": "超时、重复、乱序、未知关联或非法来源不误推进状态。"
+      }
+    },
+    {
+      "id": "AC-0007",
+      "kind": "acceptance",
+      "status": "candidate",
+      "data": {
+        "requirement_refs": ["REQ-0011"],
+        "behavior_ref": "BEH-0004",
+        "outcome": "下游只消费冻结版本且会话无需重启",
+        "verification": "消费请求引用冻结 revision/fingerprint；会话 ID 前后一致",
+        "notes": "对应 FP-013 / REQ-0011 的冻结消费验收",
+        "requirement_ref": "REQ-0011",
+        "verification_types": ["business", "contract", "resilience"],
+        "title": "下游只消费冻结版本且会话无需重启",
+        "source_refs": ["SRC-0001"],
+        "business_verification": "下游只读取冻结 canonical/approval 版本，无需关闭或重启会话。",
+        "contract_verification": "消费请求引用冻结 revision/fingerprint；会话 ID 前后一致。",
+        "resilience_verification": "草稿、旧版本或未冻结版本被拒绝；中断不得伪报完成。"
+      }
+    },
+    {
+      "id": "TC-0004",
+      "kind": "test_case",
+      "status": "candidate",
+      "data": {
+        "acceptance_refs": ["AC-0002"],
+        "requirement_refs": ["REQ-0006"],
+        "test_type": "api",
+        "target": "代码索引完成后生成可追溯前端元素索引版本",
+        "preconditions": ["代码索引已完成且有效", "元素索引生成能力可用"],
+        "steps": ["触发元素索引生成", "读取元素索引版本与来源代码索引版本", "核对版本关系"],
+        "oracle": "元素索引生成成功且与来源代码索引版本可追溯；候选阶段可读取已确认版本。",
+        "automation_mode": "automated",
+        "evidence_strategy": "replay",
+        "replay_scope": "integration"
+      }
+    },
+    {
+      "id": "TC-0005",
+      "kind": "test_case",
+      "status": "candidate",
+      "data": {
+        "acceptance_refs": ["AC-0002"],
+        "requirement_refs": ["REQ-0006"],
+        "test_type": "boundary",
+        "target": "元素索引失败或版本不一致阻断候选完成",
+        "preconditions": ["代码索引已完成", "可构造索引失败或版本不一致场景"],
+        "steps": ["触发元素索引失败", "观察阻断结果与失败原因", "尝试用不一致版本进入候选"],
+        "oracle": "元素索引失败或版本不一致时阻断候选完成，失败原因保留；不一致版本不被消费。",
+        "automation_mode": "automated",
+        "evidence_strategy": "replay",
+        "replay_scope": "integration"
+      }
+    },
+    {
+      "id": "TC-0006",
+      "kind": "test_case",
+      "status": "candidate",
+      "data": {
+        "acceptance_refs": ["AC-0003"],
+        "requirement_refs": ["REQ-0007"],
+        "test_type": "api",
+        "target": "AI 根据双索引冻结版本生成候选并保留 unknown producer",
+        "preconditions": ["双索引冻结版本就绪", "AI 候选能力可用"],
+        "steps": ["提交双索引版本", "触发候选生成", "读取候选与 producer 状态"],
+        "oracle": "候选引用两个索引版本；unknown producer 显式保留为 unknown，不猜测填充。",
+        "automation_mode": "automated",
+        "evidence_strategy": "replay",
+        "replay_scope": "integration"
+      }
+    },
+    {
+      "id": "TC-0007",
+      "kind": "test_case",
+      "status": "candidate",
+      "data": {
+        "acceptance_refs": ["AC-0003"],
+        "requirement_refs": ["REQ-0007"],
+        "test_type": "boundary",
+        "target": "AI 失败、超时或非法输出不生成伪成功候选",
+        "preconditions": ["双索引就绪", "可注入 AI 失败/超时/非法输出"],
+        "steps": ["注入 AI 失败", "注入超时", "注入非法输出", "观察候选结果"],
+        "oracle": "AI 失败、超时或非法输出均不生成伪成功候选；未知事实进入治理字段。",
+        "automation_mode": "automated",
+        "evidence_strategy": "replay",
+        "replay_scope": "integration"
+      }
+    },
+    {
+      "id": "TC-0008",
+      "kind": "test_case",
+      "status": "candidate",
+      "data": {
+        "acceptance_refs": ["AC-0004"],
+        "requirement_refs": ["REQ-0008"],
+        "test_type": "api",
+        "target": "checker 记录 unknown/conflict 并暂停等待用户处理",
+        "preconditions": ["存在含 unknown/conflict 的候选", "checker 可运行"],
+        "steps": ["提交含 unknown 的候选", "运行 checker", "读取暂停状态与待处理项"],
+        "oracle": "checker 记录未知事实并暂停；paused/waiting 状态、原因与单一待处理项可观察。",
+        "automation_mode": "automated",
+        "evidence_strategy": "replay",
+        "replay_scope": "integration"
+      }
+    },
+    {
+      "id": "TC-0009",
+      "kind": "test_case",
+      "status": "candidate",
+      "data": {
+        "acceptance_refs": ["AC-0004"],
+        "requirement_refs": ["REQ-0008"],
+        "test_type": "boundary",
+        "target": "重复检查或重复会话请求不重复推进状态",
+        "preconditions": ["流程已处于暂停状态", "可重复触发检查或会话请求"],
+        "steps": ["重复运行 checker", "重复发起会话请求", "观察状态是否重复推进"],
+        "oracle": "重复检查或重复会话请求不重复推进；单一待处理项保持不变。",
+        "automation_mode": "automated",
+        "evidence_strategy": "replay",
+        "replay_scope": "integration"
+      }
+    },
+    {
+      "id": "TC-0010",
+      "kind": "test_case",
+      "status": "candidate",
+      "data": {
+        "acceptance_refs": ["AC-0005"],
+        "requirement_refs": ["REQ-0009"],
+        "test_type": "api",
+        "target": "用户处理后原流程自动继续并生成 Core canonical/approval",
+        "preconditions": ["流程已暂停且有待处理项", "用户可提交处理决定"],
+        "steps": ["提交处理决定", "触发 checker 重验", "读取 canonical/approval"],
+        "oracle": "用户处理后原流程自动继续，Core 生成 canonical/approval；处理前后 revision 关联。",
+        "automation_mode": "automated",
+        "evidence_strategy": "replay",
+        "replay_scope": "integration"
+      }
+    },
+    {
+      "id": "TC-0011",
+      "kind": "test_case",
+      "status": "candidate",
+      "data": {
+        "acceptance_refs": ["AC-0005"],
+        "requirement_refs": ["REQ-0009"],
+        "test_type": "boundary",
+        "target": "仍存在冲突或 Core 失败时不得声称冻结",
+        "preconditions": ["存在待处理冲突", "可注入 Core 失败"],
+        "steps": ["提交不足以解决冲突的决定", "注入 Core 失败", "观察是否声称冻结"],
+        "oracle": "仍冲突或 Core 失败时不得声称冻结；canonical/approval 不可查询为冻结。",
+        "automation_mode": "automated",
+        "evidence_strategy": "replay",
+        "replay_scope": "integration"
+      }
+    },
+    {
+      "id": "TC-0012",
+      "kind": "test_case",
+      "status": "candidate",
+      "data": {
+        "acceptance_refs": ["AC-0006"],
+        "requirement_refs": ["REQ-0010"],
+        "test_type": "api",
+        "target": "外部回调成功映射到成功终态",
+        "preconditions": ["流程已注册等待回调", "回调关联键与签名已绑定"],
+        "steps": ["触发一次成功回调", "校验关联键", "读取终态与回调证据"],
+        "oracle": "成功回调映射到成功终态；事件与终态证据可查询。",
+        "automation_mode": "automated",
+        "evidence_strategy": "replay",
+        "replay_scope": "integration"
+      }
+    },
+    {
+      "id": "TC-0013",
+      "kind": "test_case",
+      "status": "candidate",
+      "data": {
+        "acceptance_refs": ["AC-0006"],
+        "requirement_refs": ["REQ-0010"],
+        "risk_refs": ["RISK-0001"],
+        "test_type": "resilience",
+        "target": "外部回调失败与异常输入不误推进",
+        "preconditions": ["回调供应商、签名方式、输入格式作为夹具显式绑定", "流程已注册等待回调"],
+        "steps": ["触发一次失败回调", "触发超时/重复/乱序/未知关联", "重复同一绑定配置重放"],
+        "oracle": "失败回调映射到失败终态；超时、重复、乱序、未知关联或非法来源不误推进；成功与失败分支均可重放。",
+        "automation_mode": "automated",
+        "evidence_strategy": "replay",
+        "replay_scope": "integration"
+      }
+    },
+    {
+      "id": "TC-0014",
+      "kind": "test_case",
+      "status": "candidate",
+      "data": {
+        "acceptance_refs": ["AC-0007"],
+        "requirement_refs": ["REQ-0011"],
+        "test_type": "api",
+        "target": "下游只消费冻结版本且会话无需重启",
+        "preconditions": ["canonical/approval 已冻结", "原会话仍存活"],
+        "steps": ["下游读取冻结版本", "核对 revision/fingerprint", "确认会话 ID 前后一致"],
+        "oracle": "下游读取冻结 revision/fingerprint；原会话无需关闭或重启即继续。",
+        "automation_mode": "automated",
+        "evidence_strategy": "replay",
+        "replay_scope": "integration"
+      }
+    },
+    {
+      "id": "TC-0015",
+      "kind": "test_case",
+      "status": "candidate",
+      "data": {
+        "acceptance_refs": ["AC-0007"],
+        "requirement_refs": ["REQ-0011"],
+        "test_type": "boundary",
+        "target": "草稿/旧版本/未冻结版本被拒绝",
+        "preconditions": ["存在草稿或未冻结版本", "下游尝试消费"],
+        "steps": ["尝试消费草稿版本", "尝试消费旧版本", "尝试消费未冻结版本"],
+        "oracle": "草稿、旧版本或未冻结版本被拒绝；中断不得伪报完成。",
+        "automation_mode": "automated",
+        "evidence_strategy": "replay",
+        "replay_scope": "integration"
+      }
+    }
+  ],
+  "edges": [
+    { "from": "AC-0002", "to": "TC-0004", "relation": "verified_by" },
+    { "from": "REQ-0006", "to": "TC-0004", "relation": "verified_by" },
+    { "from": "AC-0002", "to": "TC-0005", "relation": "verified_by" },
+    { "from": "REQ-0006", "to": "TC-0005", "relation": "verified_by" },
+    { "from": "AC-0003", "to": "TC-0006", "relation": "verified_by" },
+    { "from": "REQ-0007", "to": "TC-0006", "relation": "verified_by" },
+    { "from": "AC-0003", "to": "TC-0007", "relation": "verified_by" },
+    { "from": "REQ-0007", "to": "TC-0007", "relation": "verified_by" },
+    { "from": "AC-0004", "to": "TC-0008", "relation": "verified_by" },
+    { "from": "REQ-0008", "to": "TC-0008", "relation": "verified_by" },
+    { "from": "AC-0004", "to": "TC-0009", "relation": "verified_by" },
+    { "from": "REQ-0008", "to": "TC-0009", "relation": "verified_by" },
+    { "from": "AC-0005", "to": "TC-0010", "relation": "verified_by" },
+    { "from": "REQ-0009", "to": "TC-0010", "relation": "verified_by" },
+    { "from": "AC-0005", "to": "TC-0011", "relation": "verified_by" },
+    { "from": "REQ-0009", "to": "TC-0011", "relation": "verified_by" },
+    { "from": "AC-0006", "to": "TC-0012", "relation": "verified_by" },
+    { "from": "REQ-0010", "to": "TC-0012", "relation": "verified_by" },
+    { "from": "AC-0006", "to": "TC-0013", "relation": "verified_by" },
+    { "from": "REQ-0010", "to": "TC-0013", "relation": "verified_by" },
+    { "from": "AC-0007", "to": "TC-0014", "relation": "verified_by" },
+    { "from": "REQ-0011", "to": "TC-0014", "relation": "verified_by" },
+    { "from": "AC-0007", "to": "TC-0015", "relation": "verified_by" },
+    { "from": "REQ-0011", "to": "TC-0015", "relation": "verified_by" }
+  ]
+}

package/plugins/devflow-core/skills/workflow-orchestrator/scripts/business_cross_model_check.py

@@ -0,0 +1,76 @@
+#!/usr/bin/env python3
+"""Deterministically close business references across wireframe and claims."""
+from __future__ import annotations
+
+import argparse
+import json
+import subprocess
+from pathlib import Path
+from typing import Any
+
+
+def read_json(path: Path) -> Any:
+    return json.loads(path.read_text(encoding="utf-8"))
+
+
+def read_yaml(path: Path) -> Any:
+    try:
+        import yaml  # type: ignore
+        return yaml.safe_load(path.read_text(encoding="utf-8"))
+    except ImportError:
+        result = subprocess.run(["ruby", "-ryaml", "-rjson", "-e", "puts JSON.generate(YAML.safe_load(File.read(ARGV.fetch(0))))", str(path)], capture_output=True, text=True, check=False)
+        if result.returncode:
+            raise ValueError(result.stderr.strip() or "YAML parse failed")
+        return json.loads(result.stdout)
+
+
+def main() -> int:
+    parser = argparse.ArgumentParser()
+    parser.add_argument("--business-canonical", type=Path, required=True)
+    parser.add_argument("--wireframe", type=Path)
+    parser.add_argument("--claims", type=Path)
+    parser.add_argument("--traceability", type=Path)
+    parser.add_argument("--changed-business-ref", action="append", default=[])
+    parser.add_argument("--json", action="store_true")
+    args = parser.parse_args()
+    errors = []
+    consumers = []
+    try:
+        business = read_json(args.business_canonical)
+        actions = {item.get("id") for item in business.get("actions", []) if isinstance(item, dict)}
+        requirements = set()
+        if args.traceability:
+            traceability = read_json(args.traceability)
+            requirements = {item.get("id") for item in traceability.get("requirements", []) if isinstance(item, dict) and item.get("status") in {"confirmed", "approved"}}
+        if args.wireframe:
+            wireframe = read_json(args.wireframe)
+            for screen in wireframe.get("screens", []):
+                for action in screen.get("actions", []):
+                    ref = action.get("business_action_ref")
+                    if action.get("type") == "open" and (not ref or ref not in actions):
+                        errors.append({"code": "BUSINESS_WIREFRAME_REF_UNRESOLVED", "screen": screen.get("id"), "action": action.get("id"), "ref": ref})
+                    if ref in set(args.changed_business_ref):
+                        consumers.append({"kind": "wireframe", "id": screen.get("id"), "ref": ref})
+        if args.claims:
+            claims = read_yaml(args.claims)
+            for claim in (claims.get("claims") if isinstance(claims, dict) else claims) or []:
+                if not isinstance(claim, dict):
+                    continue
+                ref = claim.get("business_action_ref")
+                req = claim.get("requirement_ref")
+                if ref and ref not in actions:
+                    errors.append({"code": "BUSINESS_CLAIM_REF_UNRESOLVED", "id": claim.get("id"), "ref": ref})
+                if req and req not in requirements:
+                    errors.append({"code": "BUSINESS_CLAIM_REQUIREMENT_UNRESOLVED", "id": claim.get("id"), "ref": req})
+                if ref in set(args.changed_business_ref):
+                    consumers.append({"kind": "claim", "id": claim.get("id"), "ref": ref})
+        payload = {"valid": not errors, "verdict": "block_unsafe" if errors else "allow", "errors": errors, "affected_consumers": consumers}
+        print(json.dumps(payload, ensure_ascii=False, indent=2))
+        return 1 if errors else 0
+    except Exception as error:
+        print(json.dumps({"valid": False, "verdict": "block_unsafe", "errors": [{"code": "BUSINESS_CROSS_MODEL_INVALID", "message": str(error)}]}, ensure_ascii=False))
+        return 1
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())

package/plugins/devflow-core/skills/workflow-orchestrator/scripts/business_impact.py

@@ -0,0 +1,51 @@
+#!/usr/bin/env python3
+"""Compute precise business-model invalidation from changed source IDs."""
+from __future__ import annotations
+
+import argparse
+import json
+from pathlib import Path
+from typing import Any
+
+
+COLLECTIONS = ["actors", "entities", "components", "boundaries", "resources", "rules", "actions"]
+
+
+def collect_refs(value: Any, source_ids: set[str]) -> set[str]:
+    if isinstance(value, dict):
+        direct = set(value.get("source_refs", [])) & source_ids
+        nested = set()
+        for item in value.values():
+            nested |= collect_refs(item, source_ids)
+        return direct | nested
+    if isinstance(value, list):
+        result = set()
+        for item in value:
+            result |= collect_refs(item, source_ids)
+        return result
+    return set()
+
+
+def main() -> int:
+    parser = argparse.ArgumentParser()
+    parser.add_argument("--canonical", type=Path, required=True)
+    parser.add_argument("--changed-source", action="append", required=True)
+    args = parser.parse_args()
+    try:
+        model = json.loads(args.canonical.read_text(encoding="utf-8"))
+    except Exception as error:
+        print(json.dumps({"ok": False, "verdict": "block_unsafe", "errors": [{"code": "BUSINESS_CANONICAL_INVALID", "message": str(error)}]}, ensure_ascii=False))
+        return 1
+    changed = set(args.changed_source)
+    affected = []
+    for collection in COLLECTIONS:
+        for item in model.get(collection, []):
+            if isinstance(item, dict) and collect_refs(item, changed):
+                affected.append({"collection": collection, "id": item.get("id"), "changed_sources": sorted(collect_refs(item, changed))})
+    payload = {"ok": True, "verdict": "allow", "changed_sources": sorted(changed), "affected": affected, "affected_ids": [item["id"] for item in affected]}
+    print(json.dumps(payload, ensure_ascii=False, indent=2))
+    return 0
+
+
+if __name__ == "__main__":
+    raise SystemExit(main())