@suss/recognize 0.14.1 → 0.15.0

package/dist/ast.d.cts

@@ -1,5 +1,5 @@
 import { CallOps } from '@suss/extractor';
-import { L as LinkFunction } from './chain-58V6lcel.cjs';
+import { L as LinkFunction } from './chain-C7w99UMv.cjs';
 import '@suss/behavioral-ir';
 
 /**

package/dist/ast.d.ts

@@ -1,5 +1,5 @@
 import { CallOps } from '@suss/extractor';
-import { L as LinkFunction } from './chain-58V6lcel.js';
+import { L as LinkFunction } from './chain-C7w99UMv.js';
 import '@suss/behavioral-ir';
 
 /**

package/dist/{chain-58V6lcel.d.cts → chain-C7w99UMv.d.cts}

@@ -361,8 +361,24 @@ interface ManyIn {
 interface ChannelPart {
     /** The property the message states this part on. */
     readonly property: string;
+    /**
+     * Where the property is written. A batch command states the queue
+     * once beside the list of messages, so its channel part reads off
+     * the call's input while the messages come one entry at a time.
+     * Defaults to the message.
+     */
+    readonly on?: "theMessage" | "theInput";
     /** What the library uses when the message leaves this part out. */
     readonly whenAbsent?: string;
+    /**
+     * What a reader gives back when this part is written but nothing in
+     * the source settles it, overriding the ending's `unsettledName`.
+     * EventBridge wants both: its bus is nearly always an env var, whose
+     * name both sides of the boundary agree on, and its subject is a
+     * domain string, where a run-time value should leave the channel
+     * unnamed rather than pair against everything.
+     */
+    readonly unsettled?: UnsettledName;
 }
 /** A message sent on a wire, which pairs with whatever consumes that channel. */
 interface MessageSendEnding {
@@ -377,6 +393,12 @@ interface MessageSendEnding {
     readonly channelSeparator?: string;
     /** The property the message states its body on, when the pack can say. */
     readonly body?: string;
+    /**
+     * The property whose literal value rides along as the routing key.
+     * Not part of the channel: it scopes the message for a reader without
+     * being what the two sides pair on.
+     */
+    readonly routingKey?: string;
     /**
      * What a reader gives back for a channel nothing in the source
      * settles. A queue URL only exists at deploy time, so the code writes

package/dist/{chain-58V6lcel.d.ts → chain-C7w99UMv.d.ts}

@@ -361,8 +361,24 @@ interface ManyIn {
 interface ChannelPart {
     /** The property the message states this part on. */
     readonly property: string;
+    /**
+     * Where the property is written. A batch command states the queue
+     * once beside the list of messages, so its channel part reads off
+     * the call's input while the messages come one entry at a time.
+     * Defaults to the message.
+     */
+    readonly on?: "theMessage" | "theInput";
     /** What the library uses when the message leaves this part out. */
     readonly whenAbsent?: string;
+    /**
+     * What a reader gives back when this part is written but nothing in
+     * the source settles it, overriding the ending's `unsettledName`.
+     * EventBridge wants both: its bus is nearly always an env var, whose
+     * name both sides of the boundary agree on, and its subject is a
+     * domain string, where a run-time value should leave the channel
+     * unnamed rather than pair against everything.
+     */
+    readonly unsettled?: UnsettledName;
 }
 /** A message sent on a wire, which pairs with whatever consumes that channel. */
 interface MessageSendEnding {
@@ -377,6 +393,12 @@ interface MessageSendEnding {
     readonly channelSeparator?: string;
     /** The property the message states its body on, when the pack can say. */
     readonly body?: string;
+    /**
+     * The property whose literal value rides along as the routing key.
+     * Not part of the channel: it scopes the message for a reader without
+     * being what the two sides pair on.
+     */
+    readonly routingKey?: string;
     /**
      * What a reader gives back for a channel nothing in the source
      * settles. A queue URL only exists at deploy time, so the code writes

package/dist/index.cjs

@@ -36,6 +36,7 @@ module.exports = __toCommonJS(index_exports);
 
 // src/compile.ts
 var import_behavioral_ir = require("@suss/behavioral-ir");
+var import_extractor = require("@suss/extractor");
 var import_sql = require("@suss/sql");
 
 // src/ops.ts
@@ -258,6 +259,7 @@ function statedValue(subject, pick) {
 var NOTHING_STATED = {
   text: () => null,
   name: () => null,
+  asArg: () => null,
   flag: () => null,
   entries: () => [],
   items: () => [],
@@ -321,17 +323,19 @@ function messageSend(matched) {
     return null;
   }
   const messages = messagesIn(input, ending.messages);
-  return messages.length === 0 ? null : messages.map((message) => ({
+  const sent = messages.length === 0 ? [NOTHING_STATED] : messages;
+  return sent.map((message) => ({
     type: "interaction",
     binding: (0, import_behavioral_ir.messageBusBinding)({
       recognition,
       messageBus: ending.wire,
-      channel: channelOf(message, ending)
+      channel: channelOf(message, input, ending)
     }),
     callee: ops.calleeText(),
     interaction: {
       class: "message-send",
-      ...bodyOf(message, ending)
+      ...bodyOf(message, ending),
+      ...routingKeyOf(message, ending)
     }
   }));
 }
@@ -342,15 +346,23 @@ function messagesIn(input, location) {
   const collection = input.property(location.property);
   return collection === null ? [] : collection.items();
 }
-function channelOf(message, ending) {
+function channelOf(message, input, ending) {
   const parts = [];
   for (const part of ending.channel) {
-    const stated = message.property(part.property)?.name(ending.unsettledName) ?? null;
-    const value = stated === null || stated === "" ? part.whenAbsent : stated;
-    if (value === void 0) {
+    const holder = part.on === "theInput" ? input : message;
+    const written = holder.property(part.property);
+    if (written === null) {
+      if (part.whenAbsent === void 0) {
+        return null;
+      }
+      parts.push(part.whenAbsent);
+      continue;
+    }
+    const stated = written.name(part.unsettled ?? ending.unsettledName);
+    if (stated === null || stated === "") {
       return null;
     }
-    parts.push(value);
+    parts.push(stated);
   }
   return parts.join(ending.channelSeparator ?? "#");
 }
@@ -358,9 +370,18 @@ function bodyOf(message, ending) {
   if (ending.body === void 0) {
     return {};
   }
-  const stated = message.property(ending.body)?.text() ?? null;
+  const stated = (0, import_extractor.unwrapJsonStringify)(
+    message.property(ending.body)?.asArg() ?? null
+  );
   return stated === null ? {} : { body: stated };
 }
+function routingKeyOf(message, ending) {
+  if (ending.routingKey === void 0) {
+    return {};
+  }
+  const stated = message.property(ending.routingKey)?.text() ?? null;
+  return stated === null || stated === "" ? {} : { routingKey: stated };
+}
 function sqlAccess(matched) {
   const { ops, subject, method, chain, recognition } = matched;
   const ending = chain.ending;
@@ -438,6 +459,7 @@ function messageSends(spec) {
     channel: spec.channel,
     ...spec.channelSeparator === void 0 ? {} : { channelSeparator: spec.channelSeparator },
     ...spec.body === void 0 ? {} : { body: spec.body },
+    ...spec.routingKey === void 0 ? {} : { routingKey: spec.routingKey },
     unsettledName: spec.unsettledName ?? "reference"
   };
   return chainFrom({
@@ -482,7 +504,10 @@ function pack(name, matches, spec) {
     requiresImport: [
       .../* @__PURE__ */ new Set([...gateOf(chains), ...spec.requiresImport ?? []])
     ],
-    invocationRecognizers: walkedBy(chains, "invocation", spec.recognizedAs),
+    invocationRecognizers: [
+      ...walkedBy(chains, "invocation", spec.recognizedAs),
+      ...spec.recognizers ?? []
+    ],
     ...access.length === 0 ? {} : { accessRecognizers: access },
     declarations: declarationsIn(matches)
   };

package/dist/index.d.cts

@@ -1,7 +1,7 @@
 import { ConstructedFrom, DeclaredBy, CallOps, InvocationRecognizer, PatternPack, UnsettledName, ReceiverOrigin, PackDeclarations } from '@suss/extractor';
 export { CallOps, ConstructedFrom, DeclaredBy, DeclaredMatch, OpsCarrier, PackDeclarations, PatternPack, ReceiverOrigin, UnsettledName, ValueEntry, ValueOps } from '@suss/extractor';
-import { C as Chain, M as MethodMeaning, a as MessageSendMethod, b as MessageLocation, c as ChannelPart, S as SqlMethod, I as InterpolatesLink, d as CallStep, e as StorageMethod, A as ArgumentPick, L as LinkFunction, O as OneArgument } from './chain-58V6lcel.cjs';
-export { f as AccessKind, g as AccessPathLink, h as ArgumentsFrom, i as ContainerArgument, j as ContainerLink, k as ContainerRule, l as ContainersLink, E as Ending, F as FromReceiver, m as InputLink, n as InputRule, K as KindAsAsked, o as Link, p as ManyIn, q as MatchStart, r as MessageSendEnding, s as MethodsLink, t as OneMessage, u as SqlEnding, v as StartLink, w as StatedInputs, x as StatedRule, y as StorageEnding, z as SubjectLink, T as ToArgument, B as ToReceiver } from './chain-58V6lcel.cjs';
+import { C as Chain, M as MethodMeaning, a as MessageSendMethod, b as MessageLocation, c as ChannelPart, S as SqlMethod, I as InterpolatesLink, d as CallStep, e as StorageMethod, A as ArgumentPick, L as LinkFunction, O as OneArgument } from './chain-C7w99UMv.cjs';
+export { f as AccessKind, g as AccessPathLink, h as ArgumentsFrom, i as ContainerArgument, j as ContainerLink, k as ContainerRule, l as ContainersLink, E as Ending, F as FromReceiver, m as InputLink, n as InputRule, K as KindAsAsked, o as Link, p as ManyIn, q as MatchStart, r as MessageSendEnding, s as MethodsLink, t as OneMessage, u as SqlEnding, v as StartLink, w as StatedInputs, x as StatedRule, y as StorageEnding, z as SubjectLink, T as ToArgument, B as ToReceiver } from './chain-C7w99UMv.cjs';
 import { Effect, MessageBusSemantics } from '@suss/behavioral-ir';
 
 /**
@@ -106,6 +106,11 @@ interface MessageSendsSpec {
     channelSeparator?: string;
     /** The property a message states its body on. */
     body?: string;
+    /**
+     * The property whose literal value rides along as the routing key,
+     * scoping the message for a reader without joining the channel.
+     */
+    routingKey?: string;
     /**
      * What a reader gives back for a channel nothing in the source
      * settles. Defaults to keeping the reference, since a queue named
@@ -175,6 +180,14 @@ interface PackSpec {
      * imports gives it something.
      */
     requiresImport?: string[];
+    /**
+     * Recognizers written against the adapter directly, run alongside the
+     * declared chains. A pack migrating one call at a time keeps what is
+     * not declared yet here, and a pack that needs a shape the endings
+     * cannot say keeps it here for good. Health reporting counts these as
+     * function links, so the cost of staying here is visible.
+     */
+    recognizers?: InvocationRecognizer[];
 }
 /** A pack, assembled from the calls it says it matches. */
 declare function pack(name: string, matches: readonly Match[], spec: PackSpec): PatternPack;

package/dist/index.d.ts

@@ -1,7 +1,7 @@
 import { ConstructedFrom, DeclaredBy, CallOps, InvocationRecognizer, PatternPack, UnsettledName, ReceiverOrigin, PackDeclarations } from '@suss/extractor';
 export { CallOps, ConstructedFrom, DeclaredBy, DeclaredMatch, OpsCarrier, PackDeclarations, PatternPack, ReceiverOrigin, UnsettledName, ValueEntry, ValueOps } from '@suss/extractor';
-import { C as Chain, M as MethodMeaning, a as MessageSendMethod, b as MessageLocation, c as ChannelPart, S as SqlMethod, I as InterpolatesLink, d as CallStep, e as StorageMethod, A as ArgumentPick, L as LinkFunction, O as OneArgument } from './chain-58V6lcel.js';
-export { f as AccessKind, g as AccessPathLink, h as ArgumentsFrom, i as ContainerArgument, j as ContainerLink, k as ContainerRule, l as ContainersLink, E as Ending, F as FromReceiver, m as InputLink, n as InputRule, K as KindAsAsked, o as Link, p as ManyIn, q as MatchStart, r as MessageSendEnding, s as MethodsLink, t as OneMessage, u as SqlEnding, v as StartLink, w as StatedInputs, x as StatedRule, y as StorageEnding, z as SubjectLink, T as ToArgument, B as ToReceiver } from './chain-58V6lcel.js';
+import { C as Chain, M as MethodMeaning, a as MessageSendMethod, b as MessageLocation, c as ChannelPart, S as SqlMethod, I as InterpolatesLink, d as CallStep, e as StorageMethod, A as ArgumentPick, L as LinkFunction, O as OneArgument } from './chain-C7w99UMv.js';
+export { f as AccessKind, g as AccessPathLink, h as ArgumentsFrom, i as ContainerArgument, j as ContainerLink, k as ContainerRule, l as ContainersLink, E as Ending, F as FromReceiver, m as InputLink, n as InputRule, K as KindAsAsked, o as Link, p as ManyIn, q as MatchStart, r as MessageSendEnding, s as MethodsLink, t as OneMessage, u as SqlEnding, v as StartLink, w as StatedInputs, x as StatedRule, y as StorageEnding, z as SubjectLink, T as ToArgument, B as ToReceiver } from './chain-C7w99UMv.js';
 import { Effect, MessageBusSemantics } from '@suss/behavioral-ir';
 
 /**
@@ -106,6 +106,11 @@ interface MessageSendsSpec {
     channelSeparator?: string;
     /** The property a message states its body on. */
     body?: string;
+    /**
+     * The property whose literal value rides along as the routing key,
+     * scoping the message for a reader without joining the channel.
+     */
+    routingKey?: string;
     /**
      * What a reader gives back for a channel nothing in the source
      * settles. Defaults to keeping the reference, since a queue named
@@ -175,6 +180,14 @@ interface PackSpec {
      * imports gives it something.
      */
     requiresImport?: string[];
+    /**
+     * Recognizers written against the adapter directly, run alongside the
+     * declared chains. A pack migrating one call at a time keeps what is
+     * not declared yet here, and a pack that needs a shape the endings
+     * cannot say keeps it here for good. Health reporting counts these as
+     * function links, so the cost of staying here is visible.
+     */
+    recognizers?: InvocationRecognizer[];
 }
 /** A pack, assembled from the calls it says it matches. */
 declare function pack(name: string, matches: readonly Match[], spec: PackSpec): PatternPack;

package/dist/index.js

@@ -1,5 +1,6 @@
 // src/compile.ts
 import { messageBusBinding, storageBinding } from "@suss/behavioral-ir";
+import { unwrapJsonStringify } from "@suss/extractor";
 import { readSqlAccess, sqlFromParts } from "@suss/sql";
 
 // src/ops.ts
@@ -222,6 +223,7 @@ function statedValue(subject, pick) {
 var NOTHING_STATED = {
   text: () => null,
   name: () => null,
+  asArg: () => null,
   flag: () => null,
   entries: () => [],
   items: () => [],
@@ -285,17 +287,19 @@ function messageSend(matched) {
     return null;
   }
   const messages = messagesIn(input, ending.messages);
-  return messages.length === 0 ? null : messages.map((message) => ({
+  const sent = messages.length === 0 ? [NOTHING_STATED] : messages;
+  return sent.map((message) => ({
     type: "interaction",
     binding: messageBusBinding({
       recognition,
       messageBus: ending.wire,
-      channel: channelOf(message, ending)
+      channel: channelOf(message, input, ending)
     }),
     callee: ops.calleeText(),
     interaction: {
       class: "message-send",
-      ...bodyOf(message, ending)
+      ...bodyOf(message, ending),
+      ...routingKeyOf(message, ending)
     }
   }));
 }
@@ -306,15 +310,23 @@ function messagesIn(input, location) {
   const collection = input.property(location.property);
   return collection === null ? [] : collection.items();
 }
-function channelOf(message, ending) {
+function channelOf(message, input, ending) {
   const parts = [];
   for (const part of ending.channel) {
-    const stated = message.property(part.property)?.name(ending.unsettledName) ?? null;
-    const value = stated === null || stated === "" ? part.whenAbsent : stated;
-    if (value === void 0) {
+    const holder = part.on === "theInput" ? input : message;
+    const written = holder.property(part.property);
+    if (written === null) {
+      if (part.whenAbsent === void 0) {
+        return null;
+      }
+      parts.push(part.whenAbsent);
+      continue;
+    }
+    const stated = written.name(part.unsettled ?? ending.unsettledName);
+    if (stated === null || stated === "") {
       return null;
     }
-    parts.push(value);
+    parts.push(stated);
   }
   return parts.join(ending.channelSeparator ?? "#");
 }
@@ -322,9 +334,18 @@ function bodyOf(message, ending) {
   if (ending.body === void 0) {
     return {};
   }
-  const stated = message.property(ending.body)?.text() ?? null;
+  const stated = unwrapJsonStringify(
+    message.property(ending.body)?.asArg() ?? null
+  );
   return stated === null ? {} : { body: stated };
 }
+function routingKeyOf(message, ending) {
+  if (ending.routingKey === void 0) {
+    return {};
+  }
+  const stated = message.property(ending.routingKey)?.text() ?? null;
+  return stated === null || stated === "" ? {} : { routingKey: stated };
+}
 function sqlAccess(matched) {
   const { ops, subject, method, chain, recognition } = matched;
   const ending = chain.ending;
@@ -402,6 +423,7 @@ function messageSends(spec) {
     channel: spec.channel,
     ...spec.channelSeparator === void 0 ? {} : { channelSeparator: spec.channelSeparator },
     ...spec.body === void 0 ? {} : { body: spec.body },
+    ...spec.routingKey === void 0 ? {} : { routingKey: spec.routingKey },
     unsettledName: spec.unsettledName ?? "reference"
   };
   return chainFrom({
@@ -446,7 +468,10 @@ function pack(name, matches, spec) {
     requiresImport: [
       .../* @__PURE__ */ new Set([...gateOf(chains), ...spec.requiresImport ?? []])
     ],
-    invocationRecognizers: walkedBy(chains, "invocation", spec.recognizedAs),
+    invocationRecognizers: [
+      ...walkedBy(chains, "invocation", spec.recognizedAs),
+      ...spec.recognizers ?? []
+    ],
     ...access.length === 0 ? {} : { accessRecognizers: access },
     declarations: declarationsIn(matches)
   };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/recognize",
-  "version": "0.14.1",
+  "version": "0.15.0",
   "type": "module",
   "description": "Write a pack as data: a chain of named links that any language adapter with the executor ops can run.",
   "keywords": [
@@ -49,9 +49,9 @@
     "typecheck": "tsc --noEmit"
   },
   "dependencies": {
-    "@suss/behavioral-ir": "0.14.1",
-    "@suss/extractor": "0.14.1",
-    "@suss/sql": "0.14.1"
+    "@suss/behavioral-ir": "0.15.0",
+    "@suss/extractor": "0.15.0",
+    "@suss/sql": "0.15.0"
   },
   "devDependencies": {
     "tsup": "*",