@suss/resolution 0.1.0

package/LICENSE

@@ -0,0 +1,205 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined by Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity
+      exercising permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or
+      Object form, made available under the License, as indicated by a
+      copyright notice that is included in or attached to the work
+      (an example is provided in the Appendix below).
+
+      "Derivative Works" shall mean any work, whether in Source or Object
+      form, that is based on (or derived from) the Work and for which the
+      editorial revisions, annotations, elaborations, or other modifications
+      represent, as a whole, an original work of authorship. For the purposes
+      of this License, Derivative Works shall not include works that remain
+      separable from, or merely link (or bind by name) to the interfaces of,
+      the Work and Derivative Works thereof.
+
+      "Contribution" shall mean any work of authorship, including
+      the original version of the Work and any modifications or additions
+      to that Work or Derivative Works thereof, that is intentionally
+      submitted to Licensor for inclusion in the Work by the copyright owner
+      or by an individual or Legal Entity authorized to submit on behalf of
+      the copyright owner. For the purposes of this definition, "submitted"
+      means any form of electronic, verbal, or written communication sent
+      to the Licensor or its representatives, including but not limited to
+      communication on electronic mailing lists, source code control systems,
+      and issue tracking systems that are managed by, or on behalf of, the
+      Licensor for the purpose of discussing and improving the Work, but
+      excluding communication that is conspicuously marked or otherwise
+      designated in writing by the copyright owner as "Not a Contribution."
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, sublicense, and distribute the
+      Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work,
+      where such license applies only to those patent claims licensable by
+      such Contributor that are necessarily infringed by their
+      Contribution(s) alone or by combination of their Contribution(s)
+      with the Work to which such Contribution(s) was submitted. If You
+      institute patent litigation against any entity (including a
+      cross-claim or counterclaim in a lawsuit) alleging that the Work
+      or a Contribution incorporated within the Work constitutes direct
+      or contributory patent infringement, then any patent licenses
+      granted to You under this License for that Work shall terminate
+      as of the date such litigation is filed.
+
+   4. Redistribution. You may reproduce and distribute copies of the
+      Work or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You
+      meet the following conditions:
+
+      (a) You must give any other recipients of the Work or Derivative
+          Works a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, trademark, and
+          attribution notices from the Source form of the Work,
+          excluding those notices that do not pertain to any part of
+          the Derivative Works; and
+
+      (d) If the Work includes a "NOTICE" text file as part of its
+          distribution, then any Derivative Works that You distribute must
+          include a readable copy of the attribution notices contained
+          within such NOTICE file, excluding those notices that do not
+          pertain to any part of the Derivative Works, in at least one
+          of the following places: within a NOTICE text file distributed
+          as part of the Derivative Works; within the Source form or
+          documentation, if provided along with the Derivative Works; or,
+          within a display generated by the Derivative Works, if and
+          wherever such third-party notices normally appear. The contents
+          of the NOTICE file are for informational purposes only and do not
+          modify the License. You may add Your own attribution notices
+          within Derivative Works that You distribute, alongside or as an
+          addendum to the NOTICE text from the Work, provided that such
+          additional attribution notices cannot be construed as modifying
+          the License.
+
+      You may add Your own copyright statement to Your modifications and
+      may provide additional or different license terms and conditions
+      for use, reproduction, or distribution of Your modifications, or
+      for any such Derivative Works as a whole, provided Your use,
+      reproduction, and distribution of the Work otherwise complies with
+      the conditions stated in this License.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without any additional terms or conditions.
+      Notwithstanding the above, nothing herein shall supersede or modify
+      the terms of any separate license agreement you may have executed
+      with Licensor regarding such Contributions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor,
+      except as required for reasonable and customary use in describing the
+      origin of the Work and reproducing the content of the NOTICE file.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or
+      agreed to in writing, Licensor provides the Work (and each
+      Contributor provides its Contributions) on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or
+      implied, including, without limitation, any warranties or conditions
+      of TITLE, NON-INFRINGEMENT, MERCHANTABILITY, or FITNESS FOR A
+      PARTICULAR PURPOSE. You are solely responsible for determining the
+      appropriateness of using or redistributing the Work and assume any
+      risks associated with Your exercise of permissions under this License.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as deliberate and grossly
+      negligent acts) or agreed to in writing, shall any Contributor be
+      liable to You for damages, including any direct, indirect, special,
+      incidental, or consequential damages of any character arising as a
+      result of this License or out of the use or inability to use the
+      Work (including but not limited to damages for loss of goodwill,
+      work stoppage, computer failure or malfunction, or any and all
+      other commercial damages or losses), even if such Contributor has
+      been advised of the possibility of such damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer,
+      and charge a fee for, acceptance of support, warranty, indemnity,
+      or other liability obligations and/or rights consistent with this
+      License. However, in accepting such obligations, You may act only
+      on Your own behalf and on Your sole responsibility, not on behalf
+      of any other Contributor, and only if You agree to indemnify,
+      defend, and hold each Contributor harmless for any liability
+      incurred by, or claims asserted against, such Contributor by reason
+      of your accepting any such warranty or additional liability.
+
+   END OF TERMS AND CONDITIONS
+
+   APPENDIX: How to apply the Apache License to your work.
+
+      To apply the Apache License to your work, attach the following
+      boilerplate notice, with the fields enclosed by brackets "[]"
+      replaced with your own identifying information. (Don't include
+      the brackets!)  The text should be enclosed in the appropriate
+      comment syntax for the file format please. Also add information on
+      how to contact you by electronic and paper mail.
+
+      If the program does not interact with users remotely through a computer
+      network, then your name and employer's name (e.g., your institution)
+      is sufficient to fill in the "name of copyright owner" field. Feel
+      free to omit the "name of employer" line if you are in no way affiliated
+      with any institution.
+
+      Copyright 2026 Nimbus Cloud AI LLC
+
+      Licensed under the Apache License, Version 2.0 (the "License");
+      you may not use this file except in compliance with the License.
+      You may obtain a copy of the License at
+
+          http://www.apache.org/licenses/LICENSE-2.0
+
+      Unless required by applicable law or agreed to in writing, software
+      distributed under the License is distributed on an "AS IS" BASIS,
+      WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
+      See the License for the specific language governing permissions and
+      limitations under the License.

package/README.md

@@ -0,0 +1,81 @@
+# @suss/resolution
+
+The rules for following a value to the function it comes down to.
+
+## What this package is
+
+A list of Datalog rules and nothing else. No parser, no language, no
+files. An adapter reads source into facts, concatenates its own rules
+onto these, and evaluates on `@suss/datalog`.
+
+The rules are about programming languages rather than about any one of
+them. A name binds to a value. A call puts an argument in a parameter. A
+module exports a name and another module can forward it. A function that
+returns a function calling its parameter hands back the argument it was
+given, which is a decorator in Python, a closure in Go, and a handler
+factory in TypeScript.
+
+## The facts an adapter supplies
+
+```
+func(f)                     f is a function
+binds(x, y)                 the name x is declared as y
+paramOf(f, k, p)            p is f's parameter at position k
+returnsValue(f, v)          f returns v
+bodyCalls(f, c)             f's body calls c
+containsFn(f, g)            g is declared inside f
+call(r, c)                  r is a call whose callee is c
+callArg(r, k, a)            r passes a at position k
+imports(x, m, n)            x is the name n imported from module m
+exportsAs(m, n, v)          module m exports v under the name n
+reExports(m, n, m2, n2)     m's n is m2's n2
+reExportsAll(m, m2)         m forwards everything m2 exports
+```
+
+Two more come from a pack rather than from source, for a wrapper whose
+body nobody can read: `unwrapsByName(name, k)` and
+`wrapperModule(name, module)`, checked against `calleeName` and
+`calleeOrigin` so a local function spelled like the library's does not
+match.
+
+Node identity is the adapter's business. The rules only join on it.
+
+## Why rules and not a walker
+
+Each rule describes one hop. The chains people write are longer than
+that, and nobody writes a rule for them: a factory handing off to
+another factory, a closure three levels down calling the argument, a
+barrel re-exporting a wrapper. The engine composes what it has, so those
+work without being named.
+
+The corollary is where to look when something comes back empty. Suspect
+the facts before the rules. A production service once declared 91
+handlers and resolved 11; the fix was one condition in fact extraction,
+and the rules found the other 79 unchanged.
+
+## What is not modelled
+
+**A handler passed as one property of a config.** `make({ body:
+handler })`, where the factory reads `opts.body`, does not resolve. A
+rule for it was tried and taken out: production wrappers read several
+callbacks off the same config (a log extractor, an error builder, the
+handler), the rule made each one a candidate for the whole call, and
+ambiguity nulled out sixty handlers that used to resolve. Saying which
+property is the handler takes something structure does not carry,
+either "the only property called" (which needs negation) or a pack
+naming the property. Until one of those exists, this shape stays
+unresolved on purpose.
+
+**An element of an array.** `all[0]` has no fact for what an array
+holds.
+
+**Reassignment.** A name assigned twice resolves to the first
+assignment rather than to both or to neither.
+
+**Ambiguity is the caller's problem.** When the rules reach two
+different functions the store returns nothing, since picking one would
+make the answer depend on the order facts arrived in.
+
+## License
+
+Licensed under Apache 2.0. See [LICENSE](../../LICENSE).

package/dist/index.cjs

@@ -0,0 +1,201 @@
+"use strict";
+var __defProp = Object.defineProperty;
+var __getOwnPropDesc = Object.getOwnPropertyDescriptor;
+var __getOwnPropNames = Object.getOwnPropertyNames;
+var __hasOwnProp = Object.prototype.hasOwnProperty;
+var __export = (target, all) => {
+  for (var name in all)
+    __defProp(target, name, { get: all[name], enumerable: true });
+};
+var __copyProps = (to, from, except, desc) => {
+  if (from && typeof from === "object" || typeof from === "function") {
+    for (let key of __getOwnPropNames(from))
+      if (!__hasOwnProp.call(to, key) && key !== except)
+        __defProp(to, key, { get: () => from[key], enumerable: !(desc = __getOwnPropDesc(from, key)) || desc.enumerable });
+  }
+  return to;
+};
+var __toCommonJS = (mod) => __copyProps(__defProp({}, "__esModule", { value: true }), mod);
+
+// src/index.ts
+var index_exports = {};
+__export(index_exports, {
+  RESOLUTION_RULES: () => RESOLUTION_RULES
+});
+module.exports = __toCommonJS(index_exports);
+var import_datalog = require("@suss/datalog");
+var RESOLUTION_RULES = [
+  // A value comes to itself; every chain ends at something written out
+  // in source, a function or an object.
+  (0, import_datalog.rule)("comesTo", [(0, import_datalog.variable)("x"), (0, import_datalog.variable)("x")], [(0, import_datalog.lit)("func", (0, import_datalog.variable)("x"))]),
+  (0, import_datalog.rule)("comesTo", [(0, import_datalog.variable)("x"), (0, import_datalog.variable)("x")], [(0, import_datalog.lit)("objectValue", (0, import_datalog.variable)("x"))]),
+  // Aliasing: const x = y, or an identifier referencing a declaration.
+  (0, import_datalog.rule)(
+    "comesTo",
+    [(0, import_datalog.variable)("x"), (0, import_datalog.variable)("z")],
+    [(0, import_datalog.lit)("binds", (0, import_datalog.variable)("x"), (0, import_datalog.variable)("y")), (0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("y"), (0, import_datalog.variable)("z"))]
+  ),
+  // An import comes to what the module exports under that name.
+  (0, import_datalog.rule)(
+    "comesTo",
+    [(0, import_datalog.variable)("x"), (0, import_datalog.variable)("z")],
+    [
+      (0, import_datalog.lit)("imports", (0, import_datalog.variable)("x"), (0, import_datalog.variable)("m"), (0, import_datalog.variable)("n")),
+      (0, import_datalog.lit)("moduleExport", (0, import_datalog.variable)("m"), (0, import_datalog.variable)("n"), (0, import_datalog.variable)("value")),
+      (0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("value"), (0, import_datalog.variable)("z"))
+    ]
+  ),
+  // What a module exports: directly, or through re-export chains.
+  (0, import_datalog.rule)(
+    "moduleExport",
+    [(0, import_datalog.variable)("m"), (0, import_datalog.variable)("n"), (0, import_datalog.variable)("value")],
+    [(0, import_datalog.lit)("exportsAs", (0, import_datalog.variable)("m"), (0, import_datalog.variable)("n"), (0, import_datalog.variable)("value"))]
+  ),
+  (0, import_datalog.rule)(
+    "moduleExport",
+    [(0, import_datalog.variable)("m"), (0, import_datalog.variable)("n"), (0, import_datalog.variable)("value")],
+    [
+      (0, import_datalog.lit)("reExports", (0, import_datalog.variable)("m"), (0, import_datalog.variable)("n"), (0, import_datalog.variable)("m2"), (0, import_datalog.variable)("n2")),
+      (0, import_datalog.lit)("moduleExport", (0, import_datalog.variable)("m2"), (0, import_datalog.variable)("n2"), (0, import_datalog.variable)("value"))
+    ]
+  ),
+  (0, import_datalog.rule)(
+    "moduleExport",
+    [(0, import_datalog.variable)("m"), (0, import_datalog.variable)("n"), (0, import_datalog.variable)("value")],
+    [
+      (0, import_datalog.lit)("reExportsAll", (0, import_datalog.variable)("m"), (0, import_datalog.variable)("m2")),
+      (0, import_datalog.lit)("moduleExport", (0, import_datalog.variable)("m2"), (0, import_datalog.variable)("n"), (0, import_datalog.variable)("value"))
+    ]
+  ),
+  // Reading a property comes to what the object holds under that name.
+  // `comesTo` in the middle is what lets the object arrive through an
+  // alias, an import, or a factory call.
+  (0, import_datalog.rule)(
+    "comesTo",
+    [(0, import_datalog.variable)("x"), (0, import_datalog.variable)("z")],
+    [
+      (0, import_datalog.lit)("readsProperty", (0, import_datalog.variable)("x"), (0, import_datalog.variable)("o"), (0, import_datalog.variable)("n")),
+      (0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("o"), (0, import_datalog.variable)("obj")),
+      (0, import_datalog.lit)("holdsProperty", (0, import_datalog.variable)("obj"), (0, import_datalog.variable)("n"), (0, import_datalog.variable)("held")),
+      (0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("held"), (0, import_datalog.variable)("z"))
+    ]
+  ),
+  // Wrapper transparency, derived: calling a factory that returns a
+  // function which calls its parameter k comes to argument k.
+  (0, import_datalog.rule)(
+    "returnsFunc",
+    [(0, import_datalog.variable)("f"), (0, import_datalog.variable)("g")],
+    [
+      (0, import_datalog.lit)("returnsValue", (0, import_datalog.variable)("f"), (0, import_datalog.variable)("value")),
+      (0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("value"), (0, import_datalog.variable)("g")),
+      (0, import_datalog.lit)("func", (0, import_datalog.variable)("g"))
+    ]
+  ),
+  // A call made by a nested closure counts as made by the function
+  // that declares it; the closure runs as part of that function.
+  (0, import_datalog.rule)("bodyCallsDeep", [(0, import_datalog.variable)("f"), (0, import_datalog.variable)("c")], [(0, import_datalog.lit)("bodyCalls", (0, import_datalog.variable)("f"), (0, import_datalog.variable)("c"))]),
+  (0, import_datalog.rule)(
+    "bodyCallsDeep",
+    [(0, import_datalog.variable)("f"), (0, import_datalog.variable)("c")],
+    [(0, import_datalog.lit)("containsFn", (0, import_datalog.variable)("f"), (0, import_datalog.variable)("g")), (0, import_datalog.lit)("bodyCallsDeep", (0, import_datalog.variable)("g"), (0, import_datalog.variable)("c"))]
+  ),
+  (0, import_datalog.rule)(
+    "unwraps",
+    [(0, import_datalog.variable)("f"), (0, import_datalog.variable)("k")],
+    [
+      (0, import_datalog.lit)("returnsFunc", (0, import_datalog.variable)("f"), (0, import_datalog.variable)("g")),
+      (0, import_datalog.lit)("bodyCallsDeep", (0, import_datalog.variable)("g"), (0, import_datalog.variable)("c")),
+      (0, import_datalog.lit)("binds", (0, import_datalog.variable)("c"), (0, import_datalog.variable)("p")),
+      (0, import_datalog.lit)("paramOf", (0, import_datalog.variable)("f"), (0, import_datalog.variable)("k"), (0, import_datalog.variable)("p"))
+    ]
+  ),
+  // Argument flow: which parameter a value traces back to. Directly
+  // (an identifier bound to the parameter), or through a call to
+  // another unwrapping factory. This is what lets
+  // `createProtected(h) { return service.withAuth(h); }` unwrap:
+  // the returned call passes h through withAuth, which unwraps.
+  (0, import_datalog.rule)(
+    "flowsToParam",
+    [(0, import_datalog.variable)("x"), (0, import_datalog.variable)("p")],
+    [
+      (0, import_datalog.lit)("binds", (0, import_datalog.variable)("x"), (0, import_datalog.variable)("p")),
+      (0, import_datalog.lit)("paramOf", (0, import_datalog.variable)("anyF"), (0, import_datalog.variable)("anyK"), (0, import_datalog.variable)("p"))
+    ]
+  ),
+  (0, import_datalog.rule)(
+    "flowsToParam",
+    [(0, import_datalog.variable)("r"), (0, import_datalog.variable)("p")],
+    [
+      (0, import_datalog.lit)("call", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("c")),
+      (0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("c"), (0, import_datalog.variable)("f")),
+      (0, import_datalog.lit)("unwraps", (0, import_datalog.variable)("f"), (0, import_datalog.variable)("k")),
+      (0, import_datalog.lit)("callArg", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("k"), (0, import_datalog.variable)("a")),
+      (0, import_datalog.lit)("flowsToParam", (0, import_datalog.variable)("a"), (0, import_datalog.variable)("p"))
+    ]
+  ),
+  (0, import_datalog.rule)(
+    "unwraps",
+    [(0, import_datalog.variable)("f"), (0, import_datalog.variable)("k")],
+    [
+      (0, import_datalog.lit)("returnsValue", (0, import_datalog.variable)("f"), (0, import_datalog.variable)("value")),
+      (0, import_datalog.lit)("flowsToParam", (0, import_datalog.variable)("value"), (0, import_datalog.variable)("p")),
+      (0, import_datalog.lit)("paramOf", (0, import_datalog.variable)("f"), (0, import_datalog.variable)("k"), (0, import_datalog.variable)("p"))
+    ]
+  ),
+  (0, import_datalog.rule)(
+    "comesTo",
+    [(0, import_datalog.variable)("r"), (0, import_datalog.variable)("h")],
+    [
+      (0, import_datalog.lit)("call", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("c")),
+      (0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("c"), (0, import_datalog.variable)("f")),
+      (0, import_datalog.lit)("unwraps", (0, import_datalog.variable)("f"), (0, import_datalog.variable)("k")),
+      (0, import_datalog.lit)("callArg", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("k"), (0, import_datalog.variable)("a")),
+      (0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("a"), (0, import_datalog.variable)("h"))
+    ]
+  ),
+  // A property read off a call: `make(body).handle`. The call itself is
+  // not given a `comesTo`, since a factory call usually IS the wrapper
+  // and answering with the raw returned function would fight the
+  // unwraps answer. Only the property read narrows enough to be safe.
+  (0, import_datalog.rule)(
+    "comesTo",
+    [(0, import_datalog.variable)("x"), (0, import_datalog.variable)("z")],
+    [
+      (0, import_datalog.lit)("readsProperty", (0, import_datalog.variable)("x"), (0, import_datalog.variable)("r"), (0, import_datalog.variable)("n")),
+      (0, import_datalog.lit)("call", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("c")),
+      (0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("c"), (0, import_datalog.variable)("f")),
+      (0, import_datalog.lit)("returnsValue", (0, import_datalog.variable)("f"), (0, import_datalog.variable)("ret")),
+      (0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("ret"), (0, import_datalog.variable)("obj")),
+      (0, import_datalog.lit)("holdsProperty", (0, import_datalog.variable)("obj"), (0, import_datalog.variable)("n"), (0, import_datalog.variable)("held")),
+      (0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("held"), (0, import_datalog.variable)("z"))
+    ]
+  ),
+  // Wrapper transparency, declared: a pack says this callee wraps
+  // argument k, whatever its implementation looks like. The callee has
+  // to have been imported from the library the pack named, so a local
+  // object spelled the same way is not mistaken for it.
+  (0, import_datalog.rule)(
+    "comesTo",
+    [(0, import_datalog.variable)("r"), (0, import_datalog.variable)("h")],
+    [
+      (0, import_datalog.lit)("calleeName", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("n")),
+      (0, import_datalog.lit)("unwrapsByName", (0, import_datalog.variable)("n"), (0, import_datalog.variable)("k")),
+      (0, import_datalog.lit)("wrapperModule", (0, import_datalog.variable)("n"), (0, import_datalog.variable)("m")),
+      (0, import_datalog.lit)("calleeOrigin", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("m")),
+      (0, import_datalog.lit)("callArg", (0, import_datalog.variable)("r"), (0, import_datalog.variable)("k"), (0, import_datalog.variable)("a")),
+      (0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("a"), (0, import_datalog.variable)("h"))
+    ]
+  ),
+  // The question callers ask: what a value comes to, narrowed to the
+  // functions. Objects appear in the middle of chains and never in an
+  // answer.
+  (0, import_datalog.rule)(
+    "resolves",
+    [(0, import_datalog.variable)("x"), (0, import_datalog.variable)("z")],
+    [(0, import_datalog.lit)("comesTo", (0, import_datalog.variable)("x"), (0, import_datalog.variable)("z")), (0, import_datalog.lit)("func", (0, import_datalog.variable)("z"))]
+  )
+];
+// Annotate the CommonJS export names for ESM import in node:
+0 && (module.exports = {
+  RESOLUTION_RULES
+});

package/dist/index.d.cts

@@ -0,0 +1,9 @@
+import * as _suss_datalog from '@suss/datalog';
+
+/**
+ * The rules every language adapter shares. Concatenate a language's own
+ * rules onto these before evaluating.
+ */
+declare const RESOLUTION_RULES: _suss_datalog.Rule[];
+
+export { RESOLUTION_RULES };

package/dist/index.d.ts

@@ -0,0 +1,9 @@
+import * as _suss_datalog from '@suss/datalog';
+
+/**
+ * The rules every language adapter shares. Concatenate a language's own
+ * rules onto these before evaluating.
+ */
+declare const RESOLUTION_RULES: _suss_datalog.Rule[];
+
+export { RESOLUTION_RULES };

package/dist/index.js

@@ -0,0 +1,176 @@
+// src/index.ts
+import { lit, rule, variable as v } from "@suss/datalog";
+var RESOLUTION_RULES = [
+  // A value comes to itself; every chain ends at something written out
+  // in source, a function or an object.
+  rule("comesTo", [v("x"), v("x")], [lit("func", v("x"))]),
+  rule("comesTo", [v("x"), v("x")], [lit("objectValue", v("x"))]),
+  // Aliasing: const x = y, or an identifier referencing a declaration.
+  rule(
+    "comesTo",
+    [v("x"), v("z")],
+    [lit("binds", v("x"), v("y")), lit("comesTo", v("y"), v("z"))]
+  ),
+  // An import comes to what the module exports under that name.
+  rule(
+    "comesTo",
+    [v("x"), v("z")],
+    [
+      lit("imports", v("x"), v("m"), v("n")),
+      lit("moduleExport", v("m"), v("n"), v("value")),
+      lit("comesTo", v("value"), v("z"))
+    ]
+  ),
+  // What a module exports: directly, or through re-export chains.
+  rule(
+    "moduleExport",
+    [v("m"), v("n"), v("value")],
+    [lit("exportsAs", v("m"), v("n"), v("value"))]
+  ),
+  rule(
+    "moduleExport",
+    [v("m"), v("n"), v("value")],
+    [
+      lit("reExports", v("m"), v("n"), v("m2"), v("n2")),
+      lit("moduleExport", v("m2"), v("n2"), v("value"))
+    ]
+  ),
+  rule(
+    "moduleExport",
+    [v("m"), v("n"), v("value")],
+    [
+      lit("reExportsAll", v("m"), v("m2")),
+      lit("moduleExport", v("m2"), v("n"), v("value"))
+    ]
+  ),
+  // Reading a property comes to what the object holds under that name.
+  // `comesTo` in the middle is what lets the object arrive through an
+  // alias, an import, or a factory call.
+  rule(
+    "comesTo",
+    [v("x"), v("z")],
+    [
+      lit("readsProperty", v("x"), v("o"), v("n")),
+      lit("comesTo", v("o"), v("obj")),
+      lit("holdsProperty", v("obj"), v("n"), v("held")),
+      lit("comesTo", v("held"), v("z"))
+    ]
+  ),
+  // Wrapper transparency, derived: calling a factory that returns a
+  // function which calls its parameter k comes to argument k.
+  rule(
+    "returnsFunc",
+    [v("f"), v("g")],
+    [
+      lit("returnsValue", v("f"), v("value")),
+      lit("comesTo", v("value"), v("g")),
+      lit("func", v("g"))
+    ]
+  ),
+  // A call made by a nested closure counts as made by the function
+  // that declares it; the closure runs as part of that function.
+  rule("bodyCallsDeep", [v("f"), v("c")], [lit("bodyCalls", v("f"), v("c"))]),
+  rule(
+    "bodyCallsDeep",
+    [v("f"), v("c")],
+    [lit("containsFn", v("f"), v("g")), lit("bodyCallsDeep", v("g"), v("c"))]
+  ),
+  rule(
+    "unwraps",
+    [v("f"), v("k")],
+    [
+      lit("returnsFunc", v("f"), v("g")),
+      lit("bodyCallsDeep", v("g"), v("c")),
+      lit("binds", v("c"), v("p")),
+      lit("paramOf", v("f"), v("k"), v("p"))
+    ]
+  ),
+  // Argument flow: which parameter a value traces back to. Directly
+  // (an identifier bound to the parameter), or through a call to
+  // another unwrapping factory. This is what lets
+  // `createProtected(h) { return service.withAuth(h); }` unwrap:
+  // the returned call passes h through withAuth, which unwraps.
+  rule(
+    "flowsToParam",
+    [v("x"), v("p")],
+    [
+      lit("binds", v("x"), v("p")),
+      lit("paramOf", v("anyF"), v("anyK"), v("p"))
+    ]
+  ),
+  rule(
+    "flowsToParam",
+    [v("r"), v("p")],
+    [
+      lit("call", v("r"), v("c")),
+      lit("comesTo", v("c"), v("f")),
+      lit("unwraps", v("f"), v("k")),
+      lit("callArg", v("r"), v("k"), v("a")),
+      lit("flowsToParam", v("a"), v("p"))
+    ]
+  ),
+  rule(
+    "unwraps",
+    [v("f"), v("k")],
+    [
+      lit("returnsValue", v("f"), v("value")),
+      lit("flowsToParam", v("value"), v("p")),
+      lit("paramOf", v("f"), v("k"), v("p"))
+    ]
+  ),
+  rule(
+    "comesTo",
+    [v("r"), v("h")],
+    [
+      lit("call", v("r"), v("c")),
+      lit("comesTo", v("c"), v("f")),
+      lit("unwraps", v("f"), v("k")),
+      lit("callArg", v("r"), v("k"), v("a")),
+      lit("comesTo", v("a"), v("h"))
+    ]
+  ),
+  // A property read off a call: `make(body).handle`. The call itself is
+  // not given a `comesTo`, since a factory call usually IS the wrapper
+  // and answering with the raw returned function would fight the
+  // unwraps answer. Only the property read narrows enough to be safe.
+  rule(
+    "comesTo",
+    [v("x"), v("z")],
+    [
+      lit("readsProperty", v("x"), v("r"), v("n")),
+      lit("call", v("r"), v("c")),
+      lit("comesTo", v("c"), v("f")),
+      lit("returnsValue", v("f"), v("ret")),
+      lit("comesTo", v("ret"), v("obj")),
+      lit("holdsProperty", v("obj"), v("n"), v("held")),
+      lit("comesTo", v("held"), v("z"))
+    ]
+  ),
+  // Wrapper transparency, declared: a pack says this callee wraps
+  // argument k, whatever its implementation looks like. The callee has
+  // to have been imported from the library the pack named, so a local
+  // object spelled the same way is not mistaken for it.
+  rule(
+    "comesTo",
+    [v("r"), v("h")],
+    [
+      lit("calleeName", v("r"), v("n")),
+      lit("unwrapsByName", v("n"), v("k")),
+      lit("wrapperModule", v("n"), v("m")),
+      lit("calleeOrigin", v("r"), v("m")),
+      lit("callArg", v("r"), v("k"), v("a")),
+      lit("comesTo", v("a"), v("h"))
+    ]
+  ),
+  // The question callers ask: what a value comes to, narrowed to the
+  // functions. Objects appear in the middle of chains and never in an
+  // answer.
+  rule(
+    "resolves",
+    [v("x"), v("z")],
+    [lit("comesTo", v("x"), v("z")), lit("func", v("z"))]
+  )
+];
+export {
+  RESOLUTION_RULES
+};

package/package.json

@@ -0,0 +1,58 @@
+{
+  "name": "@suss/resolution",
+  "version": "0.1.0",
+  "type": "module",
+  "description": "Language-neutral rules for following a value to the function it comes down to.",
+  "keywords": [
+    "suss",
+    "datalog",
+    "resolution",
+    "static-analysis"
+  ],
+  "license": "Apache-2.0",
+  "author": "Nimbus Cloud AI LLC",
+  "homepage": "https://github.com/nimbuscloud-ai/suss/tree/main/packages/resolution#readme",
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/nimbuscloud-ai/suss.git",
+    "directory": "packages/resolution"
+  },
+  "bugs": {
+    "url": "https://github.com/nimbuscloud-ai/suss/issues"
+  },
+  "main": "./dist/index.cjs",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js",
+      "require": "./dist/index.cjs"
+    }
+  },
+  "files": [
+    "dist",
+    "README.md",
+    "LICENSE"
+  ],
+  "scripts": {
+    "build": "tsup",
+    "test": "vitest run",
+    "test:coverage": "vitest run --coverage",
+    "lint": "biome check .",
+    "lint:fix": "biome check --write .",
+    "typecheck": "tsc --noEmit"
+  },
+  "devDependencies": {
+    "fast-check": "^3.23.1",
+    "tsup": "*",
+    "typescript": "*",
+    "vitest": "*"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@suss/datalog": "0.1.0"
+  }
+}