eyeling 1.24.33 → 1.25.0

package/HANDBOOK.md

@@ -793,7 +793,7 @@ Implementation: deterministic Skolem IDs live in `lib/skolem.js`; the per-firing
 A rule whose conclusion is `false` is treated as a hard failure. During forward chaining:
 
 - Eyeling proves the premise (it only needs one solution)
-- if the premise is provable, it prints a message and exits with status code 2
+- if the premise is provable, it prints a message and exits with status code 65 (`EX_DATAERR` in Unix `sysexits.h` terminology)
 
 This is Eyeling’s way to express hard consistency checks and detect inconsistencies.
 
@@ -3417,7 +3417,7 @@ So Eyeling is not only implementing the semantics document; it is also defining
 
 #### G.2.4 Inference fuses (`=> false`) are an engine-level procedural feature
 
-The semantics document discusses `false` in relation to implication and constraints. Eyeling turns `{ ... } => false` into an engine-level hard failure with a visible message and failing exit status. That is a practical tooling feature: it lets a rule act like a checked invariant.
+The semantics document discusses `false` in relation to implication and constraints. Eyeling turns `{ ... } => false` into an engine-level hard failure with a visible message and exit status 65 (`EX_DATAERR`). That is a practical tooling feature: it lets a rule act like a checked invariant.
 
 This is very useful in real programs, but it is an operational behavior of the reasoner, not something a model-theoretic semantics “executes.”
 

package/dist/browser/eyeling.browser.js

@@ -5517,6 +5517,10 @@ const {
   copyQuotedGraphMetadata,
 } = require('./prelude');
 
+// Inference fuses use sysexits.h EX_DATAERR (65): input/rules made a
+// forbidden condition provable, rather than a generic usage/runtime error.
+const INFERENCE_FUSE_EXIT_CODE = 65;
+
 // In N3/Turtle, rdf:nil is the canonical IRI for the empty RDF list.
 // Eyeling represents list literals with ListTerm; ensure rdf:nil unifies with ().
 const RDF_NIL_IRI = RDF_NS + 'nil';
@@ -8445,7 +8449,7 @@ function forwardChain(facts, forwardRules, backRules, onDerived /* optional */,
         // Allow dynamic fuses: ... => ?X. where ?X becomes false
         if (dynTerm instanceof Literal && dynTerm.value === 'false') {
           __printTriggeredFuse(r, opts && opts.prefixes, s, 'Dynamic head resolved to false.');
-          __exitReasoning(2, 'Inference fuse triggered.');
+          __exitReasoning(INFERENCE_FUSE_EXIT_CODE, 'Inference fuse triggered.');
         }
 
         const dynTriples = __graphTriplesOrTrue(dynTerm);
@@ -8606,7 +8610,7 @@ function forwardChain(facts, forwardRules, backRules, onDerived /* optional */,
           // Inference fuse
           if (r.isFuse && sols.length) {
             __printTriggeredFuse(r, opts && opts.prefixes, sols[0]);
-            __exitReasoning(2, 'Inference fuse triggered.');
+            __exitReasoning(INFERENCE_FUSE_EXIT_CODE, 'Inference fuse triggered.');
           }
 
           for (const s of sols) {
@@ -9143,6 +9147,7 @@ module.exports = {
   registerBuiltinModule,
   loadBuiltinModule,
   listBuiltinIris,
+  INFERENCE_FUSE_EXIT_CODE,
 };
 
   };
@@ -9170,6 +9175,7 @@ module.exports = {
   rdfjs: dataFactory,
   main: engine.main,
   version: engine.version,
+  INFERENCE_FUSE_EXIT_CODE: engine.INFERENCE_FUSE_EXIT_CODE,
 
   // internals for playground.html
   lex: engine.lex,

package/dist/browser/index.mjs

@@ -10,6 +10,8 @@ function getBrowserApi() {
   return api;
 }
 
+export const INFERENCE_FUSE_EXIT_CODE = 65;
+
 export function reasonStream(input, opts) {
   return getBrowserApi().reasonStream(input, opts);
 }
@@ -64,6 +66,7 @@ const eyeling = {
   get version() {
     return getBrowserApi().version;
   },
+  INFERENCE_FUSE_EXIT_CODE,
   reasonStream,
   reasonRdfJs,
   rdfjs,

package/examples/fuse.n3

@@ -2,7 +2,7 @@
 # Inference fuse
 # ==============
 
-# expect-exit: 2
+# expect-exit: 65
 
 @prefix : <https://eyereasoner.github.io/ns#>.
 

package/examples/liar.n3

@@ -3,7 +3,7 @@
 # Example from Patrick Hochstenbach
 # =================================
 
-# expect-exit: 2
+# expect-exit: 65
 
 @prefix : <https://eyereasoner.github.io/ns#>.
 @prefix log: <http://www.w3.org/2000/10/swap/log#>.

package/eyeling.js

@@ -5517,6 +5517,10 @@ const {
   copyQuotedGraphMetadata,
 } = require('./prelude');
 
+// Inference fuses use sysexits.h EX_DATAERR (65): input/rules made a
+// forbidden condition provable, rather than a generic usage/runtime error.
+const INFERENCE_FUSE_EXIT_CODE = 65;
+
 // In N3/Turtle, rdf:nil is the canonical IRI for the empty RDF list.
 // Eyeling represents list literals with ListTerm; ensure rdf:nil unifies with ().
 const RDF_NIL_IRI = RDF_NS + 'nil';
@@ -8445,7 +8449,7 @@ function forwardChain(facts, forwardRules, backRules, onDerived /* optional */,
         // Allow dynamic fuses: ... => ?X. where ?X becomes false
         if (dynTerm instanceof Literal && dynTerm.value === 'false') {
           __printTriggeredFuse(r, opts && opts.prefixes, s, 'Dynamic head resolved to false.');
-          __exitReasoning(2, 'Inference fuse triggered.');
+          __exitReasoning(INFERENCE_FUSE_EXIT_CODE, 'Inference fuse triggered.');
         }
 
         const dynTriples = __graphTriplesOrTrue(dynTerm);
@@ -8606,7 +8610,7 @@ function forwardChain(facts, forwardRules, backRules, onDerived /* optional */,
           // Inference fuse
           if (r.isFuse && sols.length) {
             __printTriggeredFuse(r, opts && opts.prefixes, sols[0]);
-            __exitReasoning(2, 'Inference fuse triggered.');
+            __exitReasoning(INFERENCE_FUSE_EXIT_CODE, 'Inference fuse triggered.');
           }
 
           for (const s of sols) {
@@ -9143,6 +9147,7 @@ module.exports = {
   registerBuiltinModule,
   loadBuiltinModule,
   listBuiltinIris,
+  INFERENCE_FUSE_EXIT_CODE,
 };
 
   };
@@ -9170,6 +9175,7 @@ module.exports = {
   rdfjs: dataFactory,
   main: engine.main,
   version: engine.version,
+  INFERENCE_FUSE_EXIT_CODE: engine.INFERENCE_FUSE_EXIT_CODE,
 
   // internals for playground.html
   lex: engine.lex,

package/index.d.ts

@@ -209,6 +209,7 @@ declare module 'eyeling' {
     opts?: Omit<ReasonStreamOptions, 'rdfjs' | 'onDerived'>,
   ): AsyncIterable<RdfJsQuad>;
 
+  export const INFERENCE_FUSE_EXIT_CODE: 65;
   export const rdfjs: RdfJsDataFactory;
   export function registerBuiltin(iri: string, handler: BuiltinHandler): BuiltinHandler;
   export function unregisterBuiltin(iri: string): boolean;
@@ -237,6 +238,7 @@ declare module 'eyeling/browser' {
     opts?: Omit<ReasonStreamOptions, 'rdfjs' | 'onDerived'>,
   ): AsyncIterable<RdfJsQuad>;
 
+  export const INFERENCE_FUSE_EXIT_CODE: 65;
   export const rdfjs: RdfJsDataFactory;
   export function registerBuiltin(iri: string, handler: BuiltinHandler): BuiltinHandler;
   export function unregisterBuiltin(iri: string): boolean;
@@ -247,6 +249,7 @@ declare module 'eyeling/browser' {
     readonly version: string;
     reasonStream: typeof reasonStream;
     reasonRdfJs: typeof reasonRdfJs;
+    readonly INFERENCE_FUSE_EXIT_CODE: typeof INFERENCE_FUSE_EXIT_CODE;
     rdfjs: typeof rdfjs;
     registerBuiltin: typeof registerBuiltin;
     unregisterBuiltin: typeof unregisterBuiltin;

package/lib/engine.js

@@ -30,6 +30,10 @@ const {
   copyQuotedGraphMetadata,
 } = require('./prelude');
 
+// Inference fuses use sysexits.h EX_DATAERR (65): input/rules made a
+// forbidden condition provable, rather than a generic usage/runtime error.
+const INFERENCE_FUSE_EXIT_CODE = 65;
+
 // In N3/Turtle, rdf:nil is the canonical IRI for the empty RDF list.
 // Eyeling represents list literals with ListTerm; ensure rdf:nil unifies with ().
 const RDF_NIL_IRI = RDF_NS + 'nil';
@@ -2958,7 +2962,7 @@ function forwardChain(facts, forwardRules, backRules, onDerived /* optional */,
         // Allow dynamic fuses: ... => ?X. where ?X becomes false
         if (dynTerm instanceof Literal && dynTerm.value === 'false') {
           __printTriggeredFuse(r, opts && opts.prefixes, s, 'Dynamic head resolved to false.');
-          __exitReasoning(2, 'Inference fuse triggered.');
+          __exitReasoning(INFERENCE_FUSE_EXIT_CODE, 'Inference fuse triggered.');
         }
 
         const dynTriples = __graphTriplesOrTrue(dynTerm);
@@ -3119,7 +3123,7 @@ function forwardChain(facts, forwardRules, backRules, onDerived /* optional */,
           // Inference fuse
           if (r.isFuse && sols.length) {
             __printTriggeredFuse(r, opts && opts.prefixes, sols[0]);
-            __exitReasoning(2, 'Inference fuse triggered.');
+            __exitReasoning(INFERENCE_FUSE_EXIT_CODE, 'Inference fuse triggered.');
           }
 
           for (const s of sols) {
@@ -3656,4 +3660,5 @@ module.exports = {
   registerBuiltinModule,
   loadBuiltinModule,
   listBuiltinIris,
+  INFERENCE_FUSE_EXIT_CODE,
 };

package/lib/entry.js

@@ -21,6 +21,7 @@ module.exports = {
   rdfjs: dataFactory,
   main: engine.main,
   version: engine.version,
+  INFERENCE_FUSE_EXIT_CODE: engine.INFERENCE_FUSE_EXIT_CODE,
 
   // internals for playground.html
   lex: engine.lex,

package/package.json

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

package/test/api.test.js

@@ -457,13 +457,13 @@ ${U('s')} ${U('p')} ${U('o')}.
     notExpect: [/^#/m],
   },
   {
-    name: '11 negative entailment: rule derives false (expect exit 2 => throws)',
+    name: '11 negative entailment: rule derives false (expect exit 65 => throws)',
     opt: { proofComments: false },
     input: `
 { ${U('a')} ${U('p')} ${U('b')}. } => false.
 ${U('a')} ${U('p')} ${U('b')}.
 `,
-    expectErrorCode: 2,
+    expectErrorCode: 65,
   },
   {
     name: '12 invalid syntax should throw (non-zero exit)',
@@ -987,10 +987,10 @@ ${transitiveClosureN3('sub')}
     ],
   },
   {
-    name: '25 heavier negative entailment: batch + forbidden => false (expect exit 2)',
+    name: '25 heavier negative entailment: batch + forbidden => false (expect exit 65)',
     opt: { proofComments: false, maxBuffer: 200 * 1024 * 1024 },
     input: negativeEntailmentBatchN3(200),
-    expectErrorCode: 2,
+    expectErrorCode: 65,
   },
   {
     name: '26 sanity: no rules => no newly derived facts',
@@ -1108,7 +1108,7 @@ ${U('a')} ${U('p')} ${U('b')}.
 { ${U('a')} ${U('p')} ${U('b')}. } => { ${U('a')} ${U('q')} ${U('b')}. }.
 { ${U('a')} ${U('q')} ${U('b')}. } => false.
 `,
-    expectErrorCode: 2,
+    expectErrorCode: 65,
   },
 
   {

package/test/package.test.js

@@ -79,12 +79,12 @@ function normalizeMarkdownForCompare(text) {
 
 // Expectation logic (shared with test/examples.test.js):
 // 1) If file contains:  # expect-exit: N  -> use N
-// 2) Else, if it contains "=> false" -> expect exit 2
+// 2) Else, if it contains "=> false" -> expect exit 65
 // 3) Else -> expect exit 0
 function expectedExitCode(n3Text) {
   const m = n3Text.match(/^[ \t]*#[: ]*expect-exit:[ \t]*([0-9]+)\b/m);
   if (m) return parseInt(m[1], 10);
-  if (/=>\s*false\b/.test(n3Text)) return 2;
+  if (/=>\s*false\b/.test(n3Text)) return 65;
   return 0;
 }
 

package/tools/bundle.js

@@ -229,6 +229,8 @@ function getBrowserApi() {
   return api;
 }
 
+export const INFERENCE_FUSE_EXIT_CODE = 65;
+
 export function reasonStream(input, opts) {
   return getBrowserApi().reasonStream(input, opts);
 }
@@ -283,6 +285,7 @@ const eyeling = {
   get version() {
     return getBrowserApi().version;
   },
+  INFERENCE_FUSE_EXIT_CODE,
   reasonStream,
   reasonRdfJs,
   rdfjs,