ChaiHao/BPOS-MVP
Archived
1
0
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

审批点后面补上网关 G3,并让引擎**真的走它** —— 顺带给去向旗找到落脚处

Browse Source 
两件事,都是「图上画着、实际走不到」这一类。

## ① 审批点后面没有网关(用户提出)

A5 只有一条出边 A5→A6,驳回走向藏在 `reject` 声明里,图上只是一枚牌子。
BPMN 的常规是审批的两个去向都由网关决定 —— 补 G3「审批结果」,
`verdict = "pass"` → A6,`verdict = "reject"` → A4(回边)。

补的时候撞上真问题:`onApprovalVerdict` 只在 pass 时走 `advanceFrom`,
而且 payload 里**不含 verdict** —— 于是 G3 没有判据可读。异或分叉的每条出边都得带条件、
没有无条件兜底边,判据一缺就全不成立,流会无声停在 G3。

能让闸过的最省事办法是在 `e-a5-g3` 上喂一枚常量 `verdict: "pass"`。**没那么做** ——
那样 G3 的条件恒真、驳回边永不可达,网关就是个摆设,又是一处「画着两个去向、
其中一个结构上走不到」的谎。

改的是引擎:裁决进载荷,通过与驳回**都先看图**,只有没画驳回边的包才退回 `reject` 声明
(它 schema 必填,且是通用机制)。`advanceFrom` 因此回报「有没有真的推出去」,
并加 `quiet` 参数 —— 「先试边、不成再退回声明」这一步试空是正常分支,不是死路,
不该报 route-dead-end 假警。

`reject` 保留:schema 必填、CONTRACT.md 的不变量、且审批人界面拿它渲染人读文案。
它与 `e-g3-a4` 必须字字对齐,加了测试守。

## ② 几何重排:两带换行,不回形

原坐标逐点抄自 MVP 的 SVG,是回形走线(row 0 左→右、row 1 右→左、row 2 折回最左)——
这正是上一轮流程链读成 A1→A7→A2 的根源。重排为两带:
受理·选型·寻源(y 60..100)→ 换行车道 y=190 → 定价·审批·议价·成交(y 310..350)→
未成交闭环(y 410..450)。每带内 x 随推进次序单调递增。

实测渲染(画布 639×325):带 0 的 A1 57→G1 159→A2 223→G2 325→A3 389→G2J 491,
带 1 的 A4 38→A5 153→G3 242→A6 293→G4 395,**零框重叠**。
两枚回 A4 的卡点同一条车道、同朝向(向上=回退)。

## ③ 顺带:两枚去向旗终于有地方落

上一轮我在债务簿写「A1 过不了 G1 是诚实状态、不是缺陷」——**判断错了**。
出口的标量字段只从落地事实取,而 `needAlternative` / `needSourcing`
在任何台账对象上都没有列,活动实现了也一样取不到。

新增 `project.intake_verdict`「受理结论」**一单一行**(主键只有询价单号)。
为什么不挂在按料号分行的「统一受理记录」上:`flat` 是把这一单所有落地行 reduce 展开,
六个料号就有六行同名列、最后合并的那行赢 —— 而归并规则是「任一条命中 C 即需选型」,
last-write-wins 会静默给出错的去向。测试正反两面都守:结论表主键只能是 rfq_ref,
且**其它对象上不许出现去向旗**。

A2 也要回写这一行,所以 `rfqRef` 进了 G1→A2 的边映射,并**正式声明进 A2 的入参**——
不声明也能偷渡(闭合校验遇到未声明的目标直接跳过),但那是默许不是正当。
A2 的 contract.version 因此升 0.2.0,包版升 0.5.0。

顺手删了一个陈旧草稿 v2:它是我早前测编辑器留下的旧图(14 节点、无 G3),
而种子刚把 v1 用新图重发布 —— 草稿内容比已发布版更旧,谁发布它 G3 就没了。
删前确认零工作流引用。系统没有「丢弃草稿」的入口,这条记进债务簿。

typecheck ✓ lint ✓ depcruise 374 模块 ✓ api:check ✓ 495 测试 ✓
发布闸实测:15 节点 / 18 边,边映射闭合校验通过。

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01KeDBx2PHLavbURXB8LJJ7m
This commit is contained in:
ChaiHao
2026-07-28 12:24:40 +08:00
co-authored by Claude Opus 5
parent 9802550ae8
commit 78622b8799
6 changed files with 373 additions and 99 deletions
Download Patch File Download Diff File Expand all files Collapse all files
apps/api/src/app/__tests__/seed-mvp-data.test.ts
+38 -4
View File
@@ -1,14 +1,14 @@
/**
* 四域十八对象 —— 声明即物化的输入。守三件事:数量与域别齐、主键齐、按名可取。
* 四域十九对象 —— 声明即物化的输入。守三件事:数量与域别齐、主键齐、按名可取。
*/
import { describe, expect, it } from 'vitest';
import { MVP_OBJECTS, declarationsFor } from '../seed-mvp-data.ts';
describe('MVP_OBJECTS', () => {
it('四域十八对象,不多不少 —— 定价审批表载体是审批流,不入台账', () => {
expect(MVP_OBJECTS).toHaveLength(18);
it('四域十九对象,不多不少 —— 定价审批表载体是审批流,不入台账', () => {
expect(MVP_OBJECTS).toHaveLength(19);
const count = (domain: string) => MVP_OBJECTS.filter((o) => o.domain === domain).length;
expect(count('project')).toBe(12);
expect(count('project')).toBe(13);
expect(count('customer')).toBe(1);
expect(count('intel')).toBe(3);
expect(count('supplier')).toBe(2);
@@ -20,6 +20,40 @@ describe('MVP_OBJECTS', () => {
}
});
it('每个字段都有中文名 —— 界面上不许只见键不见名', () => {
for (const o of MVP_OBJECTS) {
expect(o.label, `${o.domain}.${o.object} 缺对象名`).toBeTruthy();
for (const f of o.fields) {
expect(f.label, `${o.domain}.${o.object}.${f.name} 缺字段名`).toBeTruthy();
}
}
});
/*
* 受理结论是**一单一行**,主键只有询价单号。
*
* 这条断言守的是一个会静默出错的设计:出口的标量字段取自 `landed.flat`,
* 而 `flat` 是把这一单所有落地行 reduce 展开成一个平对象。两枚去向旗若挂在
* 按料号分行的对象上,六个料号就有六行同名列、最后合并的那行赢 ——
* 而归并规则是「任一条命中 C 即需选型」,网关会照着错值分叉且无人察觉。
*/
it('受理结论一单一行 —— 去向旗不能挂在按料号分行的对象上', () => {
const verdict = MVP_OBJECTS.find((o) => o.object === 'intake_verdict');
expect(verdict, '缺 project.intake_verdict').toBeDefined();
expect(verdict?.domain).toBe('project');
expect(verdict?.fields.filter((f) => f.primaryKey).map((f) => f.name)).toEqual(['rfq_ref']);
for (const flag of ['need_alternative', 'need_sourcing']) {
expect(verdict?.fields.find((f) => f.name === flag)?.type, flag).toBe('boolean');
}
// 反过来也要守:按料号分行的对象上不许出现去向旗
for (const o of MVP_OBJECTS) {
if (o.object === 'intake_verdict') continue;
const names = o.fields.map((f) => f.name);
expect(names, `${o.domain}.${o.object} 不该带去向旗`).not.toContain('need_alternative');
expect(names, `${o.domain}.${o.object} 不该带去向旗`).not.toContain('need_sourcing');
}
});
it('declarationsFor 按名取子集,名不存在即抛', () => {
expect(declarationsFor(['project.intake_record', 'intel.history_price'])).toHaveLength(2);
expect(() => declarationsFor(['project.nope'])).toThrow('未知对象');
apps/api/src/app/__tests__/seed-mvp-flow.test.ts
+99 -14
View File
@@ -1,15 +1,16 @@
/**
* 流程包 1:1 —— 守三件事:拓扑与 MVP 图一致;审批点驳回走声明不走边;网关条件读得到出参。
* 流程包 —— 守四件事:拓扑齐、**审批点后面跟网关且两个去向都真的走**、
* 网关条件读得到判据、回边标了 reopen。
*/
import { describe, expect, it } from 'vitest';
import { MVP_PACKAGE } from '../seed-mvp-flow.ts';
describe('MVP_PACKAGE', () => {
it('14 语义节点 · 16 边 · 四网关一审批点双终点', () => {
expect(MVP_PACKAGE.nodes).toHaveLength(14);
expect(MVP_PACKAGE.edges).toHaveLength(16);
it('15 语义节点 · 18 边 · 五网关一审批点双终点', () => {
expect(MVP_PACKAGE.nodes).toHaveLength(15);
expect(MVP_PACKAGE.edges).toHaveLength(18);
expect(MVP_PACKAGE.nodes.filter((n) => n.kind === 'end')).toHaveLength(2);
expect(MVP_PACKAGE.nodes.filter((n) => n.kind === 'gateway')).toHaveLength(4);
expect(MVP_PACKAGE.nodes.filter((n) => n.kind === 'gateway')).toHaveLength(5);
expect(MVP_PACKAGE.nodes.filter((n) => n.kind === 'approval')).toHaveLength(1);
});
@@ -20,32 +21,116 @@ describe('MVP_PACKAGE', () => {
expect(g2j.gateway).toBe('exclusive');
expect(g2j.mode).toBe('join');
expect(MVP_PACKAGE.edges.filter((e) => e.to === 'G2J')).toHaveLength(2);
// A4 的非回边入边只剩一条:汇合之后再进活动
/*
* A4 的**非回边**入边只剩一条 —— 这是发布闸能过的关键。
* A4 一共三条入边(G2J 正常来、G3 驳回、G4 有异议),后两条都是 reopen;
* 闭合校验的「汇合同名字段来源不明」只看并发入边(回边是重新入场、不参与判定),
* 所以 concurrent 长度 1、不触发。任一条回边漏标 reopen,发布立刻被拦。
*/
expect(MVP_PACKAGE.edges.filter((e) => e.to === 'A4' && !e.reopen)).toHaveLength(1);
expect(MVP_PACKAGE.edges.filter((e) => e.to === 'A4')).toHaveLength(3);
});
it('A5 是审批点:PM 审,驳回 reopen 回 A4 —— 驳回不是边', () => {
/*
* 审批点后面必然跟一个网关(BPMN 的常规)。
*
* 这条曾经不成立:G3 被我做掉了,通过走 A5 的唯一出边、驳回藏在 `reject` 声明里,
* 图上只有一枚牌子。补回 G3 时还有个坑 —— 若引擎不把裁决放进载荷,
* G3 的条件就没东西可读,只能在边上喂一枚常量 `verdict: "pass"` 骗过它;
* 那样条件恒真、驳回边永不可达,网关成了摆设。所以这里连**没有常量**一起守。
*/
it('A5 后面跟着 G3,两个去向都由图表达,且判据不是喂进去的常量', () => {
const a5 = MVP_PACKAGE.nodes.find((n) => n.id === 'A5');
expect(a5?.kind).toBe('approval');
if (a5?.kind !== 'approval') return;
expect(a5.approver.position).toBe('PM');
expect(a5.reject.kind).toBe('reopen');
if (a5.reject.kind === 'reopen') expect(a5.reject.nodeId).toBe('A4');
// 唯一的 reopen 边是议价「有异议」回 A4
expect(MVP_PACKAGE.edges.filter((e) => e.reopen).map((e) => `${e.from}→${e.to}`)).toEqual(['G4→A4']);
// A5 的唯一出边指向网关,而不是直接指向下一个活动
const outOfA5 = MVP_PACKAGE.edges.filter((e) => e.from === 'A5');
expect(outOfA5).toHaveLength(1);
expect(outOfA5[0]?.to).toBe('G3');
// 这条边不许带映射:判据由引擎在裁决时放进载荷,不是边喂的常量
expect(outOfA5[0]?.mapping).toEqual([]);
const g3 = MVP_PACKAGE.nodes.find((n) => n.id === 'G3');
expect(g3?.kind).toBe('gateway');
if (g3?.kind !== 'gateway') return;
expect(g3.gateway).toBe('exclusive');
expect(g3.mode).toBe('fork');
const outOfG3 = MVP_PACKAGE.edges.filter((e) => e.from === 'G3');
expect(outOfG3).toHaveLength(2);
// 异或分叉的每条出边都要带条件 —— 没有无条件兜底边可用
for (const e of outOfG3) expect(e.condition, `${e.id} 缺条件`).toBeDefined();
expect(outOfG3.map((e) => `${e.to}:${e.condition ?? ''}`).sort()).toEqual([
'A4:verdict = "reject"',
'A6:verdict = "pass"',
]);
});
it('网关条件按出参写:G1/G2 读旗,G4 读 outcome', () => {
it('G3 的驳回出边与 A5 的 reject 声明字字对齐 —— 引擎先看图,没画边的包才退回声明', () => {
const a5 = MVP_PACKAGE.nodes.find((n) => n.id === 'A5');
const edge = MVP_PACKAGE.edges.find((e) => e.id === 'e-g3-a4');
expect(a5?.kind).toBe('approval');
if (a5?.kind !== 'approval' || a5.reject.kind !== 'reopen') return;
expect(edge?.to).toBe(a5.reject.nodeId);
expect(edge?.reopen).toBe(true);
expect(edge?.mapping).toEqual(a5.reject.mapping);
});
it('两条回边都标了 reopen:审批驳回与议价有异议,都回 A4 重开', () => {
expect(MVP_PACKAGE.edges.filter((e) => e.reopen).map((e) => `${e.from}→${e.to}`).sort()).toEqual([
'G3→A4',
'G4→A4',
]);
});
it('网关条件按判据写:G1/G2 读旗,G3 读裁决,G4 读 outcome', () => {
const cond = (from: string, to: string) => MVP_PACKAGE.edges.find((e) => e.from === from && e.to === to)?.condition;
expect(cond('G1', 'A2')).toBe('needAlternative = true');
expect(cond('G2', 'G2J')).toBe('needSourcing = false');
expect(cond('G3', 'A6')).toBe('verdict = "pass"');
expect(cond('G4', 'A7')).toBe('outcome = "lost"');
});
it('手绘图存证在包上 —— 呈现 1:1 的真相(含两枚卡点)', () => {
it('手绘图存证在包上 —— 15 语义节点 + 两枚卡点', () => {
expect(MVP_PACKAGE.diagram).toBeDefined();
const nodes = (MVP_PACKAGE.diagram as { nodes: { id: string; kind: string }[] }).nodes;
expect(nodes.filter((n) => n.kind === 'callout')).toHaveLength(2);
expect(nodes).toHaveLength(16);
expect(nodes).toHaveLength(17);
// 语义节点在图上一个不少(卡点是呈现,不入语义)
const drawn = new Set(nodes.map((n) => n.id));
for (const n of MVP_PACKAGE.nodes) expect(drawn.has(n.id), `图上缺 ${n.id}`).toBe(true);
});
/*
* 几何自查:重排的收益要能验证,不能只写在注释里。
* 手绘尺寸见 `apps/web/src/shared/gov/flow/flow-layout.ts` 的 MANUAL_SIZES。
*/
it('几何:坐标吸附 10px 珊格,同带内框不重叠', () => {
const nodes = (MVP_PACKAGE.diagram as { nodes: { id: string; kind: string; x: number; y: number }[] }).nodes;
const size = (kind: string) =>
kind === 'gateway' ? { w: 40, h: 40 }
: kind === 'callout' ? { w: 100, h: 30 }
: kind === 'activity' ? { w: 100, h: 40 }
: { w: 20, h: 20 };
for (const n of nodes) {
expect(n.x % 10, `${n.id} 的 x 未吸附珊格`).toBe(0);
expect(n.y % 10, `${n.id} 的 y 未吸附珊格`).toBe(0);
}
// 两两不重叠(轴对齐矩形相交判定)
for (let i = 0; i < nodes.length; i += 1) {
for (let j = i + 1; j < nodes.length; j += 1) {
const a = nodes[i]!;
const b = nodes[j]!;
const sa = size(a.kind);
const sb = size(b.kind);
const overlap =
a.x < b.x + sb.w && a.x + sa.w > b.x && a.y < b.y + sb.h && a.y + sa.h > b.y;
expect(overlap, `${a.id} 与 ${b.id} 的框重叠`).toBe(false);
}
}
});
});