eyeprolog 1.6.9 → 1.6.11

package/README.md

@@ -96,6 +96,7 @@ npm test
 The npm command list is deliberately small:
 
 - `npm test` (or `npm run test`): run the release gate, including live upstream conformity checks (WG17 syntax among them).
+- `npm run neumerkel`: re-fetch the upstream Neumerkel conformity sources and fail if the tracked report no longer matches them. The release gate reports that drift as a warning; this command makes it an error, so it answers "are we still current?" on its own.
 
 Use `npm test -- --offline` for a network-free local pass (this also skips the live-discovered WG17 syntax check, since it has no offline snapshot). Focused checks remain available directly, for example `node test/run-regression.mjs docs`; see [test runners](test/README.md). The automatic version hooks rebuild generated library and book files, run the release gate, refresh and stage conformance reports, and push the release. Detailed upstream report maintenance is documented in the [conformance guide](test/conformance/README.md).
 

package/bin/eyeprolog.js

@@ -1,5 +1,22 @@
 #!/usr/bin/env node
-import { main } from '../src/cli.js';
+import module from 'node:module';
+
+// Reuse V8's compilation of the engine between runs. Starting the CLI compiles
+// the whole reasoner before it can answer anything, which dominates the cost of
+// a short query -- the shape most command-line use has. The cache makes that
+// compilation a one-off rather than a per-invocation charge.
+//
+// src/cli.js is imported dynamically on purpose: static imports are evaluated
+// before this module's body runs, so a static one would already have been
+// compiled by the time the cache was enabled.
+//
+// enableCompileCache is Node 22.1+, hence the optional call for the supported
+// Node 18 floor. It reports failure through a return value rather than
+// throwing, and Node honours NODE_DISABLE_COMPILE_CACHE, so an unwritable or
+// unwanted cache directory simply leaves startup as it was.
+module.enableCompileCache?.();
+
+const { main } = await import('../src/cli.js');
 
 await main(process.argv.slice(2)).catch((error) => {
   console.error(`eyeprolog: ${error && error.message ? error.message : String(error)}`);

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.6.9",
+  "version": "1.6.11",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",
@@ -46,6 +46,7 @@
   },
   "scripts": {
     "test": "node test/run-all.mjs",
+    "neumerkel": "node test/run-neumerkel.mjs --verify-report",
     "preversion": "node tools/generate-library-autoload-index.mjs && node tools/generate-predicate-reference.mjs && node tools/extract-book-examples.mjs && npm test && node test/run-neumerkel.mjs --cached --update-report && node test/run-conformance-report.mjs conformance-report.md && git add src/library-autoload-index.js the-art-of-eyeprolog.md examples/book test/conformance/NEUMERKEL-LATEST.md conformance-report.md",
     "postversion": "git push origin HEAD --follow-tags"
   }

package/src/platform.js

@@ -43,6 +43,12 @@ export function usedHeapSize() {
       const oldGeneration = oldGenerationUsedSize();
       if (oldGeneration != null) return oldGeneration;
     }
+    // v8.getHeapStatistics().used_heap_size reports the same quantity as
+    // process.memoryUsage().heapUsed, but memoryUsage() additionally computes
+    // RSS, which costs a syscall, and allocates a result object. The solver
+    // polls this on a fixed inference interval, so the cheaper reading is
+    // worth preferring; memoryUsage stays as the fallback.
+    if (typeof v8?.getHeapStatistics === 'function') return v8.getHeapStatistics().used_heap_size;
     return process.memoryUsage().heapUsed;
   }
   const memory = globalThis.performance?.memory;

package/test/regression/cases-documentation-sync.mjs

@@ -629,7 +629,7 @@ ${profile}`;
         const publishIndex = publishWorkflow.indexOf('run: npm publish');
         assertEqual(testIndex >= 0 && testIndex < publishIndex, true, 'publish workflow test gate');
         assertEqual(packIndex >= 0 && packIndex < publishIndex, true, 'publish workflow package gate');
-        assertArrayEqual(Object.keys(pkg.scripts).sort(), ['postversion', 'preversion', 'test'], 'small npm command surface');
+        assertArrayEqual(Object.keys(pkg.scripts).sort(), ['neumerkel', 'postversion', 'preversion', 'test'], 'small npm command surface');
         assertEqual(pkg.scripts.test, 'node test/run-all.mjs', 'full release gate');
         const runner = fs.readFileSync(path.join(packageRoot, 'test', 'run-all.mjs'), 'utf8');
         assertIncludes(runner, 'runOpenRuleBenchChecks(reporter)', 'OpenRuleBench remains in release gate');