eyeling 1.14.13 → 1.15.0

package/examples/integer-first-sqrt2-mediants.n3

@@ -0,0 +1,174 @@
+# =======================================================================================
+# Integer-first √2 bracketing via Stern-Brocot mediants
+#
+# Why this example exists:
+#   It illustrates the “integer thesis” in a very direct way. We do not start from a
+#   completed real number object. We start from finite integer data and refine it using a
+#   finite, checkable procedure.
+#
+# Idea:
+#   Keep two rational bounds L = pL/qL and U = pU/qU with
+#     pL^2 < 2 qL^2     and     2 qU^2 < pU^2 .
+#   Their mediant M = (pL+pU)/(qL+qU) still lies between them. We test M using only the
+#   integer comparison M^2 ? 2 and keep the half-interval that still brackets √2.
+#
+# What is certified:
+#   * exact integer lower/upper witnesses around √2
+#   * exact residual gaps to 2
+#   * Farey adjacency (cross-difference = 1), hence exact width = 1/(qL*qU)
+#   * readable decimal views are derived only at the end
+#
+# This is “integer-first” because the proof-carrying part is entirely discrete.
+# =======================================================================================
+
+@prefix :     <http://example.org/integer-first#>.
+@prefix math: <http://www.w3.org/2000/10/swap/math#>.
+@prefix log:  <http://www.w3.org/2000/10/swap/log#>.
+
+# ----------
+# Parameters
+# ----------
+
+:sqrt2 a :Target;
+  :computedBy :mediantRefiner.
+
+:mediantRefiner a :SternBrocotProcedure;
+  :maxStep 8.
+
+# Step 0: 1 < √2 < 2
+:mediantRefiner :bounds (0 1 1 2 1).
+
+# ------------------------------------------------------------------------
+# Refinement: replace one endpoint by the mediant according to the sign of
+# p^2 - 2 q^2, checked with integer arithmetic only.
+# ------------------------------------------------------------------------
+
+# If mediant^2 < 2 then it becomes the new lower bound.
+{
+  :mediantRefiner :bounds (?n ?pL ?qL ?pU ?qU).
+  :mediantRefiner :maxStep ?max.
+  ?n math:lessThan ?max.
+
+  ( ?n ?max ) :successor ?n1.
+  ( ?pL ?pU ) math:sum ?pM.
+  ( ?qL ?qU ) math:sum ?qM.
+  ( ?pM ?pM ) math:product ?pM2.
+  ( ?qM ?qM ) math:product ?qM2.
+  ( 2 ?qM2 ) math:product ?twoQM2.
+  ?pM2 math:lessThan ?twoQM2.
+}
+=>
+{
+  :mediantRefiner :bounds (?n1 ?pM ?qM ?pU ?qU).
+}.
+
+# If mediant^2 > 2 then it becomes the new upper bound.
+{
+  :mediantRefiner :bounds (?n ?pL ?qL ?pU ?qU).
+  :mediantRefiner :maxStep ?max.
+  ?n math:lessThan ?max.
+
+  ( ?n ?max ) :successor ?n1.
+  ( ?pL ?pU ) math:sum ?pM.
+  ( ?qL ?qU ) math:sum ?qM.
+  ( ?pM ?pM ) math:product ?pM2.
+  ( ?qM ?qM ) math:product ?qM2.
+  ( 2 ?qM2 ) math:product ?twoQM2.
+  ?pM2 math:greaterThan ?twoQM2.
+}
+=>
+{
+  :mediantRefiner :bounds (?n1 ?pL ?qL ?pM ?qM).
+}.
+
+# -----------------------------------------
+# Exact integer certificates for each stage
+# -----------------------------------------
+
+{
+  :mediantRefiner :bounds (?n ?pL ?qL ?pU ?qU).
+
+  ( ?pL ?pL ) math:product ?pL2.
+  ( ?qL ?qL ) math:product ?qL2.
+  ( 2 ?qL2 ) math:product ?twoQL2.
+  ( ?twoQL2 ?pL2 ) math:difference ?lowerGap.
+  ?lowerGap math:greaterThan 0.
+
+  ( ?pU ?pU ) math:product ?pU2.
+  ( ?qU ?qU ) math:product ?qU2.
+  ( 2 ?qU2 ) math:product ?twoQU2.
+  ( ?pU2 ?twoQU2 ) math:difference ?upperGap.
+  ?upperGap math:greaterThan 0.
+}
+=>
+{
+  :sqrt2 :integerCertificate (?n ?lowerGap ?upperGap).
+}.
+
+# Farey adjacency: pU*qL - pL*qU = 1, so width = 1/(qL*qU) exactly.
+{
+  :mediantRefiner :bounds (?n ?pL ?qL ?pU ?qU).
+  ( ?pU ?qL ) math:product ?left.
+  ( ?pL ?qU ) math:product ?right.
+  ( ?left ?right ) math:difference ?det.
+  ?det math:equalTo 1.
+
+  ( ?qL ?qU ) math:product ?widthDen.
+}
+=>
+{
+  :sqrt2 :fareyAdjacent (?n true).
+  :sqrt2 :widthExact (?n 1 ?widthDen).
+}.
+
+# ------------------------------
+# Readable decimal views (query)
+# ------------------------------
+
+{
+  :mediantRefiner :bounds (?n ?pL ?qL ?pU ?qU).
+  ( ?pL ?qL ) math:quotient ?L.
+  ( ?pU ?qU ) math:quotient ?U.
+  ( ?L ?U ) math:sum ?sum.
+  ( ?sum 2 ) math:quotient ?mid.
+}
+=>
+{
+  :sqrt2 :decimalBounds (?n ?L ?U ?mid).
+}.
+
+# ---------------
+# Helper relation
+# ---------------
+
+{ ( ?n ?max ) :successor ?n1. } <= {
+  ?n math:lessThan ?max.
+  ( ?n 1 ) math:sum ?n1.
+}.
+
+# ----------------
+# Output selection
+# ----------------
+
+{
+  :mediantRefiner :bounds (?n ?pL ?qL ?pU ?qU).
+  :sqrt2 :integerCertificate (?n ?lowerGap ?upperGap).
+  :sqrt2 :widthExact (?n ?widthNum ?widthDen).
+  :sqrt2 :fareyAdjacent (?n true).
+}
+log:query
+{
+  :result :boundsQ (?n ?pL ?qL ?pU ?qU).
+  :result :gapTo2 (?n ?lowerGap ?upperGap).
+  :result :widthQ (?n ?widthNum ?widthDen).
+  :result :fareyAdjacent (?n true).
+}.
+
+{
+  :sqrt2 :decimalBounds (?n ?L ?U ?mid).
+}
+log:query
+{
+  :result :decimalBounds (?n ?L ?U).
+  :result :midpoint (?n ?mid).
+}.

package/examples/output/decimal-ebike-motor-thermal-envelope.n3

@@ -0,0 +1,25 @@
+@prefix : <http://example.org/ebike-thermal#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:result :coolingStep 10 .
+:result :coolingStep 11 .
+:result :coolingStep 3 .
+:result :coolingStep 4 .
+:result :coolingStep 5 .
+:result :coolingStep 6 .
+:result :coolingStep 7 .
+:result :coolingStep 8 .
+:result :coolingStep 9 .
+:result :summary ("cooling-symbol" "exp(-1/4)" "cooling-lower" "0.7788007830"^^xsd:decimal "cooling-upper" "0.7788007831"^^xsd:decimal "warning-limit-C" "35.0"^^xsd:decimal "hard-limit-C" "45.0"^^xsd:decimal "warning-recovery-step" 8 "warning-recovery-time-s" "40"^^xsd:decimal "decision" :ThermallySafeForThisAssistPlan) .
+:result :temperatureTrace (0 :Turbo "33"^^xsd:decimal "33"^^xsd:decimal) .
+:result :temperatureTrace (1 :Turbo "36.030406264"^^xsd:decimal "36.0304062648"^^xsd:decimal) .
+:result :temperatureTrace (10 :Coast "30.605576433064357"^^xsd:decimal "30.605576437395232"^^xsd:decimal) .
+:result :temperatureTrace (11 :Coast "29.36562731523687"^^xsd:decimal "29.365627319170315"^^xsd:decimal) .
+:result :temperatureTrace (2 :Turbo "38.3904890352113"^^xsd:decimal "38.39048903693738"^^xsd:decimal) .
+:result :temperatureTrace (3 :Tour "40.22852334537548"^^xsd:decimal "40.2285233480588"^^xsd:decimal) .
+:result :temperatureTrace (4 :Tour "39.259985905312206"^^xsd:decimal "39.259985908924826"^^xsd:decimal) .
+:result :temperatureTrace (5 :Eco "38.50568818862611"^^xsd:decimal "38.50568819286562"^^xsd:decimal) .
+:result :temperatureTrace (6 :Eco "36.71824053625586"^^xsd:decimal "36.71824054090817"^^xsd:decimal) .
+:result :temperatureTrace (7 :Eco "35.326174905018405"^^xsd:decimal "35.326174909813446"^^xsd:decimal) .
+:result :temperatureTrace (8 :Coast "34.24203310142329"^^xsd:decimal "34.242033106190284"^^xsd:decimal) .
+:result :temperatureTrace (9 :Coast "32.197702615900376"^^xsd:decimal "32.19770262053712"^^xsd:decimal) .

package/examples/output/decimal-transcendental-servo-envelope.n3

@@ -0,0 +1,29 @@
+@prefix : <http://example.org/decimal-servo#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:result :contractionAt 0 .
+:result :contractionAt 1 .
+:result :contractionAt 10 .
+:result :contractionAt 11 .
+:result :contractionAt 2 .
+:result :contractionAt 3 .
+:result :contractionAt 4 .
+:result :contractionAt 5 .
+:result :contractionAt 6 .
+:result :contractionAt 7 .
+:result :contractionAt 8 .
+:result :contractionAt 9 .
+:result :envelope (0 "12.5"^^xsd:decimal "12.5"^^xsd:decimal) .
+:result :envelope (1 "8.95664138125"^^xsd:decimal "8.956641382499999"^^xsd:decimal) .
+:result :envelope (10 "0.4459249163814359"^^xsd:decimal "0.44592491700377423"^^xsd:decimal) .
+:result :envelope (11 "0.3195191647193932"^^xsd:decimal "0.3195191652099106"^^xsd:decimal) .
+:result :envelope (12 "0.22894548582625215"^^xsd:decimal "0.22894548620967514"^^xsd:decimal) .
+:result :envelope (2 "6.417713986585592"^^xsd:decimal "6.41771398837692"^^xsd:decimal) .
+:result :envelope (3 "4.598493013222353"^^xsd:decimal "4.5984930151476675"^^xsd:decimal) .
+:result :envelope (4 "3.2949642250893065"^^xsd:decimal "3.2949642269287036"^^xsd:decimal) .
+:result :envelope (5 "2.3609450342538576"^^xsd:decimal "2.3609450359013398"^^xsd:decimal) .
+:result :envelope (6 "1.6916910394123839"^^xsd:decimal "1.691691040828951"^^xsd:decimal) .
+:result :envelope (7 "1.2121495974312624"^^xsd:decimal "1.2121495986154462"^^xsd:decimal) .
+:result :envelope (8 "0.8685431395694698"^^xsd:decimal "0.8685431405391896"^^xsd:decimal) .
+:result :envelope (9 "0.6223383540214966"^^xsd:decimal "0.6223383548031854"^^xsd:decimal) .
+:result :summary ("exact-pole" "exp(-1/3)" "decimal-lower" "0.7165313105"^^xsd:decimal "decimal-upper" "0.7165313106"^^xsd:decimal "tolerance" "0.5"^^xsd:decimal "first-settled-step" 10 "first-settled-time-s" "0.2"^^xsd:decimal) .

package/examples/output/high-trust-rdf-bloom-envelope.n3

@@ -0,0 +1,7 @@
+@prefix : <http://example.org/high-trust-rdf#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:result :expIntervalCertificate :CertifiedDecimalInterval .
+:result :summary ("parameter-sanity" true "index-agreement" true "transcendental" "exp(-k*n/m)" "lambda" "0.5126953125"^^xsd:decimal "certified-lambda" 0.5126953125 "exp-lower" 0.5988792348 "exp-upper" 0.5988792349 "fp-lower" "0.0016708059567271017"^^xsd:decimal "fp-upper" "0.0016708059596428394"^^xsd:decimal "expected-extra-exact-lookups-upper" "83.54029798214196"^^xsd:decimal "decision" :AcceptForHighTrustUse) .
+:result :withinExactLookupBudget true .
+:result :withinFpRateBudget true .

package/examples/output/high-trust-rdf-bloom-tamper-contrast.n3

@@ -0,0 +1,27 @@
+@prefix : <http://example.org/high-trust-rdf#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:result :decision [
+  :artifact :trustedArtifact ;
+  :hardened :AcceptForHighTrustUse ;
+  :weak :AcceptUnderWeakBudgetOnlyRules
+] .
+:result :decision [
+  :artifact :tamperedArtifact ;
+  :hardened :RejectForHighTrustUse ;
+  :weak :AcceptUnderWeakBudgetOnlyRules
+] .
+:result :rejectReason [
+  :artifact :tamperedArtifact ;
+  :why :NonPositiveBloomBits
+] .
+:result :rejectReason [
+  :artifact :tamperedArtifact ;
+  :why :CertifiedLambdaMismatch
+] .
+:result :rejectReason [
+  :artifact :tamperedArtifact ;
+  :why :MalformedIntervalOrdering
+] .
+:result :summary (:tamperedArtifact "lambda" -700 "certified-lambda" 0.5126953125 "weak-fp-upper" "-194754273881"^^xsd:decimal "weak-extra-exact-upper" "-194754273881"^^xsd:decimal "weak-decision" :AcceptUnderWeakBudgetOnlyRules "hardened-decision" :RejectForHighTrustUse) .
+:result :summary (:trustedArtifact "lambda" "0.5126953125"^^xsd:decimal "certified-lambda" 0.5126953125 "weak-fp-upper" "0.0016708059596428394"^^xsd:decimal "weak-extra-exact-upper" "83.54029798214196"^^xsd:decimal "weak-decision" :AcceptUnderWeakBudgetOnlyRules "hardened-decision" :AcceptForHighTrustUse) .

package/examples/output/integer-first-control-tank-level.n3

@@ -0,0 +1,70 @@
+@prefix : <http://example.org/integer-control#> .
+
+:result :holdBand (:trialHigh 5 true) .
+:result :holdBand (:trialHigh 6 true) .
+:result :holdBand (:trialHigh 7 true) .
+:result :holdBand (:trialLow 5 true) .
+:result :holdBand (:trialLow 6 true) .
+:result :holdBand (:trialLow 7 true) .
+:result :holdBand (:trialNominal 0 true) .
+:result :holdBand (:trialNominal 1 true) .
+:result :holdBand (:trialNominal 2 true) .
+:result :holdBand (:trialNominal 3 true) .
+:result :holdBand (:trialNominal 4 true) .
+:result :holdBand (:trialNominal 5 true) .
+:result :holdBand (:trialNominal 6 true) .
+:result :holdBand (:trialNominal 7 true) .
+:result :insideBand (:trialHigh 5 21) .
+:result :insideBand (:trialHigh 6 21) .
+:result :insideBand (:trialHigh 7 21) .
+:result :insideBand (:trialHigh 8 21) .
+:result :insideBand (:trialLow 5 19) .
+:result :insideBand (:trialLow 6 19) .
+:result :insideBand (:trialLow 7 19) .
+:result :insideBand (:trialLow 8 19) .
+:result :insideBand (:trialNominal 0 20) .
+:result :insideBand (:trialNominal 1 20) .
+:result :insideBand (:trialNominal 2 20) .
+:result :insideBand (:trialNominal 3 20) .
+:result :insideBand (:trialNominal 4 20) .
+:result :insideBand (:trialNominal 5 20) .
+:result :insideBand (:trialNominal 6 20) .
+:result :insideBand (:trialNominal 7 20) .
+:result :insideBand (:trialNominal 8 20) .
+:result :strictImprovement (:trialHigh 0 true) .
+:result :strictImprovement (:trialHigh 1 true) .
+:result :strictImprovement (:trialHigh 2 true) .
+:result :strictImprovement (:trialHigh 3 true) .
+:result :strictImprovement (:trialHigh 4 true) .
+:result :strictImprovement (:trialLow 0 true) .
+:result :strictImprovement (:trialLow 1 true) .
+:result :strictImprovement (:trialLow 2 true) .
+:result :strictImprovement (:trialLow 3 true) .
+:result :strictImprovement (:trialLow 4 true) .
+:result :trace (:trialHigh 0 28 0 8) .
+:result :trace (:trialHigh 1 26 0 6) .
+:result :trace (:trialHigh 2 24 1 4) .
+:result :trace (:trialHigh 3 23 1 3) .
+:result :trace (:trialHigh 4 22 1 2) .
+:result :trace (:trialHigh 5 21 2 1) .
+:result :trace (:trialHigh 6 21 2 1) .
+:result :trace (:trialHigh 7 21 2 1) .
+:result :trace (:trialHigh 8 21 2 1) .
+:result :trace (:trialLow 0 12 4 8) .
+:result :trace (:trialLow 1 14 4 6) .
+:result :trace (:trialLow 2 16 3 4) .
+:result :trace (:trialLow 3 17 3 3) .
+:result :trace (:trialLow 4 18 3 2) .
+:result :trace (:trialLow 5 19 2 1) .
+:result :trace (:trialLow 6 19 2 1) .
+:result :trace (:trialLow 7 19 2 1) .
+:result :trace (:trialLow 8 19 2 1) .
+:result :trace (:trialNominal 0 20 2 0) .
+:result :trace (:trialNominal 1 20 2 0) .
+:result :trace (:trialNominal 2 20 2 0) .
+:result :trace (:trialNominal 3 20 2 0) .
+:result :trace (:trialNominal 4 20 2 0) .
+:result :trace (:trialNominal 5 20 2 0) .
+:result :trace (:trialNominal 6 20 2 0) .
+:result :trace (:trialNominal 7 20 2 0) .
+:result :trace (:trialNominal 8 20 2 0) .

package/examples/output/integer-first-sqrt2-mediants.n3

@@ -0,0 +1,57 @@
+@prefix : <http://example.org/integer-first#> .
+@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
+
+:result :boundsQ (0 1 1 2 1) .
+:result :boundsQ (1 1 1 3 2) .
+:result :boundsQ (2 4 3 3 2) .
+:result :boundsQ (3 7 5 3 2) .
+:result :boundsQ (4 7 5 10 7) .
+:result :boundsQ (5 7 5 17 12) .
+:result :boundsQ (6 24 17 17 12) .
+:result :boundsQ (7 41 29 17 12) .
+:result :boundsQ (8 41 29 58 41) .
+:result :decimalBounds (0 1 2) .
+:result :decimalBounds (1 1 "1.5"^^xsd:decimal) .
+:result :decimalBounds (2 "1.3333333333333333"^^xsd:decimal "1.5"^^xsd:decimal) .
+:result :decimalBounds (3 "1.4"^^xsd:decimal "1.5"^^xsd:decimal) .
+:result :decimalBounds (4 "1.4"^^xsd:decimal "1.4285714285714286"^^xsd:decimal) .
+:result :decimalBounds (5 "1.4"^^xsd:decimal "1.4166666666666667"^^xsd:decimal) .
+:result :decimalBounds (6 "1.411764705882353"^^xsd:decimal "1.4166666666666667"^^xsd:decimal) .
+:result :decimalBounds (7 "1.4137931034482758"^^xsd:decimal "1.4166666666666667"^^xsd:decimal) .
+:result :decimalBounds (8 "1.4137931034482758"^^xsd:decimal "1.4146341463414633"^^xsd:decimal) .
+:result :fareyAdjacent (0 true) .
+:result :fareyAdjacent (1 true) .
+:result :fareyAdjacent (2 true) .
+:result :fareyAdjacent (3 true) .
+:result :fareyAdjacent (4 true) .
+:result :fareyAdjacent (5 true) .
+:result :fareyAdjacent (6 true) .
+:result :fareyAdjacent (7 true) .
+:result :fareyAdjacent (8 true) .
+:result :gapTo2 (0 1 2) .
+:result :gapTo2 (1 1 1) .
+:result :gapTo2 (2 2 1) .
+:result :gapTo2 (3 1 1) .
+:result :gapTo2 (4 1 2) .
+:result :gapTo2 (5 1 1) .
+:result :gapTo2 (6 2 1) .
+:result :gapTo2 (7 1 1) .
+:result :gapTo2 (8 1 2) .
+:result :midpoint (0 "1.5"^^xsd:decimal) .
+:result :midpoint (1 "1.25"^^xsd:decimal) .
+:result :midpoint (2 "1.4166666666666665"^^xsd:decimal) .
+:result :midpoint (3 "1.45"^^xsd:decimal) .
+:result :midpoint (4 "1.4142857142857141"^^xsd:decimal) .
+:result :midpoint (5 "1.4083333333333332"^^xsd:decimal) .
+:result :midpoint (6 "1.4142156862745099"^^xsd:decimal) .
+:result :midpoint (7 "1.4152298850574714"^^xsd:decimal) .
+:result :midpoint (8 "1.4142136248948696"^^xsd:decimal) .
+:result :widthQ (0 1 1) .
+:result :widthQ (1 1 2) .
+:result :widthQ (2 1 6) .
+:result :widthQ (3 1 10) .
+:result :widthQ (4 1 35) .
+:result :widthQ (5 1 60) .
+:result :widthQ (6 1 204) .
+:result :widthQ (7 1 348) .
+:result :widthQ (8 1 1189) .

package/eyeling.js

@@ -7847,6 +7847,95 @@ function decodeN3StringEscapes(s, offset = null) {
   return out;
 }
 
+function formatCodePoint(cp) {
+  return cp
+    .toString(16)
+    .toUpperCase()
+    .padStart(cp <= 0xffff ? 4 : 6, '0');
+}
+
+function isForbiddenIriRefChar(c) {
+  return (
+    c === '<' || c === '>' || c === '"' || c === '{' || c === '}' || c === '|' || c === '^' || c === '`' || c === '\\'
+  );
+}
+
+function assertValidIriRefCodePoint(cp, offset = null) {
+  if (cp <= 0x20) {
+    throw new N3SyntaxError(`Invalid IRIREF: character U+${formatCodePoint(cp)} is not allowed inside <...>`, offset);
+  }
+
+  if (cp >= 0xd800 && cp <= 0xdfff) {
+    throw new N3SyntaxError(
+      `Invalid IRIREF: surrogate code point U+${formatCodePoint(cp)} is not allowed inside <...>`,
+      offset,
+    );
+  }
+
+  if (isForbiddenNoncharacterCodePoint(cp)) {
+    throw new N3SyntaxError(
+      `Invalid IRIREF: noncharacter U+${formatCodePoint(cp)} is not allowed inside <...>`,
+      offset,
+    );
+  }
+
+  const c = String.fromCodePoint(cp);
+  if (isForbiddenIriRefChar(c)) {
+    throw new N3SyntaxError(`Invalid IRIREF: character ${JSON.stringify(c)} is not allowed inside <...>`, offset);
+  }
+}
+
+function decodeIriRefEscapes(s, offset = null) {
+  let out = '';
+  for (let i = 0; i < s.length; i++) {
+    const c = s[i];
+    if (c !== '\\') {
+      const cp = c.codePointAt(0);
+      assertValidIriRefCodePoint(cp, offset);
+      out += c;
+      continue;
+    }
+
+    if (i + 1 >= s.length) {
+      throw new N3SyntaxError('Invalid IRIREF: bare backslash is not allowed inside <...>', offset);
+    }
+
+    const e = s[++i];
+    if (e === 'u') {
+      const hex = s.slice(i + 1, i + 5);
+      if (!/^[0-9A-Fa-f]{4}$/.test(hex)) {
+        throw new N3SyntaxError('Invalid IRIREF: malformed \\u escape inside <...>', offset);
+      }
+      const cp = parseInt(hex, 16);
+      assertValidIriRefCodePoint(cp, offset);
+      out += String.fromCodePoint(cp);
+      i += 4;
+      continue;
+    }
+
+    if (e === 'U') {
+      const hex = s.slice(i + 1, i + 9);
+      if (!/^[0-9A-Fa-f]{8}$/.test(hex)) {
+        throw new N3SyntaxError('Invalid IRIREF: malformed \\U escape inside <...>', offset);
+      }
+      const cp = parseInt(hex, 16);
+      if (cp < 0 || cp > 0x10ffff) {
+        throw new N3SyntaxError(`Invalid IRIREF: code point U+${hex.toUpperCase()} is out of range`, offset);
+      }
+      assertValidIriRefCodePoint(cp, offset);
+      out += String.fromCodePoint(cp);
+      i += 8;
+      continue;
+    }
+
+    throw new N3SyntaxError(
+      `Invalid IRIREF: character ${JSON.stringify('\\' + e)} is not allowed inside <...>`,
+      offset,
+    );
+  }
+  return out;
+}
+
 function assertValidStringLiteralValue(s, offset = null) {
   for (let i = 0; i < s.length; i++) {
     const cu = s.charCodeAt(i);
@@ -8032,7 +8121,7 @@ function lex(inputText) {
         throw new N3SyntaxError('Unterminated IRI <...>', start);
       }
       i++; // skip '>'
-      const iri = iriChars.join('');
+      const iri = decodeIriRefEscapes(iriChars.join(''), start);
       tokens.push(new Token('IriRef', iri, start));
       continue;
     }

package/lib/lexer.js

@@ -201,6 +201,95 @@ function decodeN3StringEscapes(s, offset = null) {
   return out;
 }
 
+function formatCodePoint(cp) {
+  return cp
+    .toString(16)
+    .toUpperCase()
+    .padStart(cp <= 0xffff ? 4 : 6, '0');
+}
+
+function isForbiddenIriRefChar(c) {
+  return (
+    c === '<' || c === '>' || c === '"' || c === '{' || c === '}' || c === '|' || c === '^' || c === '`' || c === '\\'
+  );
+}
+
+function assertValidIriRefCodePoint(cp, offset = null) {
+  if (cp <= 0x20) {
+    throw new N3SyntaxError(`Invalid IRIREF: character U+${formatCodePoint(cp)} is not allowed inside <...>`, offset);
+  }
+
+  if (cp >= 0xd800 && cp <= 0xdfff) {
+    throw new N3SyntaxError(
+      `Invalid IRIREF: surrogate code point U+${formatCodePoint(cp)} is not allowed inside <...>`,
+      offset,
+    );
+  }
+
+  if (isForbiddenNoncharacterCodePoint(cp)) {
+    throw new N3SyntaxError(
+      `Invalid IRIREF: noncharacter U+${formatCodePoint(cp)} is not allowed inside <...>`,
+      offset,
+    );
+  }
+
+  const c = String.fromCodePoint(cp);
+  if (isForbiddenIriRefChar(c)) {
+    throw new N3SyntaxError(`Invalid IRIREF: character ${JSON.stringify(c)} is not allowed inside <...>`, offset);
+  }
+}
+
+function decodeIriRefEscapes(s, offset = null) {
+  let out = '';
+  for (let i = 0; i < s.length; i++) {
+    const c = s[i];
+    if (c !== '\\') {
+      const cp = c.codePointAt(0);
+      assertValidIriRefCodePoint(cp, offset);
+      out += c;
+      continue;
+    }
+
+    if (i + 1 >= s.length) {
+      throw new N3SyntaxError('Invalid IRIREF: bare backslash is not allowed inside <...>', offset);
+    }
+
+    const e = s[++i];
+    if (e === 'u') {
+      const hex = s.slice(i + 1, i + 5);
+      if (!/^[0-9A-Fa-f]{4}$/.test(hex)) {
+        throw new N3SyntaxError('Invalid IRIREF: malformed \\u escape inside <...>', offset);
+      }
+      const cp = parseInt(hex, 16);
+      assertValidIriRefCodePoint(cp, offset);
+      out += String.fromCodePoint(cp);
+      i += 4;
+      continue;
+    }
+
+    if (e === 'U') {
+      const hex = s.slice(i + 1, i + 9);
+      if (!/^[0-9A-Fa-f]{8}$/.test(hex)) {
+        throw new N3SyntaxError('Invalid IRIREF: malformed \\U escape inside <...>', offset);
+      }
+      const cp = parseInt(hex, 16);
+      if (cp < 0 || cp > 0x10ffff) {
+        throw new N3SyntaxError(`Invalid IRIREF: code point U+${hex.toUpperCase()} is out of range`, offset);
+      }
+      assertValidIriRefCodePoint(cp, offset);
+      out += String.fromCodePoint(cp);
+      i += 8;
+      continue;
+    }
+
+    throw new N3SyntaxError(
+      `Invalid IRIREF: character ${JSON.stringify('\\' + e)} is not allowed inside <...>`,
+      offset,
+    );
+  }
+  return out;
+}
+
 function assertValidStringLiteralValue(s, offset = null) {
   for (let i = 0; i < s.length; i++) {
     const cu = s.charCodeAt(i);
@@ -386,7 +475,7 @@ function lex(inputText) {
         throw new N3SyntaxError('Unterminated IRI <...>', start);
       }
       i++; // skip '>'
-      const iri = iriChars.join('');
+      const iri = decodeIriRefEscapes(iriChars.join(''), start);
       tokens.push(new Token('IriRef', iri, start));
       continue;
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "eyeling",
-  "version": "1.14.13",
+  "version": "1.15.0",
   "description": "A minimal Notation3 (N3) reasoner in JavaScript.",
   "main": "./index.js",
   "keywords": [
@@ -42,10 +42,11 @@
     "test:api": "node test/api.test.js",
     "test:n3gen": "node test/n3gen.test.js",
     "test:examples": "node test/examples.test.js",
+    "test:check": "node test/check.test.js",
     "test:manifest": "node test/manifest.test.js",
     "test:playground": "node test/playground.test.js",
     "test:package": "node test/package.test.js",
-    "test:all": "npm run test:api && npm run test:n3gen && npm run test:examples && npm run test:manifest && npm run test:playground",
+    "test:all": "npm run test:api && npm run test:n3gen && npm run test:examples && npm run test:check && npm run test:manifest && npm run test:playground",
     "pretest": "npm run build && npm run test:packlist",
     "test": "npm run test:all",
     "posttest": "npm run test:package",