@flighthq/ipc 0.5.1-next.704.19c91ec → 0.5.1-next.730.f29a5aa

package/README.md

@@ -1,6 +1,6 @@
 # @flighthq/ipc
 
-Inter-process message reception over an explicit host capability
+Inter-process messaging over explicit operation-tight host capabilities
 
 ## Install
 
@@ -13,5 +13,5 @@ Import the supported application-facing API from `@flighthq/ipc`. The `@flighthq
 This package is part of the locked-version Flight SDK graph. Applications may instead install and import `@flighthq/sdk` when package-level tree shaking is sufficient.
 
 - [Flight project](https://github.com/flighthq/flight)
-- [Source for @flighthq/ipc@0.5.1-next.704.19c91ec](https://github.com/flighthq/flight/tree/19c91ec3e569d6b3b471682726465a79fba9f8cb/packages/ipc)
-- [License](https://github.com/flighthq/flight/blob/19c91ec3e569d6b3b471682726465a79fba9f8cb/LICENSE.md)
+- [Source for @flighthq/ipc@0.5.1-next.730.f29a5aa](https://github.com/flighthq/flight/tree/f29a5aab5db192284ce5cadf08ffae2649a598ea/packages/ipc)
+- [License](https://github.com/flighthq/flight/blob/f29a5aab5db192284ce5cadf08ffae2649a598ea/LICENSE.md)

package/dist/index.d.ts

@@ -1,2 +1,2 @@
-export { onIpcMessage, onceIpcMessage } from './contract';
+export { invokeIpc, onIpcInvoke, onIpcMessage, onceIpcMessage, sendIpcMessage, sendIpcMessageTo } from './contract';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC"}

package/dist/index.js

@@ -1,2 +1,2 @@
-export { onIpcMessage, onceIpcMessage } from './contract';
+export { invokeIpc, onIpcInvoke, onIpcMessage, onceIpcMessage, sendIpcMessage, sendIpcMessageTo } from './contract';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC"}

package/dist/ipc.d.ts

@@ -1,4 +1,8 @@
-import type { HasIpcMessage } from '@flighthq/types/contract';
+import type { HasIpcHandle, HasIpcInvoke, HasIpcMessage, HasIpcSend, HasIpcTargetedSend } from '@flighthq/types/contract';
+export declare function invokeIpc(host: HasIpcInvoke, channel: string, ...args: readonly unknown[]): Promise<unknown>;
 export declare function onceIpcMessage(host: HasIpcMessage, channel: string, listener: (...args: readonly unknown[]) => void): () => void;
+export declare function onIpcInvoke(host: HasIpcHandle, channel: string, handler: (...args: readonly unknown[]) => unknown | Promise<unknown>): () => void;
 export declare function onIpcMessage(host: HasIpcMessage, channel: string, listener: (...args: readonly unknown[]) => void): () => void;
+export declare function sendIpcMessage(host: HasIpcSend, channel: string, ...args: readonly unknown[]): void;
+export declare function sendIpcMessageTo<Target>(host: HasIpcTargetedSend<Target>, target: NoInfer<Target>, channel: string, ...args: readonly unknown[]): void;
 //# sourceMappingURL=ipc.d.ts.map

package/dist/ipc.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ipc.d.ts","sourceRoot":"","sources":["../src/ipc.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAkB9D,wBAAgB,cAAc,CAC5B,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,OAAO,EAAE,KAAK,IAAI,GAC9C,MAAM,IAAI,CAiBZ;AAID,wBAAgB,YAAY,CAC1B,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,OAAO,EAAE,KAAK,IAAI,GAC9C,MAAM,IAAI,CAEZ"}
+{"version":3,"file":"ipc.d.ts","sourceRoot":"","sources":["../src/ipc.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,UAAU,EACV,kBAAkB,EACnB,MAAM,0BAA0B,CAAC;AAYlC,wBAAgB,SAAS,CAAC,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,SAAS,OAAO,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAE5G;AAOD,wBAAgB,cAAc,CAC5B,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,OAAO,EAAE,KAAK,IAAI,GAC9C,MAAM,IAAI,CAiBZ;AAGD,wBAAgB,WAAW,CACzB,IAAI,EAAE,YAAY,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,OAAO,EAAE,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GACnE,MAAM,IAAI,CAEZ;AAID,wBAAgB,YAAY,CAC1B,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,CAAC,GAAG,IAAI,EAAE,SAAS,OAAO,EAAE,KAAK,IAAI,GAC9C,MAAM,IAAI,CAEZ;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,SAAS,OAAO,EAAE,GAAG,IAAI,CAEnG;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EACrC,IAAI,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAChC,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,EACvB,OAAO,EAAE,MAAM,EACf,GAAG,IAAI,EAAE,SAAS,OAAO,EAAE,GAC1B,IAAI,CAEN"}

package/dist/ipc.js

@@ -1,13 +1,15 @@
-// Inter-process message reception, over the explicitly supplied host. Every operation takes its host and
-// reads `host.ipc.message` directly: there is no resolver, no sentinel, no installed-backend state and
-// no "no provider" runtime arm, because the `HasIpcMessage` witness is what guarantees the slot exists.
-// A caller without a provider cannot call these at all — that is a compile error, not a false answer.
+// Inter-process messaging over explicitly supplied, operation-tight Host capabilities. Every operation
+// reads its own slot directly: there is no aggregate backend, resolver, sentinel, installed state, or
+// "no provider" runtime arm. A caller without the exact witness cannot compile the call.
 //
 // ★ THE WHOLE AMBIENT FAMILY IS GONE — getIpcBackend / setIpcBackend / installIpcHostBackend /
 // resetIpcBackendForTest / observeIpcHostResult / explainIpcBackend / explainIpcOperation /
 // hasIpcBackend / hasIpcOperation, plus the module-scoped _custom/_host/_hostConflict/_hostObservation/
 // _sentinel/_listeners registry. The sentinel in particular answered every operation, so a caller could
 // not tell an installed backend from nothing at all.
+export function invokeIpc(host, channel, ...args) {
+    return host.ipc.invoke.invoke(channel, args);
+}
 // Subscribes to messages on `channel` for the NEXT message only, then releases the subscription.
 // Returns the unsubscribe, so a caller that never receives a message can still stop listening.
 //
@@ -34,9 +36,19 @@ export function onceIpcMessage(host, channel, listener) {
         unsubscribe();
     return release;
 }
+// Registers an invoke responder on `channel`. The returned release belongs to this registration.
+export function onIpcInvoke(host, channel, handler) {
+    return host.ipc.handle.handle(channel, handler);
+}
 // Subscribes to every message on `channel`. Returns the unsubscribe for THIS subscription alone —
 // releasing one listener never disturbs another on the same channel.
 export function onIpcMessage(host, channel, listener) {
     return host.ipc.message.subscribe(channel, (args) => listener(...args));
 }
+export function sendIpcMessage(host, channel, ...args) {
+    host.ipc.send.send(channel, args);
+}
+export function sendIpcMessageTo(host, target, channel, ...args) {
+    host.ipc.targetedSend.send(target, channel, args);
+}
 //# sourceMappingURL=ipc.js.map

package/dist/ipc.js.map

@@ -1 +1 @@
-{"version":3,"file":"ipc.js","sourceRoot":"","sources":["../src/ipc.ts"],"names":[],"mappings":"AAEA,yGAAyG;AACzG,uGAAuG;AACvG,wGAAwG;AACxG,sGAAsG;AACtG,EAAE;AACF,+FAA+F;AAC/F,4FAA4F;AAC5F,wGAAwG;AACxG,wGAAwG;AACxG,qDAAqD;AAErD,iGAAiG;AACjG,+FAA+F;AAC/F,EAAE;AACF,kGAAkG;AAClG,yEAAyE;AACzE,MAAM,UAAU,cAAc,CAC5B,IAAmB,EACnB,OAAe,EACf,QAA+C;IAE/C,IAAI,WAAW,GAAwB,IAAI,CAAC;IAC5C,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,MAAM,OAAO,GAAG,GAAS,EAAE;QACzB,IAAI,IAAI;YAAE,OAAO;QACjB,IAAI,GAAG,IAAI,CAAC;QACZ,iGAAiG;QACjG,yEAAyE;QACzE,WAAW,EAAE,EAAE,CAAC;IAClB,CAAC,CAAC;IACF,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;QACzD,IAAI,IAAI;YAAE,OAAO;QACjB,OAAO,EAAE,CAAC;QACV,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IACH,IAAI,IAAI;QAAE,WAAW,EAAE,CAAC;IACxB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,kGAAkG;AAClG,qEAAqE;AACrE,MAAM,UAAU,YAAY,CAC1B,IAAmB,EACnB,OAAe,EACf,QAA+C;IAE/C,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;AAC1E,CAAC"}
+{"version":3,"file":"ipc.js","sourceRoot":"","sources":["../src/ipc.ts"],"names":[],"mappings":"AAQA,uGAAuG;AACvG,sGAAsG;AACtG,yFAAyF;AACzF,EAAE;AACF,+FAA+F;AAC/F,4FAA4F;AAC5F,wGAAwG;AACxG,wGAAwG;AACxG,qDAAqD;AAErD,MAAM,UAAU,SAAS,CAAC,IAAkB,EAAE,OAAe,EAAE,GAAG,IAAwB;IACxF,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AAC/C,CAAC;AAED,iGAAiG;AACjG,+FAA+F;AAC/F,EAAE;AACF,kGAAkG;AAClG,yEAAyE;AACzE,MAAM,UAAU,cAAc,CAC5B,IAAmB,EACnB,OAAe,EACf,QAA+C;IAE/C,IAAI,WAAW,GAAwB,IAAI,CAAC;IAC5C,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,MAAM,OAAO,GAAG,GAAS,EAAE;QACzB,IAAI,IAAI;YAAE,OAAO;QACjB,IAAI,GAAG,IAAI,CAAC;QACZ,iGAAiG;QACjG,yEAAyE;QACzE,WAAW,EAAE,EAAE,CAAC;IAClB,CAAC,CAAC;IACF,WAAW,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE;QACzD,IAAI,IAAI;YAAE,OAAO;QACjB,OAAO,EAAE,CAAC;QACV,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC;IACpB,CAAC,CAAC,CAAC;IACH,IAAI,IAAI;QAAE,WAAW,EAAE,CAAC;IACxB,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,iGAAiG;AACjG,MAAM,UAAU,WAAW,CACzB,IAAkB,EAClB,OAAe,EACf,OAAoE;IAEpE,OAAO,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAClD,CAAC;AAED,kGAAkG;AAClG,qEAAqE;AACrE,MAAM,UAAU,YAAY,CAC1B,IAAmB,EACnB,OAAe,EACf,QAA+C;IAE/C,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;AAC1E,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,IAAgB,EAAE,OAAe,EAAE,GAAG,IAAwB;IAC3F,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,IAAgC,EAChC,MAAuB,EACvB,OAAe,EACf,GAAG,IAAwB;IAE3B,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC;AACpD,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@flighthq/ipc",
-  "version": "0.5.1-next.704.19c91ec",
+  "version": "0.5.1-next.730.f29a5aa",
   "author": "Joshua Granick and other contributors",
   "license": "MIT",
   "repository": {
@@ -38,13 +38,12 @@
     "clean:dist": "tsx ../../scripts/clean-package-dist.ts"
   },
   "dependencies": {
-    "@flighthq/signals": "0.5.1-next.704.19c91ec",
-    "@flighthq/types": "0.5.1-next.704.19c91ec"
+    "@flighthq/types": "0.5.1-next.730.f29a5aa"
   },
   "devDependencies": {
     "@flighthq/entity": "*",
     "typescript": "^5.3.0"
   },
-  "description": "Inter-process message reception over an explicit host capability",
+  "description": "Inter-process messaging over explicit operation-tight host capabilities",
   "sideEffects": false
 }

package/src/ipc.test.ts

@@ -1,7 +1,19 @@
 import { createEntity } from '@flighthq/entity/contract';
-import type { EntityWithoutRuntime, HasIpcMessage, IpcMessageBackend } from '@flighthq/types/contract';
+import type {
+  EntityWithoutRuntime,
+  HasIpcHandle,
+  HasIpcInvoke,
+  HasIpcMessage,
+  HasIpcSend,
+  HasIpcTargetedSend,
+  IpcHandleBackend,
+  IpcInvokeBackend,
+  IpcMessageBackend,
+  IpcSendBackend,
+  IpcTargetedSendBackend,
+} from '@flighthq/types/contract';
 
-import { onIpcMessage, onceIpcMessage } from './ipc';
+import { invokeIpc, onIpcInvoke, onIpcMessage, onceIpcMessage, sendIpcMessage, sendIpcMessageTo } from './ipc';
 
 // A host carrying a recording message provider. Nothing installs anywhere, so two hosts can be live at
 // once — the property the ambient seam could not express.
@@ -30,6 +42,77 @@ function messageHost(): HasIpcMessage & {
   };
 }
 
+interface TestIpcTarget {
+  readonly id: number;
+}
+
+function operationHost(): HasIpcHandle &
+  HasIpcInvoke &
+  HasIpcSend &
+  HasIpcTargetedSend<TestIpcTarget> & {
+    readonly handlers: Map<string, (...args: readonly unknown[]) => unknown | Promise<unknown>>;
+    readonly invocations: Array<{ readonly args: readonly unknown[]; readonly channel: string }>;
+    readonly sent: Array<{ readonly args: readonly unknown[]; readonly channel: string }>;
+    readonly sentTo: Array<{
+      readonly args: readonly unknown[];
+      readonly channel: string;
+      readonly target: TestIpcTarget;
+    }>;
+  } {
+  const handlers = new Map<string, (...args: readonly unknown[]) => unknown | Promise<unknown>>();
+  const invocations: Array<{ readonly args: readonly unknown[]; readonly channel: string }> = [];
+  const sent: Array<{ readonly args: readonly unknown[]; readonly channel: string }> = [];
+  const sentTo: Array<{
+    readonly args: readonly unknown[];
+    readonly channel: string;
+    readonly target: TestIpcTarget;
+  }> = [];
+  return {
+    handlers,
+    invocations,
+    ipc: {
+      handle: createEntity<EntityWithoutRuntime<IpcHandleBackend>>({
+        handle(channel, handler) {
+          handlers.set(channel, handler);
+          return () => {
+            if (handlers.get(channel) === handler) handlers.delete(channel);
+          };
+        },
+      }),
+      invoke: createEntity<EntityWithoutRuntime<IpcInvokeBackend>>({
+        invoke(channel, args) {
+          invocations.push({ args, channel });
+          return Promise.resolve({ args, channel });
+        },
+      }),
+      send: createEntity<EntityWithoutRuntime<IpcSendBackend>>({
+        send(channel, args) {
+          sent.push({ args, channel });
+        },
+      }),
+      targetedSend: createEntity<EntityWithoutRuntime<IpcTargetedSendBackend<TestIpcTarget>>>({
+        send(target, channel, args) {
+          sentTo.push({ args, channel, target });
+        },
+      }),
+    },
+    sent,
+    sentTo,
+  };
+}
+
+describe('invokeIpc', () => {
+  it('requires the invoke capability and returns its response', async () => {
+    expectTypeOf(invokeIpc).parameter(0).toEqualTypeOf<HasIpcInvoke>();
+    const host = operationHost();
+
+    const response = await invokeIpc(host, 'compute', 1, 2);
+
+    expect(response).toEqual({ args: [1, 2], channel: 'compute' });
+    expect(host.invocations).toEqual([{ args: [1, 2], channel: 'compute' }]);
+  });
+});
+
 describe('onceIpcMessage', () => {
   it('delivers the first message and then releases the subscription', () => {
     const host = messageHost();
@@ -91,6 +174,19 @@ describe('onceIpcMessage', () => {
   });
 });
 
+describe('onIpcInvoke', () => {
+  it('requires the handle capability, spreads arguments, and returns its release', async () => {
+    expectTypeOf(onIpcInvoke).parameter(0).toEqualTypeOf<HasIpcHandle>();
+    const host = operationHost();
+    const stop = onIpcInvoke(host, 'double', (value) => (value as number) * 2);
+
+    expect(await host.handlers.get('double')?.(4)).toBe(8);
+
+    stop();
+    expect(host.handlers.has('double')).toBe(false);
+  });
+});
+
 describe('onIpcMessage', () => {
   it('delivers every message on its channel with the sent arguments', () => {
     const host = messageHost();
@@ -134,3 +230,29 @@ describe('onIpcMessage', () => {
     expect(seen).toEqual(['second', 'first']);
   });
 });
+
+describe('sendIpcMessage', () => {
+  it('requires the send capability and forwards the arguments', () => {
+    expectTypeOf(sendIpcMessage).parameter(0).toEqualTypeOf<HasIpcSend>();
+    const host = operationHost();
+
+    sendIpcMessage(host, 'log', 'hello', 7);
+
+    expect(host.sent).toEqual([{ args: ['hello', 7], channel: 'log' }]);
+  });
+});
+
+describe('sendIpcMessageTo', () => {
+  it('requires a capability for the target type and forwards that target unchanged', () => {
+    expectTypeOf(sendIpcMessageTo<TestIpcTarget>)
+      .parameter(0)
+      .toEqualTypeOf<HasIpcTargetedSend<TestIpcTarget>>();
+    const host = operationHost();
+    const target = { id: 7 };
+
+    sendIpcMessageTo(host, target, 'log', 'hello');
+
+    expect(host.sentTo).toEqual([{ args: ['hello'], channel: 'log', target }]);
+    expect(host.sentTo[0].target).toBe(target);
+  });
+});