@suss/recognize 0.19.0 → 0.21.0

package/README.md

@@ -76,6 +76,15 @@ ioredis, and the declaration behind `redis.get` says everything.
 `constructed` asks the receiver itself, so it still works where the
 method is untyped.
 
+A chain can also match a bare call of the tracked value itself, with
+`.calls(meaning)` beside its methods table. A store hook is the case:
+`useAppStore((s) => s.bears)` reaches for no method, so there is no
+name for the table to list; the call matches when its callee is a
+bound name whose written value came from the chain's origin. The
+fields such a call reads are usually stated in a selector lambda, and
+`fields: { selectorParam: 0 }` picks them off the lambda's parameter,
+one per distinct first segment.
+
 ## The gradient
 
 Expressiveness is bought link by link, and the price is printed.
@@ -111,6 +120,8 @@ result on the recognizer context under `ops`.
 | `receiver()` | the call the receiver is, as ops of its own |
 | `argument(index)` | the call that argument is, as ops of its own |
 | `callee()` | the call the callee itself was written as |
+| `namedCallee()` | whether the call goes to a name the program bound (optional) |
+| `parameterReadsAt(index)` | the fields a selector lambda in that position reads off its parameter (optional) |
 | `propertyAt(index, property, unsettled)` | what a named property of that argument says |
 | `valueAt(index)` | the value that argument states, as `ValueOps` |
 

package/dist/ast.d.cts

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

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

@@ -1,4 +1,4 @@
-import { MessageBusSemantics } from '@suss/behavioral-ir';
+import { MessageBusSemantics, DeployableUnit } from '@suss/behavioral-ir';
 import { ReceiverOrigin, ValueOps, CallOps, UnsettledName } from '@suss/extractor';
 
 /**
@@ -136,6 +136,13 @@ interface AccessPathLink {
 interface ContainersLink {
     readonly asks: "containers";
     readonly in: OneArgument;
+    /**
+     * What one of them is. An entry keys the container by name and says
+     * what the call did there, which is how a batch write is written. A
+     * name is the container on its own, which is how a call that reads
+     * several parameters at once is written. Defaults to an entry.
+     */
+    readonly each?: "entry" | "name";
 }
 /**
  * Where a call states its inputs, when it states them as one object
@@ -165,12 +172,30 @@ interface InterpolatesLink {
     readonly from?: ReceiverOrigin;
 }
 /** One question in a chain, and the answer the pack gave for it. */
-type Link<TMeaning> = StartLink | SubjectLink | MethodsLink<TMeaning> | ContainerLink | AccessPathLink | ContainersLink | InputLink | InterpolatesLink;
+type Link<TMeaning> = StartLink | SubjectLink | MethodsLink<TMeaning> | CallsLink<TMeaning> | ContainerLink | AccessPathLink | ContainersLink | InputLink | InterpolatesLink;
+/**
+ * The meaning of a bare call of the tracked client itself. A store
+ * hook is the case: `useAppStore((s) => s.bears)` reaches for no
+ * method, so there is no name for a methods table to list; the call
+ * matches by what its callee was written as.
+ */
+interface CallsLink<TMeaning> {
+    readonly asks: "calls";
+    readonly meaning: TMeaning;
+}
 /**
  * Which argument or arguments say what a call reached, and where to go
  * looking. Without `of` the argument belongs to the chain's subject.
  */
 type ArgumentPick = OneArgument | ArgumentsFrom;
+/**
+ * The fields a selector lambda reads off its parameter, one per
+ * distinct first segment: `(s) => s.bears.count` reads `bears`. The
+ * value says which argument the lambda is passed as.
+ */
+interface SelectorParamPick {
+    readonly selectorParam: number;
+}
 /** The argument in one position. */
 interface OneArgument {
     /** The steps to the call the argument belongs to. */
@@ -261,13 +286,13 @@ interface StorageMethod {
      * wrote, or the plain list a method whose own name settles it states
      * outright: `findById` picks by `_id` however the id is spelt.
      */
-    readonly selector?: readonly string[] | ArgumentPick | InputRule | StatedRule;
+    readonly selector?: readonly string[] | ArgumentPick | SelectorParamPick | InputRule | StatedRule;
     /**
      * Which fields the call touched, said the same three ways. A delete
      * touches the whole document and states `["*"]`, since nothing in its
      * arguments says so.
      */
-    readonly fields?: readonly string[] | ArgumentPick | InputRule | StatedRule;
+    readonly fields?: readonly string[] | ArgumentPick | SelectorParamPick | InputRule | StatedRule;
 }
 /**
  * What one method of a client that takes a statement written as SQL
@@ -289,9 +314,15 @@ interface MessageSendMethod {
     /** Where the call states the message, or the collection of them. */
     readonly input: OneArgument;
 }
+/**
+ * What one invoke method does. An invoke states its whole request as
+ * one object the same way a send does, so both say where that object
+ * is and nothing else.
+ */
+type UnitInvokeMethod = MessageSendMethod;
 type MethodMeaning = StorageMethod | SqlMethod | MessageSendMethod;
 /** What a chain produces when every link matches. */
-type Ending = StorageEnding | SqlEnding | MessageSendEnding;
+type Ending = StorageEnding | SqlEnding | MessageSendEnding | UnitInvokeEnding;
 /** A storage access: one call, one thing it read or wrote. */
 interface StorageEnding {
     readonly yields: "storageAccess";
@@ -359,8 +390,13 @@ interface ManyIn {
  * the same way, so a pack states the parts in the order they join.
  */
 interface ChannelPart {
-    /** The property the message states this part on. */
-    readonly property: string;
+    /**
+     * The properties the message may state this part on, tried in order.
+     * A library that lets one destination be written more than one way
+     * lists each spelling: an SNS publish writes its topic as `TopicArn`
+     * or as `TargetArn`, and the two are the same part of the channel.
+     */
+    readonly property: readonly string[];
     /**
      * Where the property is written. A batch command states the queue
      * once beside the list of messages, so its channel part reads off
@@ -407,6 +443,29 @@ interface MessageSendEnding {
      */
     readonly unsettledName: UnsettledName;
 }
+/**
+ * A call that hands a payload to one deployed unit, named on the call.
+ *
+ * The unit's name is read off the call's own input rather than off a
+ * message, because there is one callee per call however many messages a
+ * send takes. A name written as a fully-qualified cloud id is reduced
+ * to the resource segment, so an ARN and a bare name come out the same.
+ */
+interface UnitInvokeEnding {
+    readonly yields: "unitInvoke";
+    /** The platform running the unit, in the IR's deployable-unit words. */
+    readonly platform: DeployableUnit["deploymentTarget"];
+    /** The properties the call may name the unit on, tried in order. */
+    readonly named: readonly string[];
+    /** The property the call states its payload on, when the pack can say. */
+    readonly payload?: string;
+    /**
+     * What a reader gives back for a name nothing in the source settles.
+     * A function name usually arrives through an env var, whose name both
+     * sides agree on, so `"reference"` keeps it.
+     */
+    readonly unsettledName: UnsettledName;
+}
 /**
  * A pack's declaration for one kind of call: the links, the ending, and
  * a line of code it matches.
@@ -418,4 +477,4 @@ interface Chain<TMeaning = MethodMeaning> {
     readonly example: string | null;
 }
 
-export type { ArgumentPick as A, ToReceiver as B, Chain as C, Ending as E, FromReceiver as F, InterpolatesLink as I, KindAsAsked as K, LinkFunction as L, MethodMeaning as M, OneArgument as O, SqlMethod as S, ToArgument as T, MessageSendMethod as a, MessageLocation as b, ChannelPart as c, CallStep as d, StorageMethod as e, AccessKind as f, AccessPathLink as g, ArgumentsFrom as h, ContainerArgument as i, ContainerLink as j, ContainerRule as k, ContainersLink as l, InputLink as m, InputRule as n, Link as o, ManyIn as p, MatchStart as q, MessageSendEnding as r, MethodsLink as s, OneMessage as t, SqlEnding as u, StartLink as v, StatedInputs as w, StatedRule as x, StorageEnding as y, SubjectLink as z };
+export type { ArgumentPick as A, StorageEnding as B, Chain as C, SubjectLink as D, Ending as E, FromReceiver as F, ToReceiver as G, UnitInvokeEnding as H, InterpolatesLink as I, 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, SelectorParamPick as v, SqlEnding as w, StartLink as x, StatedInputs as y, StatedRule as z };

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

@@ -1,4 +1,4 @@
-import { MessageBusSemantics } from '@suss/behavioral-ir';
+import { MessageBusSemantics, DeployableUnit } from '@suss/behavioral-ir';
 import { ReceiverOrigin, ValueOps, CallOps, UnsettledName } from '@suss/extractor';
 
 /**
@@ -136,6 +136,13 @@ interface AccessPathLink {
 interface ContainersLink {
     readonly asks: "containers";
     readonly in: OneArgument;
+    /**
+     * What one of them is. An entry keys the container by name and says
+     * what the call did there, which is how a batch write is written. A
+     * name is the container on its own, which is how a call that reads
+     * several parameters at once is written. Defaults to an entry.
+     */
+    readonly each?: "entry" | "name";
 }
 /**
  * Where a call states its inputs, when it states them as one object
@@ -165,12 +172,30 @@ interface InterpolatesLink {
     readonly from?: ReceiverOrigin;
 }
 /** One question in a chain, and the answer the pack gave for it. */
-type Link<TMeaning> = StartLink | SubjectLink | MethodsLink<TMeaning> | ContainerLink | AccessPathLink | ContainersLink | InputLink | InterpolatesLink;
+type Link<TMeaning> = StartLink | SubjectLink | MethodsLink<TMeaning> | CallsLink<TMeaning> | ContainerLink | AccessPathLink | ContainersLink | InputLink | InterpolatesLink;
+/**
+ * The meaning of a bare call of the tracked client itself. A store
+ * hook is the case: `useAppStore((s) => s.bears)` reaches for no
+ * method, so there is no name for a methods table to list; the call
+ * matches by what its callee was written as.
+ */
+interface CallsLink<TMeaning> {
+    readonly asks: "calls";
+    readonly meaning: TMeaning;
+}
 /**
  * Which argument or arguments say what a call reached, and where to go
  * looking. Without `of` the argument belongs to the chain's subject.
  */
 type ArgumentPick = OneArgument | ArgumentsFrom;
+/**
+ * The fields a selector lambda reads off its parameter, one per
+ * distinct first segment: `(s) => s.bears.count` reads `bears`. The
+ * value says which argument the lambda is passed as.
+ */
+interface SelectorParamPick {
+    readonly selectorParam: number;
+}
 /** The argument in one position. */
 interface OneArgument {
     /** The steps to the call the argument belongs to. */
@@ -261,13 +286,13 @@ interface StorageMethod {
      * wrote, or the plain list a method whose own name settles it states
      * outright: `findById` picks by `_id` however the id is spelt.
      */
-    readonly selector?: readonly string[] | ArgumentPick | InputRule | StatedRule;
+    readonly selector?: readonly string[] | ArgumentPick | SelectorParamPick | InputRule | StatedRule;
     /**
      * Which fields the call touched, said the same three ways. A delete
      * touches the whole document and states `["*"]`, since nothing in its
      * arguments says so.
      */
-    readonly fields?: readonly string[] | ArgumentPick | InputRule | StatedRule;
+    readonly fields?: readonly string[] | ArgumentPick | SelectorParamPick | InputRule | StatedRule;
 }
 /**
  * What one method of a client that takes a statement written as SQL
@@ -289,9 +314,15 @@ interface MessageSendMethod {
     /** Where the call states the message, or the collection of them. */
     readonly input: OneArgument;
 }
+/**
+ * What one invoke method does. An invoke states its whole request as
+ * one object the same way a send does, so both say where that object
+ * is and nothing else.
+ */
+type UnitInvokeMethod = MessageSendMethod;
 type MethodMeaning = StorageMethod | SqlMethod | MessageSendMethod;
 /** What a chain produces when every link matches. */
-type Ending = StorageEnding | SqlEnding | MessageSendEnding;
+type Ending = StorageEnding | SqlEnding | MessageSendEnding | UnitInvokeEnding;
 /** A storage access: one call, one thing it read or wrote. */
 interface StorageEnding {
     readonly yields: "storageAccess";
@@ -359,8 +390,13 @@ interface ManyIn {
  * the same way, so a pack states the parts in the order they join.
  */
 interface ChannelPart {
-    /** The property the message states this part on. */
-    readonly property: string;
+    /**
+     * The properties the message may state this part on, tried in order.
+     * A library that lets one destination be written more than one way
+     * lists each spelling: an SNS publish writes its topic as `TopicArn`
+     * or as `TargetArn`, and the two are the same part of the channel.
+     */
+    readonly property: readonly string[];
     /**
      * Where the property is written. A batch command states the queue
      * once beside the list of messages, so its channel part reads off
@@ -407,6 +443,29 @@ interface MessageSendEnding {
      */
     readonly unsettledName: UnsettledName;
 }
+/**
+ * A call that hands a payload to one deployed unit, named on the call.
+ *
+ * The unit's name is read off the call's own input rather than off a
+ * message, because there is one callee per call however many messages a
+ * send takes. A name written as a fully-qualified cloud id is reduced
+ * to the resource segment, so an ARN and a bare name come out the same.
+ */
+interface UnitInvokeEnding {
+    readonly yields: "unitInvoke";
+    /** The platform running the unit, in the IR's deployable-unit words. */
+    readonly platform: DeployableUnit["deploymentTarget"];
+    /** The properties the call may name the unit on, tried in order. */
+    readonly named: readonly string[];
+    /** The property the call states its payload on, when the pack can say. */
+    readonly payload?: string;
+    /**
+     * What a reader gives back for a name nothing in the source settles.
+     * A function name usually arrives through an env var, whose name both
+     * sides agree on, so `"reference"` keeps it.
+     */
+    readonly unsettledName: UnsettledName;
+}
 /**
  * A pack's declaration for one kind of call: the links, the ending, and
  * a line of code it matches.
@@ -418,4 +477,4 @@ interface Chain<TMeaning = MethodMeaning> {
     readonly example: string | null;
 }
 
-export type { ArgumentPick as A, ToReceiver as B, Chain as C, Ending as E, FromReceiver as F, InterpolatesLink as I, KindAsAsked as K, LinkFunction as L, MethodMeaning as M, OneArgument as O, SqlMethod as S, ToArgument as T, MessageSendMethod as a, MessageLocation as b, ChannelPart as c, CallStep as d, StorageMethod as e, AccessKind as f, AccessPathLink as g, ArgumentsFrom as h, ContainerArgument as i, ContainerLink as j, ContainerRule as k, ContainersLink as l, InputLink as m, InputRule as n, Link as o, ManyIn as p, MatchStart as q, MessageSendEnding as r, MethodsLink as s, OneMessage as t, SqlEnding as u, StartLink as v, StatedInputs as w, StatedRule as x, StorageEnding as y, SubjectLink as z };
+export type { ArgumentPick as A, StorageEnding as B, Chain as C, SubjectLink as D, Ending as E, FromReceiver as F, ToReceiver as G, UnitInvokeEnding as H, InterpolatesLink as I, 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, SelectorParamPick as v, SqlEnding as w, StartLink as x, StatedInputs as y, StatedRule as z };

package/dist/index.cjs

@@ -30,7 +30,8 @@ __export(index_exports, {
   pack: () => pack,
   runExamples: () => runExamples,
   sqlStatements: () => sqlStatements,
-  storageCalls: () => storageCalls
+  storageCalls: () => storageCalls,
+  unitInvokes: () => unitInvokes
 });
 module.exports = __toCommonJS(index_exports);
 
@@ -64,8 +65,22 @@ var MAX_RECEIVER_HOPS = 8;
 function compile(chain, recognition) {
   return (_call, ctx) => {
     const ops = opsIn(ctx);
+    if (ops === null) {
+      return null;
+    }
+    const bare = bareCall(chain, ops);
+    if (bare !== null) {
+      return YIELD[chain.ending.yields]({
+        ops,
+        subject: ops,
+        method: bare.method,
+        meaning: bare.meaning,
+        chain,
+        recognition
+      });
+    }
     const methods = methodsIn(chain);
-    if (ops === null || methods === null) {
+    if (methods === null) {
       return null;
     }
     for (const subject of subjectsOf(chain, ops)) {
@@ -90,6 +105,21 @@ function linkIn(chain, asks) {
   const link = chain.links.find((candidate) => candidate.asks === asks);
   return link ?? null;
 }
+function bareCall(chain, ops) {
+  const link = linkIn(chain, "calls");
+  const start = linkIn(chain, "start");
+  if (link === null || start === null || start.at.starts !== "receiver") {
+    return null;
+  }
+  if (ops.method() !== null || ops.namedCallee?.() !== true) {
+    return null;
+  }
+  const written = ops.callee();
+  if (written === null || !written.isFrom(start.at.origin)) {
+    return null;
+  }
+  return { method: ops.calleeText(), meaning: link.meaning };
+}
 function methodsIn(chain) {
   return linkIn(chain, "methods");
 }
@@ -163,7 +193,8 @@ function startsHere(chain, subject) {
 var YIELD = {
   storageAccess,
   sqlAccess,
-  messageSend
+  messageSend,
+  unitInvoke
 };
 function storageAccess(matched) {
   const { subject, chain } = matched;
@@ -194,7 +225,7 @@ function accessEffect(matched, access) {
       storageSystem: ending.system,
       ...ending.transport === void 0 ? {} : { transport: ending.transport },
       scope: ending.scope,
-      container: reached.entry === null ? containerOf(chain, selector, subject, unsettled) : reached.container,
+      container: reached.stated ? reached.container : containerOf(chain, selector, subject, unsettled),
       accessPath: accessPathOf(chain, subject, unsettled)
     }),
     callee: ops.calleeText(),
@@ -209,11 +240,24 @@ function accessEffect(matched, access) {
 }
 function reachedBy(chain, subject, unsettled) {
   const link = linkIn(chain, "containers");
-  const map = link === null ? null : statedValue(subject, link.in);
-  if (map === null) {
-    return [{ container: null, entry: null }];
-  }
-  return map.entries(unsettled).map((entry) => ({ container: entry.key, entry: entry.value }));
+  const alone = [{ container: null, entry: null, stated: false }];
+  const stated = link === null ? null : statedValue(subject, link.in);
+  if (link === null || stated === null) {
+    return alone;
+  }
+  if (link.each === "name") {
+    const named = stated.items().map((item) => ({
+      container: item.name(unsettled),
+      entry: null,
+      stated: true
+    }));
+    return named.length === 0 ? alone : named;
+  }
+  return stated.entries(unsettled).map((entry) => ({
+    container: entry.key,
+    entry: entry.value,
+    stated: true
+  }));
 }
 function kindOf(kind, subject, unsettled) {
   if (typeof kind === "string") {
@@ -278,6 +322,9 @@ function namesFor(says, subject, stated, unsettled) {
     const input2 = stated.input;
     return input2 === null ? [] : [...says({ ...stated, input: input2 })];
   }
+  if ("selectorParam" in says) {
+    return [...subject.parameterReadsAt?.(says.selectorParam) ?? []];
+  }
   const pointed = says;
   if (!("by" in pointed)) {
     return namesAt(subject, pointed, unsettled);
@@ -350,7 +397,7 @@ function channelOf(message, input, ending) {
   const parts = [];
   for (const part of ending.channel) {
     const holder = part.on === "theInput" ? input : message;
-    const written = holder.property(part.property);
+    const written = firstWritten(holder, part.property);
     if (written === null) {
       if (part.whenAbsent === void 0) {
         return null;
@@ -366,6 +413,15 @@ function channelOf(message, input, ending) {
   }
   return parts.join(ending.channelSeparator ?? "#");
 }
+function firstWritten(holder, properties) {
+  for (const property of properties) {
+    const written = holder.property(property);
+    if (written !== null) {
+      return written;
+    }
+  }
+  return null;
+}
 function bodyOf(message, ending) {
   if (ending.body === void 0) {
     return {};
@@ -382,6 +438,50 @@ function routingKeyOf(message, ending) {
   const stated = message.property(ending.routingKey)?.text() ?? null;
   return stated === null || stated === "" ? {} : { routingKey: stated };
 }
+function unitInvoke(matched) {
+  const { ops, subject, chain, recognition } = matched;
+  const ending = chain.ending;
+  const input = statedValue(
+    subject,
+    matched.meaning.input
+  );
+  if (input === null) {
+    return null;
+  }
+  return [
+    {
+      type: "interaction",
+      binding: (0, import_behavioral_ir.unitInvocationBinding)({
+        recognition,
+        deploymentTarget: ending.platform,
+        instanceName: invokedUnitIn(input, ending)
+      }),
+      callee: ops.calleeText(),
+      interaction: {
+        class: "unit-invoke",
+        ...payloadOf(input, ending)
+      }
+    }
+  ];
+}
+function invokedUnitIn(input, ending) {
+  for (const property of ending.named) {
+    const stated = input.property(property)?.name(ending.unsettledName) ?? null;
+    if (stated !== null && stated !== "") {
+      return (0, import_behavioral_ir.resourceNameIn)(stated);
+    }
+  }
+  return null;
+}
+function payloadOf(input, ending) {
+  if (ending.payload === void 0) {
+    return {};
+  }
+  const stated = (0, import_extractor.unwrapJsonStringify)(
+    input.property(ending.payload)?.asArg() ?? null
+  );
+  return stated === null ? {} : { payload: stated };
+}
 function sqlAccess(matched) {
   const { ops, subject, method, chain, recognition } = matched;
   const ending = chain.ending;
@@ -485,7 +585,8 @@ function chainFrom(declared) {
 var DISPATCHED_ON = {
   storageAccess: "invocation",
   sqlAccess: "access",
-  messageSend: "invocation"
+  messageSend: "invocation",
+  unitInvoke: "invocation"
 };
 function walkedBy(chains, walk2, recognizedAs) {
   return chains.filter((chain) => DISPATCHED_ON[chain.ending.yields] === walk2).map((chain) => compile(chain, recognizedAs));
@@ -509,6 +610,7 @@ function pack(name, matches, spec) {
       ...spec.recognizers ?? []
     ],
     ...access.length === 0 ? {} : { accessRecognizers: access },
+    ...spec.projectHelpers === void 0 ? {} : { projectHelpers: spec.projectHelpers },
     declarations: declarationsIn(matches)
   };
 }
@@ -519,10 +621,19 @@ function wireOf(ending) {
   if (ending.yields === "messageSend") {
     return ending.wire;
   }
+  if (ending.yields === "unitInvoke") {
+    return ending.platform;
+  }
   return ending.transport ?? ending.system;
 }
 function declaredName(ending) {
-  return ending.yields === "messageSend" ? ending.wire : ending.system;
+  if (ending.yields === "messageSend") {
+    return ending.wire;
+  }
+  if (ending.yields === "unitInvoke") {
+    return ending.platform;
+  }
+  return ending.system;
 }
 function protocolOf(chains) {
   const wires = new Set(chains.map((chain) => wireOf(chain.ending)));
@@ -591,8 +702,15 @@ function rulesIn(chain) {
   const link = chain.links.find(
     (candidate) => candidate.asks === "methods"
   );
+  const calls = chain.links.find(
+    (candidate) => candidate.asks === "calls"
+  );
+  const meanings = [
+    ...Object.values(link?.table ?? {}),
+    ...calls === void 0 ? [] : [calls.meaning]
+  ];
   const written = /* @__PURE__ */ new Map();
-  for (const method of Object.values(link?.table ?? {})) {
+  for (const method of meanings) {
     for (const asks of ["selector", "fields"]) {
       const rule = ruleFor(method[asks]);
       if (rule !== null) {
@@ -672,15 +790,48 @@ function chainFrom3(declared) {
       table,
       ignoringCase: options?.ignoringCase ?? false
     }),
+    calls: (meaning) => adding({ asks: "calls", meaning }),
     container: (says) => adding(
       typeof says === "function" ? { asks: "container", from: says } : { asks: "container", argument: says }
     ),
     accessPath: (says) => adding({ asks: "accessPath", argument: says }),
-    containersIn: (says) => adding({ asks: "containers", in: says }),
+    containersIn: (says, options) => adding({
+      asks: "containers",
+      in: says,
+      each: options?.each ?? "entry"
+    }),
     input: (says) => adding({ asks: "input", at: says }),
     example: (code) => chainFrom3({ ...declared, example: code })
   };
 }
+
+// src/unitInvokes.ts
+function unitInvokes(spec) {
+  const ending = {
+    yields: "unitInvoke",
+    platform: spec.platform,
+    named: spec.named,
+    ...spec.payload === void 0 ? {} : { payload: spec.payload },
+    unsettledName: spec.unsettledName ?? "reference"
+  };
+  return chainFrom4({
+    links: chainStart(spec.client),
+    ending,
+    example: null
+  });
+}
+function chainFrom4(declared) {
+  const adding = (link) => chainFrom4({ ...declared, links: [...declared.links, link] });
+  return {
+    declared,
+    methods: (table, options) => adding({
+      asks: "methods",
+      table,
+      ignoringCase: options?.ignoringCase ?? false
+    }),
+    example: (code) => chainFrom4({ ...declared, example: code })
+  };
+}
 // Annotate the CommonJS export names for ESM import in node:
 0 && (module.exports = {
   compile,
@@ -693,5 +844,6 @@ function chainFrom3(declared) {
   pack,
   runExamples,
   sqlStatements,
-  storageCalls
+  storageCalls,
+  unitInvokes
 });

package/dist/index.d.cts

@@ -1,8 +1,8 @@
-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-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';
+import { ConstructedFrom, DeclaredBy, CallOps, InvocationRecognizer, PatternPack, UnsettledName, ReceiverOrigin, ProjectHelpers, PackDeclarations } from '@suss/extractor';
+export { CallOps, 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-IogmSi0t.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 SelectorParamPick, w as SqlEnding, x as StartLink, y as StatedInputs, z as StatedRule, B as StorageEnding, D as SubjectLink, T as ToArgument, G as ToReceiver, H as UnitInvokeEnding } from './chain-IogmSi0t.cjs';
+import { Effect, MessageBusSemantics, DeployableUnit } from '@suss/behavioral-ir';
 
 /**
  * The small builders a pack writes its origins with, and the vocabulary
@@ -188,6 +188,12 @@ interface PackSpec {
      * function links, so the cost of staying here is visible.
      */
     recognizers?: InvocationRecognizer[];
+    /**
+     * Functions the project wrote in front of this library, read once
+     * across the project before extraction. What the pack makes of them
+     * joins the chains above for the rest of the run.
+     */
+    projectHelpers?: ProjectHelpers;
 }
 /** A pack, assembled from the calls it says it matches. */
 declare function pack(name: string, matches: readonly Match[], spec: PackSpec): PatternPack;
@@ -287,6 +293,12 @@ interface StorageCalls {
     methods(table: Readonly<Record<string, StorageMethod>>, options?: {
         ignoringCase?: boolean;
     }): StorageCalls;
+    /**
+     * What a bare call of the client itself does. A store hook is the
+     * case: `useAppStore((s) => s.bears)` reaches for no method, so the
+     * one meaning here is the whole answer.
+     */
+    calls(meaning: StorageMethod): StorageCalls;
     /**
      * Which container a call's selector belongs to, as an argument or as
      * the pack's own rule. Without this the first name a call reached is
@@ -297,9 +309,12 @@ interface StorageCalls {
     accessPath(says: ArgumentPick): StorageCalls;
     /**
      * Where a call that reaches several containers at once states them.
-     * Each entry becomes one effect, against the container its key says.
+     * Each entry becomes one effect, against the container its key says,
+     * or against the name itself where the call lists names alone.
      */
-    containersIn(says: OneArgument): StorageCalls;
+    containersIn(says: OneArgument, options?: {
+        each?: "entry" | "name";
+    }): StorageCalls;
     /**
      * Where a call states its inputs, when it states them as one object.
      * A call that states none does not match, and a rule the pack wrote
@@ -314,4 +329,46 @@ interface StorageCalls {
 /** A pack that recognizes calls against a store. */
 declare function storageCalls(spec: StorageCallsSpec): StorageCalls;
 
-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, compile, constructedFrom, declarationsIn, declaredBy, examplesMissing, messageSends, opsIn, pack, runExamples, sqlStatements, storageCalls };
+/**
+ * unitInvokes.ts: a pack that recognizes a call invoking one deployed
+ * unit by name.
+ *
+ * The AWS SDK shape is the one this was written against, and it is the
+ * same shape a send has: an operation is a command class and its
+ * arguments are one object, so the pack says which command and which of
+ * its properties says which unit the call reaches.
+ *
+ *   client.send(new InvokeCommand({ FunctionName, Payload }))
+ */
+
+interface UnitInvokesSpec {
+    /** The platform running the unit, in the IR's deployable-unit words. */
+    platform: DeployableUnit["deploymentTarget"];
+    /** The properties the call may name the unit on, tried in order. */
+    named: readonly string[];
+    /** The property the call states its payload on. */
+    payload?: string;
+    /**
+     * What a reader gives back for a name nothing settles. Defaults to
+     * keeping the reference, since a function name reaches the code
+     * through an env var far more often than it is written out.
+     */
+    unsettledName?: UnsettledName;
+    /** How the pack pins down the client its calls are on. */
+    client?: ReceiverOrigin;
+}
+/** A chain over invokes, and the links that can still be added. */
+interface UnitInvokes {
+    /** Which methods invoke, and where each one states its request. */
+    methods(table: Readonly<Record<string, UnitInvokeMethod>>, options?: {
+        ignoringCase?: boolean;
+    }): UnitInvokes;
+    /** A line of code this matches, which the pack's tests run. */
+    example(code: string): UnitInvokes;
+    /** The links and the ending, as data. */
+    readonly declared: Chain<UnitInvokeMethod>;
+}
+/** 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 };

package/dist/index.d.ts

@@ -1,8 +1,8 @@
-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-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';
+import { ConstructedFrom, DeclaredBy, CallOps, InvocationRecognizer, PatternPack, UnsettledName, ReceiverOrigin, ProjectHelpers, PackDeclarations } from '@suss/extractor';
+export { CallOps, 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-IogmSi0t.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 SelectorParamPick, w as SqlEnding, x as StartLink, y as StatedInputs, z as StatedRule, B as StorageEnding, D as SubjectLink, T as ToArgument, G as ToReceiver, H as UnitInvokeEnding } from './chain-IogmSi0t.js';
+import { Effect, MessageBusSemantics, DeployableUnit } from '@suss/behavioral-ir';
 
 /**
  * The small builders a pack writes its origins with, and the vocabulary
@@ -188,6 +188,12 @@ interface PackSpec {
      * function links, so the cost of staying here is visible.
      */
     recognizers?: InvocationRecognizer[];
+    /**
+     * Functions the project wrote in front of this library, read once
+     * across the project before extraction. What the pack makes of them
+     * joins the chains above for the rest of the run.
+     */
+    projectHelpers?: ProjectHelpers;
 }
 /** A pack, assembled from the calls it says it matches. */
 declare function pack(name: string, matches: readonly Match[], spec: PackSpec): PatternPack;
@@ -287,6 +293,12 @@ interface StorageCalls {
     methods(table: Readonly<Record<string, StorageMethod>>, options?: {
         ignoringCase?: boolean;
     }): StorageCalls;
+    /**
+     * What a bare call of the client itself does. A store hook is the
+     * case: `useAppStore((s) => s.bears)` reaches for no method, so the
+     * one meaning here is the whole answer.
+     */
+    calls(meaning: StorageMethod): StorageCalls;
     /**
      * Which container a call's selector belongs to, as an argument or as
      * the pack's own rule. Without this the first name a call reached is
@@ -297,9 +309,12 @@ interface StorageCalls {
     accessPath(says: ArgumentPick): StorageCalls;
     /**
      * Where a call that reaches several containers at once states them.
-     * Each entry becomes one effect, against the container its key says.
+     * Each entry becomes one effect, against the container its key says,
+     * or against the name itself where the call lists names alone.
      */
-    containersIn(says: OneArgument): StorageCalls;
+    containersIn(says: OneArgument, options?: {
+        each?: "entry" | "name";
+    }): StorageCalls;
     /**
      * Where a call states its inputs, when it states them as one object.
      * A call that states none does not match, and a rule the pack wrote
@@ -314,4 +329,46 @@ interface StorageCalls {
 /** A pack that recognizes calls against a store. */
 declare function storageCalls(spec: StorageCallsSpec): StorageCalls;
 
-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, compile, constructedFrom, declarationsIn, declaredBy, examplesMissing, messageSends, opsIn, pack, runExamples, sqlStatements, storageCalls };
+/**
+ * unitInvokes.ts: a pack that recognizes a call invoking one deployed
+ * unit by name.
+ *
+ * The AWS SDK shape is the one this was written against, and it is the
+ * same shape a send has: an operation is a command class and its
+ * arguments are one object, so the pack says which command and which of
+ * its properties says which unit the call reaches.
+ *
+ *   client.send(new InvokeCommand({ FunctionName, Payload }))
+ */
+
+interface UnitInvokesSpec {
+    /** The platform running the unit, in the IR's deployable-unit words. */
+    platform: DeployableUnit["deploymentTarget"];
+    /** The properties the call may name the unit on, tried in order. */
+    named: readonly string[];
+    /** The property the call states its payload on. */
+    payload?: string;
+    /**
+     * What a reader gives back for a name nothing settles. Defaults to
+     * keeping the reference, since a function name reaches the code
+     * through an env var far more often than it is written out.
+     */
+    unsettledName?: UnsettledName;
+    /** How the pack pins down the client its calls are on. */
+    client?: ReceiverOrigin;
+}
+/** A chain over invokes, and the links that can still be added. */
+interface UnitInvokes {
+    /** Which methods invoke, and where each one states its request. */
+    methods(table: Readonly<Record<string, UnitInvokeMethod>>, options?: {
+        ignoringCase?: boolean;
+    }): UnitInvokes;
+    /** A line of code this matches, which the pack's tests run. */
+    example(code: string): UnitInvokes;
+    /** The links and the ending, as data. */
+    readonly declared: Chain<UnitInvokeMethod>;
+}
+/** 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 };

package/dist/index.js

@@ -1,5 +1,10 @@
 // src/compile.ts
-import { messageBusBinding, storageBinding } from "@suss/behavioral-ir";
+import {
+  messageBusBinding,
+  resourceNameIn,
+  storageBinding,
+  unitInvocationBinding
+} from "@suss/behavioral-ir";
 import { unwrapJsonStringify } from "@suss/extractor";
 import { readSqlAccess, sqlFromParts } from "@suss/sql";
 
@@ -28,8 +33,22 @@ var MAX_RECEIVER_HOPS = 8;
 function compile(chain, recognition) {
   return (_call, ctx) => {
     const ops = opsIn(ctx);
+    if (ops === null) {
+      return null;
+    }
+    const bare = bareCall(chain, ops);
+    if (bare !== null) {
+      return YIELD[chain.ending.yields]({
+        ops,
+        subject: ops,
+        method: bare.method,
+        meaning: bare.meaning,
+        chain,
+        recognition
+      });
+    }
     const methods = methodsIn(chain);
-    if (ops === null || methods === null) {
+    if (methods === null) {
       return null;
     }
     for (const subject of subjectsOf(chain, ops)) {
@@ -54,6 +73,21 @@ function linkIn(chain, asks) {
   const link = chain.links.find((candidate) => candidate.asks === asks);
   return link ?? null;
 }
+function bareCall(chain, ops) {
+  const link = linkIn(chain, "calls");
+  const start = linkIn(chain, "start");
+  if (link === null || start === null || start.at.starts !== "receiver") {
+    return null;
+  }
+  if (ops.method() !== null || ops.namedCallee?.() !== true) {
+    return null;
+  }
+  const written = ops.callee();
+  if (written === null || !written.isFrom(start.at.origin)) {
+    return null;
+  }
+  return { method: ops.calleeText(), meaning: link.meaning };
+}
 function methodsIn(chain) {
   return linkIn(chain, "methods");
 }
@@ -127,7 +161,8 @@ function startsHere(chain, subject) {
 var YIELD = {
   storageAccess,
   sqlAccess,
-  messageSend
+  messageSend,
+  unitInvoke
 };
 function storageAccess(matched) {
   const { subject, chain } = matched;
@@ -158,7 +193,7 @@ function accessEffect(matched, access) {
       storageSystem: ending.system,
       ...ending.transport === void 0 ? {} : { transport: ending.transport },
       scope: ending.scope,
-      container: reached.entry === null ? containerOf(chain, selector, subject, unsettled) : reached.container,
+      container: reached.stated ? reached.container : containerOf(chain, selector, subject, unsettled),
       accessPath: accessPathOf(chain, subject, unsettled)
     }),
     callee: ops.calleeText(),
@@ -173,11 +208,24 @@ function accessEffect(matched, access) {
 }
 function reachedBy(chain, subject, unsettled) {
   const link = linkIn(chain, "containers");
-  const map = link === null ? null : statedValue(subject, link.in);
-  if (map === null) {
-    return [{ container: null, entry: null }];
-  }
-  return map.entries(unsettled).map((entry) => ({ container: entry.key, entry: entry.value }));
+  const alone = [{ container: null, entry: null, stated: false }];
+  const stated = link === null ? null : statedValue(subject, link.in);
+  if (link === null || stated === null) {
+    return alone;
+  }
+  if (link.each === "name") {
+    const named = stated.items().map((item) => ({
+      container: item.name(unsettled),
+      entry: null,
+      stated: true
+    }));
+    return named.length === 0 ? alone : named;
+  }
+  return stated.entries(unsettled).map((entry) => ({
+    container: entry.key,
+    entry: entry.value,
+    stated: true
+  }));
 }
 function kindOf(kind, subject, unsettled) {
   if (typeof kind === "string") {
@@ -242,6 +290,9 @@ function namesFor(says, subject, stated, unsettled) {
     const input2 = stated.input;
     return input2 === null ? [] : [...says({ ...stated, input: input2 })];
   }
+  if ("selectorParam" in says) {
+    return [...subject.parameterReadsAt?.(says.selectorParam) ?? []];
+  }
   const pointed = says;
   if (!("by" in pointed)) {
     return namesAt(subject, pointed, unsettled);
@@ -314,7 +365,7 @@ function channelOf(message, input, ending) {
   const parts = [];
   for (const part of ending.channel) {
     const holder = part.on === "theInput" ? input : message;
-    const written = holder.property(part.property);
+    const written = firstWritten(holder, part.property);
     if (written === null) {
       if (part.whenAbsent === void 0) {
         return null;
@@ -330,6 +381,15 @@ function channelOf(message, input, ending) {
   }
   return parts.join(ending.channelSeparator ?? "#");
 }
+function firstWritten(holder, properties) {
+  for (const property of properties) {
+    const written = holder.property(property);
+    if (written !== null) {
+      return written;
+    }
+  }
+  return null;
+}
 function bodyOf(message, ending) {
   if (ending.body === void 0) {
     return {};
@@ -346,6 +406,50 @@ function routingKeyOf(message, ending) {
   const stated = message.property(ending.routingKey)?.text() ?? null;
   return stated === null || stated === "" ? {} : { routingKey: stated };
 }
+function unitInvoke(matched) {
+  const { ops, subject, chain, recognition } = matched;
+  const ending = chain.ending;
+  const input = statedValue(
+    subject,
+    matched.meaning.input
+  );
+  if (input === null) {
+    return null;
+  }
+  return [
+    {
+      type: "interaction",
+      binding: unitInvocationBinding({
+        recognition,
+        deploymentTarget: ending.platform,
+        instanceName: invokedUnitIn(input, ending)
+      }),
+      callee: ops.calleeText(),
+      interaction: {
+        class: "unit-invoke",
+        ...payloadOf(input, ending)
+      }
+    }
+  ];
+}
+function invokedUnitIn(input, ending) {
+  for (const property of ending.named) {
+    const stated = input.property(property)?.name(ending.unsettledName) ?? null;
+    if (stated !== null && stated !== "") {
+      return resourceNameIn(stated);
+    }
+  }
+  return null;
+}
+function payloadOf(input, ending) {
+  if (ending.payload === void 0) {
+    return {};
+  }
+  const stated = unwrapJsonStringify(
+    input.property(ending.payload)?.asArg() ?? null
+  );
+  return stated === null ? {} : { payload: stated };
+}
 function sqlAccess(matched) {
   const { ops, subject, method, chain, recognition } = matched;
   const ending = chain.ending;
@@ -449,7 +553,8 @@ function chainFrom(declared) {
 var DISPATCHED_ON = {
   storageAccess: "invocation",
   sqlAccess: "access",
-  messageSend: "invocation"
+  messageSend: "invocation",
+  unitInvoke: "invocation"
 };
 function walkedBy(chains, walk2, recognizedAs) {
   return chains.filter((chain) => DISPATCHED_ON[chain.ending.yields] === walk2).map((chain) => compile(chain, recognizedAs));
@@ -473,6 +578,7 @@ function pack(name, matches, spec) {
       ...spec.recognizers ?? []
     ],
     ...access.length === 0 ? {} : { accessRecognizers: access },
+    ...spec.projectHelpers === void 0 ? {} : { projectHelpers: spec.projectHelpers },
     declarations: declarationsIn(matches)
   };
 }
@@ -483,10 +589,19 @@ function wireOf(ending) {
   if (ending.yields === "messageSend") {
     return ending.wire;
   }
+  if (ending.yields === "unitInvoke") {
+    return ending.platform;
+  }
   return ending.transport ?? ending.system;
 }
 function declaredName(ending) {
-  return ending.yields === "messageSend" ? ending.wire : ending.system;
+  if (ending.yields === "messageSend") {
+    return ending.wire;
+  }
+  if (ending.yields === "unitInvoke") {
+    return ending.platform;
+  }
+  return ending.system;
 }
 function protocolOf(chains) {
   const wires = new Set(chains.map((chain) => wireOf(chain.ending)));
@@ -555,8 +670,15 @@ function rulesIn(chain) {
   const link = chain.links.find(
     (candidate) => candidate.asks === "methods"
   );
+  const calls = chain.links.find(
+    (candidate) => candidate.asks === "calls"
+  );
+  const meanings = [
+    ...Object.values(link?.table ?? {}),
+    ...calls === void 0 ? [] : [calls.meaning]
+  ];
   const written = /* @__PURE__ */ new Map();
-  for (const method of Object.values(link?.table ?? {})) {
+  for (const method of meanings) {
     for (const asks of ["selector", "fields"]) {
       const rule = ruleFor(method[asks]);
       if (rule !== null) {
@@ -636,15 +758,48 @@ function chainFrom3(declared) {
       table,
       ignoringCase: options?.ignoringCase ?? false
     }),
+    calls: (meaning) => adding({ asks: "calls", meaning }),
     container: (says) => adding(
       typeof says === "function" ? { asks: "container", from: says } : { asks: "container", argument: says }
     ),
     accessPath: (says) => adding({ asks: "accessPath", argument: says }),
-    containersIn: (says) => adding({ asks: "containers", in: says }),
+    containersIn: (says, options) => adding({
+      asks: "containers",
+      in: says,
+      each: options?.each ?? "entry"
+    }),
     input: (says) => adding({ asks: "input", at: says }),
     example: (code) => chainFrom3({ ...declared, example: code })
   };
 }
+
+// src/unitInvokes.ts
+function unitInvokes(spec) {
+  const ending = {
+    yields: "unitInvoke",
+    platform: spec.platform,
+    named: spec.named,
+    ...spec.payload === void 0 ? {} : { payload: spec.payload },
+    unsettledName: spec.unsettledName ?? "reference"
+  };
+  return chainFrom4({
+    links: chainStart(spec.client),
+    ending,
+    example: null
+  });
+}
+function chainFrom4(declared) {
+  const adding = (link) => chainFrom4({ ...declared, links: [...declared.links, link] });
+  return {
+    declared,
+    methods: (table, options) => adding({
+      asks: "methods",
+      table,
+      ignoringCase: options?.ignoringCase ?? false
+    }),
+    example: (code) => chainFrom4({ ...declared, example: code })
+  };
+}
 export {
   compile,
   constructedFrom,
@@ -656,5 +811,6 @@ export {
   pack,
   runExamples,
   sqlStatements,
-  storageCalls
+  storageCalls,
+  unitInvokes
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@suss/recognize",
-  "version": "0.19.0",
+  "version": "0.21.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.19.0",
-    "@suss/extractor": "0.19.0",
-    "@suss/sql": "0.19.0"
+    "@suss/behavioral-ir": "0.21.0",
+    "@suss/extractor": "0.21.0",
+    "@suss/sql": "0.21.0"
   },
   "devDependencies": {
     "tsup": "*",