@suss/resolution 0.34.1 → 0.35.0

package/dist/index.cjs

@@ -24,6 +24,7 @@ __export(index_exports, {
   ASKING_RELATIONS: () => ASKING_RELATIONS,
   BASE_CLASS_RULE: () => BASE_CLASS_RULE,
   DEFAULT_IMPORT_NAME: () => DEFAULT_IMPORT_NAME,
+  DISPATCH_QUESTION: () => DISPATCH_QUESTION,
   DependencyLedger: () => DependencyLedger,
   EntryReuse: () => EntryReuse,
   FACT_CONTRACT_CASES: () => FACT_CONTRACT_CASES,
@@ -41,14 +42,18 @@ __export(index_exports, {
   RESOLUTION_QUESTIONS: () => RESOLUTION_QUESTIONS,
   RESOLUTION_RULES: () => RESOLUTION_RULES,
   RESULT_STEP: () => RESULT_STEP,
+  SPREAD_ENTRY: () => SPREAD_ENTRY,
   UNDER_ANSWER_RELATIONS: () => UNDER_ANSWER_RELATIONS,
   UNDER_QUESTION_ROW_BUDGET: () => UNDER_QUESTION_ROW_BUDGET,
   UNDER_RUN_ROW_BUDGET: () => UNDER_RUN_ROW_BUDGET,
   UNPLACED_STORE_NAME: () => UNPLACED_STORE_NAME,
   USES_QUESTION: () => USES_QUESTION,
+  VALUE_ENTRY: () => VALUE_ENTRY,
   VALUE_STEP: () => VALUE_STEP,
   WatchedMap: () => WatchedMap,
+  addEntryRows: () => addEntryRows,
   addPackWords: () => addPackWords,
+  addTemplateRows: () => addTemplateRows,
   agreedMountPrefix: () => agreedMountPrefix,
   allocationSitesOf: () => allocationSitesOf,
   alsoSteps: () => alsoSteps,
@@ -65,6 +70,7 @@ __export(index_exports, {
   comesToUnder: () => comesToUnder,
   couldBeSettled: () => couldBeSettled,
   declaredTypesOf: () => declaredTypesOf,
+  dispatchOutcomes: () => dispatchOutcomes,
   exitCodeFunctions: () => exitCodeFunctions,
   explainResolutionProof: () => explainResolutionProof,
   explainResolvedKey: () => explainResolvedKey,
@@ -86,6 +92,7 @@ __export(index_exports, {
   packHashes: () => packHashes,
   proofRules: () => proofRules,
   queryFacts: () => queryFacts,
+  readDispatchOutcomes: () => readDispatchOutcomes,
   readUses: () => readUses,
   recordsToReplay: () => recordsToReplay,
   renderExplanation: () => renderExplanation,
@@ -94,6 +101,7 @@ __export(index_exports, {
   resolvedFunctions: () => resolvedFunctions,
   settledFunction: () => settledFunction,
   sourceLeavesOf: () => sourceLeavesOf,
+  spanOfKey: () => spanOfKey,
   startsAtName: () => startsAtName,
   staysInItsFunction: () => staysInItsFunction,
   stillValid: () => stillValid,
@@ -121,6 +129,7 @@ var ASKING_RELATIONS = [
   "wantedEnvObject",
   "wantedStreamObject",
   "wantedExitSink",
+  "wantedDispatch",
   "wantedOrigin",
   "wantedCallOrigin",
   "wantedExportsOf",
@@ -638,6 +647,29 @@ function classMemberOf(name) {
   return name.startsWith(CLASS_MEMBER_PREFIX) ? name.slice(CLASS_MEMBER_PREFIX.length) : null;
 }
 
+// src/valuePositions.ts
+var VALUE_ENTRY = "value";
+var SPREAD_ENTRY = "spread";
+function addEntryRows(add, container, entries) {
+  entries.forEach((entry, position) => {
+    add("writtenEntryAt", [container, String(position), entry.key, entry.form]);
+  });
+}
+function addTemplateRows(add, template, pieces) {
+  let position = 0;
+  for (const piece of pieces) {
+    if ("hole" in piece) {
+      add("holeAt", [template, String(position), piece.hole]);
+      position += 1;
+      continue;
+    }
+    if (piece.text !== "") {
+      add("partAt", [template, String(position), piece.text]);
+      position += 1;
+    }
+  }
+}
+
 // src/contract.ts
 var distinct = (values) => new Set(values).size;
 function leadsToOneOf(facts, key, targets) {
@@ -655,6 +687,30 @@ function leadsToOneOf(facts, key, targets) {
   return false;
 }
 var RELATIONS_THAT_CAN_CROSS = ["imports", "binds", "reExports"];
+function someValueLeadsTo(facts, key) {
+  const target = /* @__PURE__ */ new Set([key]);
+  return ["returnsValue", "holdsUnderKey"].some(
+    (relation) => facts(relation).some((row) => leadsToOneOf(facts, row[1] ?? "", target))
+  );
+}
+function holdsValueThenSpread(facts, name) {
+  const entries = facts("writtenEntryAt");
+  const held = facts("holdsProperty");
+  return [...new Set(entries.map((row) => row[0]))].some((container) => {
+    const own = entries.filter((row) => row[0] === container);
+    const value = own.find((row) => row[1] === "0");
+    const spread2 = own.find((row) => row[1] === "1");
+    return own.length === 2 && value?.[3] === VALUE_ENTRY && spread2?.[3] === SPREAD_ENTRY && held.some(
+      (row) => row[0] === container && row[1] === name && row[2] === value[2]
+    ) && !held.some((row) => row[0] === container && row[2] === spread2[2]);
+  });
+}
+function valueThenSpread(facts, name) {
+  if (facts("writtenEntryAt").length === 0) {
+    return "no list or object states its entries, so nothing says the order they are written in";
+  }
+  return holdsValueThenSpread(facts, name) ? null : `no container's entries are the value under ${name} at 0, keyed as holdsProperty keys it, and then a spread at 1 keyed on the collection it unpacks`;
+}
 var FACT_CONTRACT_CASES = [
   {
     name: "two functions, one parameter name",
@@ -853,6 +909,122 @@ var FACT_CONTRACT_CASES = [
       return stores.some((row) => leadsToOneOf(facts, row[0] ?? "", sites)) ? null : "the write is keyed so that nothing leads from it to the construction, so the rules cannot find the object it lands on";
     }
   },
+  {
+    name: "a table of functions called by a key worked out at run time",
+    requires: "a module-level table written out with a function under the name created and another under deleted, and a function that calls the table's entry under its parameter, `TABLE[kind](payload)` or the language's own spelling",
+    // The rules take the entries off the object the read's container
+    // leads to, so the container has to be keyed the way `binds` keys it,
+    // and each entry under the name the source writes, without quotes.
+    check: (facts) => {
+      const entries = facts("holdsProperty");
+      const tables = new Set(
+        entries.filter((row) => row[1] === "created").map((row) => row[0] ?? "").filter(
+          (table) => entries.some((row) => row[0] === table && row[1] === "deleted")
+        )
+      );
+      if (tables.size === 0) {
+        return "no object contains a function under created and another under deleted, written without quotes";
+      }
+      const reads = facts("choosesEntry");
+      if (reads.length === 0) {
+        return "the read at a key worked out at run time is not written down as choosesEntry, so no call through it finds the table's functions";
+      }
+      return reads.some((row) => leadsToOneOf(facts, row[1] ?? "", tables)) ? null : "the read's container is keyed so that nothing leads from it to the table";
+    }
+  },
+  {
+    name: "a function written into a table under a computed key",
+    requires: "a module-level empty table, and a function that writes its second parameter into it under its first, `REGISTRY[name] = handler` or the language's own spelling",
+    // A registry fills its table from a function its callers pass handlers
+    // to, so the write has to say the parameter went in, keyed so that
+    // `binds` leads from where it went to the table.
+    check: (facts) => {
+      const params = new Set(facts("paramOf").map((row) => row[2] ?? ""));
+      const writes = facts("holdsUnderKey").filter(
+        (row) => leadsToOneOf(facts, row[1] ?? "", params)
+      );
+      if (writes.length === 0) {
+        return "the write of a parameter into a table under a computed key is not written down as holdsUnderKey";
+      }
+      const objects = new Set(facts("objectValue").map((row) => row[0] ?? ""));
+      return writes.some((row) => leadsToOneOf(facts, row[0] ?? "", objects)) ? null : "the write is keyed so that nothing leads from it to the table";
+    }
+  },
+  {
+    name: "a list written with a spread",
+    requires: "a module-level name assigned a written-out list of a name and then a spread of another name, `[first, ...rest]` or the language's own spelling",
+    check: (facts) => valueThenSpread(facts, "0")
+  },
+  {
+    name: "an object written with a spread",
+    requires: "a module-level name assigned an object or a dictionary written out with a name under the key a, written as a string where the language writes keys that way, and then a spread of another name",
+    check: (facts) => valueThenSpread(facts, "a")
+  },
+  {
+    name: "a template string with a hole",
+    requires: "a module-level name assigned the result of a call, and a template string that puts that name between two pieces of text, `/users/${id}/posts` or the language's own spelling",
+    check: (facts) => {
+      const parts = facts("partAt");
+      const [hole, ...moreHoles] = facts("holeAt");
+      if (parts.length !== 2 || hole === void 0 || moreHoles.length > 0) {
+        return `expected two parts and one hole, found ${parts.length} and ${moreHoles.length + (hole === void 0 ? 0 : 1)}`;
+      }
+      const positions = [...parts, hole].filter((row) => row[0] === hole[0]).map((row) => row[1]).sort();
+      if (positions.join() !== "0,1,2" || hole[1] !== "1") {
+        return "the parts and the hole of one template are not numbered together in source order from 0";
+      }
+      const calls = new Set(facts("call").map((row) => row[0] ?? ""));
+      return leadsToOneOf(facts, hole[2] ?? "", calls) ? null : "the hole is keyed so that nothing leads from it to the value the name is given";
+    }
+  },
+  {
+    name: "a callback given each element of a list",
+    requires: "a function that maps its parameter through a callback returning the element it is given, `users.map((user) => user)`, a comprehension or the language's own spelling",
+    // The collection is a read of the function's parameter, and the
+    // callback's own read of its variable joins the key elementOf states.
+    check: (facts) => {
+      const [row, ...more] = facts("elementOf");
+      if (row === void 0 || more.length > 0) {
+        return `expected one elementOf row, found ${more.length + (row === void 0 ? 0 : 1)}`;
+      }
+      const params = new Set(facts("paramOf").map((one) => one[2] ?? ""));
+      if (!leadsToOneOf(facts, row[1] ?? "", params)) {
+        return "the collection is keyed so that nothing leads from it to the parameter it reads";
+      }
+      return someValueLeadsTo(facts, row[0] ?? "") ? null : "no read of the variable leads to the key elementOf gives it, so nothing knows what the read is given";
+    }
+  },
+  {
+    name: "a callback given the parts of each element of a list",
+    requires: "a function that maps its parameter through a callback taking each element apart into two names and returning the first, `pairs.map(([name, kind]) => name)`, `[name for name, kind in pairs]` or the language's own spelling",
+    check: (facts) => {
+      const parts = facts("elementPartOf");
+      const first = parts.find((row) => row[2] === "0");
+      const second = parts.find((row) => row[2] === "1");
+      if (first === void 0 || second === void 0) {
+        return "no two names are given parts 0 and 1 of each element, so nothing says what a name taken apart is given";
+      }
+      const params = new Set(facts("paramOf").map((one) => one[2] ?? ""));
+      if (first[1] !== second[1] || !leadsToOneOf(facts, first[1] ?? "", params)) {
+        return "the two parts name different collections, or one that nothing leads from to the parameter it reads";
+      }
+      return someValueLeadsTo(facts, first[0] ?? "") ? null : "no read of the first name leads to the key elementPartOf gives it";
+    }
+  },
+  {
+    name: "a callback given each position in a list",
+    requires: "a function that maps its parameter through a callback taking the element and then its position and returning the position, `users.map((user, at) => at)`, `enumerate` in a comprehension, or the language's own spelling",
+    check: (facts) => {
+      const [row, ...more] = facts("positionOf");
+      if (row === void 0 || more.length > 0) {
+        return `expected one positionOf row, found ${more.length + (row === void 0 ? 0 : 1)}`;
+      }
+      if (!facts("elementOf").some((one) => one[0] === row[1])) {
+        return "the position is tied to a variable that no elementOf row gives an element, so nothing says what it counts through";
+      }
+      return someValueLeadsTo(facts, row[0] ?? "") ? null : "no read of the position leads to the key positionOf gives it";
+    }
+  },
   {
     name: "a value another file declares",
     requires: "two files, one declaring a value and the other reading it by name",
@@ -1255,13 +1427,13 @@ var FactLog = class {
   hashesByKey(relation, row) {
     const hashes = /* @__PURE__ */ new Map();
     const atoms = row.map((atom) => this.hashesOf(String(atom)));
-    const term = (hash, column) => spread(hash + Math.imul(column + 1, 2654435761) >>> 0);
+    const term = (hash, column2) => spread(hash + Math.imul(column2 + 1, 2654435761) >>> 0);
     let loose = hashString(relation);
-    atoms.forEach((atom, column) => {
-      loose = loose + term(atom.loose, column) >>> 0;
+    atoms.forEach((atom, column2) => {
+      loose = loose + term(atom.loose, column2) >>> 0;
     });
-    atoms.forEach((atom, column) => {
-      const key = String(row[column]);
+    atoms.forEach((atom, column2) => {
+      const key = String(row[column2]);
       if (!atom.key || hashes.has(key)) {
         return;
       }
@@ -1358,6 +1530,107 @@ var FactLog = class {
   }
 };
 
+// src/dispatch.ts
+function dispatchOutcomes(db, calls, program = resolutionProgram()) {
+  const outcomes = /* @__PURE__ */ new Map();
+  if (calls.length === 0) {
+    return outcomes;
+  }
+  askResolution(db, calls, DISPATCH_QUESTION, program);
+  return readDispatchOutcomes(db, calls);
+}
+var DISPATCH_QUESTION = "wantedDispatch";
+function readDispatchOutcomes(db, calls) {
+  const outcomes = /* @__PURE__ */ new Map();
+  for (const call of new Set(calls)) {
+    const sites = column(db, "wantedDispatchSite", call, 1);
+    if (sites.length === 0) {
+      continue;
+    }
+    outcomes.set(call, outcomeOf(db, call, sites));
+  }
+  return outcomes;
+}
+function outcomeOf(db, call, sites) {
+  const byEntry = /* @__PURE__ */ new Map();
+  for (const entry of column(db, "wantedDispatchEntry", call, 1)) {
+    byEntry.set(entry, /* @__PURE__ */ new Set());
+  }
+  for (const row of db.lookup("wantedDispatchLikeEntry", 0, call)) {
+    const held = String(row[3]);
+    if (!byEntry.has(held) && matchesWrittenPart(db, String(row[1]), String(row[2]))) {
+      byEntry.set(held, /* @__PURE__ */ new Set());
+    }
+  }
+  for (const relation of ENTRY_FUNCTIONS) {
+    for (const row of db.lookup(relation, 0, call)) {
+      byEntry.get(String(row[1]))?.add(String(row[2]));
+    }
+  }
+  const functions = [
+    ...new Set([...byEntry.values()].flatMap((found) => [...found]))
+  ];
+  const unresolved = [...byEntry.values()].filter(
+    (found) => found.size === 0
+  ).length;
+  const through = /* @__PURE__ */ new Map();
+  for (const row of db.lookup("wantedDispatchThrough", 0, call)) {
+    const inner = through.get(String(row[1])) ?? [];
+    inner.push(String(row[2]));
+    through.set(String(row[1]), inner);
+  }
+  return {
+    functions,
+    certain: functions.length === 1 && unresolved === 0 && narrowedToOneName(db, sites) && column(db, "wantedDispatchComputed", call, 1).length === 0 && column(db, "wantedDispatchInBranch", call, 1).length === 0,
+    unresolved,
+    through,
+    containers: [
+      ...new Set(
+        sites.flatMap(
+          (site) => ENTRY_READS.flatMap((relation) => column(db, relation, site, 1))
+        )
+      )
+    ]
+  };
+}
+var ENTRY_READS = [
+  "choosesEntry",
+  "choosesNamedEntry",
+  "choosesEntryLike",
+  "readsEntry"
+];
+var ENTRY_FUNCTIONS = [
+  "wantedDispatchFunction",
+  "wantedDispatchLikeFunction"
+];
+function matchesWrittenPart(db, site, name) {
+  return db.lookup("choosesEntryLike", 0, site).some((row) => {
+    const prefix = String(row[2]);
+    const suffix = String(row[3]);
+    return name.length >= prefix.length + suffix.length && name.startsWith(prefix) && name.endsWith(suffix);
+  });
+}
+function narrowedToOneName(db, sites) {
+  const names = /* @__PURE__ */ new Set();
+  for (const site of sites) {
+    if (db.lookup("choosesEntry", 0, site).length > 0) {
+      return false;
+    }
+    for (const relation of NAMED_READS) {
+      for (const row of db.lookup(relation, 0, site)) {
+        names.add(String(row[2]));
+      }
+    }
+  }
+  return names.size === 1;
+}
+var NAMED_READS = ["choosesNamedEntry", "readsEntry"];
+function column(db, relation, key, at) {
+  return [
+    ...new Set(db.lookup(relation, 0, key).map((row) => String(row[at])))
+  ];
+}
+
 // src/entryReuse.ts
 function fileOfKey(key) {
   return key.slice(0, key.lastIndexOf(":"));
@@ -1887,14 +2160,21 @@ var SPAN_KEY = /^(.*):(\d+)-(\d+)$/;
 function spanFileOf(key) {
   return key.match(SPAN_KEY)?.[1] ?? null;
 }
-function nodeOfKey(rootsByFile, key) {
+function spanOfKey(key) {
   const span = key.match(SPAN_KEY);
+  return span === null ? null : {
+    file: span[1],
+    start: Number(span[2]),
+    end: Number(span[3])
+  };
+}
+function nodeOfKey(rootsByFile, key) {
+  const span = spanOfKey(key);
   if (span === null) {
     return null;
   }
-  const root = rootsByFile.get(span[1]);
-  const start = Number(span[2]);
-  const end = Number(span[3]);
+  const root = rootsByFile.get(span.file);
+  const { start, end } = span;
   if (root === void 0 || end <= start) {
     return null;
   }
@@ -2465,6 +2745,165 @@ var STEP_LATTICE = [
   { soFar: RESULT_STEP, next: INSTANCE_STEP, took: RESULT_STEP },
   { soFar: RESULT_STEP, next: RESULT_STEP, took: RESULT_STEP }
 ];
+var DISPATCH_RULES = [
+  (0, import_datalog5.rule)(
+    "entryRead",
+    [(0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o")],
+    [(0, import_datalog5.lit)("choosesEntry", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"))]
+  ),
+  (0, import_datalog5.rule)(
+    "entryRead",
+    [(0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o")],
+    [(0, import_datalog5.lit)("namedEntryRead", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("n"))]
+  ),
+  (0, import_datalog5.rule)(
+    "entryRead",
+    [(0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o")],
+    [(0, import_datalog5.lit)("choosesEntryLike", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("p"), (0, import_datalog5.variable)("s"))]
+  ),
+  // Every entry of a read whose key is partly written out, by name. A rule
+  // cannot compare strings, so dispatch.ts keeps the names that match, and
+  // these stay out of `dispatchesTo`.
+  (0, import_datalog5.rule)(
+    "likeEntryAt",
+    [(0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("n"), (0, import_datalog5.variable)("held")],
+    [
+      (0, import_datalog5.lit)("choosesEntryLike", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("p"), (0, import_datalog5.variable)("s")),
+      (0, import_datalog5.lit)("containerOf", (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("obj")),
+      (0, import_datalog5.lit)("contains", (0, import_datalog5.variable)("obj"), (0, import_datalog5.variable)("n"), (0, import_datalog5.variable)("held"))
+    ]
+  ),
+  (0, import_datalog5.rule)(
+    "namedEntryRead",
+    [(0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("n")],
+    [(0, import_datalog5.lit)("choosesNamedEntry", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("n"))]
+  ),
+  (0, import_datalog5.rule)(
+    "namedEntryRead",
+    [(0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("n")],
+    [(0, import_datalog5.lit)("readsEntry", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("n"))]
+  ),
+  // The container a read takes its entry from: an object written out, or
+  // a collection the program fills through its methods.
+  (0, import_datalog5.rule)("containerOf", [(0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("obj")], [(0, import_datalog5.lit)("objectOf", (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("obj"))]),
+  (0, import_datalog5.rule)(
+    "containerOf",
+    [(0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("c")],
+    [
+      (0, import_datalog5.lit)("reaches", (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("c"), VALUE_STEP),
+      (0, import_datalog5.lit)("collectionValue", (0, import_datalog5.variable)("c"))
+    ]
+  ),
+  (0, import_datalog5.rule)("containerOf", [(0, import_datalog5.variable)("c"), (0, import_datalog5.variable)("c")], [(0, import_datalog5.lit)("collectionValue", (0, import_datalog5.variable)("c"))]),
+  (0, import_datalog5.rule)(
+    "entryAt",
+    [(0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("held")],
+    [
+      (0, import_datalog5.lit)("choosesEntry", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o")),
+      (0, import_datalog5.lit)("containerOf", (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("obj")),
+      (0, import_datalog5.lit)("contains", (0, import_datalog5.variable)("obj"), (0, import_datalog5.variable)("n"), (0, import_datalog5.variable)("held"))
+    ],
+    "any entry"
+  ),
+  (0, import_datalog5.rule)(
+    "entryAt",
+    [(0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("held")],
+    [
+      (0, import_datalog5.lit)("namedEntryRead", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("n")),
+      (0, import_datalog5.lit)("containerOf", (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("obj")),
+      (0, import_datalog5.lit)("contains", (0, import_datalog5.variable)("obj"), (0, import_datalog5.variable)("n"), (0, import_datalog5.variable)("held"))
+    ],
+    "named entry"
+  ),
+  (0, import_datalog5.rule)(
+    "entryAt",
+    [(0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("held")],
+    [(0, import_datalog5.lit)("computedEntryAt", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("held"))]
+  ),
+  // A write under a key the source computes, `T[name] = fn` or a map's
+  // `set`, could be under any name, so every read of the container may
+  // come back with it, a read narrowed to one name included.
+  (0, import_datalog5.rule)(
+    "computedEntryAt",
+    [(0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("held")],
+    [
+      (0, import_datalog5.lit)("entryRead", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o")),
+      (0, import_datalog5.lit)("containerOf", (0, import_datalog5.variable)("o"), (0, import_datalog5.variable)("c")),
+      (0, import_datalog5.lit)("refersToObject", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("c")),
+      (0, import_datalog5.lit)("holdsUnderKey", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("held"))
+    ],
+    "entry under a computed key"
+  ),
+  // The read a call takes its function from: the callee itself, a name
+  // for it, or the call when the call is the read, as Ruby's `send` is.
+  (0, import_datalog5.rule)(
+    "callsEntryAt",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")],
+    [(0, import_datalog5.lit)("call", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")), (0, import_datalog5.lit)("entryRead", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"))]
+  ),
+  (0, import_datalog5.rule)(
+    "callsEntryAt",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")],
+    [
+      (0, import_datalog5.lit)("call", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("c")),
+      (0, import_datalog5.lit)("reaches", (0, import_datalog5.variable)("c"), (0, import_datalog5.variable)("site"), VALUE_STEP),
+      (0, import_datalog5.lit)("entryRead", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"))
+    ]
+  ),
+  (0, import_datalog5.rule)("callsEntryAt", [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("r")], [(0, import_datalog5.lit)("callsChosenEntry", (0, import_datalog5.variable)("r"))]),
+  (0, import_datalog5.rule)(
+    "callsEntryAt",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")],
+    [(0, import_datalog5.lit)("callsEntryInBranch", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site"))]
+  ),
+  // `c ? T[k] : undefined` is one of its branches, so a call through it
+  // may run what the read gives. The other branch may be some other
+  // function, so dispatch.ts never counts such a call as certain.
+  (0, import_datalog5.rule)(
+    "callsEntryInBranch",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")],
+    [(0, import_datalog5.lit)("call", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("c")), (0, import_datalog5.lit)("branchReadsEntry", (0, import_datalog5.variable)("c"), (0, import_datalog5.variable)("site"))]
+  ),
+  (0, import_datalog5.rule)(
+    "callsEntryInBranch",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")],
+    [
+      (0, import_datalog5.lit)("call", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("c")),
+      (0, import_datalog5.lit)("reaches", (0, import_datalog5.variable)("c"), (0, import_datalog5.variable)("x"), VALUE_STEP),
+      (0, import_datalog5.lit)("branchReadsEntry", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("site"))
+    ]
+  ),
+  (0, import_datalog5.rule)(
+    "branchReadsEntry",
+    [(0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("site")],
+    [
+      (0, import_datalog5.lit)("conditionalBranch", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("site")),
+      (0, import_datalog5.lit)("entryRead", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"))
+    ]
+  ),
+  (0, import_datalog5.rule)(
+    "branchReadsEntry",
+    [(0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("site")],
+    [
+      (0, import_datalog5.lit)("conditionalBranch", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("b")),
+      (0, import_datalog5.lit)("reaches", (0, import_datalog5.variable)("b"), (0, import_datalog5.variable)("site"), VALUE_STEP),
+      (0, import_datalog5.lit)("entryRead", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("o"))
+    ]
+  ),
+  (0, import_datalog5.rule)(
+    "dispatchesTo",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("f")],
+    [
+      (0, import_datalog5.lit)("callsEntryAt", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")),
+      (0, import_datalog5.lit)("entryAt", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("held")),
+      (0, import_datalog5.lit)("comesTo", (0, import_datalog5.variable)("held"), (0, import_datalog5.variable)("f")),
+      (0, import_datalog5.lit)("func", (0, import_datalog5.variable)("f"))
+    ]
+  ),
+  // A collection a program fills is an object the way a written one is,
+  // so a write through a name for it lands on it.
+  (0, import_datalog5.rule)("refersToObject", [(0, import_datalog5.variable)("c"), (0, import_datalog5.variable)("c")], [(0, import_datalog5.lit)("collectionValue", (0, import_datalog5.variable)("c"))])
+];
 var STATED_RULES = [
   // Aliasing: const x = y, or an identifier referencing a declaration.
   // Every chain that follows a name takes the name hops, so a hop added
@@ -3567,6 +4006,17 @@ var STATED_RULES = [
       (0, import_datalog5.lit)("callsNamed", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("r0"))
     ]
   ),
+  // The same, called straight off the factory's call, as
+  // `register("created")(handler)` or a Python decorator written that way.
+  (0, import_datalog5.rule)(
+    "callsFunction",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("f")],
+    [
+      (0, import_datalog5.lit)("returnsValue", (0, import_datalog5.variable)("g"), (0, import_datalog5.variable)("f")),
+      (0, import_datalog5.lit)("callsFunction", (0, import_datalog5.variable)("r0"), (0, import_datalog5.variable)("g")),
+      (0, import_datalog5.lit)("call", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("r0"))
+    ]
+  ),
   // The expressions that refer to an object under another name, through
   // a name hop or an import. Asked from the object, so it visits only
   // them.
@@ -4012,6 +4462,7 @@ var STATED_RULES = [
     [(0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("z")],
     [(0, import_datalog5.lit)("comesTo", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("z")), (0, import_datalog5.lit)("func", (0, import_datalog5.variable)("z"))]
   ),
+  ...DISPATCH_RULES,
   ...PASSED_ON_RULES
 ];
 function alsoSteps(rules) {
@@ -4215,18 +4666,112 @@ var RESOLUTION_QUESTIONS = [
   ),
   // The functions whose return becomes the exit code: a call the value
   // that ends up as the code is, or one it reaches. DESIGN.md has the seeds.
+  (0, import_datalog5.rule)("exitStart", [(0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("x")], [(0, import_datalog5.lit)("wantedExitSink", (0, import_datalog5.variable)("x"))]),
+  // `reaches` takes no step through a call that picks its function from a
+  // table, so the walk starts again from what each function there returns.
+  (0, import_datalog5.rule)(
+    "exitStart",
+    [(0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("ret")],
+    [
+      (0, import_datalog5.lit)("exitReached", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("y")),
+      (0, import_datalog5.lit)("dispatchesTo", (0, import_datalog5.variable)("y"), (0, import_datalog5.variable)("f")),
+      (0, import_datalog5.lit)("returnsValue", (0, import_datalog5.variable)("f"), (0, import_datalog5.variable)("ret"))
+    ]
+  ),
+  (0, import_datalog5.rule)("exitReached", [(0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("s")], [(0, import_datalog5.lit)("exitStart", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("s"))]),
+  (0, import_datalog5.rule)(
+    "exitReached",
+    [(0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("y")],
+    [
+      (0, import_datalog5.lit)("exitStart", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("s")),
+      (0, import_datalog5.lit)("reaches", (0, import_datalog5.variable)("s"), (0, import_datalog5.variable)("y"), (0, import_datalog5.variable)("kind"))
+    ]
+  ),
   (0, import_datalog5.rule)(
     "wantedExitCodeFrom",
     [(0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("f")],
-    [(0, import_datalog5.lit)("wantedExitSink", (0, import_datalog5.variable)("x")), (0, import_datalog5.lit)("invokes", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("f"))]
+    [(0, import_datalog5.lit)("exitReached", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("y")), (0, import_datalog5.lit)("invokes", (0, import_datalog5.variable)("y"), (0, import_datalog5.variable)("f"))]
   ),
   (0, import_datalog5.rule)(
     "wantedExitCodeFrom",
     [(0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("f")],
+    [(0, import_datalog5.lit)("exitReached", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("y")), (0, import_datalog5.lit)("dispatchesTo", (0, import_datalog5.variable)("y"), (0, import_datalog5.variable)("f"))]
+  ),
+  // The functions a call may run when it takes one from a table, with the
+  // entry each came from, and the entries that come to no function. The
+  // reader in dispatch.ts decides whether the call runs exactly one.
+  (0, import_datalog5.rule)(
+    "wantedDispatchSite",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")],
+    [(0, import_datalog5.lit)("wantedDispatch", (0, import_datalog5.variable)("r")), (0, import_datalog5.lit)("callsEntryAt", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site"))]
+  ),
+  (0, import_datalog5.rule)(
+    "wantedDispatchEntry",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("held")],
+    [
+      (0, import_datalog5.lit)("wantedDispatch", (0, import_datalog5.variable)("r")),
+      (0, import_datalog5.lit)("callsEntryAt", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")),
+      (0, import_datalog5.lit)("entryAt", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("held"))
+    ]
+  ),
+  (0, import_datalog5.rule)(
+    "wantedDispatchInBranch",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")],
+    [
+      (0, import_datalog5.lit)("wantedDispatch", (0, import_datalog5.variable)("r")),
+      (0, import_datalog5.lit)("callsEntryInBranch", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site"))
+    ]
+  ),
+  (0, import_datalog5.rule)(
+    "wantedDispatchComputed",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("held")],
+    [
+      (0, import_datalog5.lit)("wantedDispatch", (0, import_datalog5.variable)("r")),
+      (0, import_datalog5.lit)("callsEntryAt", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")),
+      (0, import_datalog5.lit)("computedEntryAt", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("held"))
+    ]
+  ),
+  (0, import_datalog5.rule)(
+    "wantedDispatchFunction",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("held"), (0, import_datalog5.variable)("f")],
+    [
+      (0, import_datalog5.lit)("wantedDispatch", (0, import_datalog5.variable)("r")),
+      (0, import_datalog5.lit)("callsEntryAt", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")),
+      (0, import_datalog5.lit)("entryAt", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("held")),
+      (0, import_datalog5.lit)("comesTo", (0, import_datalog5.variable)("held"), (0, import_datalog5.variable)("f")),
+      (0, import_datalog5.lit)("func", (0, import_datalog5.variable)("f"))
+    ]
+  ),
+  (0, import_datalog5.rule)(
+    "wantedDispatchLikeEntry",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("n"), (0, import_datalog5.variable)("held")],
+    [
+      (0, import_datalog5.lit)("wantedDispatch", (0, import_datalog5.variable)("r")),
+      (0, import_datalog5.lit)("callsEntryAt", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")),
+      (0, import_datalog5.lit)("likeEntryAt", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("n"), (0, import_datalog5.variable)("held"))
+    ]
+  ),
+  (0, import_datalog5.rule)(
+    "wantedDispatchLikeFunction",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("held"), (0, import_datalog5.variable)("f")],
+    [
+      (0, import_datalog5.lit)("wantedDispatch", (0, import_datalog5.variable)("r")),
+      (0, import_datalog5.lit)("callsEntryAt", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("site")),
+      (0, import_datalog5.lit)("likeEntryAt", (0, import_datalog5.variable)("site"), (0, import_datalog5.variable)("n"), (0, import_datalog5.variable)("held")),
+      (0, import_datalog5.lit)("comesTo", (0, import_datalog5.variable)("held"), (0, import_datalog5.variable)("f")),
+      (0, import_datalog5.lit)("func", (0, import_datalog5.variable)("f"))
+    ]
+  ),
+  // What a function there calls in its own body, for an entry written as
+  // a lambda, which no summary describes.
+  (0, import_datalog5.rule)(
+    "wantedDispatchThrough",
+    [(0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("f"), (0, import_datalog5.variable)("g")],
     [
-      (0, import_datalog5.lit)("wantedExitSink", (0, import_datalog5.variable)("x")),
-      (0, import_datalog5.lit)("reaches", (0, import_datalog5.variable)("x"), (0, import_datalog5.variable)("y"), (0, import_datalog5.variable)("kind")),
-      (0, import_datalog5.lit)("invokes", (0, import_datalog5.variable)("y"), (0, import_datalog5.variable)("f"))
+      (0, import_datalog5.lit)("wantedDispatch", (0, import_datalog5.variable)("r")),
+      (0, import_datalog5.lit)("dispatchesTo", (0, import_datalog5.variable)("r"), (0, import_datalog5.variable)("f")),
+      (0, import_datalog5.lit)("makesCall", (0, import_datalog5.variable)("f"), (0, import_datalog5.variable)("r2")),
+      (0, import_datalog5.lit)("invokes", (0, import_datalog5.variable)("r2"), (0, import_datalog5.variable)("g"))
     ]
   ),
   // The calls that hand a stream on, so the asker can read the callee's file.
@@ -4661,6 +5206,7 @@ var UNDER_ANSWER_RELATIONS = [
   ASKING_RELATIONS,
   BASE_CLASS_RULE,
   DEFAULT_IMPORT_NAME,
+  DISPATCH_QUESTION,
   DependencyLedger,
   EntryReuse,
   FACT_CONTRACT_CASES,
@@ -4678,14 +5224,18 @@ var UNDER_ANSWER_RELATIONS = [
   RESOLUTION_QUESTIONS,
   RESOLUTION_RULES,
   RESULT_STEP,
+  SPREAD_ENTRY,
   UNDER_ANSWER_RELATIONS,
   UNDER_QUESTION_ROW_BUDGET,
   UNDER_RUN_ROW_BUDGET,
   UNPLACED_STORE_NAME,
   USES_QUESTION,
+  VALUE_ENTRY,
   VALUE_STEP,
   WatchedMap,
+  addEntryRows,
   addPackWords,
+  addTemplateRows,
   agreedMountPrefix,
   allocationSitesOf,
   alsoSteps,
@@ -4702,6 +5252,7 @@ var UNDER_ANSWER_RELATIONS = [
   comesToUnder,
   couldBeSettled,
   declaredTypesOf,
+  dispatchOutcomes,
   exitCodeFunctions,
   explainResolutionProof,
   explainResolvedKey,
@@ -4723,6 +5274,7 @@ var UNDER_ANSWER_RELATIONS = [
   packHashes,
   proofRules,
   queryFacts,
+  readDispatchOutcomes,
   readUses,
   recordsToReplay,
   renderExplanation,
@@ -4731,6 +5283,7 @@ var UNDER_ANSWER_RELATIONS = [
   resolvedFunctions,
   settledFunction,
   sourceLeavesOf,
+  spanOfKey,
   startsAtName,
   staysInItsFunction,
   stillValid,