eyeprolog 1.5.95 → 1.5.96

package/README.md

@@ -96,8 +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 generate`: rebuild generated library and book files.
 
-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 still 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).
+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).
 
 EyeProlog is released under the [MIT License](LICENSE.md).

package/examples/book/README.md

@@ -8,9 +8,11 @@ not extracted.
 Regenerate them from the repository root with:
 
 ```sh
-npm run generate
+node tools/extract-book-examples.mjs
 ```
 
+`npm version` regenerates this directory automatically as part of its release checks.
+
 ## Chapter 1: A program is a little theory
 
 - [01-parent.pl](chapter-01/01-parent.pl)

package/package.json

@@ -3,7 +3,7 @@
   "publishConfig": {
     "access": "public"
   },
-  "version": "1.5.95",
+  "version": "1.5.96",
   "description": "EyeProlog turns facts and rules into answers and proofs.",
   "type": "module",
   "main": "./index.js",
@@ -46,8 +46,7 @@
   },
   "scripts": {
     "test": "node test/run-all.mjs",
-    "generate": "node tools/generate-library-autoload-index.mjs && node tools/generate-predicate-reference.mjs && node tools/extract-book-examples.mjs",
-    "preversion": "npm test && node test/run-neumerkel.mjs --cached --update-report && node test/run-conformance-report.mjs conformance-report.md && git add test/conformance/NEUMERKEL-LATEST.md conformance-report.md",
+    "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/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(), ['generate', 'postversion', 'preversion', 'test'], 'small npm command surface');
+        assertArrayEqual(Object.keys(pkg.scripts).sort(), ['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');

package/test/run-neumerkel-tests.mjs

@@ -126,12 +126,18 @@ export function runNeumerkelHarnessTests(reporter = new TestReporter()) {
     const pkg = JSON.parse(fs.readFileSync(path.join(packageRoot, 'package.json'), 'utf8'));
     const scripts = pkg.scripts ?? {};
     const releaseSteps = String(scripts.preversion ?? '').split(' && ');
-    if (releaseSteps[0] !== 'npm test' || releaseSteps[1] !== 'node test/run-neumerkel.mjs --cached --update-report') {
+    if (releaseSteps[0] !== 'node tools/generate-library-autoload-index.mjs' ||
+        releaseSteps[1] !== 'node tools/generate-predicate-reference.mjs' ||
+        releaseSteps[2] !== 'node tools/extract-book-examples.mjs') {
+      throw new Error('preversion must regenerate the library index, predicate reference, and book examples first');
+    }
+    if (releaseSteps[3] !== 'npm test' || releaseSteps[4] !== 'node test/run-neumerkel.mjs --cached --update-report') {
       throw new Error('preversion must synchronize the tracked report from the successful npm test snapshot');
     }
-    if (releaseSteps[2] !== 'node test/run-conformance-report.mjs conformance-report.md' ||
-        releaseSteps[3] !== 'git add test/conformance/NEUMERKEL-LATEST.md conformance-report.md' || releaseSteps.length !== 4) {
-      throw new Error('preversion must generate and stage both reports without another fetch');
+    if (releaseSteps[5] !== 'node test/run-conformance-report.mjs conformance-report.md' ||
+        releaseSteps[6] !== 'git add src/library-autoload-index.js the-art-of-eyeprolog.md examples/book ' +
+          'test/conformance/NEUMERKEL-LATEST.md conformance-report.md' || releaseSteps.length !== 7) {
+      throw new Error('preversion must generate and stage the library index, book files, and both reports without another fetch');
     }
   });
 

package/tools/extract-book-examples.mjs

@@ -86,9 +86,11 @@ const readme = [
   'Regenerate them from the repository root with:',
   '',
   '```sh',
-  'npm run generate',
+  'node tools/extract-book-examples.mjs',
   '```',
   '',
+  '`npm version` regenerates this directory automatically as part of its release checks.',
+  '',
 ];
 
 let total = 0;

package/tools/generate-library-autoload-index.mjs

@@ -97,7 +97,7 @@ const text = `// Generated by tools/generate-library-autoload-index.mjs.\n` +
 if (process.argv.includes('--check')) {
   const current = fs.existsSync(outputFile) ? fs.readFileSync(outputFile, 'utf8') : '';
   if (current !== text) {
-    console.error(`${path.relative(root, outputFile)} is stale; run npm run generate`);
+    console.error(`${path.relative(root, outputFile)} is stale; run node tools/generate-library-autoload-index.mjs (npm version regenerates it automatically)`);
     process.exit(1);
   }
   console.log(`${path.relative(root, outputFile)} is up to date`);

package/tools/generate-predicate-reference.mjs

@@ -209,7 +209,7 @@ const wanted = expectedBook(book, generated);
 
 if (process.argv.includes('--check')) {
   if (wanted !== book) {
-    console.error(`${path.relative(root, bookFile)} predicate reference is stale; run npm run generate`);
+    console.error(`${path.relative(root, bookFile)} predicate reference is stale; run node tools/generate-predicate-reference.mjs (npm version regenerates it automatically)`);
     process.exit(1);
   }
   console.log(`${path.relative(root, bookFile)} predicate reference is up to date (${surface.indicators.length} predicates)`);