1

scripts/admin-test-env-modules/phase3-pda-convergence.mjs

@@ -27,6 +27,9 @@ export async function run(context) {
   const warehouseId = id(fixture?.warehouseId); const loadingPlanId = id(fixture?.loadingPlanId)
   if (!tenantId || !inboundId || !taskId || !containerNo || !warehouseId || !loadingPlanId
       || fixture?.marker !== context.marker) {
+    context.addStep(MODULE, '取得同 marker 的 PDA 收敛前置', null, false,
+      `tenantId=${tenantId || 'missing'}, inboundId=${inboundId || 'missing'}, taskId=${taskId || 'missing'}, loadingPlanId=${loadingPlanId || 'missing'}, fixtureMarker=${fixture?.marker || 'missing'}, runMarker=${context.marker}`,
+      OPTIONS)
     context.addCoverageGap(MODULE, OPTIONS.scenario, 'PDA 柜次拣货与入库单汇总拣货收敛',
       '本轮未取得 marker 隔离的柜次 PDA 与入库汇总 fixture，未使用历史资源', 'fixture')
     return
@@ -76,6 +79,10 @@ export async function run(context) {
   const operationsResponse = await request(context, 'GET',
     `${taskPath}/operations`)
   const operations = context.apiSuccess(MODULE, '查询柜次 PDA 不可变操作历史', operationsResponse, '', OPTIONS)
+  const batchOperations = Array.isArray(operations)
+    ? operations.filter((item) => item.actionType === 'BATCH'
+      && Boolean(item.operatorId) && Boolean(item.createdAt)) : []
+  const expectedBatchCount = fixture?.dynamicIncrementVerified === true ? 2 : 1
   context.assert(MODULE, '最终完成前保留领取操作且不伪造复核或完成历史', operationsResponse,
     Array.isArray(operations) && operations.some((item) => item.actionType === 'CLAIM'
       && Boolean(item.operatorId) && Boolean(item.createdAt))
@@ -84,9 +91,9 @@ export async function run(context) {
     `actions=${Array.isArray(operations) ? operations.map((item) => item.actionType).join(',') : 'missing'}`, OPTIONS)
 
   context.assert(MODULE, 'PDA 原子批次完成审计包含 BATCH 操作', operationsResponse,
-    Array.isArray(operations) && operations.filter((item) => item.actionType === 'BATCH'
-      && Boolean(item.operatorId) && Boolean(item.createdAt)).length >= 1,
-    `actions=${Array.isArray(operations) ? operations.map((item) => item.actionType).join(',') : 'missing'}`, OPTIONS)
+    batchOperations.length === expectedBatchCount
+      && new Set(batchOperations.map((item) => item.operationId)).size === expectedBatchCount,
+    `expectedBatchCount=${expectedBatchCount}, actualBatchCount=${batchOperations.length}, operationIds=${batchOperations.map((item) => item.operationId || 'missing').join(',')}`, OPTIONS)
   const forged = await request(context, 'POST',
     `/api/platform/v1/inbounds/${inboundId}/loading/picking/start?tenantId=${encodeURIComponent(tenantId)}`,
     { expectedVersion: Number(projection?.version), expectedCount: 999, pickedCount: 999, remark: 'forged' },
@@ -95,21 +102,31 @@ export async function run(context) {
     `HTTP=${forged.http}, code=${codeOf(forged)}`, OPTIONS)
 
   if (fixture?.atomicBatchVerified !== true) {
+    context.addStep(MODULE, 'PDA 原子批次成功且同键重放零新增', null, false,
+      'phase3-loading 未发布 atomicBatchVerified=true；不能以 coverageGap 代替真实批次与幂等断言', OPTIONS)
     context.addCoverageGap(MODULE, OPTIONS.scenario, 'PDA 原子批量成功与批次幂等闭环',
       '原子 batch 端点已部署，但本轮合法整批提交或同键重放未通过真实 HTTP 断言；保留真实失败证据',
       'deployment-blocker')
   }
   if (fixture?.inventorySnapshotVerified !== true) {
+    context.addStep(MODULE, 'PDA 实时库存快照身份与合法 token 提交', null, false,
+      'phase3-loading 未发布 inventorySnapshotVerified=true；不能以 coverageGap 代替真实库存快照断言', OPTIONS)
     context.addCoverageGap(MODULE, OPTIONS.scenario, 'PDA 实时库存快照身份、稳定性与合法 token 提交',
       'inventory-snapshot 端点已公开，但本轮未完成归属、稳定 token/version、数量及合法 batch 的联合真实 HTTP 验证',
       'deployment-blocker')
   }
   if (fixture?.inventoryMutationVerified !== true
       && !context.coverageGaps.some((gap) => gap.name === 'PDA 真实库存变化后的旧快照冲突与刷新重试')) {
+    context.addStep(MODULE, 'PDA 真实库存变化后旧 token A0409 与刷新重试', null, false,
+      '本轮未取得 inventoryMutationVerified=true；无法安全制造库存变化时必须作为部署阻断失败', OPTIONS)
     context.addCoverageGap(MODULE, OPTIONS.scenario, 'PDA 真实库存变化后的旧快照冲突与刷新重试',
       'inventory-snapshot 已公开；本轮没有可通过平台代理安全变更的 A0 临时占用，不能用普通库位改写或内部 Warehouse 接口伪造库存变化',
       'fixture')
   }
+  if (fixture?.dynamicIncrementVerified !== true) {
+    context.addStep(MODULE, 'LOADING 增量重开、刷新续拣与已拣不可删减', null, false,
+      'phase3-loading 未发布 dynamicIncrementVerified=true；不能跳过增量重开、旧 token A0409、刷新续拣和已拣项保护', OPTIONS)
+  }
   context.addCoverageGap(MODULE, OPTIONS.scenario, 'PDA Android/HBuilderX 真机完整闭环',
     '原子 batch 真实 HTTP 契约已自动化；扫码、弱网恢复、在线草稿和设备交互仍需 Android/HBuilderX 真机验收',
     'device')