eyeling 1.24.31 → 1.25.0

package/eyeling.js

@@ -1207,25 +1207,36 @@ function parseXsdDateTerm(t) {
   return d;
 }
 
+function isXsdDateTimeDatatype(dt) {
+  return dt === XSD_NS + 'dateTime' || dt === XSD_NS + 'dateTimeStamp';
+}
+
 function parseXsdDatetimeTerm(t) {
   if (!(t instanceof Literal)) return null;
   const [lex, dt] = literalParts(t.value);
-  if (dt !== XSD_NS + 'dateTime') return null;
+  if (!isXsdDateTimeDatatype(dt)) return null;
   const val = stripQuotes(lex);
+
+  // xsd:dateTimeStamp is a subtype of xsd:dateTime with a required timezone.
+  // Keep xsd:dateTime's existing permissive behaviour, but reject stamp
+  // lexicals that do not actually carry the required timezone.
+  if (dt === XSD_NS + 'dateTimeStamp' && !/(Z|[+-]\d{2}:\d{2})$/.test(val)) return null;
+
   const d = new Date(val);
   if (Number.isNaN(d.getTime())) return null;
   return d; // Date in local/UTC, we only use timestamp
 }
 
 function parseXsdDateTimeLexParts(t) {
-  // Parse *lexical* components of an xsd:dateTime literal without timezone normalization.
+  // Parse *lexical* components of an xsd:dateTime/dateTimeStamp literal without timezone normalization.
   // Returns { yearStr, month, day, hour, minute, second, tz } or null.
   if (!(t instanceof Literal)) return null;
   const [lex, dt] = literalParts(t.value);
-  if (dt !== XSD_NS + 'dateTime') return null;
+  if (!isXsdDateTimeDatatype(dt)) return null;
   const val = stripQuotes(lex);
 
   // xsd:dateTime lexical: YYYY-MM-DDThh:mm:ss(.s+)?(Z|(+|-)hh:mm)?
+  // xsd:dateTimeStamp has the same lexical form, but with the timezone required.
   const m = /^(-?\d{4,})-(\d{2})-(\d{2})T(\d{2}):(\d{2}):(\d{2})(?:\.\d+)?(Z|[+-]\d{2}:\d{2})?$/.exec(val);
   if (!m) return null;
 
@@ -1236,6 +1247,7 @@ function parseXsdDateTimeLexParts(t) {
   const minute = parseInt(m[5], 10);
   const second = parseInt(m[6], 10);
   const tz = m[7] || null;
+  if (dt === XSD_NS + 'dateTimeStamp' && !tz) return null;
 
   if (!(month >= 1 && month <= 12)) return null;
   if (!(day >= 1 && day <= 31)) return null;
@@ -1302,7 +1314,8 @@ function parseIso8601DurationToSeconds(s) {
 }
 
 function parseNumericForCompareTerm(t) {
-  // Strict: only accept xsd numeric literals, xsd:duration, xsd:date, xsd:dateTime
+  // Strict: only accept xsd numeric literals, xsd:duration, xsd:date,
+  // xsd:dateTime, and xsd:dateTimeStamp.
   // (or untyped numeric tokens).
   const bi = parseIntLiteral(t);
   if (bi !== null) return { kind: 'bigint', value: bi };
@@ -1369,7 +1382,7 @@ function parseNumOrDuration(t) {
     }
   }
 
-  // xsd:date / xsd:dateTime
+  // xsd:date / xsd:dateTime / xsd:dateTimeStamp
   const dtval = parseDatetimeLike(t);
   if (dtval !== null) {
     return dtval.getTime() / 1000.0;
@@ -5504,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';
@@ -8432,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);
@@ -8593,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) {
@@ -9130,6 +9147,7 @@ module.exports = {
   registerBuiltinModule,
   loadBuiltinModule,
   listBuiltinIris,
+  INFERENCE_FUSE_EXIT_CODE,
 };
 
   };
@@ -9157,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/builtins.js

@@ -1196,25 +1196,36 @@ function parseXsdDateTerm(t) {
   return d;
 }
 
+function isXsdDateTimeDatatype(dt) {
+  return dt === XSD_NS + 'dateTime' || dt === XSD_NS + 'dateTimeStamp';
+}
+
 function parseXsdDatetimeTerm(t) {
   if (!(t instanceof Literal)) return null;
   const [lex, dt] = literalParts(t.value);
-  if (dt !== XSD_NS + 'dateTime') return null;
+  if (!isXsdDateTimeDatatype(dt)) return null;
   const val = stripQuotes(lex);
+
+  // xsd:dateTimeStamp is a subtype of xsd:dateTime with a required timezone.
+  // Keep xsd:dateTime's existing permissive behaviour, but reject stamp
+  // lexicals that do not actually carry the required timezone.
+  if (dt === XSD_NS + 'dateTimeStamp' && !/(Z|[+-]\d{2}:\d{2})$/.test(val)) return null;
+
   const d = new Date(val);
   if (Number.isNaN(d.getTime())) return null;
   return d; // Date in local/UTC, we only use timestamp
 }
 
 function parseXsdDateTimeLexParts(t) {
-  // Parse *lexical* components of an xsd:dateTime literal without timezone normalization.
+  // Parse *lexical* components of an xsd:dateTime/dateTimeStamp literal without timezone normalization.
   // Returns { yearStr, month, day, hour, minute, second, tz } or null.
   if (!(t instanceof Literal)) return null;
   const [lex, dt] = literalParts(t.value);
-  if (dt !== XSD_NS + 'dateTime') return null;
+  if (!isXsdDateTimeDatatype(dt)) return null;
   const val = stripQuotes(lex);
 
   // xsd:dateTime lexical: YYYY-MM-DDThh:mm:ss(.s+)?(Z|(+|-)hh:mm)?
+  // xsd:dateTimeStamp has the same lexical form, but with the timezone required.
   const m = /^(-?\d{4,})-(\d{2})-(\d{2})T(\d{2}):(\d{2}):(\d{2})(?:\.\d+)?(Z|[+-]\d{2}:\d{2})?$/.exec(val);
   if (!m) return null;
 
@@ -1225,6 +1236,7 @@ function parseXsdDateTimeLexParts(t) {
   const minute = parseInt(m[5], 10);
   const second = parseInt(m[6], 10);
   const tz = m[7] || null;
+  if (dt === XSD_NS + 'dateTimeStamp' && !tz) return null;
 
   if (!(month >= 1 && month <= 12)) return null;
   if (!(day >= 1 && day <= 31)) return null;
@@ -1291,7 +1303,8 @@ function parseIso8601DurationToSeconds(s) {
 }
 
 function parseNumericForCompareTerm(t) {
-  // Strict: only accept xsd numeric literals, xsd:duration, xsd:date, xsd:dateTime
+  // Strict: only accept xsd numeric literals, xsd:duration, xsd:date,
+  // xsd:dateTime, and xsd:dateTimeStamp.
   // (or untyped numeric tokens).
   const bi = parseIntLiteral(t);
   if (bi !== null) return { kind: 'bigint', value: bi };
@@ -1358,7 +1371,7 @@ function parseNumOrDuration(t) {
     }
   }
 
-  // xsd:date / xsd:dateTime
+  // xsd:date / xsd:dateTime / xsd:dateTimeStamp
   const dtval = parseDatetimeLike(t);
   if (dtval !== null) {
     return dtval.getTime() / 1000.0;

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.31",
+  "version": "1.25.0",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [

package/test/api.test.js

@@ -323,6 +323,35 @@ const cases = [
       assert.match(out, /\\"2023-04-01T18:06:04Z\\"\^\^xsd:dateTime \./);
     },
   },
+  {
+    name: '00d math comparison accepts xsd:dateTimeStamp with xsd:dateTime',
+    opt: { proofComments: false },
+    input: `
+@prefix : <http://example.org/> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+{
+  "2026-05-30T00:00:00Z"^^xsd:dateTimeStamp math:notGreaterThan "2027-02-12T00:00:00Z"^^xsd:dateTime .
+}
+=>
+{
+  :mixedDateTimeStampCompare :is true .
+}.
+
+{
+  "2026-05-30T00:00:00Z"^^xsd:dateTimeStamp math:notGreaterThan "2026-05-30T00:00:00Z"^^xsd:dateTimeStamp .
+}
+=>
+{
+  :sameDateTimeStampCompare :is true .
+}.
+`,
+    expect: [
+      /:mixedDateTimeStampCompare\s+:is\s+true\s*\./,
+      /:sameDateTimeStampCompare\s+:is\s+true\s*\./,
+    ],
+  },
   {
     name: '01 forward rule: p -> q',
     opt: { proofComments: false },
@@ -428,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)',
@@ -958,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',
@@ -1079,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,