chore(swingset): message-patterns: add a73 to exercise bug #1400

packages/SwingSet/test/message-patterns.js

@@ -7,6 +7,7 @@
 
 import { E } from '@agoric/eventual-send';
 import { makePromiseKit } from '@agoric/promise-kit';
+import { ignore } from './util';
 
 // Exercise a set of increasingly complex object-capability message patterns,
 // for testing.
@@ -516,6 +517,27 @@ export function buildPatterns(log) {
   ];
   test('a72');
 
+  // Exercise bug #1400. We set up two messages:
+  //   pipe1 = bob~.one()
+  //   pipe1~.two()
+  // but their handling must meet two ordering constraints:
+  // 1: left-comms transmits two() before learning about pipe1 resolving
+  // 2: right-comms receives two() *after* learning about pipe1 resolving
+  // to achieve this, we changed loopbox() to deliver one message at a time
+  {
+    objA.a73 = async () => {
+      const pipe1 = E(b.bob).b73_one();
+      const p2 = E(pipe1).two();
+      ignore(p2);
+    };
+    objB.b73_one = () =>
+      harden({
+        two: () => log('two'),
+      });
+  }
+  out.a73 = ['two'];
+  test('a73');
+
   return harden({
     setA,
     setB,

packages/SwingSet/test/test-message-patterns.js

@@ -96,7 +96,7 @@ export async function runVatsInComms(t, enablePipelining, name) {
   config.vats.leftvattp = { sourcePath: vatTPSourcePath };
   config.vats.rightvattp = { sourcePath: vatTPSourcePath };
   const { passOneMessage, loopboxSrcPath, loopboxEndowments } = buildLoopbox(
-    'immediate',
+    'queued',
   );
   config.devices = [['loopbox', loopboxSrcPath, loopboxEndowments]];
   const c = await buildVatController(config, [name]);

packages/SwingSet/test/util.js

@@ -69,3 +69,10 @@ export function buildDispatch(onDispatchCallback = undefined) {
 
   return { log, dispatch };
 }
+
+export function ignore(p) {
+  p.then(
+    () => 0,
+    () => 0,
+  );
+}