eyeling 1.8.1 → 1.8.2

package/README.md

@@ -117,7 +117,6 @@ Options:
   -a, --ast               Print parsed AST as JSON and exit.
   -e, --enforce-https     Rewrite http:// IRIs to https:// for log dereferencing builtins.
   -h, --help              Show this help and exit.
-  -n, --no-proof-comments Disable proof explanations (default).
   -p, --proof-comments    Enable proof explanations.
   -r, --strings           Print log:outputString strings (ordered by key) instead of N3 output.
   -s, --super-restricted  Disable all builtins except => and <=.
@@ -136,7 +135,7 @@ By default, `eyeling`:
 
 For each newly derived triple, `eyeling` prints:
 
-1. a proof-style comment block explaining why the triple holds (unless `-n`), and then
+1. a proof-style comment block explaining why the triple holds, and then
 2. the triple itself in N3/Turtle syntax.
 
 The proof comments are compact “local justifications” per derived triple (not a single exported global proof tree).

package/eyeling.js

@@ -7449,7 +7449,6 @@ function main() {
       `  -a, --ast               Print parsed AST as JSON and exit.\n` +
       `  -e, --enforce-https     Rewrite http:// IRIs to https:// for log dereferencing builtins.\n` +
       `  -h, --help              Show this help and exit.\n` +
-      `  -n, --no-proof-comments Disable proof explanations (default).\n` +
       `  -p, --proof-comments    Enable proof explanations.\n` +
       `  -r, --strings           Print log:outputString strings (ordered by key) instead of N3 output.\n` +
       `  -s, --super-restricted  Disable all builtins except => and <=.\n` +
@@ -7488,12 +7487,6 @@ function main() {
     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;
-  }
-
   // --super-restricted / -s: disable all builtins except => / <=
   if (argv.includes('--super-restricted') || argv.includes('-s')) {
     superRestrictedMode = true;

package/package.json

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