@suss/recognize 0.36.0 → 0.37.0

package/dist/ast.d.cts

@@ -1,5 +1,5 @@
 import { CallOps } from '@suss/extractor';
-import { L as LinkFunction } from './chain-DYU9ZdzF.cjs';
+import { L as LinkFunction } from './chain-CGjCQQ6-.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-DYU9ZdzF.js';
+import { L as LinkFunction } from './chain-CGjCQQ6-.js';
 import '@suss/behavioral-ir';
 
 /**

package/dist/{chain-DYU9ZdzF.d.cts → chain-CGjCQQ6-.d.cts}

@@ -1,5 +1,5 @@
 import { MessageBusSemantics, DeployableUnit } from '@suss/behavioral-ir';
-import { ReceiverOrigin, ValueOps, CallOps, UnsettledName } from '@suss/extractor';
+import { ReceiverOrigin, UnsettledName, ValueOps, CallOps } from '@suss/extractor';
 
 /**
  * The chain of links every declared pack is written as.
@@ -380,13 +380,13 @@ interface SqlEnding {
 /**
  * Where the messages a call sends are written.
  *
- * A library either takes one message as the call's input or takes a
- * collection of them under a property. Which one applies depends on the
+ * A library takes one message as the call's input, or a collection of
+ * them on a property or as the input. Which one applies depends on the
  * command, so a library offering both gets two declarations. SQS has
  * `SendMessageCommand` and `SendMessageBatchCommand`, and their inputs
  * differ.
  */
-type MessageLocation = OneMessage | ManyIn;
+type MessageLocation = OneMessage | ManyIn | ManyAsTheInput;
 /** The call's input is the message. */
 interface OneMessage {
     readonly each: "theInput";
@@ -397,14 +397,28 @@ interface ManyIn {
     /** The property the collection is written on. */
     readonly property: string;
 }
+/** The call's input is the list of messages, as in BullMQ's `addBulk([...])`. */
+interface ManyAsTheInput {
+    readonly each: "inTheInput";
+}
 /**
- * One part of the channel a message goes to, read off the message.
- *
- * A channel is one name on some wires and several on others. SQS has a
- * queue, EventBridge has a bus and a subject on it, and both are read
- * the same way, so a pack states the parts in the order they join.
+ * One part of the channel a message goes to. SQS has a queue, and
+ * EventBridge has a bus and a subject on it, so a pack states the parts
+ * in the order they join.
  */
-interface ChannelPart {
+type ChannelPart = PropertyPart | ArgumentPart;
+/**
+ * A part the call states as an argument, usually of a call next to it.
+ * A BullMQ queue takes its name when it is built, so the pack reads
+ * `{ of: [{ to: "receiver" }], at: 0 }`.
+ */
+interface ArgumentPart {
+    readonly argument: OneArgument;
+    /** What a reader gives back when nothing in the source settles it. */
+    readonly unsettled?: UnsettledName;
+}
+/** A part the message, or the call's input, states as a property. */
+interface PropertyPart {
     /**
      * The properties the message may state this part on, tried in order.
      * A library that lets one destination be written more than one way
@@ -442,14 +456,19 @@ interface MessageSendEnding {
     readonly channel: readonly ChannelPart[];
     /** What joins the parts, when there is more than one. */
     readonly channelSeparator?: string;
-    /** The property the message states its body on, when the pack can say. */
-    readonly body?: string;
     /**
-     * The property whose literal value is recorded as the routing key. It
-     * stays out of the channel, so a reader can filter on it but the two
-     * sides do not pair on it.
+     * The property the message states its body on, or the whole message,
+     * when the pack can say. `queue.add(name, data)` hands the body over
+     * as its own argument, so the message is the body.
+     */
+    readonly body?: string | WholeMessage;
+    /**
+     * Where the literal value recorded as the routing key is: a property
+     * of the message, or an argument of the call. It stays out of the
+     * channel, so a reader can filter on it but the two sides do not
+     * pair on it.
      */
-    readonly routingKey?: string;
+    readonly routingKey?: string | OneArgument;
     /**
      * 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
@@ -458,6 +477,10 @@ interface MessageSendEnding {
      */
     readonly unsettledName: UnsettledName;
 }
+/** The message itself, as the body a send records. */
+interface WholeMessage {
+    readonly whole: "message";
+}
 /**
  * A call that hands a payload to one deployed unit, named on the call.
  *
@@ -492,4 +515,4 @@ interface Chain<TMeaning = MethodMeaning> {
     readonly example: string | null;
 }
 
-export type { ArgumentPick as A, StatedRule as B, Chain as C, StorageEnding as D, Ending as E, FromReceiver as F, SubjectLink as G, ToReceiver as H, InterpolatesLink as I, UnitInvokeEnding as J, KindAsAsked as K, LinkFunction as L, MethodMeaning as M, OneArgument as O, SqlMethod as S, ToArgument as T, UnitInvokeMethod as U, MessageSendMethod as a, MessageLocation as b, ChannelPart as c, CallStep as d, StorageMethod as e, AccessKind as f, AccessPathLink as g, ArgumentsFrom as h, CallsLink as i, ContainerArgument as j, ContainerLink as k, ContainerRule as l, ContainersLink as m, InputLink as n, InputRule as o, Link as p, ManyIn as q, MatchStart as r, MessageSendEnding as s, MethodsLink as t, OneMessage as u, ScopeLink as v, SelectorParamPick as w, SqlEnding as x, StartLink as y, StatedInputs as z };
+export type { ArgumentPick as A, StartLink as B, Chain as C, StatedInputs as D, Ending as E, FromReceiver as F, StatedRule as G, StorageEnding as H, InterpolatesLink as I, SubjectLink as J, KindAsAsked as K, LinkFunction as L, MethodMeaning as M, ToReceiver as N, OneArgument as O, PropertyPart as P, UnitInvokeEnding as Q, SqlMethod as S, ToArgument as T, UnitInvokeMethod as U, WholeMessage as W, MessageSendMethod as a, MessageLocation as b, ChannelPart as c, CallStep as d, StorageMethod as e, AccessKind as f, AccessPathLink as g, ArgumentPart as h, ArgumentsFrom as i, CallsLink as j, ContainerArgument as k, ContainerLink as l, ContainerRule as m, ContainersLink as n, InputLink as o, InputRule as p, Link as q, ManyAsTheInput as r, ManyIn as s, MatchStart as t, MessageSendEnding as u, MethodsLink as v, OneMessage as w, ScopeLink as x, SelectorParamPick as y, SqlEnding as z };

package/dist/{chain-DYU9ZdzF.d.ts → chain-CGjCQQ6-.d.ts}

@@ -1,5 +1,5 @@
 import { MessageBusSemantics, DeployableUnit } from '@suss/behavioral-ir';
-import { ReceiverOrigin, ValueOps, CallOps, UnsettledName } from '@suss/extractor';
+import { ReceiverOrigin, UnsettledName, ValueOps, CallOps } from '@suss/extractor';
 
 /**
  * The chain of links every declared pack is written as.
@@ -380,13 +380,13 @@ interface SqlEnding {
 /**
  * Where the messages a call sends are written.
  *
- * A library either takes one message as the call's input or takes a
- * collection of them under a property. Which one applies depends on the
+ * A library takes one message as the call's input, or a collection of
+ * them on a property or as the input. Which one applies depends on the
  * command, so a library offering both gets two declarations. SQS has
  * `SendMessageCommand` and `SendMessageBatchCommand`, and their inputs
  * differ.
  */
-type MessageLocation = OneMessage | ManyIn;
+type MessageLocation = OneMessage | ManyIn | ManyAsTheInput;
 /** The call's input is the message. */
 interface OneMessage {
     readonly each: "theInput";
@@ -397,14 +397,28 @@ interface ManyIn {
     /** The property the collection is written on. */
     readonly property: string;
 }
+/** The call's input is the list of messages, as in BullMQ's `addBulk([...])`. */
+interface ManyAsTheInput {
+    readonly each: "inTheInput";
+}
 /**
- * One part of the channel a message goes to, read off the message.
- *
- * A channel is one name on some wires and several on others. SQS has a
- * queue, EventBridge has a bus and a subject on it, and both are read
- * the same way, so a pack states the parts in the order they join.
+ * One part of the channel a message goes to. SQS has a queue, and
+ * EventBridge has a bus and a subject on it, so a pack states the parts
+ * in the order they join.
  */
-interface ChannelPart {
+type ChannelPart = PropertyPart | ArgumentPart;
+/**
+ * A part the call states as an argument, usually of a call next to it.
+ * A BullMQ queue takes its name when it is built, so the pack reads
+ * `{ of: [{ to: "receiver" }], at: 0 }`.
+ */
+interface ArgumentPart {
+    readonly argument: OneArgument;
+    /** What a reader gives back when nothing in the source settles it. */
+    readonly unsettled?: UnsettledName;
+}
+/** A part the message, or the call's input, states as a property. */
+interface PropertyPart {
     /**
      * The properties the message may state this part on, tried in order.
      * A library that lets one destination be written more than one way
@@ -442,14 +456,19 @@ interface MessageSendEnding {
     readonly channel: readonly ChannelPart[];
     /** What joins the parts, when there is more than one. */
     readonly channelSeparator?: string;
-    /** The property the message states its body on, when the pack can say. */
-    readonly body?: string;
     /**
-     * The property whose literal value is recorded as the routing key. It
-     * stays out of the channel, so a reader can filter on it but the two
-     * sides do not pair on it.
+     * The property the message states its body on, or the whole message,
+     * when the pack can say. `queue.add(name, data)` hands the body over
+     * as its own argument, so the message is the body.
+     */
+    readonly body?: string | WholeMessage;
+    /**
+     * Where the literal value recorded as the routing key is: a property
+     * of the message, or an argument of the call. It stays out of the
+     * channel, so a reader can filter on it but the two sides do not
+     * pair on it.
      */
-    readonly routingKey?: string;
+    readonly routingKey?: string | OneArgument;
     /**
      * 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
@@ -458,6 +477,10 @@ interface MessageSendEnding {
      */
     readonly unsettledName: UnsettledName;
 }
+/** The message itself, as the body a send records. */
+interface WholeMessage {
+    readonly whole: "message";
+}
 /**
  * A call that hands a payload to one deployed unit, named on the call.
  *
@@ -492,4 +515,4 @@ interface Chain<TMeaning = MethodMeaning> {
     readonly example: string | null;
 }
 
-export type { ArgumentPick as A, StatedRule as B, Chain as C, StorageEnding as D, Ending as E, FromReceiver as F, SubjectLink as G, ToReceiver as H, InterpolatesLink as I, UnitInvokeEnding as J, KindAsAsked as K, LinkFunction as L, MethodMeaning as M, OneArgument as O, SqlMethod as S, ToArgument as T, UnitInvokeMethod as U, MessageSendMethod as a, MessageLocation as b, ChannelPart as c, CallStep as d, StorageMethod as e, AccessKind as f, AccessPathLink as g, ArgumentsFrom as h, CallsLink as i, ContainerArgument as j, ContainerLink as k, ContainerRule as l, ContainersLink as m, InputLink as n, InputRule as o, Link as p, ManyIn as q, MatchStart as r, MessageSendEnding as s, MethodsLink as t, OneMessage as u, ScopeLink as v, SelectorParamPick as w, SqlEnding as x, StartLink as y, StatedInputs as z };
+export type { ArgumentPick as A, StartLink as B, Chain as C, StatedInputs as D, Ending as E, FromReceiver as F, StatedRule as G, StorageEnding as H, InterpolatesLink as I, SubjectLink as J, KindAsAsked as K, LinkFunction as L, MethodMeaning as M, ToReceiver as N, OneArgument as O, PropertyPart as P, UnitInvokeEnding as Q, SqlMethod as S, ToArgument as T, UnitInvokeMethod as U, WholeMessage as W, MessageSendMethod as a, MessageLocation as b, ChannelPart as c, CallStep as d, StorageMethod as e, AccessKind as f, AccessPathLink as g, ArgumentPart as h, ArgumentsFrom as i, CallsLink as j, ContainerArgument as k, ContainerLink as l, ContainerRule as m, ContainersLink as n, InputLink as o, InputRule as p, Link as q, ManyAsTheInput as r, ManyIn as s, MatchStart as t, MessageSendEnding as u, MethodsLink as v, OneMessage as w, ScopeLink as x, SelectorParamPick as y, SqlEnding as z };

package/dist/index.cjs

@@ -483,8 +483,8 @@ function messageSend(matched) {
   const sent = messages.length === 0 ? [NOTHING_STATED] : messages;
   const effects = [];
   for (const message of sent) {
-    const channels = channelsOf({ message, input, ending });
-    for (const channel of channels) {
+    const sending = { message, input, subject, ending };
+    for (const channel of channelsOf(sending)) {
       effects.push({
         type: "interaction",
         binding: (0, import_behavioral_ir.messageBusBinding)({
@@ -496,19 +496,20 @@ function messageSend(matched) {
         interaction: {
           class: "message-send",
           ...bodyOf(message, ending),
-          ...routingKeyOf(message, ending)
+          ...routingKeyOf(sending)
         }
       });
     }
   }
   return effects;
 }
+var MESSAGES_IN = {
+  theInput: (input) => [input],
+  in: (input, location) => input.property(location.property)?.items() ?? [],
+  inTheInput: (input) => input.items()
+};
 function messagesIn(input, location) {
-  if (location.each === "theInput") {
-    return [input];
-  }
-  const collection = input.property(location.property);
-  return collection === null ? [] : collection.items();
+  return MESSAGES_IN[location.each](input, location);
 }
 var CHANNEL_CAP = 16;
 function oneName(written, unsettled) {
@@ -544,14 +545,22 @@ function crossed(heads, values, separator) {
   );
 }
 function partValues(part, sending, read) {
+  const unsettled = part.unsettled ?? sending.ending.unsettledName;
+  if ("argument" in part) {
+    const stated = statedValue(sending.subject, part.argument);
+    return stated === null ? null : READ_PART[read](stated, unsettled);
+  }
   const holder = part.on === "theInput" ? sending.input : sending.message;
   const written = firstWritten(holder, part.property);
   if (written === null) {
     return part.whenAbsent === void 0 ? null : [part.whenAbsent];
   }
-  const unsettled = part.unsettled ?? sending.ending.unsettledName;
-  return read === "everyString" ? everyString(written, unsettled) : oneName(written, unsettled);
+  return READ_PART[read](written, unsettled);
 }
+var READ_PART = {
+  everyString,
+  oneName
+};
 function firstWritten(holder, properties) {
   for (const property of properties) {
     const written = holder.property(property);
@@ -565,16 +574,17 @@ function bodyOf(message, ending) {
   if (ending.body === void 0) {
     return {};
   }
-  const stated = (0, import_extractor.unwrapJsonStringify)(
-    message.property(ending.body)?.asArg() ?? null
-  );
+  const written = typeof ending.body === "string" ? message.property(ending.body) : message;
+  const stated = (0, import_extractor.unwrapJsonStringify)(written?.asArg() ?? null);
   return stated === null ? {} : { body: stated };
 }
-function routingKeyOf(message, ending) {
-  if (ending.routingKey === void 0) {
+function routingKeyOf({ message, subject, ending }) {
+  const where = ending.routingKey;
+  if (where === void 0) {
     return {};
   }
-  const stated = message.property(ending.routingKey)?.text() ?? null;
+  const written = typeof where === "string" ? message.property(where) : statedValue(subject, where);
+  const stated = written?.text() ?? null;
   return stated === null || stated === "" ? {} : { routingKey: stated };
 }
 function unitInvoke(matched) {

package/dist/index.d.cts

@@ -1,7 +1,7 @@
 import { ConstructedFrom, DeclaredBy, CallOps, InvocationRecognizer, PatternPack, UnsettledName, ReceiverOrigin, ProjectHelpers, PackDeclarations } from '@suss/extractor';
 export { CallOps, ClassOps, ConstructedFrom, DeclaredBy, DeclaredMatch, HelperDeclarations, HelperSink, HelperValue, OpsCarrier, PackDeclarations, PatternPack, ProjectHelper, ProjectHelpers, 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, U as UnitInvokeMethod } from './chain-DYU9ZdzF.cjs';
-export { f as AccessKind, g as AccessPathLink, h as ArgumentsFrom, i as CallsLink, j as ContainerArgument, k as ContainerLink, l as ContainerRule, m as ContainersLink, E as Ending, F as FromReceiver, n as InputLink, o as InputRule, K as KindAsAsked, p as Link, q as ManyIn, r as MatchStart, s as MessageSendEnding, t as MethodsLink, u as OneMessage, v as ScopeLink, w as SelectorParamPick, x as SqlEnding, y as StartLink, z as StatedInputs, B as StatedRule, D as StorageEnding, G as SubjectLink, T as ToArgument, H as ToReceiver, J as UnitInvokeEnding } from './chain-DYU9ZdzF.cjs';
+import { C as Chain, M as MethodMeaning, a as MessageSendMethod, b as MessageLocation, c as ChannelPart, W as WholeMessage, O as OneArgument, S as SqlMethod, I as InterpolatesLink, d as CallStep, e as StorageMethod, A as ArgumentPick, L as LinkFunction, U as UnitInvokeMethod } from './chain-CGjCQQ6-.cjs';
+export { f as AccessKind, g as AccessPathLink, h as ArgumentPart, i as ArgumentsFrom, j as CallsLink, k as ContainerArgument, l as ContainerLink, m as ContainerRule, n as ContainersLink, E as Ending, F as FromReceiver, o as InputLink, p as InputRule, K as KindAsAsked, q as Link, r as ManyAsTheInput, s as ManyIn, t as MatchStart, u as MessageSendEnding, v as MethodsLink, w as OneMessage, P as PropertyPart, x as ScopeLink, y as SelectorParamPick, z as SqlEnding, B as StartLink, D as StatedInputs, G as StatedRule, H as StorageEnding, J as SubjectLink, T as ToArgument, N as ToReceiver, Q as UnitInvokeEnding } from './chain-CGjCQQ6-.cjs';
 import { Effect, MessageBusSemantics, DeployableUnit } from '@suss/behavioral-ir';
 
 /**
@@ -103,13 +103,14 @@ interface MessageSendsSpec {
     channel: readonly ChannelPart[];
     /** What joins the parts. Defaults to "#", as used between a bus and a subject. */
     channelSeparator?: string;
-    /** The property a message states its body on. */
-    body?: string;
+    /** The property a message states its body on, or the whole message. */
+    body?: string | WholeMessage;
     /**
-     * The property whose literal value is recorded as the routing key. A
-     * reader can filter on it, and it stays out of the channel name.
+     * Where the literal value recorded as the routing key is: a property
+     * of the message, or an argument of the call. A reader can filter on
+     * it, and it stays out of the channel name.
      */
-    routingKey?: string;
+    routingKey?: string | OneArgument;
     /**
      * What a reader gives back for a channel nothing in the source
      * settles. Defaults to keeping the reference, because most queues get
@@ -375,4 +376,4 @@ interface UnitInvokes {
 /** A pack that recognizes a call invoking a deployed unit. */
 declare function unitInvokes(spec: UnitInvokesSpec): UnitInvokes;
 
-export { ArgumentPick, CallStep, Chain, ChannelPart, InterpolatesLink, LinkFunction, type Match, MessageLocation, MessageSendMethod, type MessageSends, type MessageSendsSpec, MethodMeaning, OneArgument, type PackSpec, type RanExample, type RunOverCode, SqlMethod, type SqlStatements, type SqlStatementsSpec, type StorageCalls, type StorageCallsSpec, StorageMethod, UnitInvokeMethod, type UnitInvokes, type UnitInvokesSpec, compile, constructedFrom, declarationsIn, declaredBy, examplesMissing, messageSends, opsIn, pack, runExamples, sqlStatements, storageCalls, unitInvokes };
+export { ArgumentPick, CallStep, Chain, ChannelPart, InterpolatesLink, LinkFunction, type Match, MessageLocation, MessageSendMethod, type MessageSends, type MessageSendsSpec, MethodMeaning, OneArgument, type PackSpec, type RanExample, type RunOverCode, SqlMethod, type SqlStatements, type SqlStatementsSpec, type StorageCalls, type StorageCallsSpec, StorageMethod, UnitInvokeMethod, type UnitInvokes, type UnitInvokesSpec, WholeMessage, compile, constructedFrom, declarationsIn, declaredBy, examplesMissing, messageSends, opsIn, pack, runExamples, sqlStatements, storageCalls, unitInvokes };

package/dist/index.d.ts

@@ -1,7 +1,7 @@
 import { ConstructedFrom, DeclaredBy, CallOps, InvocationRecognizer, PatternPack, UnsettledName, ReceiverOrigin, ProjectHelpers, PackDeclarations } from '@suss/extractor';
 export { CallOps, ClassOps, ConstructedFrom, DeclaredBy, DeclaredMatch, HelperDeclarations, HelperSink, HelperValue, OpsCarrier, PackDeclarations, PatternPack, ProjectHelper, ProjectHelpers, 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, U as UnitInvokeMethod } from './chain-DYU9ZdzF.js';
-export { f as AccessKind, g as AccessPathLink, h as ArgumentsFrom, i as CallsLink, j as ContainerArgument, k as ContainerLink, l as ContainerRule, m as ContainersLink, E as Ending, F as FromReceiver, n as InputLink, o as InputRule, K as KindAsAsked, p as Link, q as ManyIn, r as MatchStart, s as MessageSendEnding, t as MethodsLink, u as OneMessage, v as ScopeLink, w as SelectorParamPick, x as SqlEnding, y as StartLink, z as StatedInputs, B as StatedRule, D as StorageEnding, G as SubjectLink, T as ToArgument, H as ToReceiver, J as UnitInvokeEnding } from './chain-DYU9ZdzF.js';
+import { C as Chain, M as MethodMeaning, a as MessageSendMethod, b as MessageLocation, c as ChannelPart, W as WholeMessage, O as OneArgument, S as SqlMethod, I as InterpolatesLink, d as CallStep, e as StorageMethod, A as ArgumentPick, L as LinkFunction, U as UnitInvokeMethod } from './chain-CGjCQQ6-.js';
+export { f as AccessKind, g as AccessPathLink, h as ArgumentPart, i as ArgumentsFrom, j as CallsLink, k as ContainerArgument, l as ContainerLink, m as ContainerRule, n as ContainersLink, E as Ending, F as FromReceiver, o as InputLink, p as InputRule, K as KindAsAsked, q as Link, r as ManyAsTheInput, s as ManyIn, t as MatchStart, u as MessageSendEnding, v as MethodsLink, w as OneMessage, P as PropertyPart, x as ScopeLink, y as SelectorParamPick, z as SqlEnding, B as StartLink, D as StatedInputs, G as StatedRule, H as StorageEnding, J as SubjectLink, T as ToArgument, N as ToReceiver, Q as UnitInvokeEnding } from './chain-CGjCQQ6-.js';
 import { Effect, MessageBusSemantics, DeployableUnit } from '@suss/behavioral-ir';
 
 /**
@@ -103,13 +103,14 @@ interface MessageSendsSpec {
     channel: readonly ChannelPart[];
     /** What joins the parts. Defaults to "#", as used between a bus and a subject. */
     channelSeparator?: string;
-    /** The property a message states its body on. */
-    body?: string;
+    /** The property a message states its body on, or the whole message. */
+    body?: string | WholeMessage;
     /**
-     * The property whose literal value is recorded as the routing key. A
-     * reader can filter on it, and it stays out of the channel name.
+     * Where the literal value recorded as the routing key is: a property
+     * of the message, or an argument of the call. A reader can filter on
+     * it, and it stays out of the channel name.
      */
-    routingKey?: string;
+    routingKey?: string | OneArgument;
     /**
      * What a reader gives back for a channel nothing in the source
      * settles. Defaults to keeping the reference, because most queues get
@@ -375,4 +376,4 @@ interface UnitInvokes {
 /** A pack that recognizes a call invoking a deployed unit. */
 declare function unitInvokes(spec: UnitInvokesSpec): UnitInvokes;
 
-export { ArgumentPick, CallStep, Chain, ChannelPart, InterpolatesLink, LinkFunction, type Match, MessageLocation, MessageSendMethod, type MessageSends, type MessageSendsSpec, MethodMeaning, OneArgument, type PackSpec, type RanExample, type RunOverCode, SqlMethod, type SqlStatements, type SqlStatementsSpec, type StorageCalls, type StorageCallsSpec, StorageMethod, UnitInvokeMethod, type UnitInvokes, type UnitInvokesSpec, compile, constructedFrom, declarationsIn, declaredBy, examplesMissing, messageSends, opsIn, pack, runExamples, sqlStatements, storageCalls, unitInvokes };
+export { ArgumentPick, CallStep, Chain, ChannelPart, InterpolatesLink, LinkFunction, type Match, MessageLocation, MessageSendMethod, type MessageSends, type MessageSendsSpec, MethodMeaning, OneArgument, type PackSpec, type RanExample, type RunOverCode, SqlMethod, type SqlStatements, type SqlStatementsSpec, type StorageCalls, type StorageCallsSpec, StorageMethod, UnitInvokeMethod, type UnitInvokes, type UnitInvokesSpec, WholeMessage, compile, constructedFrom, declarationsIn, declaredBy, examplesMissing, messageSends, opsIn, pack, runExamples, sqlStatements, storageCalls, unitInvokes };

package/dist/index.js

@@ -451,8 +451,8 @@ function messageSend(matched) {
   const sent = messages.length === 0 ? [NOTHING_STATED] : messages;
   const effects = [];
   for (const message of sent) {
-    const channels = channelsOf({ message, input, ending });
-    for (const channel of channels) {
+    const sending = { message, input, subject, ending };
+    for (const channel of channelsOf(sending)) {
       effects.push({
         type: "interaction",
         binding: messageBusBinding({
@@ -464,19 +464,20 @@ function messageSend(matched) {
         interaction: {
           class: "message-send",
           ...bodyOf(message, ending),
-          ...routingKeyOf(message, ending)
+          ...routingKeyOf(sending)
         }
       });
     }
   }
   return effects;
 }
+var MESSAGES_IN = {
+  theInput: (input) => [input],
+  in: (input, location) => input.property(location.property)?.items() ?? [],
+  inTheInput: (input) => input.items()
+};
 function messagesIn(input, location) {
-  if (location.each === "theInput") {
-    return [input];
-  }
-  const collection = input.property(location.property);
-  return collection === null ? [] : collection.items();
+  return MESSAGES_IN[location.each](input, location);
 }
 var CHANNEL_CAP = 16;
 function oneName(written, unsettled) {
@@ -512,14 +513,22 @@ function crossed(heads, values, separator) {
   );
 }
 function partValues(part, sending, read) {
+  const unsettled = part.unsettled ?? sending.ending.unsettledName;
+  if ("argument" in part) {
+    const stated = statedValue(sending.subject, part.argument);
+    return stated === null ? null : READ_PART[read](stated, unsettled);
+  }
   const holder = part.on === "theInput" ? sending.input : sending.message;
   const written = firstWritten(holder, part.property);
   if (written === null) {
     return part.whenAbsent === void 0 ? null : [part.whenAbsent];
   }
-  const unsettled = part.unsettled ?? sending.ending.unsettledName;
-  return read === "everyString" ? everyString(written, unsettled) : oneName(written, unsettled);
+  return READ_PART[read](written, unsettled);
 }
+var READ_PART = {
+  everyString,
+  oneName
+};
 function firstWritten(holder, properties) {
   for (const property of properties) {
     const written = holder.property(property);
@@ -533,16 +542,17 @@ function bodyOf(message, ending) {
   if (ending.body === void 0) {
     return {};
   }
-  const stated = unwrapJsonStringify(
-    message.property(ending.body)?.asArg() ?? null
-  );
+  const written = typeof ending.body === "string" ? message.property(ending.body) : message;
+  const stated = unwrapJsonStringify(written?.asArg() ?? null);
   return stated === null ? {} : { body: stated };
 }
-function routingKeyOf(message, ending) {
-  if (ending.routingKey === void 0) {
+function routingKeyOf({ message, subject, ending }) {
+  const where = ending.routingKey;
+  if (where === void 0) {
     return {};
   }
-  const stated = message.property(ending.routingKey)?.text() ?? null;
+  const written = typeof where === "string" ? message.property(where) : statedValue(subject, where);
+  const stated = written?.text() ?? null;
   return stated === null || stated === "" ? {} : { routingKey: stated };
 }
 function unitInvoke(matched) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/recognize",
-  "version": "0.36.0",
+  "version": "0.37.0",
   "type": "module",
   "description": "Teach suss to read a library you use, by writing a pack as data rather than code, which any language adapter can run.",
   "keywords": [
@@ -51,9 +51,9 @@
     "typecheck": "tsc --noEmit"
   },
   "dependencies": {
-    "@suss/behavioral-ir": "0.36.0",
-    "@suss/extractor": "0.36.0",
-    "@suss/sql": "0.36.0"
+    "@suss/behavioral-ir": "0.37.0",
+    "@suss/extractor": "0.37.0",
+    "@suss/sql": "0.37.0"
   },
   "devDependencies": {
     "tsup": "*",