kibi-cli 2.35.1 → 2.38.0

package/dist/operations/proof/code-certificates.js

@@ -15,7 +15,6 @@
  You should have received a copy of the GNU Affero General Public License
  along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */
-import { spawnSync } from "node:child_process";
 import { createHash } from "node:crypto";
 import { existsSync, readFileSync } from "node:fs";
 import { createRequire } from "node:module";
@@ -25,7 +24,7 @@ import { runOperationJsonQuery, toPrologAtom, } from "../../public/operations/pr
 import { canonicalCertificateJson, certificateDigest, } from "../../public/proof-certificates.js";
 import { CODE_CERTIFICATE_VERSION, isCertificateProofKind, } from "../../public/proof-protocol.js";
 import { describeSource, normalizeSourceSpec, readSource, } from "../../public/proof-sources.js";
-import { runCodeEvaluator, TS_RESOLVE_HOOKS, } from "./code-runner.js";
+import { runCodeEvaluator, spawnSyncThroughFiles, TS_RESOLVE_HOOKS, } from "./code-runner.js";
 import { evaluateSourceCode } from "./source-code-readers.js";
 import { machineCertificateProblem, patternCertificateProblem, ruleCertificateProblem, } from "./code-models.js";
 function record(value) {
@@ -64,7 +63,9 @@ const IMPORT_SPECIFIER = /(?:\bfrom\s*|\bimport\s*\(\s*|\bimport\s+|\brequire\s*
  */
 // implements REQ-kibi-code-proof-kinds
 export function importsDomain(source, sourcePath, targetPath, identifier, workspaceRoot) {
-    if (identifier === "" || !new RegExp(`\\b${escapeRegExp(identifier)}\\b`).test(source))
+    // A dotted export (BRAND.name) is imported under its head.
+    const imported = identifier.split(".")[0] ?? "";
+    if (imported === "" || !new RegExp(`\\b${escapeRegExp(imported)}\\b`).test(source))
         return false;
     const target = stripExtension(path.normalize(targetPath));
     if (/\.py$/i.test(sourcePath))
@@ -203,21 +204,30 @@ function escapeRegExp(value) {
     return value.replace(/[.*+?^${}()|[\]\\]/g, "\\$&");
 }
 const DOMAIN_EVALUATOR = `
-const [file, name] = process.argv.slice(-2);
+const [file, name, projected] = process.argv.slice(-3);
 const { pathToFileURL } = await import("node:url");
 if (typeof globalThis.Bun === "undefined") {
   const { register } = await import("node:module");
   register?.("data:text/javascript," + encodeURIComponent(${JSON.stringify(TS_RESOLVE_HOOKS)}));
 }
-const value = (await import(pathToFileURL(file).href))[name];
+// A dotted name reads a field of the export (POLICY.eventLimit).
+const [head, ...fields] = name.split(".");
+let value = (await import(pathToFileURL(file).href))[head];
+for (const field of fields) value = value !== null && typeof value === "object" ? value[field] : undefined;
 let items = null;
 if (Array.isArray(value)) items = value;
 else if (value instanceof Set) items = [...value];
 else if (value instanceof Map) items = [...value.keys()];
 else if (value !== null && typeof value === "object") items = Object.keys(value);
+// A field projects a list of records onto one field of each (catalog names).
+if (projected !== "" && items !== null)
+  items = items.map((item) => (item !== null && typeof item === "object" ? item[projected] : undefined));
 const primitive = (item) => ["string", "number", "boolean", "bigint"].includes(typeof item);
+const unprojected = projected !== "" && items !== null && items.some((item) => item === undefined);
 const scalar = typeof value === "number" || typeof value === "bigint" ? Number(value) : null;
-console.log(JSON.stringify(scalar !== null
+console.log(JSON.stringify(unprojected
+  ? { error: \`a member of \${name} has no field \${projected}\` }
+  : scalar !== null
   ? { scalar }
   : items === null
   ? { error: \`\${name} is not an array, set, map or object\` }
@@ -226,7 +236,7 @@ console.log(JSON.stringify(scalar !== null
 // A Python domain: a list, tuple, set, frozenset, dict or Enum class.
 const PYTHON_DOMAIN_EVALUATOR = `
 import enum, importlib, json, os, sys
-file, name = sys.argv[-2], sys.argv[-1]
+file, name, projected = sys.argv[-3], sys.argv[-2], sys.argv[-1]
 # Import the module under its package name, from the directory above its
 # topmost package, so absolute and relative imports inside it resolve.
 directory, module_name = os.path.split(os.path.splitext(file)[0])
@@ -236,7 +246,11 @@ while os.path.exists(os.path.join(directory, "__init__.py")):
     parts.insert(0, package)
 sys.path.insert(0, directory)
 module = importlib.import_module(".".join(parts))
-value = getattr(module, name, None)
+# A dotted name reads a field of the export (POLICY.event_limit).
+head, *fields = name.split(".")
+value = getattr(module, head, None)
+for field in fields:
+    value = value.get(field) if isinstance(value, dict) else getattr(value, field, None)
 if isinstance(value, type) and issubclass(value, enum.Enum):
     items = [member.value for member in value]
 elif isinstance(value, dict):
@@ -245,13 +259,18 @@ elif isinstance(value, (list, tuple, set, frozenset)):
     items = list(value)
 else:
     items = None
+# A field projects a list of records onto one field of each (catalog names).
+if projected and items is not None:
+    items = [item.get(projected) if isinstance(item, dict) else getattr(item, projected, None) for item in items]
 def primitive(item):
     return isinstance(item, (str, int, float, bool))
 def text(item):
     if isinstance(item, bool):
         return "true" if item else "false"
     return str(item)
-if isinstance(value, (int, float)) and not isinstance(value, bool):
+if projected and items is not None and any(item is None for item in items):
+    print(json.dumps({"error": f"a member of {name} has no field {projected}"}))
+elif isinstance(value, (int, float)) and not isinstance(value, bool):
     print(json.dumps({"scalar": value}))
 elif items is None:
     print(json.dumps({"error": f"{name} is not a list, tuple, set, dict or Enum"}))
@@ -293,7 +312,7 @@ export function evaluateScalar(workspaceRoot, sourceFile, exportName) {
 }
 function evaluateExport(workspaceRoot, sourceFile, exportName, options = {}) {
     const absolute = path.resolve(workspaceRoot, sourceFile);
-    const run = runCodeEvaluator(workspaceRoot, sourceFile, { js: DOMAIN_EVALUATOR, python: PYTHON_DOMAIN_EVALUATOR }, [absolute, exportName], (parsed) => {
+    const run = runCodeEvaluator(workspaceRoot, sourceFile, { js: DOMAIN_EVALUATOR, python: PYTHON_DOMAIN_EVALUATOR }, [absolute, exportName, options.field ?? ""], (parsed) => {
         const row = parsed;
         return (row.error !== undefined ||
             typeof row.scalar === "number" ||
@@ -668,9 +687,8 @@ export function rerunSmtQuery(solver, query) {
             : null;
     if (argv === null)
         return { ok: false, reason: `solver ${solver} is not z3 or cvc5` };
-    const run = spawnSync(solver, argv, {
+    const run = spawnSyncThroughFiles(solver, argv, {
         input: query,
-        encoding: "utf8",
         timeout: 60_000,
     });
     if (run.error)
@@ -678,7 +696,7 @@ export function rerunSmtQuery(solver, query) {
             ok: false,
             reason: `Kibi could not re-run ${solver} on the query: ${run.error.message}`,
         };
-    const answer = (run.stdout ?? "").trim().split(/\s+/)[0] ?? "";
+    const answer = run.stdout.trim().split(/\s+/)[0] ?? "";
     return answer === "unsat"
         ? { ok: true }
         : {
@@ -711,7 +729,9 @@ async function workspaceProblem(context, contract, certificate) {
         if (!importing)
             return `the proof does not import ${exportName || domainId} from ${domain.sourceFile}, so its domain may be hand-listed${contract.domain_source?.export === undefined ? ` (Kibi reads the export named by the symbol's title; set domain_source.export when the export has another name)` : ""}`;
         if (kind === "exhaustive") {
-            const evaluated = evaluateDomain(context.workspaceRoot, domain.sourceFile, exportName);
+            const evaluated = evaluateDomain(context.workspaceRoot, domain.sourceFile, exportName, contract.domain_source?.field === undefined
+                ? {}
+                : { field: contract.domain_source.field });
             if (!evaluated.ok)
                 return evaluated.reason;
             const members = record(certificate.domain)?.members;

package/dist/operations/proof/code-models.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"code-models.d.ts","sourceRoot":"","sources":["../../../src/operations/proof/code-models.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EACL,KAAK,YAAY,EAKlB,MAAM,uBAAuB,CAAC;AAM/B,8DAA8D;AAC9D,eAAO,MAAM,cAAc,SAAU,CAAC;AAGtC,MAAM,MAAM,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAExD,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAEH,2EAA2E;AAC3E,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IACrD,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC,CAAC,CAAC;CAC3D,CAAC,CAAC;AAEH,sDAAsD;AACtD,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,WAAW,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;IACpD,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B,CAAC,CAAC;AAEH,8CAA8C;AAC9C,MAAM,MAAM,YAAY,GACpB,QAAQ,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,IAAI,GAAG,QAAQ,CAAA;CAAE,CAAC,GACpF,QAAQ,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AA+RhD;;;GAGG;AAEH,wBAAgB,iBAAiB,CAAC,CAAC,EACjC,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,SAAS,QAAQ,EAAE,EAC1B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CA0BxD;AAED;;;GAGG;AAEH,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,GACpD,OAAO,CAAC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CA+BzE;AAED,qEAAqE;AAErE,wBAAsB,eAAe,CACnC,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,aAAa,GACtB,OAAO,CAAC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CA0B5E;AAED,4EAA4E;AAE5E,wBAAsB,eAAe,CACnC,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,aAAa,GACtB,OAAO,CAAC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAS5E;AA2CD;;;;GAIG;AAEH,wBAAsB,sBAAsB,CAC1C,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACnC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAqCxB;AAED,gFAAgF;AAEhF,wBAAsB,yBAAyB,CAC7C,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACnC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAiBxB;AAED,+EAA+E;AAE/E,wBAAsB,yBAAyB,CAC7C,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACnC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAoBxB;AAED,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAExD;AAED;;;;;;;;GAQG;AAEH,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACpC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC7C,MAAM,EAAE,MAAM,GACb,MAAM,GAAG,IAAI,CAgDf"}
+{"version":3,"file":"code-models.d.ts","sourceRoot":"","sources":["../../../src/operations/proof/code-models.ts"],"names":[],"mappings":"AA2BA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AACpE,OAAO,EACL,KAAK,YAAY,EAKlB,MAAM,uBAAuB,CAAC;AAM/B,8DAA8D;AAC9D,eAAO,MAAM,cAAc,SAAU,CAAC;AAGtC,MAAM,MAAM,QAAQ,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAExD,MAAM,MAAM,QAAQ,GAAG,QAAQ,CAAC;IAC9B,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB,CAAC,CAAC;AAEH,2EAA2E;AAC3E,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC;IAC/B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,CAAC;IACrD,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,QAAQ,EAAE,CAAC,CAAC,CAAC;CAC3D,CAAC,CAAC;AAEH,sDAAsD;AACtD,MAAM,MAAM,YAAY,GAAG,QAAQ,CAAC;IAClC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,WAAW,EAAE,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC;IACpD,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC7B,CAAC,CAAC;AAEH,8CAA8C;AAC9C,MAAM,MAAM,YAAY,GACpB,QAAQ,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,IAAI,GAAG,QAAQ,CAAA;CAAE,CAAC,GACpF,QAAQ,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAAC;AA6ShD;;;GAGG;AAEH,wBAAgB,iBAAiB,CAAC,CAAC,EACjC,aAAa,EAAE,MAAM,EACrB,KAAK,EAAE,SAAS,QAAQ,EAAE,EAC1B,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CA0BxD;AAED;;;GAGG;AAEH,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,aAAa,EACvB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC,GACpD,OAAO,CAAC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CA+BzE;AAED,qEAAqE;AAErE,wBAAsB,eAAe,CACnC,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,aAAa,GACtB,OAAO,CAAC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CA0B5E;AAED,4EAA4E;AAE5E,wBAAsB,eAAe,CACnC,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,aAAa,GACtB,OAAO,CAAC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,YAAY,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,CAS5E;AA2CD;;;;GAIG;AAEH,wBAAsB,sBAAsB,CAC1C,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACnC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAqCxB;AAED,gFAAgF;AAEhF,wBAAsB,yBAAyB,CAC7C,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACnC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAiBxB;AAED,+EAA+E;AAE/E,wBAAsB,yBAAyB,CAC7C,OAAO,EAAE,gBAAgB,EACzB,QAAQ,EAAE,aAAa,EACvB,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACnC,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAoBxB;AAED,+EAA+E;AAC/E,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,CAExD;AAED;;;;;;;;GAQG;AAEH,wBAAgB,uBAAuB,CACrC,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACpC,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAC7C,MAAM,EAAE,MAAM,GACb,MAAM,GAAG,IAAI,CAgDf"}

package/dist/operations/proof/code-models.js

@@ -42,8 +42,14 @@ if (typeof globalThis.Bun === "undefined") {
 const modules = new Map();
 async function load(ref) {
   if (!modules.has(ref.file)) modules.set(ref.file, await import(pathToFileURL(ref.file).href));
-  const value = modules.get(ref.file)[ref.export];
-  if (value === undefined) throw new Error(ref.export + " is not exported from " + ref.file);
+  // A dotted name reads a field of the export (BRAND.name).
+  const [head, ...fields] = ref.export.split(".");
+  let value = modules.get(ref.file)[head];
+  if (value === undefined) throw new Error(head + " is not exported from " + ref.file);
+  for (const field of fields) {
+    value = value !== null && typeof value === "object" ? value[field] : undefined;
+    if (value === undefined) throw new Error(ref.export + " has no field " + field + " in " + ref.file);
+  }
   return value;
 }
 function items(value, name) {
@@ -179,9 +185,17 @@ def module_for(file):
     return modules[file]
 def load(ref):
     module = module_for(ref["file"])
-    if not hasattr(module, ref["export"]):
-        raise ValueError(ref["export"] + " is not defined in " + ref["file"])
-    return getattr(module, ref["export"])
+    # A dotted name reads a field of the export (BRAND.name).
+    head, *fields = ref["export"].split(".")
+    if not hasattr(module, head):
+        raise ValueError(head + " is not defined in " + ref["file"])
+    value = getattr(module, head)
+    missing = object()
+    for field in fields:
+        value = value.get(field, missing) if isinstance(value, dict) else getattr(value, field, missing)
+        if value is missing:
+            raise ValueError(ref["export"] + " has no field " + field + " in " + ref["file"])
+    return value
 def text(item):
     if isinstance(item, enum.Enum):
         return text(item.value)

package/dist/operations/proof/code-runner.d.ts

@@ -15,6 +15,22 @@ export declare function workspaceBin(workspaceRoot: string, name: string): strin
  * project's dependencies, so a project environment comes before it.
  */
 export declare function pythonDomainInterpreters(workspaceRoot: string, sourceFile: string, env?: NodeJS.ProcessEnv): string[];
+/**
+ * spawnSync with the child's stdin, stdout and stderr in temp files instead
+ * of pipes. Bun can miss the readiness event of a child's pipe, which leaves
+ * a synchronous spawn waiting until its timeout although the child has long
+ * exited; with no pipes the call only waits for the process to exit.
+ */
+export declare function spawnSyncThroughFiles(command: string, args: readonly string[], options: Readonly<{
+    cwd?: string;
+    input?: string;
+    timeout: number;
+}>): {
+    error: Error | undefined;
+    status: number | null;
+    stdout: string;
+    stderr: string;
+};
 /**
  * Run an evaluator script against the workspace code and return the JSON it
  * prints last. A TypeScript or JavaScript file runs with bun when it is on

package/dist/operations/proof/code-runner.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"code-runner.d.ts","sourceRoot":"","sources":["../../../src/operations/proof/code-runner.ts"],"names":[],"mappings":"AAsBA;;;;;;GAMG;AAKH,eAAO,MAAM,gBAAgB,8jBAgB5B,CAAC;AAEF,wBAAgB,YAAY,CAAC,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAQ/E;AAED;;;;;;GAMG;AAEH,wBAAgB,wBAAwB,CACtC,aAAa,EAAE,MAAM,EACrB,UAAU,EAAE,MAAM,EAClB,GAAG,GAAE,MAAM,CAAC,UAAwB,GACnC,MAAM,EAAE,CAwBV;AAaD;;;;;;;GAOG;AAEH,wBAAgB,gBAAgB,CAC9B,aAAa,EAAE,MAAM,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,QAAQ,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,EACjD,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,MAAM,GAAE,CAAC,MAAM,EAAE,OAAO,KAAK,OAAoB,EACjD,OAAO,GAAE,QAAQ,CAAC;IAChB,OAAO,CAAC,EAAE,SAAS,CAAC,KAAK,GAAG,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC;CAC/C,CAAM,GAEL;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC7C;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAkDlD"}
+{"version":3,"file":"code-runner.d.ts","sourceRoot":"","sources":["../../../src/operations/proof/code-runner.ts"],"names":[],"mappings":"AA+BA;;;;;;GAMG;AAKH,eAAO,MAAM,gBAAgB,8jBAgB5B,CAAC;AAEF,wBAAgB,YAAY,CAAC,aAAa,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAQ/E;AAED;;;;;;GAMG;AAEH,wBAAgB,wBAAwB,CACtC,aAAa,EAAE,MAAM,EACrB,UAAU,EAAE,MAAM,EAClB,GAAG,GAAE,MAAM,CAAC,UAAwB,GACnC,MAAM,EAAE,CAwBV;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,OAAO,EAAE,QAAQ,CAAC;IAAE,GAAG,CAAC,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,GACnE;IAAE,KAAK,EAAE,KAAK,GAAG,SAAS,CAAC;IAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CA2BrF;AAaD;;;;;;;GAOG;AAEH,wBAAgB,gBAAgB,CAC9B,aAAa,EAAE,MAAM,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,QAAQ,CAAC;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC,EACjD,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,MAAM,GAAE,CAAC,MAAM,EAAE,OAAO,KAAK,OAAoB,EACjD,OAAO,GAAE,QAAQ,CAAC;IAChB,OAAO,CAAC,EAAE,SAAS,CAAC,KAAK,GAAG,KAAK,GAAG,MAAM,CAAC,EAAE,CAAC;CAC/C,CAAM,GAEL;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC7C;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAgDlD"}

package/dist/operations/proof/code-runner.js

@@ -16,7 +16,8 @@
  along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */
 import { spawnSync } from "node:child_process";
-import { existsSync } from "node:fs";
+import { closeSync, existsSync, mkdtempSync, openSync, readFileSync, rmSync, writeFileSync, } from "node:fs";
+import os from "node:os";
 import path from "node:path";
 /**
  * How Kibi runs a small evaluator script against the workspace's own code:
@@ -92,6 +93,43 @@ export function pythonDomainInterpreters(workspaceRoot, sourceFile, env = proces
     add("python");
     return interpreters;
 }
+/**
+ * spawnSync with the child's stdin, stdout and stderr in temp files instead
+ * of pipes. Bun can miss the readiness event of a child's pipe, which leaves
+ * a synchronous spawn waiting until its timeout although the child has long
+ * exited; with no pipes the call only waits for the process to exit.
+ */
+export function spawnSyncThroughFiles(command, args, options) {
+    const dir = mkdtempSync(path.join(os.tmpdir(), "kibi-spawn-"));
+    try {
+        const inPath = path.join(dir, "stdin");
+        const outPath = path.join(dir, "stdout");
+        const errPath = path.join(dir, "stderr");
+        writeFileSync(inPath, options.input ?? "");
+        const fds = [openSync(inPath, "r"), openSync(outPath, "w"), openSync(errPath, "w")];
+        let run;
+        try {
+            run = spawnSync(command, [...args], {
+                cwd: options.cwd,
+                stdio: fds,
+                timeout: options.timeout,
+            });
+        }
+        finally {
+            for (const fd of fds)
+                closeSync(fd);
+        }
+        return {
+            error: run.error,
+            status: run.status,
+            stdout: readFileSync(outPath, "utf8"),
+            stderr: readFileSync(errPath, "utf8"),
+        };
+    }
+    finally {
+        rmSync(dir, { recursive: true, force: true });
+    }
+}
 /** The line of a runner's stderr that names the failure. */
 function failureLine(stderr, python) {
     const lines = stderr
@@ -141,15 +179,13 @@ export function runCodeEvaluator(workspaceRoot, sourceFile, scripts, args, accep
         });
     let failure = "";
     for (const [command, argv] of runners) {
-        const run = spawnSync(command, [...argv, ...args], {
+        const run = spawnSyncThroughFiles(command, [...argv, ...args], {
             cwd: workspaceRoot,
-            encoding: "utf8",
             timeout: 60_000,
-            maxBuffer: 64 * 1024 * 1024,
         });
         if (run.error)
             continue;
-        const line = (run.stdout ?? "").trim().split("\n").pop() ?? "";
+        const line = run.stdout.trim().split("\n").pop() ?? "";
         try {
             const parsed = JSON.parse(line);
             if (accept(parsed))
@@ -158,7 +194,7 @@ export function runCodeEvaluator(workspaceRoot, sourceFile, scripts, args, accep
         catch {
             // Fall through to the next runner.
         }
-        failure = failureLine(run.stderr ?? "", python);
+        failure = failureLine(run.stderr, python);
     }
     return { ok: false, failure, python };
 }

package/dist/plugins/compose-search-hints.d.ts

@@ -0,0 +1,29 @@
+import { type PluginProviderStamp, type SearchHint, type SearchHintsInput, type SearchHintsV1 } from "kibi-plugin-sdk";
+import { type SemanticClassifierDiagnostic } from "./compose-semantic-classifier.js";
+import type { CapabilityModeResolution, CapabilityProviderBinding } from "./registry.js";
+export type SearchHintsDiagnostic = SemanticClassifierDiagnostic;
+export type ComposedSearchHints = Readonly<{
+    /** Hints of the replace provider; empty without one or when it failed. */
+    hints: readonly SearchHint[];
+    /** Stamp of the provider whose hints are shown, if any. */
+    stamp: PluginProviderStamp | null;
+    shadowComparisons: readonly {
+        readonly stamp: PluginProviderStamp;
+        readonly hints: readonly SearchHint[];
+    }[];
+    fallbackUsed: boolean;
+    diagnostics: readonly SearchHintsDiagnostic[];
+}>;
+/**
+ * replace / shadow for search hints. The builtin has no hints, so without a
+ * replace provider nothing is shown; a failing or late replace provider
+ * yields no hints (stamped fallbackUsed) and a diagnostic, never an error.
+ * Shadow providers are recorded for comparison only. External providers run
+ * only for allowlisted operations.
+ */
+export declare function composeSearchHints(resolution: CapabilityModeResolution<SearchHintsV1>, input: SearchHintsInput, options: Readonly<{
+    operationName: string;
+    /** How long one provider may take to answer. */
+    timeoutMs: (binding: CapabilityProviderBinding<SearchHintsV1>) => number;
+}>): Promise<ComposedSearchHints>;
+//# sourceMappingURL=compose-search-hints.d.ts.map

package/dist/plugins/compose-search-hints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose-search-hints.d.ts","sourceRoot":"","sources":["../../src/plugins/compose-search-hints.ts"],"names":[],"mappings":"AAkBA,OAAO,EACL,KAAK,mBAAmB,EACxB,KAAK,UAAU,EACf,KAAK,gBAAgB,EACrB,KAAK,aAAa,EAEnB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EACL,KAAK,4BAA4B,EAGlC,MAAM,kCAAkC,CAAC;AAE1C,OAAO,KAAK,EACV,wBAAwB,EACxB,yBAAyB,EAC1B,MAAM,eAAe,CAAC;AAGvB,MAAM,MAAM,qBAAqB,GAAG,4BAA4B,CAAC;AAGjE,MAAM,MAAM,mBAAmB,GAAG,QAAQ,CAAC;IACzC,0EAA0E;IAC1E,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IAC7B,2DAA2D;IAC3D,KAAK,EAAE,mBAAmB,GAAG,IAAI,CAAC;IAClC,iBAAiB,EAAE,SAAS;QAC1B,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;QACpC,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;KACvC,EAAE,CAAC;IACJ,YAAY,EAAE,OAAO,CAAC;IACtB,WAAW,EAAE,SAAS,qBAAqB,EAAE,CAAC;CAC/C,CAAC,CAAC;AA+CH;;;;;;GAMG;AAEH,wBAAsB,kBAAkB,CACtC,UAAU,EAAE,wBAAwB,CAAC,aAAa,CAAC,EACnD,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,QAAQ,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,gDAAgD;IAChD,SAAS,EAAE,CAAC,OAAO,EAAE,yBAAyB,CAAC,aAAa,CAAC,KAAK,MAAM,CAAC;CAC1E,CAAC,GACD,OAAO,CAAC,mBAAmB,CAAC,CAuC9B"}

package/dist/plugins/compose-search-hints.js

@@ -0,0 +1,94 @@
+/*
+ Kibi — repo-local, per-branch, queryable long-term memory for software projects
+ Copyright (C) 2026 Piotr Franczyk
+
+ This program is free software: you can redistribute it and/or modify
+ it under the terms of the GNU Affero General Public License as published by
+ the Free Software Foundation, either version 3 of the License, or
+ (at your option) any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ GNU Affero General Public License for more details.
+
+ You should have received a copy of the GNU Affero General Public License
+ along with this program.  If not, see <https://www.gnu.org/licenses/>.
+*/
+import { validateSearchHintsResult, } from "kibi-plugin-sdk";
+import { diagnosticFromError, withFallback, } from "./compose-semantic-classifier.js";
+import { allowsExternalSearchHints } from "./external-allowlist.js";
+/** A provider that does not answer within the deadline counts as failed. */
+class SearchHintsTimeout extends Error {
+    code = "timeout";
+    constructor(ms) {
+        super(`search hints provider did not answer within ${ms} ms`);
+    }
+}
+async function ask(binding, input, timeoutMs) {
+    let timer;
+    try {
+        const answer = Promise.resolve(binding.capability.hint(input));
+        // rationale: clearing only frees the timer early; a timer left to fire
+        // rejects a race that already settled, which nothing observes.
+        // Stryker disable all
+        const clear = () => clearTimeout(timer);
+        answer.then(clear, clear);
+        // Stryker restore all
+        const result = await Promise.race([
+            answer,
+            new Promise((_, reject) => {
+                timer = setTimeout(() => reject(new SearchHintsTimeout(timeoutMs)), timeoutMs);
+            }),
+        ]);
+        const validated = validateSearchHintsResult(result, input.entities.map((entity) => entity.id), input.limit);
+        return { ok: true, hints: validated.hints };
+    }
+    catch (error) {
+        return { ok: false, diagnostic: diagnosticFromError(binding, error) };
+    }
+}
+/**
+ * replace / shadow for search hints. The builtin has no hints, so without a
+ * replace provider nothing is shown; a failing or late replace provider
+ * yields no hints (stamped fallbackUsed) and a diagnostic, never an error.
+ * Shadow providers are recorded for comparison only. External providers run
+ * only for allowlisted operations.
+ */
+// implements REQ-kibi-search-hints-host
+export async function composeSearchHints(resolution, input, options) {
+    const empty = {
+        hints: [],
+        stamp: null,
+        shadowComparisons: [],
+        fallbackUsed: false,
+        diagnostics: [],
+    };
+    if (!allowsExternalSearchHints(options.operationName))
+        return empty;
+    const diagnostics = [];
+    let hints = [];
+    let stamp = null;
+    let fallbackUsed = false;
+    if (resolution.replace) {
+        const answer = await ask(resolution.replace, input, options.timeoutMs(resolution.replace));
+        if (answer.ok) {
+            hints = answer.hints;
+            stamp = resolution.replace.stamp;
+        }
+        else {
+            diagnostics.push(answer.diagnostic);
+            fallbackUsed = true;
+            stamp = withFallback(resolution.replace.stamp, true);
+        }
+    }
+    const shadowComparisons = [];
+    for (const shadow of resolution.shadow) {
+        const answer = await ask(shadow, input, options.timeoutMs(shadow));
+        if (answer.ok)
+            shadowComparisons.push({ stamp: shadow.stamp, hints: answer.hints });
+        else
+            diagnostics.push(answer.diagnostic);
+    }
+    return { hints, stamp, shadowComparisons, fallbackUsed, diagnostics };
+}

package/dist/plugins/external-allowlist.d.ts

@@ -14,4 +14,11 @@ export declare function allowsExternalSemanticClassifier(operationName: string):
  */
 export declare const EXTERNAL_VOCABULARY_ALIGNMENT_OPERATIONS: readonly ["kb_model_requirement"];
 export declare function allowsExternalVocabularyAlignment(operationName: string): boolean;
+/**
+ * Operations that may call external kibi.search-hints.v1 providers. Hints are
+ * advice next to a search answer; checks, proofs and every write stay
+ * builtin-only.
+ */
+export declare const EXTERNAL_SEARCH_HINTS_OPERATIONS: readonly ["kb_search"];
+export declare function allowsExternalSearchHints(operationName: string): boolean;
 //# sourceMappingURL=external-allowlist.d.ts.map

package/dist/plugins/external-allowlist.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"external-allowlist.d.ts","sourceRoot":"","sources":["../../src/plugins/external-allowlist.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,eAAO,MAAM,uCAAuC,uDAG1C,CAAC;AAGX,MAAM,MAAM,mCAAmC,GAC7C,CAAC,OAAO,uCAAuC,CAAC,CAAC,MAAM,CAAC,CAAC;AAK3D,wBAAgB,gCAAgC,CAC9C,aAAa,EAAE,MAAM,GACpB,OAAO,CAET;AAED;;;;GAIG;AAEH,eAAO,MAAM,wCAAwC,mCAE3C,CAAC;AAGX,wBAAgB,iCAAiC,CAC/C,aAAa,EAAE,MAAM,GACpB,OAAO,CAIT"}
+{"version":3,"file":"external-allowlist.d.ts","sourceRoot":"","sources":["../../src/plugins/external-allowlist.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,eAAO,MAAM,uCAAuC,uDAG1C,CAAC;AAGX,MAAM,MAAM,mCAAmC,GAC7C,CAAC,OAAO,uCAAuC,CAAC,CAAC,MAAM,CAAC,CAAC;AAK3D,wBAAgB,gCAAgC,CAC9C,aAAa,EAAE,MAAM,GACpB,OAAO,CAET;AAED;;;;GAIG;AAEH,eAAO,MAAM,wCAAwC,mCAE3C,CAAC;AAGX,wBAAgB,iCAAiC,CAC/C,aAAa,EAAE,MAAM,GACpB,OAAO,CAIT;AAED;;;;GAIG;AAEH,eAAO,MAAM,gCAAgC,wBAAyB,CAAC;AAGvE,wBAAgB,yBAAyB,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAIxE"}

package/dist/plugins/external-allowlist.js

@@ -27,3 +27,14 @@ export const EXTERNAL_VOCABULARY_ALIGNMENT_OPERATIONS = [
 export function allowsExternalVocabularyAlignment(operationName) {
     return EXTERNAL_VOCABULARY_ALIGNMENT_OPERATIONS.includes(operationName);
 }
+/**
+ * Operations that may call external kibi.search-hints.v1 providers. Hints are
+ * advice next to a search answer; checks, proofs and every write stay
+ * builtin-only.
+ */
+// implements REQ-kibi-search-hints-host
+export const EXTERNAL_SEARCH_HINTS_OPERATIONS = ["kb_search"];
+// implements REQ-kibi-search-hints-host
+export function allowsExternalSearchHints(operationName) {
+    return EXTERNAL_SEARCH_HINTS_OPERATIONS.includes(operationName);
+}

package/dist/plugins/registry.d.ts

@@ -1,4 +1,4 @@
-import { type CapabilityId, type KibiPluginV1, type OntologyPackV1, type PluginMode, type PluginPermissions, type PluginProviderStamp, type ProjectKibiConfig, type SemanticClassifierV1, type SymbolExtractorV1, type SymbolExtractorV2, type VocabularyAlignmentV1 } from "kibi-plugin-sdk";
+import { type CapabilityId, type KibiPluginV1, type OntologyPackV1, type PluginMode, type PluginPermissions, type PluginProviderStamp, type ProjectKibiConfig, type SearchHintsV1, type SemanticClassifierV1, type SymbolExtractorV1, type SymbolExtractorV2, type VocabularyAlignmentV1 } from "kibi-plugin-sdk";
 import { type LoadPluginOptions, loadPluginPackage } from "./load-plugin.js";
 export type BuiltinPluginFactory = () => KibiPluginV1 | Promise<KibiPluginV1>;
 export type CapabilityProviderBinding<T> = Readonly<{
@@ -32,6 +32,12 @@ export type CapabilityRegistryOptions = Readonly<{
     loadPlugin?: (workspaceRoot: string, packageName: string, options?: LoadPluginOptions) => Promise<Awaited<ReturnType<typeof loadPluginPackage>>>;
     loadPluginOptions?: LoadPluginOptions;
 }>;
+/**
+ * Search hints have no builtin answer: without a configured provider there
+ * are no hints. A builtin package that predates the capability resolves to
+ * this host no-op instead of failing the search.
+ */
+export declare const NO_SEARCH_HINTS: SearchHintsV1;
 /**
  * Minimal builtin used when no factory is injected and the builtin package is
  * not yet wired. Satisfies kibi.plugin.v1 validation.
@@ -61,6 +67,7 @@ export declare class CapabilityRegistry {
     resolveSymbolExtractors(): Promise<CapabilityModeResolution<SymbolExtractorV1>>;
     resolveSymbolExtractorsV2(): Promise<CapabilityModeResolution<SymbolExtractorV2>>;
     resolveVocabularyAlignment(): Promise<CapabilityModeResolution<VocabularyAlignmentV1>>;
+    resolveSearchHints(): Promise<CapabilityModeResolution<SearchHintsV1>>;
     resolveCapability(capabilityId: CapabilityId): Promise<CapabilityModeResolution<unknown>>;
     /**
      * Canonical providers only (builtin + optional replace + augment).

package/dist/plugins/registry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/plugins/registry.ts"],"names":[],"mappings":"AAkBA,OAAO,EAGL,KAAK,YAAY,EAGjB,KAAK,YAAY,EAEjB,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EAKtB,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EAEtB,KAAK,qBAAqB,EAG3B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,KAAK,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAK7E,MAAM,MAAM,oBAAoB,GAAG,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;AAG9E,MAAM,MAAM,yBAAyB,CAAC,CAAC,IAAI,QAAQ,CAAC;IAClD,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;IAC7B,WAAW,EAAE,iBAAiB,CAAC;IAC/B,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,CAAC,CAAC;IACd,KAAK,EAAE,mBAAmB,CAAC;CAC5B,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,CAAC,CAAC,IAAI,QAAQ,CAAC;IACjD,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACtC,wDAAwD;IACxD,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;IAC7C,0DAA0D;IAC1D,OAAO,EAAE,SAAS,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,+DAA+D;IAC/D,MAAM,EAAE,SAAS,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;CACjD,CAAC,CAAC;AAGH,MAAM,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAC/C,aAAa,EAAE,MAAM,CAAC;IACtB,yDAAyD;IACzD,cAAc,CAAC,EAAE,oBAAoB,CAAC;IACtC,sEAAsE;IACtE,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAClC,kDAAkD;IAClD,UAAU,CAAC,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,iBAAiB,CAAC;IAC1D,0CAA0C;IAC1C,UAAU,CAAC,EAAE,CACX,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,iBAAiB,KACxB,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAC5D,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACvC,CAAC,CAAC;AAmBH;;;GAGG;AAEH,wBAAgB,uBAAuB,IAAI,YAAY,CAgEtD;AA4GD;;;;GAIG;AAEH,qBAAa,kBAAkB;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAuB;IACtD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA+C;IAC1E,OAAO,CAAC,QAAQ,CAAC,UAAU,CAEzB;IACF,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAgC;IAClE,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgC;IAE/D,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,aAAa,CAAyC;IAC9D,OAAO,CAAC,QAAQ,CAAC,cAAc,CAG3B;IACJ,OAAO,CAAC,QAAQ,CAAC,eAAe,CAG5B;gBAEQ,OAAO,EAAE,yBAAyB;IASxC,gBAAgB,IAAI,OAAO,CAAC,YAAY,CAAC;IAOzC,gBAAgB,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAQ9C,0BAA0B,IAAI,OAAO,CACzC,wBAAwB,CAAC,oBAAoB,CAAC,CAC/C;IAMK,oBAAoB,IAAI,OAAO,CACnC,wBAAwB,CAAC,cAAc,CAAC,CACzC;IAMK,uBAAuB,IAAI,OAAO,CACtC,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C;IAOK,yBAAyB,IAAI,OAAO,CACxC,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C;IAMK,0BAA0B,IAAI,OAAO,CACzC,wBAAwB,CAAC,qBAAqB,CAAC,CAChD;IAMK,iBAAiB,CACrB,YAAY,EAAE,YAAY,GACzB,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAc7C;;;OAGG;IACH,kBAAkB,CAAC,CAAC,EAClB,UAAU,EAAE,wBAAwB,CAAC,CAAC,CAAC,GACtC,SAAS,yBAAyB,CAAC,CAAC,CAAC,EAAE;YAO5B,yBAAyB;YAyFzB,mBAAmB;CAsBlC;AAED;;GAEG;AAEH,qBAAa,uBAAuB;IAClC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAyC;IAEpE,GAAG,CAAC,aAAa,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAI1D,WAAW,CACT,aAAa,EAAE,MAAM,EACrB,OAAO,CAAC,EAAE,IAAI,CAAC,yBAAyB,EAAE,eAAe,CAAC,GACzD,kBAAkB;IAWrB,GAAG,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,GAAG,IAAI;IAI9D,KAAK,IAAI,IAAI;CAGd;AAGD,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,yBAAyB,GACjC,kBAAkB,CAEpB;AAGD,wBAAgB,6BAA6B,IAAI,uBAAuB,CAEvE;AAGD,MAAM,MAAM,+BAA+B,GAAG,yBAAyB,GAAG;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,uBAAuB,CAAC;CAC1C,CAAC;AAEF;;;GAGG;AAEH,wBAAgB,wBAAwB,CACtC,sBAAsB,EAAE,MAAM,GAAG,+BAA+B,EAChE,OAAO,CAAC,EAAE,IAAI,CAAC,yBAAyB,EAAE,eAAe,CAAC,GAAG;IAC3D,QAAQ,CAAC,KAAK,CAAC,EAAE,uBAAuB,CAAC;CAC1C,GACA,kBAAkB,CAoBpB"}
+{"version":3,"file":"registry.d.ts","sourceRoot":"","sources":["../../src/plugins/registry.ts"],"names":[],"mappings":"AAkBA,OAAO,EAGL,KAAK,YAAY,EAGjB,KAAK,YAAY,EAEjB,KAAK,cAAc,EACnB,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,iBAAiB,EAMtB,KAAK,aAAa,EAClB,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACtB,KAAK,iBAAiB,EAEtB,KAAK,qBAAqB,EAG3B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,KAAK,iBAAiB,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AAK7E,MAAM,MAAM,oBAAoB,GAAG,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;AAG9E,MAAM,MAAM,yBAAyB,CAAC,CAAC,IAAI,QAAQ,CAAC;IAClD,QAAQ,EAAE,MAAM,CAAC;IACjB,aAAa,EAAE,MAAM,CAAC;IACtB,WAAW,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;IAC7B,WAAW,EAAE,iBAAiB,CAAC;IAC/B,QAAQ,EAAE,OAAO,CAAC;IAClB,UAAU,EAAE,CAAC,CAAC;IACd,KAAK,EAAE,mBAAmB,CAAC;CAC5B,CAAC,CAAC;AAGH,MAAM,MAAM,wBAAwB,CAAC,CAAC,IAAI,QAAQ,CAAC;IACjD,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC,CAAC;IACtC,wDAAwD;IACxD,OAAO,EAAE,yBAAyB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC;IAC7C,0DAA0D;IAC1D,OAAO,EAAE,SAAS,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;IACjD,+DAA+D;IAC/D,MAAM,EAAE,SAAS,yBAAyB,CAAC,CAAC,CAAC,EAAE,CAAC;CACjD,CAAC,CAAC;AAGH,MAAM,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAC/C,aAAa,EAAE,MAAM,CAAC;IACtB,yDAAyD;IACzD,cAAc,CAAC,EAAE,oBAAoB,CAAC;IACtC,sEAAsE;IACtE,aAAa,CAAC,EAAE,iBAAiB,CAAC;IAClC,kDAAkD;IAClD,UAAU,CAAC,EAAE,CAAC,aAAa,EAAE,MAAM,KAAK,iBAAiB,CAAC;IAC1D,0CAA0C;IAC1C,UAAU,CAAC,EAAE,CACX,aAAa,EAAE,MAAM,EACrB,WAAW,EAAE,MAAM,EACnB,OAAO,CAAC,EAAE,iBAAiB,KACxB,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC;IAC5D,iBAAiB,CAAC,EAAE,iBAAiB,CAAC;CACvC,CAAC,CAAC;AAqBH;;;;GAIG;AAEH,eAAO,MAAM,eAAe,EAAE,aAI7B,CAAC;AAEF;;;GAGG;AAEH,wBAAgB,uBAAuB,IAAI,YAAY,CAgEtD;AA6GD;;;;GAIG;AAEH,qBAAa,kBAAkB;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAuB;IACtD,OAAO,CAAC,QAAQ,CAAC,UAAU,CAA+C;IAC1E,OAAO,CAAC,QAAQ,CAAC,UAAU,CAEzB;IACF,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAAgC;IAClE,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgC;IAE/D,OAAO,CAAC,oBAAoB,CAAoC;IAChE,OAAO,CAAC,aAAa,CAAyC;IAC9D,OAAO,CAAC,QAAQ,CAAC,cAAc,CAG3B;IACJ,OAAO,CAAC,QAAQ,CAAC,eAAe,CAG5B;gBAEQ,OAAO,EAAE,yBAAyB;IASxC,gBAAgB,IAAI,OAAO,CAAC,YAAY,CAAC;IAOzC,gBAAgB,IAAI,OAAO,CAAC,iBAAiB,CAAC;IAQ9C,0BAA0B,IAAI,OAAO,CACzC,wBAAwB,CAAC,oBAAoB,CAAC,CAC/C;IAMK,oBAAoB,IAAI,OAAO,CACnC,wBAAwB,CAAC,cAAc,CAAC,CACzC;IAMK,uBAAuB,IAAI,OAAO,CACtC,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C;IAOK,yBAAyB,IAAI,OAAO,CACxC,wBAAwB,CAAC,iBAAiB,CAAC,CAC5C;IAMK,0BAA0B,IAAI,OAAO,CACzC,wBAAwB,CAAC,qBAAqB,CAAC,CAChD;IAOK,kBAAkB,IAAI,OAAO,CAAC,wBAAwB,CAAC,aAAa,CAAC,CAAC;IAMtE,iBAAiB,CACrB,YAAY,EAAE,YAAY,GACzB,OAAO,CAAC,wBAAwB,CAAC,OAAO,CAAC,CAAC;IAc7C;;;OAGG;IACH,kBAAkB,CAAC,CAAC,EAClB,UAAU,EAAE,wBAAwB,CAAC,CAAC,CAAC,GACtC,SAAS,yBAAyB,CAAC,CAAC,CAAC,EAAE;YAO5B,yBAAyB;YA6FzB,mBAAmB;CAsBlC;AAED;;GAEG;AAEH,qBAAa,uBAAuB;IAClC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAyC;IAEpE,GAAG,CAAC,aAAa,EAAE,MAAM,GAAG,kBAAkB,GAAG,SAAS;IAI1D,WAAW,CACT,aAAa,EAAE,MAAM,EACrB,OAAO,CAAC,EAAE,IAAI,CAAC,yBAAyB,EAAE,eAAe,CAAC,GACzD,kBAAkB;IAWrB,GAAG,CAAC,aAAa,EAAE,MAAM,EAAE,QAAQ,EAAE,kBAAkB,GAAG,IAAI;IAI9D,KAAK,IAAI,IAAI;CAGd;AAGD,wBAAgB,wBAAwB,CACtC,OAAO,EAAE,yBAAyB,GACjC,kBAAkB,CAEpB;AAGD,wBAAgB,6BAA6B,IAAI,uBAAuB,CAEvE;AAGD,MAAM,MAAM,+BAA+B,GAAG,yBAAyB,GAAG;IACxE,QAAQ,CAAC,KAAK,CAAC,EAAE,uBAAuB,CAAC;CAC1C,CAAC;AAEF;;;GAGG;AAEH,wBAAgB,wBAAwB,CACtC,sBAAsB,EAAE,MAAM,GAAG,+BAA+B,EAChE,OAAO,CAAC,EAAE,IAAI,CAAC,yBAAyB,EAAE,eAAe,CAAC,GAAG;IAC3D,QAAQ,CAAC,KAAK,CAAC,EAAE,uBAAuB,CAAC;CAC1C,GACA,kBAAkB,CAoBpB"}

package/dist/plugins/registry.js

@@ -15,7 +15,7 @@
  You should have received a copy of the GNU Affero General Public License
  along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */
-import { CHECK_POLICY_CAPABILITY_ID, CHECK_POLICY_CONTRACT_VERSION, KIBI_PLUGIN_API_VERSION, ONTOLOGY_PACK_CAPABILITY_ID, SEMANTIC_CLASSIFIER_CAPABILITY_ID, SYMBOL_EXTRACTOR_CAPABILITY_ID, SYMBOL_EXTRACTOR_V2_CAPABILITY_ID, VOCABULARY_ALIGNMENT_CAPABILITY_ID, defineKibiPlugin, validateKibiPlugin, } from "kibi-plugin-sdk";
+import { CHECK_POLICY_CAPABILITY_ID, CHECK_POLICY_CONTRACT_VERSION, KIBI_PLUGIN_API_VERSION, ONTOLOGY_PACK_CAPABILITY_ID, SEARCH_HINTS_CAPABILITY_ID, SEMANTIC_CLASSIFIER_CAPABILITY_ID, SYMBOL_EXTRACTOR_CAPABILITY_ID, SYMBOL_EXTRACTOR_V2_CAPABILITY_ID, VOCABULARY_ALIGNMENT_CAPABILITY_ID, defineKibiPlugin, validateKibiPlugin, } from "kibi-plugin-sdk";
 import { loadPluginPackage } from "./load-plugin.js";
 import { readProjectKibiConfig } from "./project-config.js";
 import { PluginResolutionError } from "./resolve-package.js";
@@ -26,6 +26,18 @@ const CAPABILITY_SLOT = {
     [SYMBOL_EXTRACTOR_V2_CAPABILITY_ID]: "symbolExtractorV2",
     [VOCABULARY_ALIGNMENT_CAPABILITY_ID]: "vocabularyAlignment",
     [CHECK_POLICY_CAPABILITY_ID]: "checkPolicy",
+    [SEARCH_HINTS_CAPABILITY_ID]: "searchHints",
+};
+/**
+ * Search hints have no builtin answer: without a configured provider there
+ * are no hints. A builtin package that predates the capability resolves to
+ * this host no-op instead of failing the search.
+ */
+// implements REQ-kibi-search-hints-host
+export const NO_SEARCH_HINTS = {
+    id: "kibi-host.search-hints.none",
+    model: "none",
+    hint: () => ({ hints: [] }),
 };
 /**
  * Minimal builtin used when no factory is injected and the builtin package is
@@ -214,6 +226,10 @@ export class CapabilityRegistry {
     async resolveVocabularyAlignment() {
         return this.resolveCapability(VOCABULARY_ALIGNMENT_CAPABILITY_ID);
     }
+    // implements REQ-kibi-search-hints-host
+    async resolveSearchHints() {
+        return this.resolveCapability(SEARCH_HINTS_CAPABILITY_ID);
+    }
     async resolveCapability(capabilityId) {
         const cached = this.capabilityCache.get(capabilityId);
         if (cached)
@@ -240,7 +256,10 @@ export class CapabilityRegistry {
     }
     async buildCapabilityResolution(capabilityId) {
         const builtinPlugin = await this.getBuiltinPlugin();
-        const builtinCapability = capabilityFromPlugin(builtinPlugin, capabilityId);
+        const builtinCapability = capabilityFromPlugin(builtinPlugin, capabilityId) ??
+            (capabilityId === SEARCH_HINTS_CAPABILITY_ID
+                ? NO_SEARCH_HINTS
+                : undefined);
         if (!builtinCapability) {
             throw new PluginResolutionError("BUILTIN_MISSING_CAPABILITY", `Builtin plugin '${builtinPlugin.id}' does not provide ${capabilityId}`);
         }
@@ -255,7 +274,7 @@ export class CapabilityRegistry {
             [builtinPlugin.id, "kibi-plugin-builtin"],
         ]);
         const providerIds = new Set([
-            capabilityFromPlugin(builtinPlugin, capabilityId)?.id ?? builtinPlugin.id,
+            builtinCapability.id ?? builtinPlugin.id,
         ]);
         for (const entry of relevant) {
             const modeConfig = entry.capabilities[capabilityId];

package/dist/prolog/codec.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/prolog/codec.ts"],"names":[],"mappings":"AAUA;;;GAGG;AAEH;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAYhD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAIlD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CASpD;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGvD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAU5D;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GACrC,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAO9B;AAED,wBAAgB,uBAAuB,CAAC,CAAC,EACvC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EAClC,QAAQ,EAAE,CAAC,GACV,CAAC,GAAG,IAAI,CAEV;AAID,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACtC,QAAQ,EAAE,MAAM,GACf,OAAO,CAoCT;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAMjD;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GACrC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAiBzB;AAED,wBAAgB,sBAAsB,CAEpC,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAGzB;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqB3E;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAuD3E;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CA6D5D;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAG7E;AAuFD,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAGtE;AAYD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAUvD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAenD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAmBlE;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAoBzE;AAyCD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,EAAE,CA6DjE"}
+{"version":3,"file":"codec.d.ts","sourceRoot":"","sources":["../../src/prolog/codec.ts"],"names":[],"mappings":"AAUA;;;GAGG;AAEH;;;;GAIG;AACH,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAYhD;AAED;;;GAGG;AACH,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAIlD;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CASpD;AAED;;;GAGG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGvD;AAED;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,EAAE,CAU5D;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GACrC,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAO9B;AAED,wBAAgB,uBAAuB,CAAC,CAAC,EACvC,IAAI,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EAClC,QAAQ,EAAE,CAAC,GACV,CAAC,GAAG,IAAI,CAEV;AAID,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,EACtC,QAAQ,EAAE,MAAM,GACf,OAAO,CAoCT;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAMjD;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,GACrC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAiBzB;AAED,wBAAgB,sBAAsB,CAEpC,UAAU,EAAE,MAAM,GACjB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAGzB;AAED,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAqB3E;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAuD3E;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO,CA6D5D;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAG7E;AA2ED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,MAAM,EAAE,CAGtE;AAYD,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAUvD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAenD;AAED,wBAAgB,aAAa,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAmBlE;AAED,wBAAgB,YAAY,CAAC,GAAG,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAoBzE;AAyCD;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,kBAAkB,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe,EAAE,CA6DjE"}