formal-ai 0.244.0

Formal symbolic AI implementation with OpenAI-compatible APIs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

// Universal solver implementation for the demo worker.
//
// Every reasoning path here mirrors the Rust `FormalAiEngine` in
// `src/solver.rs` so the website, CLI, Telegram bot, library, and HTTP server
// all produce the same answers for the same prompts. The answer the user
// sees is always a projection of an append-only event log — there is no
// hardcoded prompt→answer table.
//
// All multilingual phrases, concept summaries, and the tool registry are
// loaded from `seed/*.lino` files at startup via `seed_loader.js`. Editing a
// `.lino` file is enough to retune the agent — no JavaScript change required.

function currentAssetVersion() {
  try {
    const search = self.location && self.location.search;
    const match = search && /[?&]v=([^&]+)/.exec(search);
    return match ? decodeURIComponent(match[1].replace(/\+/g, " ")) : "";
  } catch (_error) {
    return "";
  }
}

function withAssetVersion(url) {
  const version = currentAssetVersion();
  if (!version) return url;
  return `${url}${url.includes("?") ? "&" : "?"}v=${encodeURIComponent(
    version,
  )}`;
}

try {
  importScripts(withAssetVersion("seed_loader.js"));
} catch (_error) {
  // Seed loader is optional: tests that mock the worker may exclude it.
}

const FORMAL_AI_WORKER_MODULES = [
  "worker/formal_ai_worker_00.js",
  "worker/formal_ai_worker_01.js",
  "worker/formal_ai_worker_02.js",
  "worker/formal_ai_worker_03.js",
  "worker/formal_ai_worker_04.js",
  "worker/formal_ai_worker_05.js",
  "worker/formal_ai_worker_06.js",
  "worker/formal_ai_worker_07.js",
  "worker/formal_ai_worker_08.js",
  "worker/formal_ai_worker_09.js",
  "worker/formal_ai_worker_10.js",
  "worker/formal_ai_worker_11.js",
  "worker/formal_ai_worker_12.js",
  "worker/formal_ai_worker_13.js",
  "worker/formal_ai_worker_14.js",
  "worker/formal_ai_worker_15.js",
  "worker/formal_ai_worker_16.js",
  "worker/formal_ai_worker_17.js",
  "worker/formal_ai_worker_18.js",
  "worker/formal_ai_worker_19.js",
  "worker/formal_ai_worker_20.js",
];

for (const modulePath of FORMAL_AI_WORKER_MODULES) {
  importScripts(withAssetVersion(modulePath));
}