eyeling 1.6.14 → 1.6.15

package/README.md

@@ -103,16 +103,16 @@ npm run test:packlist
 - `test:package` does a “real consumer” smoke test: `npm pack` → install tarball into a temp project → run API + CLI + examples.
 - `test:packlist` sanity-checks what will be published in the npm tarball (and the CLI shebang/bin wiring).
 
-### Run a single file
+### Usage
 
-From the repo root:
-
-```bash
-# Option 1: use the shebang (Unix-like)
-./eyeling.js examples/socrates.n3
+```
+Usage: eyeling.js [options] <file.n3>
 
-# Option 2: explicit node
-node eyeling.js examples/socrates.n3
+Options:
+  -h, --help              Show this help and exit.
+  -v, --version           Print version and exit.
+  -p, --proof-comments    Enable proof explanations.
+  -n, --no-proof-comments Disable proof explanations (default).
 ```
 
 By default, `eyeling`:
@@ -122,17 +122,6 @@ By default, `eyeling`:
 3. prints only **newly derived forward facts** (not the original input facts)
 4. prints a compact per-triple explanation as `#` comments (can be disabled)
 
-### Options
-
-```bash
-node eyeling.js --version
-node eyeling.js -v
-
-# Disable proof comments (print only derived triples)
-node eyeling.js --no-proof-comments examples/socrates.n3
-node eyeling.js -n examples/socrates.n3
-```
-
 ## What output do I get?
 
 For each newly derived triple, `eyeling` prints:

package/eyeling.js

@@ -75,7 +75,7 @@ const skolemCache = new Map();
 const jsonPointerCache = new Map();
 
 // Controls whether human-readable proof comments are printed.
-let proofCommentsEnabled = true;
+let proofCommentsEnabled = false;
 
 // ----------------------------------------------------------------------------
 // Deterministic time support
@@ -5558,7 +5558,6 @@ function localIsoDateTimeString(d) {
 // ============================================================================
 // CLI entry point
 // ============================================================================
-
 function main() {
   // Drop "node" and script name; keep only user-provided args
   const argv = process.argv.slice(2);
@@ -5566,6 +5565,19 @@ function main() {
   // --------------------------------------------------------------------------
   // Global options
   // --------------------------------------------------------------------------
+  // --help / -h: print help and exit
+  if (argv.includes('--help') || argv.includes('-h')) {
+    console.log(
+      'Usage: eyeling.js [options] <file.n3>\n' +
+        '\n' +
+        'Options:\n' +
+        '  -h, --help              Show this help and exit.\n' +
+        '  -v, --version           Print version and exit.\n' +
+        '  -p, --proof-comments    Enable proof explanations.\n' +
+        '  -n, --no-proof-comments Disable proof explanations (default).\n',
+    );
+    process.exit(0);
+  }
 
   // --version / -v: print version and exit
   if (argv.includes('--version') || argv.includes('-v')) {
@@ -5573,7 +5585,13 @@ function main() {
     process.exit(0);
   }
 
-  // --no-proof-comments / -n: disable proof explanations
+  // --proof-comments / -p: enable proof explanations
+  if (argv.includes('--proof-comments') || argv.includes('-p')) {
+    proofCommentsEnabled = true;
+  }
+
+  // --no-proof-comments / -n: disable proof explanations (default)
+  // Keep this after --proof-comments so -n wins if both are present.
   if (argv.includes('--no-proof-comments') || argv.includes('-n')) {
     proofCommentsEnabled = false;
   }
@@ -5582,9 +5600,16 @@ function main() {
   // Positional args (the N3 file)
   // --------------------------------------------------------------------------
   const positional = argv.filter((a) => !a.startsWith('-'));
-
   if (positional.length !== 1) {
-    console.error('Usage: eyeling.js [--version|-v] [--no-proof-comments|-n] <file.n3>');
+    console.error(
+      'Usage: eyeling.js [options] <file.n3>\n' +
+        '\n' +
+        'Options:\n' +
+        '  -h, --help              Show this help and exit.\n' +
+        '  -v, --version           Print version and exit.\n' +
+        '  -p, --proof-comments    Enable proof explanations.\n' +
+        '  -n, --no-proof-comments Disable proof explanations (default).\n',
+    );
     process.exit(1);
   }
 
@@ -5603,12 +5628,12 @@ function main() {
   const [prefixes, triples, frules, brules] = parser.parseDocument();
   // console.log(JSON.stringify([prefixes, triples, frules, brules], null, 2));
 
-  // Build internal ListTerm values from rdf:first/rdf:rest (+ rdf:nil) input triples
+  // Build internal ListTerm values from rdf:first/rdf:rest (+ rdf:nil)
+  // input triples
   materializeRdfLists(triples, frules, brules);
 
   const facts = triples.filter((tr) => isGroundTriple(tr));
   const derived = forwardChain(facts, frules, brules);
-
   const derivedTriples = derived.map((df) => df.fact);
   const usedPrefixes = prefixes.prefixesUsedForOutput(derivedTriples);
 

package/index.js

@@ -1,4 +1,4 @@
-'use strict';
++'use strict';
 
 const fs = require('node:fs');
 const os = require('node:os');
@@ -13,15 +13,23 @@ function reason(opt = {}, n3_input = '') {
 
   // allow passing an args array directly
   if (Array.isArray(opt)) opt = { args: opt };
+  if (opt == null || typeof opt !== 'object') opt = {};
 
   const args = [];
 
   // default: proof comments OFF for API output (machine-friendly)
   // set { proofComments: true } to keep them
+  const proofCommentsSpecified = typeof opt.proofComments === 'boolean' || typeof opt.noProofComments === 'boolean';
+
   const proofComments =
     typeof opt.proofComments === 'boolean' ? opt.proofComments : typeof opt.noProofComments === 'boolean' ? !opt.noProofComments : false;
 
-  if (!proofComments) args.push('--no-proof-comments'); // CLI already supports this :contentReference[oaicite:1]{index=1}
+  // Only pass a flag when the caller explicitly asked.
+  // (CLI default is now: no proof comments.)
+  if (proofCommentsSpecified) {
+    if (proofComments) args.push('--proof-comments');
+    else args.push('--no-proof-comments');
+  }
 
   if (Array.isArray(opt.args)) args.push(...opt.args);
 
@@ -34,10 +42,7 @@ function reason(opt = {}, n3_input = '') {
     fs.writeFileSync(inputFile, n3_input, 'utf8');
 
     const eyelingPath = path.join(__dirname, 'eyeling.js');
-    const res = cp.spawnSync(process.execPath, [eyelingPath, ...args, inputFile], {
-      encoding: 'utf8',
-      maxBuffer,
-    });
+    const res = cp.spawnSync(process.execPath, [eyelingPath, ...args, inputFile], { encoding: 'utf8', maxBuffer });
 
     if (res.error) throw res.error;
     if (res.status !== 0) {
@@ -47,6 +52,7 @@ function reason(opt = {}, n3_input = '') {
       err.stderr = res.stderr;
       throw err;
     }
+
     return res.stdout;
   } finally {
     fs.rmSync(dir, { recursive: true, force: true });
@@ -54,5 +60,6 @@ function reason(opt = {}, n3_input = '') {
 }
 
 module.exports = { reason };
+
 // small interop nicety for ESM default import
 module.exports.default = module.exports;

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.6.14",
+  "version": "1.6.15",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [