eyeprolog 1.6.10 → 1.6.12

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.10",
+  "version": "1.6.12",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",

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/README.md

@@ -13,6 +13,7 @@ node test/run-conformance-all.mjs   # conformance layers; accepts --offline
 node test/run-iso-strict.mjs        # strict ISO core
 node test/run-iso-part2-amendment.mjs
 node test/run-neumerkel.mjs         # live upstream; --cached reproduces last fetch
+                                    # --verify-report fails on a stale tracked report
 node test/run-neumerkel-tests.mjs   # upstream-fetch harness
 node test/run-examples.mjs
 node test/run-playground.mjs
@@ -23,8 +24,11 @@ node test/run-http-json.mjs
 node test/run-interop.mjs           # requires the comparison engines
 ```
 
-These runners retain their existing options; there is no separate npm alias for
-each one. Focused checks do not replace the full release gate.
+These runners retain their existing options. The single alias is
+`npm run neumerkel`, for `node test/run-neumerkel.mjs --verify-report`: the
+release gate only warns when the tracked upstream report has gone stale, and
+that alias makes it an error instead. Every other runner is invoked directly.
+Focused checks do not replace the full release gate.
 
 `run-properties.mjs` is different in kind from the rest of the suite: instead
 of hand-picked inputs, it generates many random ground terms from a seeded

package/test/conformance/README.md

@@ -96,6 +96,7 @@ node test/run-conformance-all.mjs --offline  # same local layers, no network
 node test/run-neumerkel.mjs            # the eight live upstream suites only
 node test/run-neumerkel.mjs --cached     # exact last fetched bytes; reproduction only
 node test/run-neumerkel.mjs --cached --verify-report # verify tracked report against last successful live snapshot
+npm run neumerkel                        # fetch live and fail if the tracked report is stale
 node test/run-iso-strict.mjs                  # Part 1 + Corrigenda strict-core processor gate
 node test/run-iso-part2-amendment.mjs  # 2013 Part 2 amendment module requirements
 ```