test(admin): verify PDA inventory snapshots

scripts/admin-test-env-modules/phase3-producer-chain-contract.test.mjs

@@ -93,6 +93,31 @@ test('bridge loading starts through a real PDA batch before preload confirmation
   assert.match(value, /Number\(confirmed\?\.preloadPlan\?\.version\) === 2/)
 })
 
+test('PDA inventory snapshot gates batch and records the only safe mutation gap', () => {
+  const loading = source('./phase3-loading.mjs')
+  assertOrder(loading, [
+    '读取 PDA 提交前实时库存快照',
+    '未发生库存变化时重复读取实时库存快照',
+    '客户身份无权读取平台 PDA 实时库存快照',
+    'const overflowResource =',
+    '通过公开 A0 换绑接口制造真实库存变化',
+    '真实库存变化后旧 snapshot token 提交返回冲突',
+    '旧 token 冲突对任务、明细、已拣数量和操作历史零写入',
+    '库存变化后刷新 PDA 实时库存快照',
+    'const canonicalPick = await request',
+    'const canonicalBatchReplay = await request',
+  ])
+  assert.match(loading, /inventorySnapshotToken: refreshedInventory\.snapshotToken/)
+  assert.match(loading, /inventorySnapshotVerified: inventorySnapshotVerified && directPdaCompletion && atomicBatchReplayVerified/)
+  assert.match(loading, /inventoryMutationVerified, inventoryMutationCleanup/)
+  assert.match(loading, /当前唯一平台代理库存变更入口只允许 A0 临时占用换绑/)
+
+  const convergence = source('./phase3-pda-convergence.mjs')
+  assert.doesNotMatch(convergence, /未公开实时库存查询或库存版本快照端点/)
+  assert.match(convergence, /fixture\?\.inventorySnapshotVerified !== true/)
+  assert.match(convergence, /fixture\?\.inventoryMutationVerified !== true/)
+})
+
 test('customs provisions released booking and completed truck for the selected loading container', () => {
   const value = source('./phase3-customs.mjs')
   assertOrder(value, [