Revert "build: engines ship on npm as @axiomcode/engine-<os>-<cpu>" (#478)

.gitignore

@@ -10,8 +10,6 @@
 # ── Dependencies ─────────────────────────────────────────────────────────────
 node_modules
 node_modules/
-# and the bare name: `node_modules/` matches a directory only, so a symlink named node_modules slips past it
-node_modules
 jspm_packages/
 web_modules/
 .pnp

bin/axiomcode

@@ -26,8 +26,7 @@
 #   bin/axiomcode engine --language L --client-ir <ir-dir>/<lang> --out <dir> [options]
 #   bin/axiomcode test   [java|typescript|python|javascript|parser|all] [suite options]
 #
-# Requires Node ≥ 22.5; no Soufflé or compiler (the engine comes from npm as @axiomcode/engine-<os>-<cpu>,
-# or is compiled locally when souffle is present).
+# Requires Node ≥ 22.5; no Soufflé or compiler (binaries/, or a local souffle if present).
 # ─────────────────────────────────────────────────────────────────────────────
 set -eu
 # RESOLVE $0 THROUGH SYMLINKS BEFORE THE WALK. npm installs a `bin` entry as a link in

graph/pipeline/portable-stat.sh

@@ -52,13 +52,3 @@ sha1_stdin(){
   [ -n "$_SHA1_CMD" ] || { echo "neither shasum nor sha1sum is on PATH" >&2; return 1; }
   "$_SHA1_CMD" | cut -d' ' -f1
 }
-
-# sha256 of stdin, for the engine id. Same three spellings as sha1 above: `shasum -a 256`
-# (macOS, perl shasum in Git Bash) or `sha256sum` (coreutils).
-if command -v sha256sum >/dev/null 2>&1;  then _SHA256_CMD="sha256sum"
-elif command -v shasum >/dev/null 2>&1;   then _SHA256_CMD="shasum -a 256"
-else _SHA256_CMD=""; fi
-sha256_stdin(){
-  [ -n "$_SHA256_CMD" ] || { echo "neither sha256sum nor shasum is on PATH" >&2; return 1; }
-  $_SHA256_CMD | cut -d' ' -f1
-}

graph/test/java/run-tests.sh

@@ -124,19 +124,6 @@ if ! bash "$ROOT/graph/test/tools/bundle-test.sh"; then
   echo "aborting: the bundle stage does not produce the documented output"
   exit 1
 fi
-# ── The engine id and the packaged-engine path ───────────────────────────────
-# A machine without souffle finds its binary by the id the rules hash to, so the id must be
-# the same from any path and different for any rule change; and the engine package npm
-# installed must be used only when its ENGINE_ID matches. Both run without souffle or
-# network, in seconds.
-if ! bash "$ROOT/graph/test/tools/engine-id-test.sh"; then
-  echo "aborting: the engine id is not a function of the rules alone"
-  exit 1
-fi
-if ! bash "$ROOT/graph/test/tools/engine-package-test.sh"; then
-  echo "aborting: the packaged-engine path does not check what it runs"
-  exit 1
-fi
 PARSER="${AXIOM_PARSER:-$ROOT/parser/dist/index.js}"
 WORK="$HERE/.work"
 BLESS=0; KEEP=0; ORACLE=0; FILTERS=()

graph/test/tools/engine-id-locale-test.sh

@@ -68,7 +68,11 @@ RS="$ROOT/graph/pipeline/run-souffle.sh"
 # a different guard for a different line, so it reported the pin present after the pin had
 # been deleted. That is the same shape of defect this whole test exists for: a check that
 # cannot fail is not a check.
+# The program is assembled inside write_program() where that exists, and inline under the
+# "generate combined program" marker where it does not. Accept either, so this keeps
+# measuring the guard across both shapes of the executor.
 wp="$(grep -n 'write_program()' "$RS" | head -1 | cut -d: -f1)"
+[ -n "$wp" ] || wp="$(grep -n 'generate combined program' "$RS" | head -1 | cut -d: -f1)"
 gl="$(awk -v s="${wp:-1}" 'NR>s && /for f in "\$ENG/ {print NR; exit}' "$RS")"
 if [ -z "$wp" ] || [ -z "$gl" ]; then
   bad "cannot locate write_program and its first rule glob in run-souffle.sh; this test no longer measures anything"

package.json

@@ -26,12 +26,6 @@
     "parser"
   ],
   "license": "FSL-1.1-Apache-2.0",
-  "optionalDependencies": {
-    "@axiomcode/engine-darwin-arm64": "0.1.0",
-    "@axiomcode/engine-linux-x64": "0.1.0",
-    "@axiomcode/engine-linux-arm64": "0.1.0",
-    "@axiomcode/engine-win32-x64": "0.1.0"
-  },
   "bin": {
     "axiomcode": "bin/axiomcode"
   },