M5 收官:六个活动包 + 统一报价全图 + 任务推进器

活动包(按 MVP示例工作流 归一化):
- quote-intake  A1 受理归一(flow):LLM 抽取 → 条件跳步补全 → 查历史价 → DMN 打标 → 验收
- quote-pricing A4 成本定价(flow):DMN 利润模型 P-01 + 底价门禁 P-02;超限条目调人决策
- quote-negotiate A6 报价议价(flow):写类动作登记意向、放行即落地;建 D+3 跟进监听;
  议价结果建模为选择组三口(成交/有异议/拒绝)—— 业务分支走输出口,不用异常终态编码
- quote-archive A7 情报归档(flow):写共享域(历史价格情报/客户资料库/落地率统计)
- quote-sourcing A3 渠道寻源(loop):CMMN 四阶段 + 里程碑 + 裁量项 + 两个时间监听;
  DMN 采用策略判定;案例说明书与 XML 同版本
- quote-alternative A2 替代选型(loop):CMMN 三阶段 + userEventListener(客户改需求);
  DMN 替代等级判定;禁区「差异没核清的不放行」有机检形态

流程包全图:7 节点 + 3 网关 + 1 审批点
- 已裁定①:A5 = 审批点,G3 并入驳回走向(驳回 → 回 A4 重开新实例)
- 已裁定②:G2 = 并行网关,A3/A2 失败走向 = 容忍
- 已裁定④:议价回环 = 流程层回边(reopen)

闭合校验在此拦下一个真实建模错误(A4 有两条并发入边映射同名字段),
按规范改拓扑:TYPE-A 直通也走汇合;同时把「回边不是并发汇合」写进判定 ——
reopen 边不参与隐式合并检查。

app:task-advancer worker —— 过程在后端,运行中的任务一拍一拍推,不依赖浏览器在线;
进入等待或终结即停手,不空转。第一方工具补齐 P-01/P-02/画像/落地率/出站发送。

已验证(真机):
- 六个活动包经安装通道装入,静态审各 0 条提示
- 流程包闭合校验通过并发布
- 台账自生长:11 张表由活动声明物化(含 shared 三张共享域表)
- 邮件入站 → 触发器 → 工作流 → A1 落到冯兵工位 → 推进器推 2 拍:
  装载 5 步声明 → 执行 LLM 步 → 按声明重试 2 次 → 转人兜底 → awaiting-event
  (LLM 端点是占位 key,失败路径因此走通了 —— 正是声明给定的兜底)

358 个测试通过,门禁五道全绿

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KeDBx2PHLavbURXB8LJJ7m

activities/quote-alternative/src/index.ts

@@ -0,0 +1,63 @@
+/**
+ * 统一报价 A2 · 替代选型 —— 活动包代码入口(ADR-004)。
+ * loop 活动:调度权归 AI;本文件只做视图流控与「差异没核清不放行」的把关呈现。
+ */
+import { defineActivity } from '@sdk';
+import type { ActivityBase, ActivityOutcome } from '@sdk';
+
+const SHORTLIST = 'quote_alternative.shortlist';
+const BENCHMARK = 'quote_alternative.benchmark';
+
+export default defineActivity({
+  name: 'quote-alternative',
+  paradigm: 'loop',
+
+  async run(base: ActivityBase): Promise<ActivityOutcome> {
+    const shortlist = await base.ledger.read(SHORTLIST);
+    const benchmark = await base.ledger.read(BENCHMARK);
+    // 差异没核清的不放行 —— 禁区的机检形态
+    const unclear = benchmark.filter((r) => String(r['risk'] ?? '').trim() === '');
+
+    await base.interaction.pushView([
+      {
+        t: 'kv',
+        title: '选型进展',
+        items: [
+          { k: '原型号', v: String(base.contract.data['originalPn'] ?? '') },
+          { k: '初筛候选', v: `${shortlist.length} 颗` },
+          { k: '已对标', v: `${benchmark.length} 颗` },
+          { k: '差异未核清', v: `${unclear.length} 颗` },
+        ],
+      },
+      {
+        t: 'cards',
+        title: '候选替代',
+        items: benchmark.map((r) => ({
+          tag: String(r['grade'] ?? '待定级'),
+          title: String(r['candidate_pn'] ?? ''),
+          swap: { from: String(r['original_pn'] ?? ''), to: String(r['candidate_pn'] ?? '') },
+          big: String(r['grade'] ?? '—'),
+          bigLabel: '替代等级',
+          note: String(r['risk'] ?? '差异风险未写'),
+          tone: String(r['risk'] ?? '').trim() === '' ? 'danger' : 'ok',
+        })),
+      },
+    ]);
+
+    if (benchmark.length < 2) {
+      await base.interaction.say(
+        shortlist.length === 0 ? '尚未撒网,先拉初筛清单。' : `已初筛 ${shortlist.length} 颗,继续逐条核验分级。`,
+        'conclusion',
+      );
+      return { kind: 'await', reason: '候选不足 2 颗' };
+    }
+
+    if (unclear.length > 0) {
+      await base.interaction.say(`${unclear.length} 颗候选的差异风险未写清 —— 差异没核清的不放行。`, 'criterion');
+      return { kind: 'await', reason: '差异风险未核清' };
+    }
+
+    await base.interaction.say('候选已分级、差异与风险已写清,可签字交回发起方。', 'criterion');
+    return { kind: 'submit', deliverable: 'benchmark-table', rationale: '2 颗以上分级候选,差异与风险齐备' };
+  },
+});