eyeling 1.24.3 → 1.24.4

package/HANDBOOK.md

@@ -251,7 +251,7 @@ is treated internally like:
 :observation rdf:reifies { :sensor :reports :overheating } .
 ```
 
-RDF/TriG named graph blocks are normalized in the same style as `tools/n3gen`:
+RDF/TriG named graph blocks are normalized to ordinary N3 graph terms:
 
 ```trig
 :factoryDataset {
@@ -3883,7 +3883,7 @@ In RDF compatibility mode, Eyeling accepts this surface form by translating the
 :observation rdf:reifies { :sensor :reports :overheating } .
 ```
 
-The dataset example also uses named graph syntax, which RDF compatibility mode normalizes to `log:nameOf` graph terms, matching `tools/n3gen`:
+The dataset example also uses named graph syntax, which RDF compatibility mode normalizes to `log:nameOf` graph terms:
 
 ```trig
 :factoryDataset {

package/dist/browser/eyeling.browser.js

@@ -9588,7 +9588,7 @@ function stripQuotes(lex) {
 //   - RDF 1.2 triple terms <<( s p o )>> become singleton graph terms { s p o }.
 //   - TriG named graph blocks g { ... } become g log:nameOf { ... } .
 //   - A top-level default graph block { ... } is unwrapped into ordinary triples.
-// This mirrors tools/n3gen.js and keeps all downstream parsing/reasoning N3-only.
+// This keeps all downstream parsing/reasoning N3-only.
 const LOG_NAME_OF_IRI = '<http://www.w3.org/2000/10/swap/log#nameOf>';
 
 function normalizeRdfCompatibility(inputText) {

package/eyeling.js

@@ -9588,7 +9588,7 @@ function stripQuotes(lex) {
 //   - RDF 1.2 triple terms <<( s p o )>> become singleton graph terms { s p o }.
 //   - TriG named graph blocks g { ... } become g log:nameOf { ... } .
 //   - A top-level default graph block { ... } is unwrapped into ordinary triples.
-// This mirrors tools/n3gen.js and keeps all downstream parsing/reasoning N3-only.
+// This keeps all downstream parsing/reasoning N3-only.
 const LOG_NAME_OF_IRI = '<http://www.w3.org/2000/10/swap/log#nameOf>';
 
 function normalizeRdfCompatibility(inputText) {

package/lib/lexer.js

@@ -353,7 +353,7 @@ function stripQuotes(lex) {
 //   - RDF 1.2 triple terms <<( s p o )>> become singleton graph terms { s p o }.
 //   - TriG named graph blocks g { ... } become g log:nameOf { ... } .
 //   - A top-level default graph block { ... } is unwrapped into ordinary triples.
-// This mirrors tools/n3gen.js and keeps all downstream parsing/reasoning N3-only.
+// This keeps all downstream parsing/reasoning N3-only.
 const LOG_NAME_OF_IRI = '<http://www.w3.org/2000/10/swap/log#nameOf>';
 
 function normalizeRdfCompatibility(inputText) {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.24.3",
+  "version": "1.24.4",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [
@@ -44,14 +44,13 @@
     "test:packlist": "node test/packlist.test.js",
     "test:api": "node test/api.test.js",
     "test:builtins": "node test/builtins.test.js",
-    "test:n3gen": "node test/n3gen.test.js",
     "test:examples": "node test/examples.test.js",
     "test:see": "node test/see.test.js",
     "test:manifest": "node test/manifest.test.js",
     "test:playground": "node test/playground.test.js",
     "test:package": "node test/package.test.js",
     "pretest": "npm run build && npm run test:packlist",
-    "test": "npm run test:api && npm run test:builtins && npm run test:n3gen && npm run test:examples && npm run test:see && npm run test:manifest && npm run test:playground",
+    "test": "npm run test:api && npm run test:builtins && npm run test:examples && npm run test:see && npm run test:manifest && npm run test:playground",
     "posttest": "npm run test:package",
     "preversion": "npm test",
     "postversion": "git push origin HEAD --follow-tags"

package/see/README.md

@@ -18,7 +18,7 @@ Each example starts from a Notation3 source and is compiled by `see.js` into a s
 
 The trust gate is executable verification. If a required fact is missing, the program fails instead of emitting an unsupported entailment.
 
-The `triple_terms` and `rdf_dataset` examples use RDF 1.2 `<<( ... )>>` triple-term syntax. Eyeling accepts that syntax only with `-r, --rdf`, where it normalizes triple terms to existing N3 singleton graph terms `{ ... }` and prints feasible output graph terms back as RDF 1.2 triple terms. The `rdf_dataset` example also uses an RDF/TriG named graph block, which RDF compatibility mode normalizes to the same `log:nameOf { ... }` graph-term shape emitted by `tools/n3gen` and prints back as a TriG named graph block where feasible; SEE keeps the committed `.trig` input and formal output in RDF 1.2/TriG form.
+The `triple_terms` and `rdf_dataset` examples use RDF 1.2 `<<( ... )>>` triple-term syntax. Eyeling accepts that syntax only with `-r, --rdf`, where it normalizes triple terms to existing N3 singleton graph terms `{ ... }` and prints feasible output graph terms back as RDF 1.2 triple terms. The `rdf_dataset` example also uses an RDF/TriG named graph block, which RDF compatibility mode normalizes to the N3 `log:nameOf { ... }` graph-term shape and prints back as a TriG named graph block where feasible; SEE keeps the committed `.trig` input and formal output in RDF 1.2/TriG form.
 
 
 ## Run

package/see/examples/input/path_discovery.trig

@@ -9,7 +9,7 @@
 @prefix in: <https://example.org/see/input#> .
 
 # Formal SEE input evidence in RDF 1.2 TriG.
-# The generated runner uses the N3 form produced from this file by tools/n3gen.js.
+# The generated runner reads this TriG evidence directly in RDF compatibility mode.
 
 # No source facts were present in the N3 program.
 

package/see/see.js

@@ -554,7 +554,7 @@ function compilationStats(program) {
 
 // Source facts are emitted as RDF 1.2 TriG.  Formulas that appear as objects are
 // lifted into named graphs so the generated runner can load evidence directly
-// from .trig without going through an intermediate n3gen conversion step.
+// from .trig without going through an intermediate conversion step.
 function trigString(value) {
   return JSON.stringify(String(value));
 }

package/test/n3gen.test.js

@@ -1,166 +0,0 @@
-#!/usr/bin/env node
-'use strict';
-
-// Convert examples/input/*.{ttl,trig} -> examples/*.n3 using n3gen.js
-//
-// For reproducibility and to avoid mutating tracked files during tests, generated output
-// is always written to a temporary file and compared against examples/<name>.n3.
-
-const fs = require('node:fs');
-const os = require('node:os');
-const path = require('node:path');
-const cp = require('node:child_process');
-
-const TTY = process.stdout.isTTY;
-const C = TTY
-  ? { g: '\x1b[32m', r: '\x1b[31m', y: '\x1b[33m', dim: '\x1b[2m', n: '\x1b[0m' }
-  : { g: '', r: '', y: '', dim: '', n: '' };
-
-function ok(msg) {
-  console.log(`${C.g}OK ${C.n} ${msg}`);
-}
-function fail(msg) {
-  console.error(`${C.r}FAIL${C.n} ${msg}`);
-}
-function info(msg) {
-  console.log(`${C.y}==${C.n} ${msg}`);
-}
-
-function run(cmd, args, opts = {}) {
-  return cp.spawnSync(cmd, args, {
-    encoding: 'utf8',
-    maxBuffer: 200 * 1024 * 1024,
-    ...opts,
-  });
-}
-
-function mkTmpDir() {
-  return fs.mkdtempSync(path.join(os.tmpdir(), 'eyeling-n3-'));
-}
-
-function rmrf(p) {
-  try {
-    fs.rmSync(p, { recursive: true, force: true });
-  } catch {}
-}
-
-function showDiff({ examplesDir, expectedPath, generatedPath }) {
-  const d = run('diff', ['-u', expectedPath, generatedPath], { cwd: examplesDir });
-  if (d.stdout) process.stdout.write(d.stdout);
-  if (d.stderr) process.stderr.write(d.stderr);
-}
-
-function main() {
-  const suiteStart = Date.now();
-
-  // test/n3gen.test.js -> repo root is one level up
-  const root = path.resolve(__dirname, '..');
-  const examplesDir = path.join(root, 'examples');
-  const inputDir = path.join(examplesDir, 'input');
-  const n3GenJsPath = path.join(root, 'tools/n3gen.js');
-  const nodePath = process.execPath;
-
-  if (!fs.existsSync(examplesDir)) {
-    fail(`Cannot find examples directory: ${examplesDir}`);
-    process.exit(1);
-  }
-  if (!fs.existsSync(inputDir)) {
-    fail(`Cannot find examples/input directory: ${inputDir}`);
-    process.exit(1);
-  }
-  if (!fs.existsSync(n3GenJsPath)) {
-    fail(`Cannot find n3gen.js: ${n3GenJsPath}`);
-    process.exit(1);
-  }
-
-  const inputs = fs
-    .readdirSync(inputDir)
-    .filter((f) => /\.(ttl|trig)$/i.test(f))
-    .sort((a, b) => a.localeCompare(b));
-
-  info(`Running n3 conversions for ${inputs.length} inputs`);
-  console.log(`${C.dim}node ${process.version}${C.n}`);
-
-  if (inputs.length === 0) {
-    ok('No .ttl/.trig files found in examples/input/');
-    process.exit(0);
-  }
-
-  let passed = 0;
-  let failed = 0;
-
-  for (let i = 0; i < inputs.length; i++) {
-    const idx = String(i + 1).padStart(2, '0');
-    const inFile = inputs[i];
-    const start = Date.now();
-
-    const inPath = path.join(inputDir, inFile);
-    const base = inFile.replace(/\.(ttl|trig)$/i, '');
-    const outFile = `${base}.n3`;
-
-    const expectedPath = path.join(examplesDir, outFile);
-
-    if (!fs.existsSync(expectedPath)) {
-      const ms = Date.now() - start;
-      fail(`${idx} ${inFile} -> ${outFile} (${ms} ms)`);
-      fail(`Missing expected examples/${outFile}`);
-      failed++;
-      continue;
-    }
-
-    const tmpDir = mkTmpDir();
-    const generatedPath = path.join(tmpDir, outFile);
-
-    // Run converter (stdout -> file; stderr captured)
-    const outFd = fs.openSync(generatedPath, 'w');
-    const r = cp.spawnSync(nodePath, [n3GenJsPath, inPath], {
-      cwd: root,
-      stdio: ['ignore', outFd, 'pipe'],
-      encoding: 'utf8',
-      maxBuffer: 200 * 1024 * 1024,
-    });
-    fs.closeSync(outFd);
-
-    const rc = r.status == null ? 1 : r.status;
-    const ms = Date.now() - start;
-
-    if (rc !== 0) {
-      fail(`${idx} ${inFile} -> ${outFile} (${ms} ms)`);
-      fail(`Converter exit code ${rc}`);
-      if (r.stderr) process.stderr.write(String(r.stderr));
-      failed++;
-      rmrf(tmpDir);
-      continue;
-    }
-
-    // Compare output (always compare expected vs generated temp file)
-    const d = run('diff', ['-u', expectedPath, generatedPath], { cwd: examplesDir });
-    const diffOk = d.status === 0;
-
-    if (diffOk) {
-      ok(`${idx} ${inFile} -> ${outFile} (${ms} ms)`);
-      passed++;
-    } else {
-      fail(`${idx} ${inFile} -> ${outFile} (${ms} ms)`);
-      fail('Output differs');
-      showDiff({ examplesDir, expectedPath, generatedPath });
-      failed++;
-    }
-
-    rmrf(tmpDir);
-  }
-
-  console.log('');
-  const suiteMs = Date.now() - suiteStart;
-  info(`Total elapsed: ${suiteMs} ms (${(suiteMs / 1000).toFixed(2)} s)`);
-
-  if (failed === 0) {
-    ok(`All n3 conversions passed (${passed}/${inputs.length})`);
-    process.exit(0);
-  } else {
-    fail(`Some n3 conversions failed (${passed}/${inputs.length})`);
-    process.exit(2);
-  }
-}
-
-main();