eyeling 1.28.7 → 1.28.8

package/README.md

@@ -621,11 +621,11 @@ Eyeling provides datatype built-ins in the namespace `https://eyereasoner.github
 Supported operations include:
 
 - `dt:datatype`, `dt:lexicalForm`, and `dt:language` for literal inspection;
-- `dt:validForDatatype` and `dt:invalidForDatatype` for lexical validity and datatype membership checks;
+- `dt:validForDatatype` and `dt:invalidForDatatype` for lexical validity and datatype membership checks, either as `?literal dt:validForDatatype ?datatype` tests or as tuple-to-boolean checks like `(?literal ?datatype) dt:validForDatatype true`;
 - `dt:sameValueAs` and `dt:differentValueFrom` for value-space equality and inequality;
 - `dt:canonicalLiteral` for canonical literal production.
 
-The built-ins cover RDF language strings and the OWL 2 RL-relevant XSD set: `xsd:string`, `xsd:normalizedString`, `xsd:token`, `xsd:language`, `xsd:Name`, `xsd:NCName`, `xsd:NMTOKEN`, `xsd:boolean`, `xsd:decimal`, `xsd:integer` and its bounded integer subtypes, `xsd:float`, `xsd:double`, `xsd:hexBinary`, `xsd:base64Binary`, `xsd:anyURI`, `xsd:dateTime`, and `xsd:dateTimeStamp`.
+The built-ins use strict datatype lexical validation for these checks, including exact dateTime rollover/canonicalization such as `24:00:00` normalizing to the following day. They cover RDF language strings and the OWL 2 RL-relevant XSD set: `xsd:string`, `xsd:normalizedString`, `xsd:token`, `xsd:language`, `xsd:Name`, `xsd:NCName`, `xsd:NMTOKEN`, `xsd:boolean`, `xsd:decimal`, `xsd:integer` and its bounded integer subtypes, `xsd:float`, `xsd:double`, `xsd:hexBinary`, `xsd:base64Binary`, `xsd:anyURI`, `xsd:dateTime`, and `xsd:dateTimeStamp`.
 
 Example:
 
@@ -638,6 +638,7 @@ Example:
   "01"^^xsd:integer dt:sameValueAs "1.0"^^xsd:decimal .
   "2026-06-10T12:00:00Z"^^xsd:dateTime
     dt:sameValueAs "2026-06-10T14:00:00+02:00"^^xsd:dateTime .
+  ("abc"^^xsd:integer xsd:integer) dt:validForDatatype false .
 }
 =>
 {

package/dist/browser/eyeling.browser.js

@@ -1179,7 +1179,7 @@ function parseIntegerDatatypeValue(lexical, dt) {
 }
 
 function parseDecimalDatatypeValue(lexical) {
-  const parsed = parseXsdDecimalToBigIntScale(String(lexical));
+  const parsed = parseXsdDecimalToBigIntScale(String(lexical), { trim: false });
   if (!parsed) return null;
   const canonicalLex = canonicalDecimalLexFromParts(parsed.num, parsed.scale);
   return {
@@ -1305,58 +1305,93 @@ function parseAnyUriDatatypeValue(lexical) {
   };
 }
 
-function isLeapYearNumber(year) {
-  if (year % 400 === 0) return true;
-  if (year % 100 === 0) return false;
-  return year % 4 === 0;
+function isLeapYearBigInt(year) {
+  if (year % 400n === 0n) return true;
+  if (year % 100n === 0n) return false;
+  return year % 4n === 0n;
 }
 
-function daysInMonthNumber(year, month) {
-  if (month === 2) return isLeapYearNumber(year) ? 29 : 28;
+function daysInMonthBigInt(year, month) {
+  if (month === 2) return isLeapYearBigInt(year) ? 29 : 28;
   return [4, 6, 9, 11].includes(month) ? 30 : 31;
 }
 
-function floorDivNumber(a, b) {
-  return Math.floor(a / b);
+function floorDivBigInt(a, b) {
+  let q = a / b;
+  const r = a % b;
+  if (r !== 0n && ((r > 0n) !== (b > 0n))) q -= 1n;
+  return q;
 }
 
-function daysFromCivilNumber(year, month, day) {
+function daysFromCivilBigInt(year, month, day) {
   let y = year;
-  y -= month <= 2 ? 1 : 0;
-  const era = floorDivNumber(y, 400);
-  const yoe = y - era * 400;
-  const mp = month + (month > 2 ? -3 : 9);
-  const doy = Math.floor((153 * mp + 2) / 5) + day - 1;
-  const doe = yoe * 365 + Math.floor(yoe / 4) - Math.floor(yoe / 100) + doy;
-  return era * 146097 + doe - 719468;
+  if (month <= 2) y -= 1n;
+  const era = floorDivBigInt(y, 400n);
+  const yoe = y - era * 400n;
+  const mp = BigInt(month + (month > 2 ? -3 : 9));
+  const doy = (153n * mp + 2n) / 5n + BigInt(day) - 1n;
+  const doe = yoe * 365n + yoe / 4n - yoe / 100n + doy;
+  return era * 146097n + doe - 719468n;
+}
+
+function civilFromDaysBigInt(days) {
+  const z = days + 719468n;
+  const era = floorDivBigInt(z, 146097n);
+  const doe = z - era * 146097n;
+  const yoe = (doe - doe / 1460n + doe / 36524n - doe / 146096n) / 365n;
+  let year = yoe + era * 400n;
+  const doy = doe - (365n * yoe + yoe / 4n - yoe / 100n);
+  const mp = (5n * doy + 2n) / 153n;
+  const day = doy - (153n * mp + 2n) / 5n + 1n;
+  const month = mp < 10n ? mp + 3n : mp - 9n;
+  if (month <= 2n) year += 1n;
+  return { year, month: Number(month), day: Number(day) };
+}
+
+function isValidXsdYearLex(s) {
+  const body = s.startsWith('-') ? s.slice(1) : s;
+  if (!/^\d{4,}$/.test(body)) return false;
+  return body.length === 4 || body[0] !== '0';
+}
+
+function canonicalYearLex(year) {
+  if (year < 0n) return `-${(-year).toString().padStart(4, '0')}`;
+  return year.toString().padStart(4, '0');
+}
+
+function formatDateTimeLocalKey(year, month, day, hour, minute, second, frac) {
+  return `${canonicalYearLex(year)}-${String(month).padStart(2, '0')}-${String(day).padStart(2, '0')}T${String(hour).padStart(2, '0')}:${String(minute).padStart(2, '0')}:${String(second).padStart(2, '0')}${frac ? `.${frac}` : ''}`;
 }
 
 function parseDateTimeDatatypeValue(lexical, dt) {
   const s = String(lexical);
   const m = /^(-?\d{4,})-(\d{2})-(\d{2})T(\d{2}):(\d{2}):(\d{2})(?:\.(\d+))?(Z|[+-]\d{2}:\d{2})?$/.exec(s);
-  if (!m) return null;
+  if (!m || !isValidXsdYearLex(m[1])) return null;
 
-  const year = Number(m[1]);
-  const month = Number(m[2]);
+  const year = BigInt(m[1]);
+  let month = Number(m[2]);
   let day = Number(m[3]);
   let hour = Number(m[4]);
   const minute = Number(m[5]);
   const second = Number(m[6]);
   let frac = m[7] || '';
   const tz = m[8] || null;
-  if (!Number.isSafeInteger(year)) return null;
   if (dt === XSD_DATETIME_STAMP_DT && !tz) return null;
   if (!(month >= 1 && month <= 12)) return null;
-  if (!(day >= 1 && day <= daysInMonthNumber(year, month))) return null;
+  if (!(day >= 1 && day <= daysInMonthBigInt(year, month))) return null;
   if (!(minute >= 0 && minute <= 59)) return null;
   if (!(second >= 0 && second <= 59)) return null;
+
+  let dayCount = daysFromCivilBigInt(year, month, day);
+  let normalizedYear = year;
   if (hour === 24) {
     if (minute !== 0 || second !== 0 || /[1-9]/.test(frac)) return null;
     hour = 0;
-    const d = new Date(Date.UTC(year, month - 1, day));
-    d.setUTCFullYear(year);
-    d.setUTCDate(d.getUTCDate() + 1);
-    day = d.getUTCDate();
+    dayCount += 1n;
+    const civil = civilFromDaysBigInt(dayCount);
+    normalizedYear = civil.year;
+    month = civil.month;
+    day = civil.day;
   } else if (!(hour >= 0 && hour <= 23)) {
     return null;
   }
@@ -1379,11 +1414,10 @@ function parseDateTimeDatatypeValue(lexical, dt) {
     }
   }
 
-  const dayCount = daysFromCivilNumber(year, month, day);
-  let totalSeconds = BigInt(dayCount) * 86400n + BigInt(hour * 3600 + minute * 60 + second);
+  let totalSeconds = dayCount * 86400n + BigInt(hour * 3600 + minute * 60 + second);
   if (offsetMinutes !== null) totalSeconds -= BigInt(offsetMinutes * 60);
 
-  const localKey = `${m[1]}-${m[2]}-${String(day).padStart(2, '0')}T${String(hour).padStart(2, '0')}:${m[5]}:${m[6]}${frac ? `.${frac}` : ''}`;
+  const localKey = formatDateTimeLocalKey(normalizedYear, month, day, hour, minute, second, frac);
   const canonicalLex = canonicalDateTimeLex(totalSeconds, fracNum, fracScale, offsetMinutes !== null, localKey);
   return {
     family: 'dateTime',
@@ -1403,15 +1437,14 @@ function canonicalDateTimeLex(totalSeconds, fracNum, fracScale, hasTimezone, loc
   const frac = fracScale > 0 ? `.${fracNum.toString().padStart(fracScale, '0')}` : '';
   if (!hasTimezone) return localKey;
 
-  const minSafeSeconds = BigInt(Math.ceil(Number.MIN_SAFE_INTEGER / 1000));
-  const maxSafeSeconds = BigInt(Math.floor(Number.MAX_SAFE_INTEGER / 1000));
-  if (totalSeconds < minSafeSeconds || totalSeconds > maxSafeSeconds) return `${localKey}Z`;
-
-  const d = new Date(Number(totalSeconds) * 1000);
-  if (Number.isNaN(d.getTime())) return `${localKey}Z`;
-  let iso = d.toISOString().replace(/\.000Z$/, 'Z');
-  if (frac) iso = iso.replace('Z', `${frac}Z`);
-  return iso;
+  const secondsPerDay = 86400n;
+  const dayCount = floorDivBigInt(totalSeconds, secondsPerDay);
+  const secondOfDay = totalSeconds - dayCount * secondsPerDay;
+  const civil = civilFromDaysBigInt(dayCount);
+  const hour = Number(secondOfDay / 3600n);
+  const minute = Number((secondOfDay % 3600n) / 60n);
+  const second = Number(secondOfDay % 60n);
+  return formatDateTimeLocalKey(civil.year, civil.month, civil.day, hour, minute, second, frac) + 'Z';
 }
 
 function parseLangStringDatatypeValue(t, lexical) {
@@ -1529,7 +1562,31 @@ function evalDatatypeInspectionBuiltin(g, subst, kind) {
   return evalBindBuiltinObject(g.o, valueTerm, subst);
 }
 
+function booleanTermValue(t) {
+  const info = parseBooleanLiteralInfo(t);
+  return info ? info.value : null;
+}
+
+function makeBooleanLiteral(value) {
+  return internLiteral(value ? 'true' : 'false');
+}
+
+function evalDatatypeValidityBooleanResult(outTerm, result, subst) {
+  if (outTerm instanceof Var || outTerm instanceof Blank) return evalBindBuiltinObject(outTerm, makeBooleanLiteral(result), subst);
+  const expected = booleanTermValue(outTerm);
+  return expected === result ? [__cloneSubst(subst)] : [];
+}
+
 function evalDatatypeValidityBuiltin(g, subst, positive) {
+  if (g.s instanceof ListTerm && g.s.elems.length === 2) {
+    const [lit, dtTerm] = g.s.elems;
+    if (!(lit instanceof Literal) || !(dtTerm instanceof Iri)) return [];
+    const dt = dtTerm.value;
+    if (!isSupportedDatatypeIri(dt)) return [];
+    const ok = parseDatatypeValueForDatatype(lit, dt) !== null;
+    return evalDatatypeValidityBooleanResult(g.o, positive ? ok : !ok, subst);
+  }
+
   if (!(g.s instanceof Literal)) return [];
 
   let dt = null;
@@ -1723,8 +1780,9 @@ function formatNum(n) {
   return String(n);
 }
 
-function parseXsdDecimalToBigIntScale(s) {
-  let t = String(s).trim();
+function parseXsdDecimalToBigIntScale(s, options = null) {
+  let t = String(s);
+  if (!options || options.trim !== false) t = t.trim();
   let sign = 1n;
 
   if (t.startsWith('+')) t = t.slice(1);

package/eyeling-builtins.ttl

@@ -54,19 +54,19 @@ dt:language a ex:Builtin ; ex:kind ex:Function ;
   rdfs:comment "Extracts the language tag of an rdf:langString literal as a string literal." .
 
 dt:validForDatatype a ex:Builtin ; ex:kind ex:Test ;
-  rdfs:comment "Succeeds iff the subject literal has a lexical form accepted by the object datatype and denotes a value in that datatype's value space. Supports OWL 2 RL-relevant XSD strings, booleans, numerics, binary types, anyURI, dateTime, and dateTimeStamp." .
+  rdfs:comment "Succeeds iff the subject literal has a lexical form accepted by the object datatype and denotes a value in that datatype's value space. Also supports tuple-to-boolean form: (literal datatype) dt:validForDatatype true/false. Supports OWL 2 RL-relevant XSD strings, booleans, numerics, binary types, anyURI, dateTime, and dateTimeStamp." .
 
 dt:invalidForDatatype a ex:Builtin ; ex:kind ex:Test ;
-  rdfs:comment "Succeeds iff the object datatype is supported and the subject literal is not valid for it." .
+  rdfs:comment "Succeeds iff the object datatype is supported and the subject literal is not valid for it. Also supports tuple-to-boolean form: (literal datatype) dt:invalidForDatatype true/false." .
 
 dt:sameValueAs a ex:Builtin ; ex:kind ex:Test ;
-  rdfs:comment "Value-space equality over supported datatypes, including integer/decimal numeric equality, boolean 1/true equality, timezone-normalized dateTime equality, string-derived whitespace facets, and binary byte equality." .
+  rdfs:comment "Value-space equality over supported datatypes, including integer/decimal numeric equality, boolean 1/true equality, timezone-normalized dateTime equality with exact midnight rollover, string-derived whitespace facets, and binary byte equality." .
 
 dt:differentValueFrom a ex:Builtin ; ex:kind ex:Test ;
   rdfs:comment "Value-space inequality over supported and comparable datatype values." .
 
 dt:canonicalLiteral a ex:Builtin ; ex:kind ex:Function ;
-  rdfs:comment "Binds/unifies the object with a canonical literal for the subject literal's datatype value, such as normalized integer, boolean, token, binary, and timezone-normalized dateTime lexicals." .
+  rdfs:comment "Binds/unifies the object with a canonical literal for the subject literal's datatype value, such as normalized integer, boolean, token, binary, and timezone-normalized dateTime lexicals, including 24:00:00 rollover." .
 
 # --- crypto: ---------------------------------------------------------
 

package/eyeling.js

@@ -1179,7 +1179,7 @@ function parseIntegerDatatypeValue(lexical, dt) {
 }
 
 function parseDecimalDatatypeValue(lexical) {
-  const parsed = parseXsdDecimalToBigIntScale(String(lexical));
+  const parsed = parseXsdDecimalToBigIntScale(String(lexical), { trim: false });
   if (!parsed) return null;
   const canonicalLex = canonicalDecimalLexFromParts(parsed.num, parsed.scale);
   return {
@@ -1305,58 +1305,93 @@ function parseAnyUriDatatypeValue(lexical) {
   };
 }
 
-function isLeapYearNumber(year) {
-  if (year % 400 === 0) return true;
-  if (year % 100 === 0) return false;
-  return year % 4 === 0;
+function isLeapYearBigInt(year) {
+  if (year % 400n === 0n) return true;
+  if (year % 100n === 0n) return false;
+  return year % 4n === 0n;
 }
 
-function daysInMonthNumber(year, month) {
-  if (month === 2) return isLeapYearNumber(year) ? 29 : 28;
+function daysInMonthBigInt(year, month) {
+  if (month === 2) return isLeapYearBigInt(year) ? 29 : 28;
   return [4, 6, 9, 11].includes(month) ? 30 : 31;
 }
 
-function floorDivNumber(a, b) {
-  return Math.floor(a / b);
+function floorDivBigInt(a, b) {
+  let q = a / b;
+  const r = a % b;
+  if (r !== 0n && ((r > 0n) !== (b > 0n))) q -= 1n;
+  return q;
 }
 
-function daysFromCivilNumber(year, month, day) {
+function daysFromCivilBigInt(year, month, day) {
   let y = year;
-  y -= month <= 2 ? 1 : 0;
-  const era = floorDivNumber(y, 400);
-  const yoe = y - era * 400;
-  const mp = month + (month > 2 ? -3 : 9);
-  const doy = Math.floor((153 * mp + 2) / 5) + day - 1;
-  const doe = yoe * 365 + Math.floor(yoe / 4) - Math.floor(yoe / 100) + doy;
-  return era * 146097 + doe - 719468;
+  if (month <= 2) y -= 1n;
+  const era = floorDivBigInt(y, 400n);
+  const yoe = y - era * 400n;
+  const mp = BigInt(month + (month > 2 ? -3 : 9));
+  const doy = (153n * mp + 2n) / 5n + BigInt(day) - 1n;
+  const doe = yoe * 365n + yoe / 4n - yoe / 100n + doy;
+  return era * 146097n + doe - 719468n;
+}
+
+function civilFromDaysBigInt(days) {
+  const z = days + 719468n;
+  const era = floorDivBigInt(z, 146097n);
+  const doe = z - era * 146097n;
+  const yoe = (doe - doe / 1460n + doe / 36524n - doe / 146096n) / 365n;
+  let year = yoe + era * 400n;
+  const doy = doe - (365n * yoe + yoe / 4n - yoe / 100n);
+  const mp = (5n * doy + 2n) / 153n;
+  const day = doy - (153n * mp + 2n) / 5n + 1n;
+  const month = mp < 10n ? mp + 3n : mp - 9n;
+  if (month <= 2n) year += 1n;
+  return { year, month: Number(month), day: Number(day) };
+}
+
+function isValidXsdYearLex(s) {
+  const body = s.startsWith('-') ? s.slice(1) : s;
+  if (!/^\d{4,}$/.test(body)) return false;
+  return body.length === 4 || body[0] !== '0';
+}
+
+function canonicalYearLex(year) {
+  if (year < 0n) return `-${(-year).toString().padStart(4, '0')}`;
+  return year.toString().padStart(4, '0');
+}
+
+function formatDateTimeLocalKey(year, month, day, hour, minute, second, frac) {
+  return `${canonicalYearLex(year)}-${String(month).padStart(2, '0')}-${String(day).padStart(2, '0')}T${String(hour).padStart(2, '0')}:${String(minute).padStart(2, '0')}:${String(second).padStart(2, '0')}${frac ? `.${frac}` : ''}`;
 }
 
 function parseDateTimeDatatypeValue(lexical, dt) {
   const s = String(lexical);
   const m = /^(-?\d{4,})-(\d{2})-(\d{2})T(\d{2}):(\d{2}):(\d{2})(?:\.(\d+))?(Z|[+-]\d{2}:\d{2})?$/.exec(s);
-  if (!m) return null;
+  if (!m || !isValidXsdYearLex(m[1])) return null;
 
-  const year = Number(m[1]);
-  const month = Number(m[2]);
+  const year = BigInt(m[1]);
+  let month = Number(m[2]);
   let day = Number(m[3]);
   let hour = Number(m[4]);
   const minute = Number(m[5]);
   const second = Number(m[6]);
   let frac = m[7] || '';
   const tz = m[8] || null;
-  if (!Number.isSafeInteger(year)) return null;
   if (dt === XSD_DATETIME_STAMP_DT && !tz) return null;
   if (!(month >= 1 && month <= 12)) return null;
-  if (!(day >= 1 && day <= daysInMonthNumber(year, month))) return null;
+  if (!(day >= 1 && day <= daysInMonthBigInt(year, month))) return null;
   if (!(minute >= 0 && minute <= 59)) return null;
   if (!(second >= 0 && second <= 59)) return null;
+
+  let dayCount = daysFromCivilBigInt(year, month, day);
+  let normalizedYear = year;
   if (hour === 24) {
     if (minute !== 0 || second !== 0 || /[1-9]/.test(frac)) return null;
     hour = 0;
-    const d = new Date(Date.UTC(year, month - 1, day));
-    d.setUTCFullYear(year);
-    d.setUTCDate(d.getUTCDate() + 1);
-    day = d.getUTCDate();
+    dayCount += 1n;
+    const civil = civilFromDaysBigInt(dayCount);
+    normalizedYear = civil.year;
+    month = civil.month;
+    day = civil.day;
   } else if (!(hour >= 0 && hour <= 23)) {
     return null;
   }
@@ -1379,11 +1414,10 @@ function parseDateTimeDatatypeValue(lexical, dt) {
     }
   }
 
-  const dayCount = daysFromCivilNumber(year, month, day);
-  let totalSeconds = BigInt(dayCount) * 86400n + BigInt(hour * 3600 + minute * 60 + second);
+  let totalSeconds = dayCount * 86400n + BigInt(hour * 3600 + minute * 60 + second);
   if (offsetMinutes !== null) totalSeconds -= BigInt(offsetMinutes * 60);
 
-  const localKey = `${m[1]}-${m[2]}-${String(day).padStart(2, '0')}T${String(hour).padStart(2, '0')}:${m[5]}:${m[6]}${frac ? `.${frac}` : ''}`;
+  const localKey = formatDateTimeLocalKey(normalizedYear, month, day, hour, minute, second, frac);
   const canonicalLex = canonicalDateTimeLex(totalSeconds, fracNum, fracScale, offsetMinutes !== null, localKey);
   return {
     family: 'dateTime',
@@ -1403,15 +1437,14 @@ function canonicalDateTimeLex(totalSeconds, fracNum, fracScale, hasTimezone, loc
   const frac = fracScale > 0 ? `.${fracNum.toString().padStart(fracScale, '0')}` : '';
   if (!hasTimezone) return localKey;
 
-  const minSafeSeconds = BigInt(Math.ceil(Number.MIN_SAFE_INTEGER / 1000));
-  const maxSafeSeconds = BigInt(Math.floor(Number.MAX_SAFE_INTEGER / 1000));
-  if (totalSeconds < minSafeSeconds || totalSeconds > maxSafeSeconds) return `${localKey}Z`;
-
-  const d = new Date(Number(totalSeconds) * 1000);
-  if (Number.isNaN(d.getTime())) return `${localKey}Z`;
-  let iso = d.toISOString().replace(/\.000Z$/, 'Z');
-  if (frac) iso = iso.replace('Z', `${frac}Z`);
-  return iso;
+  const secondsPerDay = 86400n;
+  const dayCount = floorDivBigInt(totalSeconds, secondsPerDay);
+  const secondOfDay = totalSeconds - dayCount * secondsPerDay;
+  const civil = civilFromDaysBigInt(dayCount);
+  const hour = Number(secondOfDay / 3600n);
+  const minute = Number((secondOfDay % 3600n) / 60n);
+  const second = Number(secondOfDay % 60n);
+  return formatDateTimeLocalKey(civil.year, civil.month, civil.day, hour, minute, second, frac) + 'Z';
 }
 
 function parseLangStringDatatypeValue(t, lexical) {
@@ -1529,7 +1562,31 @@ function evalDatatypeInspectionBuiltin(g, subst, kind) {
   return evalBindBuiltinObject(g.o, valueTerm, subst);
 }
 
+function booleanTermValue(t) {
+  const info = parseBooleanLiteralInfo(t);
+  return info ? info.value : null;
+}
+
+function makeBooleanLiteral(value) {
+  return internLiteral(value ? 'true' : 'false');
+}
+
+function evalDatatypeValidityBooleanResult(outTerm, result, subst) {
+  if (outTerm instanceof Var || outTerm instanceof Blank) return evalBindBuiltinObject(outTerm, makeBooleanLiteral(result), subst);
+  const expected = booleanTermValue(outTerm);
+  return expected === result ? [__cloneSubst(subst)] : [];
+}
+
 function evalDatatypeValidityBuiltin(g, subst, positive) {
+  if (g.s instanceof ListTerm && g.s.elems.length === 2) {
+    const [lit, dtTerm] = g.s.elems;
+    if (!(lit instanceof Literal) || !(dtTerm instanceof Iri)) return [];
+    const dt = dtTerm.value;
+    if (!isSupportedDatatypeIri(dt)) return [];
+    const ok = parseDatatypeValueForDatatype(lit, dt) !== null;
+    return evalDatatypeValidityBooleanResult(g.o, positive ? ok : !ok, subst);
+  }
+
   if (!(g.s instanceof Literal)) return [];
 
   let dt = null;
@@ -1723,8 +1780,9 @@ function formatNum(n) {
   return String(n);
 }
 
-function parseXsdDecimalToBigIntScale(s) {
-  let t = String(s).trim();
+function parseXsdDecimalToBigIntScale(s, options = null) {
+  let t = String(s);
+  if (!options || options.trim !== false) t = t.trim();
   let sign = 1n;
 
   if (t.startsWith('+')) t = t.slice(1);

package/lib/builtins.js

@@ -1168,7 +1168,7 @@ function parseIntegerDatatypeValue(lexical, dt) {
 }
 
 function parseDecimalDatatypeValue(lexical) {
-  const parsed = parseXsdDecimalToBigIntScale(String(lexical));
+  const parsed = parseXsdDecimalToBigIntScale(String(lexical), { trim: false });
   if (!parsed) return null;
   const canonicalLex = canonicalDecimalLexFromParts(parsed.num, parsed.scale);
   return {
@@ -1294,58 +1294,93 @@ function parseAnyUriDatatypeValue(lexical) {
   };
 }
 
-function isLeapYearNumber(year) {
-  if (year % 400 === 0) return true;
-  if (year % 100 === 0) return false;
-  return year % 4 === 0;
+function isLeapYearBigInt(year) {
+  if (year % 400n === 0n) return true;
+  if (year % 100n === 0n) return false;
+  return year % 4n === 0n;
 }
 
-function daysInMonthNumber(year, month) {
-  if (month === 2) return isLeapYearNumber(year) ? 29 : 28;
+function daysInMonthBigInt(year, month) {
+  if (month === 2) return isLeapYearBigInt(year) ? 29 : 28;
   return [4, 6, 9, 11].includes(month) ? 30 : 31;
 }
 
-function floorDivNumber(a, b) {
-  return Math.floor(a / b);
+function floorDivBigInt(a, b) {
+  let q = a / b;
+  const r = a % b;
+  if (r !== 0n && ((r > 0n) !== (b > 0n))) q -= 1n;
+  return q;
 }
 
-function daysFromCivilNumber(year, month, day) {
+function daysFromCivilBigInt(year, month, day) {
   let y = year;
-  y -= month <= 2 ? 1 : 0;
-  const era = floorDivNumber(y, 400);
-  const yoe = y - era * 400;
-  const mp = month + (month > 2 ? -3 : 9);
-  const doy = Math.floor((153 * mp + 2) / 5) + day - 1;
-  const doe = yoe * 365 + Math.floor(yoe / 4) - Math.floor(yoe / 100) + doy;
-  return era * 146097 + doe - 719468;
+  if (month <= 2) y -= 1n;
+  const era = floorDivBigInt(y, 400n);
+  const yoe = y - era * 400n;
+  const mp = BigInt(month + (month > 2 ? -3 : 9));
+  const doy = (153n * mp + 2n) / 5n + BigInt(day) - 1n;
+  const doe = yoe * 365n + yoe / 4n - yoe / 100n + doy;
+  return era * 146097n + doe - 719468n;
+}
+
+function civilFromDaysBigInt(days) {
+  const z = days + 719468n;
+  const era = floorDivBigInt(z, 146097n);
+  const doe = z - era * 146097n;
+  const yoe = (doe - doe / 1460n + doe / 36524n - doe / 146096n) / 365n;
+  let year = yoe + era * 400n;
+  const doy = doe - (365n * yoe + yoe / 4n - yoe / 100n);
+  const mp = (5n * doy + 2n) / 153n;
+  const day = doy - (153n * mp + 2n) / 5n + 1n;
+  const month = mp < 10n ? mp + 3n : mp - 9n;
+  if (month <= 2n) year += 1n;
+  return { year, month: Number(month), day: Number(day) };
+}
+
+function isValidXsdYearLex(s) {
+  const body = s.startsWith('-') ? s.slice(1) : s;
+  if (!/^\d{4,}$/.test(body)) return false;
+  return body.length === 4 || body[0] !== '0';
+}
+
+function canonicalYearLex(year) {
+  if (year < 0n) return `-${(-year).toString().padStart(4, '0')}`;
+  return year.toString().padStart(4, '0');
+}
+
+function formatDateTimeLocalKey(year, month, day, hour, minute, second, frac) {
+  return `${canonicalYearLex(year)}-${String(month).padStart(2, '0')}-${String(day).padStart(2, '0')}T${String(hour).padStart(2, '0')}:${String(minute).padStart(2, '0')}:${String(second).padStart(2, '0')}${frac ? `.${frac}` : ''}`;
 }
 
 function parseDateTimeDatatypeValue(lexical, dt) {
   const s = String(lexical);
   const m = /^(-?\d{4,})-(\d{2})-(\d{2})T(\d{2}):(\d{2}):(\d{2})(?:\.(\d+))?(Z|[+-]\d{2}:\d{2})?$/.exec(s);
-  if (!m) return null;
+  if (!m || !isValidXsdYearLex(m[1])) return null;
 
-  const year = Number(m[1]);
-  const month = Number(m[2]);
+  const year = BigInt(m[1]);
+  let month = Number(m[2]);
   let day = Number(m[3]);
   let hour = Number(m[4]);
   const minute = Number(m[5]);
   const second = Number(m[6]);
   let frac = m[7] || '';
   const tz = m[8] || null;
-  if (!Number.isSafeInteger(year)) return null;
   if (dt === XSD_DATETIME_STAMP_DT && !tz) return null;
   if (!(month >= 1 && month <= 12)) return null;
-  if (!(day >= 1 && day <= daysInMonthNumber(year, month))) return null;
+  if (!(day >= 1 && day <= daysInMonthBigInt(year, month))) return null;
   if (!(minute >= 0 && minute <= 59)) return null;
   if (!(second >= 0 && second <= 59)) return null;
+
+  let dayCount = daysFromCivilBigInt(year, month, day);
+  let normalizedYear = year;
   if (hour === 24) {
     if (minute !== 0 || second !== 0 || /[1-9]/.test(frac)) return null;
     hour = 0;
-    const d = new Date(Date.UTC(year, month - 1, day));
-    d.setUTCFullYear(year);
-    d.setUTCDate(d.getUTCDate() + 1);
-    day = d.getUTCDate();
+    dayCount += 1n;
+    const civil = civilFromDaysBigInt(dayCount);
+    normalizedYear = civil.year;
+    month = civil.month;
+    day = civil.day;
   } else if (!(hour >= 0 && hour <= 23)) {
     return null;
   }
@@ -1368,11 +1403,10 @@ function parseDateTimeDatatypeValue(lexical, dt) {
     }
   }
 
-  const dayCount = daysFromCivilNumber(year, month, day);
-  let totalSeconds = BigInt(dayCount) * 86400n + BigInt(hour * 3600 + minute * 60 + second);
+  let totalSeconds = dayCount * 86400n + BigInt(hour * 3600 + minute * 60 + second);
   if (offsetMinutes !== null) totalSeconds -= BigInt(offsetMinutes * 60);
 
-  const localKey = `${m[1]}-${m[2]}-${String(day).padStart(2, '0')}T${String(hour).padStart(2, '0')}:${m[5]}:${m[6]}${frac ? `.${frac}` : ''}`;
+  const localKey = formatDateTimeLocalKey(normalizedYear, month, day, hour, minute, second, frac);
   const canonicalLex = canonicalDateTimeLex(totalSeconds, fracNum, fracScale, offsetMinutes !== null, localKey);
   return {
     family: 'dateTime',
@@ -1392,15 +1426,14 @@ function canonicalDateTimeLex(totalSeconds, fracNum, fracScale, hasTimezone, loc
   const frac = fracScale > 0 ? `.${fracNum.toString().padStart(fracScale, '0')}` : '';
   if (!hasTimezone) return localKey;
 
-  const minSafeSeconds = BigInt(Math.ceil(Number.MIN_SAFE_INTEGER / 1000));
-  const maxSafeSeconds = BigInt(Math.floor(Number.MAX_SAFE_INTEGER / 1000));
-  if (totalSeconds < minSafeSeconds || totalSeconds > maxSafeSeconds) return `${localKey}Z`;
-
-  const d = new Date(Number(totalSeconds) * 1000);
-  if (Number.isNaN(d.getTime())) return `${localKey}Z`;
-  let iso = d.toISOString().replace(/\.000Z$/, 'Z');
-  if (frac) iso = iso.replace('Z', `${frac}Z`);
-  return iso;
+  const secondsPerDay = 86400n;
+  const dayCount = floorDivBigInt(totalSeconds, secondsPerDay);
+  const secondOfDay = totalSeconds - dayCount * secondsPerDay;
+  const civil = civilFromDaysBigInt(dayCount);
+  const hour = Number(secondOfDay / 3600n);
+  const minute = Number((secondOfDay % 3600n) / 60n);
+  const second = Number(secondOfDay % 60n);
+  return formatDateTimeLocalKey(civil.year, civil.month, civil.day, hour, minute, second, frac) + 'Z';
 }
 
 function parseLangStringDatatypeValue(t, lexical) {
@@ -1518,7 +1551,31 @@ function evalDatatypeInspectionBuiltin(g, subst, kind) {
   return evalBindBuiltinObject(g.o, valueTerm, subst);
 }
 
+function booleanTermValue(t) {
+  const info = parseBooleanLiteralInfo(t);
+  return info ? info.value : null;
+}
+
+function makeBooleanLiteral(value) {
+  return internLiteral(value ? 'true' : 'false');
+}
+
+function evalDatatypeValidityBooleanResult(outTerm, result, subst) {
+  if (outTerm instanceof Var || outTerm instanceof Blank) return evalBindBuiltinObject(outTerm, makeBooleanLiteral(result), subst);
+  const expected = booleanTermValue(outTerm);
+  return expected === result ? [__cloneSubst(subst)] : [];
+}
+
 function evalDatatypeValidityBuiltin(g, subst, positive) {
+  if (g.s instanceof ListTerm && g.s.elems.length === 2) {
+    const [lit, dtTerm] = g.s.elems;
+    if (!(lit instanceof Literal) || !(dtTerm instanceof Iri)) return [];
+    const dt = dtTerm.value;
+    if (!isSupportedDatatypeIri(dt)) return [];
+    const ok = parseDatatypeValueForDatatype(lit, dt) !== null;
+    return evalDatatypeValidityBooleanResult(g.o, positive ? ok : !ok, subst);
+  }
+
   if (!(g.s instanceof Literal)) return [];
 
   let dt = null;
@@ -1712,8 +1769,9 @@ function formatNum(n) {
   return String(n);
 }
 
-function parseXsdDecimalToBigIntScale(s) {
-  let t = String(s).trim();
+function parseXsdDecimalToBigIntScale(s, options = null) {
+  let t = String(s);
+  if (!options || options.trim !== false) t = t.trim();
   let sign = 1n;
 
   if (t.startsWith('+')) t = t.slice(1);

package/package.json

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

package/test/builtins.test.js

@@ -170,17 +170,25 @@ const cases = [
 { "2147483648"^^xsd:int dt:invalidForDatatype xsd:int . } => { :invalid :int true } .
 { "2"^^xsd:boolean dt:invalidForDatatype xsd:boolean . } => { :invalid :boolean true } .
 { "2026-02-31T00:00:00Z"^^xsd:dateTime dt:invalidForDatatype xsd:dateTime . } => { :invalid :dateTime true } .
+{ " 1.0 "^^xsd:decimal dt:invalidForDatatype xsd:decimal . } => { :invalid :decimalWhitespace true } .
+{ "02026-06-10T12:00:00Z"^^xsd:dateTime dt:invalidForDatatype xsd:dateTime . } => { :invalid :dateTimeYear true } .
 
 { "01"^^xsd:integer dt:sameValueAs "1.0"^^xsd:decimal . } => { :same :numeric true } .
 { "true"^^xsd:boolean dt:sameValueAs "1"^^xsd:boolean . } => { :same :boolean true } .
 { "2026-06-10T12:00:00Z"^^xsd:dateTime dt:sameValueAs "2026-06-10T14:00:00+02:00"^^xsd:dateTime . } => { :same :dateTime true } .
+{ "2026-12-31T24:00:00Z"^^xsd:dateTime dt:sameValueAs "2027-01-01T00:00:00Z"^^xsd:dateTime . } => { :same :midnightRollover true } .
 { "AQID"^^xsd:base64Binary dt:sameValueAs "010203"^^xsd:hexBinary . } => { :same :binary true } .
 { "11"^^xsd:integer dt:differentValueFrom "12"^^xsd:integer . } => { :different :numeric true } .
 
+{ ("1"^^xsd:integer xsd:integer) dt:validForDatatype true . } => { :tuple :valid true } .
+{ ("abc"^^xsd:integer xsd:integer) dt:validForDatatype false . } => { :tuple :invalidBoolean true } .
+{ ("abc"^^xsd:integer xsd:integer) dt:invalidForDatatype ?invalid . } => { :tuple :invalidResult ?invalid } .
+
 { "01"^^xsd:integer dt:canonicalLiteral ?ci . } => { :canonical :integer ?ci } .
 { "1"^^xsd:boolean dt:canonicalLiteral ?cb . } => { :canonical :boolean ?cb } .
 { " a\t b "^^xsd:token dt:canonicalLiteral ?ct . } => { :canonical :token ?ct } .
 { "2026-06-10T14:00:00+02:00"^^xsd:dateTime dt:canonicalLiteral ?cd . } => { :canonical :dateTime ?cd } .
+{ "2026-12-31T24:00:00Z"^^xsd:dateTime dt:canonicalLiteral ?cm . } => { :canonical :midnightRollover ?cm } .
 `);
 
       assert.match(out, /:integer :datatype xsd:integer \./);
@@ -192,15 +200,22 @@ const cases = [
       assert.match(out, /:invalid :int true \./);
       assert.match(out, /:invalid :boolean true \./);
       assert.match(out, /:invalid :dateTime true \./);
+      assert.match(out, /:invalid :decimalWhitespace true \./);
+      assert.match(out, /:invalid :dateTimeYear true \./);
       assert.match(out, /:same :numeric true \./);
       assert.match(out, /:same :boolean true \./);
       assert.match(out, /:same :dateTime true \./);
+      assert.match(out, /:same :midnightRollover true \./);
       assert.match(out, /:same :binary true \./);
       assert.match(out, /:different :numeric true \./);
+      assert.match(out, /:tuple :valid true \./);
+      assert.match(out, /:tuple :invalidBoolean true \./);
+      assert.match(out, /:tuple :invalidResult true \./);
       assert.match(out, /:canonical :integer "1"\^\^xsd:integer \./);
       assert.match(out, /:canonical :boolean true \./);
       assert.match(out, /:canonical :token "a b"\^\^xsd:token \./);
       assert.match(out, /:canonical :dateTime "2026-06-10T12:00:00Z"\^\^xsd:dateTime \./);
+      assert.match(out, /:canonical :midnightRollover "2027-01-01T00:00:00Z"\^\^xsd:dateTime \./);
     },
   },