eyeling 1.20.0 → 1.21.1

package/HANDBOOK.md

@@ -1757,7 +1757,9 @@ The same API can now also emit RDF/JS output. When `rdfjs: true` is passed, ever
 - `triple` — Eyeling’s N3 string form
 - `quad` — the same fact as an RDF/JS default-graph quad
 
-For fully stream-oriented RDF/JS consumers there is also `reasonRdfJs(...)`, which exposes the derived facts as an async iterable of RDF/JS quads.
+If your closure may contain N3-only terms such as quoted formulas (`GraphTerm`), RDF/JS conversion can fail because those terms have no standard RDF/JS representation. In that case, pass `skipUnsupportedRdfJs: true` to keep the full N3 closure while silently omitting any derived triples that cannot be represented as RDF/JS quads. When this flag is enabled, `onDerived(...)` still fires for every derived fact, but `quad` is only present for the representable ones.
+
+For fully stream-oriented RDF/JS consumers there is also `reasonRdfJs(...)`, which exposes the derived facts as an async iterable of RDF/JS quads. The same `skipUnsupportedRdfJs: true` flag applies there as well.
 
 ---
 
@@ -2002,8 +2004,11 @@ import eyeling from './eyeling.js';
 
 const result = eyeling.reasonStream(input, {
   proof: false,
-  onDerived: ({ quad }) => {
+  rdfjs: true,
+  skipUnsupportedRdfJs: true,
+  onDerived: ({ triple, quad }) => {
     if (quad) console.log(quad);
+    else console.warn('Skipped non-RDF/JS derived triple:', triple);
   },
 });
 ```
@@ -2011,11 +2016,15 @@ const result = eyeling.reasonStream(input, {
 That same path also lets derived results be consumed as an async stream of RDF/JS quads:
 
 ```js
-for await (const quad of eyeling.reasonRdfJs(input)) {
+for await (const quad of eyeling.reasonRdfJs(input, {
+  skipUnsupportedRdfJs: true,
+})) {
   console.log(quad);
 }
 ```
 
+Use `skipUnsupportedRdfJs: true` when you want RDF/JS consumers to ignore derived triples that contain N3-only terms such as quoted formulas. This affects only RDF/JS export. The underlying Eyeling closure and `closureN3` output remain unchanged.
+
 Use these entry points when you need one or more of the following:
 
 - RDF/JS quads as fact input

package/dist/browser/eyeling.browser.js

@@ -8679,6 +8679,23 @@ function forwardChainAndCollectLogQueryConclusions(
 
 // (proof printing + log:outputString moved to lib/explain.js)
 
+function isUnsupportedRdfJsConversionError(err) {
+  return (
+    err instanceof TypeError &&
+    typeof err.message === 'string' &&
+    err.message.startsWith('Cannot convert N3-only term ')
+  );
+}
+
+function maybeTripleToRdfJsQuad(triple, rdfFactory, skipUnsupportedRdfJs) {
+  try {
+    return internalTripleToRdfJsQuad(triple, rdfFactory);
+  } catch (err) {
+    if (skipUnsupportedRdfJs && isUnsupportedRdfJsConversionError(err)) return null;
+    throw err;
+  }
+}
+
 function reasonStream(input, opts = {}) {
   const {
     baseIri = null,
@@ -8688,6 +8705,7 @@ function reasonStream(input, opts = {}) {
     enforceHttps = false,
     rdfjs = false,
     dataFactory = null,
+    skipUnsupportedRdfJs = false,
     builtinModules = null,
   } = opts;
 
@@ -8750,7 +8768,10 @@ function reasonStream(input, opts = {}) {
     if (typeof onDerived === 'function') {
       for (const qdf of queryDerived) {
         const payload = { triple: tripleToN3(qdf.fact, prefixes), df: qdf };
-        if (rdfFactory) payload.quad = internalTripleToRdfJsQuad(qdf.fact, rdfFactory);
+        if (rdfFactory) {
+          const quad = maybeTripleToRdfJsQuad(qdf.fact, rdfFactory, skipUnsupportedRdfJs);
+          if (quad) payload.quad = quad;
+        }
         onDerived(payload);
       }
     }
@@ -8766,7 +8787,10 @@ function reasonStream(input, opts = {}) {
             triple: tripleToN3(df.fact, prefixes),
             df,
           };
-          if (rdfFactory) payload.quad = internalTripleToRdfJsQuad(df.fact, rdfFactory);
+          if (rdfFactory) {
+            const quad = maybeTripleToRdfJsQuad(df.fact, rdfFactory, skipUnsupportedRdfJs);
+            if (quad) payload.quad = quad;
+          }
           onDerived(payload);
         }
       },
@@ -8797,15 +8821,19 @@ function reasonStream(input, opts = {}) {
   };
 
   if (rdfFactory) {
-    __out.closureQuads = closureTriples.map((t) => internalTripleToRdfJsQuad(t, rdfFactory));
-    __out.queryQuads = queryTriples.map((t) => internalTripleToRdfJsQuad(t, rdfFactory));
+    __out.closureQuads = closureTriples
+      .map((t) => maybeTripleToRdfJsQuad(t, rdfFactory, skipUnsupportedRdfJs))
+      .filter(Boolean);
+    __out.queryQuads = queryTriples
+      .map((t) => maybeTripleToRdfJsQuad(t, rdfFactory, skipUnsupportedRdfJs))
+      .filter(Boolean);
   }
   deref.setEnforceHttpsEnabled(__oldEnforceHttps);
   return __out;
 }
 
 function reasonRdfJs(input, opts = {}) {
-  const { dataFactory = null, ...restOpts } = opts || {};
+  const { dataFactory = null, skipUnsupportedRdfJs = false, ...restOpts } = opts || {};
   const rdfFactory = getDataFactory(dataFactory);
 
   const queue = [];
@@ -8829,8 +8857,11 @@ function reasonRdfJs(input, opts = {}) {
         ...restOpts,
         rdfjs: false,
         onDerived: ({ df }) => {
-          queue.push(internalTripleToRdfJsQuad(df.fact, rdfFactory));
-          flush();
+          const quad = maybeTripleToRdfJsQuad(df.fact, rdfFactory, skipUnsupportedRdfJs);
+          if (quad) {
+            queue.push(quad);
+            flush();
+          }
         },
       });
     } catch (e) {

package/examples/matrix-mechanics.n3

@@ -0,0 +1,374 @@
+# =======================================================================
+# matrix-mechanics.n3
+#
+# Purpose
+# -------
+# This is a small toy "matrix mechanics" example written in Eyeling-style
+# Notation3. It models two 2x2 matrices:
+#
+#   H = [[1,0],[0,2]]
+#   X = [[0,1],[1,0]]
+#
+# and derives:
+#   - trace(H)
+#   - det(H)
+#   - HX
+#   - XH
+#   - the commutator [H,X] = HX - XH
+#
+# What the example demonstrates
+# -----------------------------
+# 1. How to encode a small algebraic model as RDF-style facts.
+# 2. How to derive new facts with N3 implication rules.
+# 3. How to present conclusions with log:outputString.
+# 4. How to add hard checks using `=> false`.
+#
+# Expected result
+# ---------------
+# - H has trace 3 and determinant 2.
+# - X is an involution: X^2 = I.
+# - [H,X] is non-zero, so H and X do not commute.
+#
+# Notes
+# -----
+# - This is a direct, concrete 2x2 example, not a general matrix library.
+# - The structure follows the Eyeling handbook style:
+#     Facts -> Logic -> Presentation -> Checks
+# - The output is organized in ARC form:
+#     Answer -> Reason Why -> Check
+# =======================================================================
+
+@prefix : <http://example.org/#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+@prefix math: <http://www.w3.org/2000/10/swap/math#> .
+@prefix string: <http://www.w3.org/2000/10/swap/string#> .
+
+# -----
+# Facts
+# -----
+
+:H :a11 1; :a12 0; :a21 0; :a22 2 .
+:X :a11 0; :a12 1; :a21 1; :a22 0 .
+
+# -----
+# Logic
+# -----
+
+# trace(H) = H11 + H22
+{
+  :H :a11 ?h11; :a22 ?h22 .
+  (?h11 ?h22) math:sum ?tr .
+}
+=>
+{
+  :H :trace ?tr .
+} .
+
+# det(H) = H11*H22 - H12*H21
+{
+  :H :a11 ?h11; :a12 ?h12; :a21 ?h21; :a22 ?h22 .
+  (?h11 ?h22) math:product ?p1 .
+  (?h12 ?h21) math:product ?p2 .
+  (?p1 ?p2) math:difference ?det .
+}
+=>
+{
+  :H :det ?det .
+} .
+
+# HX = H * X
+{
+  :H :a11 ?h11; :a12 ?h12; :a21 ?h21; :a22 ?h22 .
+  :X :a11 ?x11; :a12 ?x12; :a21 ?x21; :a22 ?x22 .
+
+  (?h11 ?x11) math:product ?hx11a .
+  (?h12 ?x21) math:product ?hx11b .
+  (?hx11a ?hx11b) math:sum ?hx11 .
+
+  (?h11 ?x12) math:product ?hx12a .
+  (?h12 ?x22) math:product ?hx12b .
+  (?hx12a ?hx12b) math:sum ?hx12 .
+
+  (?h21 ?x11) math:product ?hx21a .
+  (?h22 ?x21) math:product ?hx21b .
+  (?hx21a ?hx21b) math:sum ?hx21 .
+
+  (?h21 ?x12) math:product ?hx22a .
+  (?h22 ?x22) math:product ?hx22b .
+  (?hx22a ?hx22b) math:sum ?hx22 .
+}
+=>
+{
+  :HX :a11 ?hx11; :a12 ?hx12; :a21 ?hx21; :a22 ?hx22 .
+} .
+
+# XH = X * H
+{
+  :X :a11 ?x11; :a12 ?x12; :a21 ?x21; :a22 ?x22 .
+  :H :a11 ?h11; :a12 ?h12; :a21 ?h21; :a22 ?h22 .
+
+  (?x11 ?h11) math:product ?xh11a .
+  (?x12 ?h21) math:product ?xh11b .
+  (?xh11a ?xh11b) math:sum ?xh11 .
+
+  (?x11 ?h12) math:product ?xh12a .
+  (?x12 ?h22) math:product ?xh12b .
+  (?xh12a ?xh12b) math:sum ?xh12 .
+
+  (?x21 ?h11) math:product ?xh21a .
+  (?x22 ?h21) math:product ?xh21b .
+  (?xh21a ?xh21b) math:sum ?xh21 .
+
+  (?x21 ?h12) math:product ?xh22a .
+  (?x22 ?h22) math:product ?xh22b .
+  (?xh22a ?xh22b) math:sum ?xh22 .
+}
+=>
+{
+  :XH :a11 ?xh11; :a12 ?xh12; :a21 ?xh21; :a22 ?xh22 .
+} .
+
+# XX = X * X
+{
+  :X :a11 ?x11; :a12 ?x12; :a21 ?x21; :a22 ?x22 .
+
+  (?x11 ?x11) math:product ?xx11a .
+  (?x12 ?x21) math:product ?xx11b .
+  (?xx11a ?xx11b) math:sum ?xx11 .
+
+  (?x11 ?x12) math:product ?xx12a .
+  (?x12 ?x22) math:product ?xx12b .
+  (?xx12a ?xx12b) math:sum ?xx12 .
+
+  (?x21 ?x11) math:product ?xx21a .
+  (?x22 ?x21) math:product ?xx21b .
+  (?xx21a ?xx21b) math:sum ?xx21 .
+
+  (?x21 ?x12) math:product ?xx22a .
+  (?x22 ?x22) math:product ?xx22b .
+  (?xx22a ?xx22b) math:sum ?xx22 .
+}
+=>
+{
+  :XX :a11 ?xx11; :a12 ?xx12; :a21 ?xx21; :a22 ?xx22 .
+} .
+
+# C = [H,X] = HX - XH
+{
+  :HX :a11 ?hx11; :a12 ?hx12; :a21 ?hx21; :a22 ?hx22 .
+  :XH :a11 ?xh11; :a12 ?xh12; :a21 ?xh21; :a22 ?xh22 .
+
+  (?hx11 ?xh11) math:difference ?c11 .
+  (?hx12 ?xh12) math:difference ?c12 .
+  (?hx21 ?xh21) math:difference ?c21 .
+  (?hx22 ?xh22) math:difference ?c22 .
+}
+=>
+{
+  :C :a11 ?c11; :a12 ?c12; :a21 ?c21; :a22 ?c22 .
+} .
+
+# Summary facts
+{
+  :H :trace 3; :det 2 .
+}
+=>
+{
+  :H :spectrumOk "yes" .
+} .
+
+{
+  :XX :a11 1; :a12 0; :a21 0; :a22 1 .
+}
+=>
+{
+  :X :involution "yes" .
+} .
+
+{
+  :C :a11 ?v .
+  ?v math:notEqualTo 0 .
+}
+=>
+{
+  :C :nonzero "yes" .
+} .
+
+{
+  :C :a12 ?v .
+  ?v math:notEqualTo 0 .
+}
+=>
+{
+  :C :nonzero "yes" .
+} .
+
+{
+  :C :a21 ?v .
+  ?v math:notEqualTo 0 .
+}
+=>
+{
+  :C :nonzero "yes" .
+} .
+
+{
+  :C :a22 ?v .
+  ?v math:notEqualTo 0 .
+}
+=>
+{
+  :C :nonzero "yes" .
+} .
+
+{
+  :H :spectrumOk "yes" .
+  :X :involution "yes" .
+  :C :nonzero "yes" .
+}
+=>
+{
+  :model :ok "yes" ;
+         :answer "In this toy matrix-mechanics model, the Hamiltonian has two discrete energy levels and does not commute with a second observable." .
+} .
+
+# -----------------------------------------------
+# Presentation (ARC: Answer • Reason Why • Check)
+# -----------------------------------------------
+
+{
+  :model :answer ?txt .
+}
+=>
+{
+  :s01 log:outputString "=== Answer ===\n" .
+  :s02 log:outputString ?txt .
+  :s03 log:outputString "\n\n=== Reason Why ===\n" .
+} .
+
+{
+  :H :a11 ?a11; :a12 ?a12; :a21 ?a21; :a22 ?a22 .
+  ("H = [[" ?a11 "," ?a12 "],[" ?a21 "," ?a22 "]]\n")
+    string:concatenation ?line .
+}
+=>
+{
+  :s04 log:outputString ?line .
+} .
+
+{
+  :X :a11 ?a11; :a12 ?a12; :a21 ?a21; :a22 ?a22 .
+  ("X = [[" ?a11 "," ?a12 "],[" ?a21 "," ?a22 "]]\n")
+    string:concatenation ?line .
+}
+=>
+{
+  :s05 log:outputString ?line .
+} .
+
+{
+  :HX :a11 ?a11; :a12 ?a12; :a21 ?a21; :a22 ?a22 .
+  ("HX = [[" ?a11 "," ?a12 "],[" ?a21 "," ?a22 "]]\n")
+    string:concatenation ?line .
+}
+=>
+{
+  :s06 log:outputString ?line .
+} .
+
+{
+  :XH :a11 ?a11; :a12 ?a12; :a21 ?a21; :a22 ?a22 .
+  ("XH = [[" ?a11 "," ?a12 "],[" ?a21 "," ?a22 "]]\n")
+    string:concatenation ?line .
+}
+=>
+{
+  :s07 log:outputString ?line .
+} .
+
+{
+  :C :a11 ?a11; :a12 ?a12; :a21 ?a21; :a22 ?a22 .
+  ("[H,X] = [[" ?a11 "," ?a12 "],[" ?a21 "," ?a22 "]]\n")
+    string:concatenation ?line .
+}
+=>
+{
+  :s08 log:outputString ?line .
+} .
+
+{
+  :model :ok "yes" .
+}
+=>
+{
+  :s09 log:outputString "\n=== Check ===\n" .
+} .
+
+{
+  :H :spectrumOk "yes" .
+}
+=>
+{
+  :s10 log:outputString "trace/determinant match energy levels: yes\n" .
+} .
+
+{
+  :X :involution "yes" .
+}
+=>
+{
+  :s11 log:outputString "X^2 = I : yes\n" .
+} .
+
+{
+  :C :nonzero "yes" .
+}
+=>
+{
+  :s12 log:outputString "[H,X] != 0 : yes\n" .
+} .
+
+# ------------------------------------------
+# Checks (fail hard if the algebra is wrong)
+# ------------------------------------------
+
+{
+  :H :trace ?tr .
+  ?tr math:notEqualTo 3 .
+}
+=> false .
+
+{
+  :H :det ?det .
+  ?det math:notEqualTo 2 .
+}
+=> false .
+
+{
+  :XX :a11 ?v .
+  ?v math:notEqualTo 1 .
+}
+=> false .
+
+{
+  :XX :a12 ?v .
+  ?v math:notEqualTo 0 .
+}
+=> false .
+
+{
+  :XX :a21 ?v .
+  ?v math:notEqualTo 0 .
+}
+=> false .
+
+{
+  :XX :a22 ?v .
+  ?v math:notEqualTo 1 .
+}
+=> false .
+
+{
+  :C :a11 0; :a12 0; :a21 0; :a22 0 .
+}
+=> false .

package/examples/output/matrix-mechanics.n3

@@ -0,0 +1,14 @@
+=== Answer ===
+In this toy matrix-mechanics model, the Hamiltonian has two discrete energy levels and does not commute with a second observable.
+
+=== Reason Why ===
+H = [[1,0],[0,2]]
+X = [[0,1],[1,0]]
+HX = [[0,1],[2,0]]
+XH = [[0,2],[1,0]]
+[H,X] = [[0,-1],[1,0]]
+
+=== Check ===
+trace/determinant match energy levels: yes
+X^2 = I : yes
+[H,X] != 0 : yes

package/eyeling.js

@@ -8679,6 +8679,23 @@ function forwardChainAndCollectLogQueryConclusions(
 
 // (proof printing + log:outputString moved to lib/explain.js)
 
+function isUnsupportedRdfJsConversionError(err) {
+  return (
+    err instanceof TypeError &&
+    typeof err.message === 'string' &&
+    err.message.startsWith('Cannot convert N3-only term ')
+  );
+}
+
+function maybeTripleToRdfJsQuad(triple, rdfFactory, skipUnsupportedRdfJs) {
+  try {
+    return internalTripleToRdfJsQuad(triple, rdfFactory);
+  } catch (err) {
+    if (skipUnsupportedRdfJs && isUnsupportedRdfJsConversionError(err)) return null;
+    throw err;
+  }
+}
+
 function reasonStream(input, opts = {}) {
   const {
     baseIri = null,
@@ -8688,6 +8705,7 @@ function reasonStream(input, opts = {}) {
     enforceHttps = false,
     rdfjs = false,
     dataFactory = null,
+    skipUnsupportedRdfJs = false,
     builtinModules = null,
   } = opts;
 
@@ -8750,7 +8768,10 @@ function reasonStream(input, opts = {}) {
     if (typeof onDerived === 'function') {
       for (const qdf of queryDerived) {
         const payload = { triple: tripleToN3(qdf.fact, prefixes), df: qdf };
-        if (rdfFactory) payload.quad = internalTripleToRdfJsQuad(qdf.fact, rdfFactory);
+        if (rdfFactory) {
+          const quad = maybeTripleToRdfJsQuad(qdf.fact, rdfFactory, skipUnsupportedRdfJs);
+          if (quad) payload.quad = quad;
+        }
         onDerived(payload);
       }
     }
@@ -8766,7 +8787,10 @@ function reasonStream(input, opts = {}) {
             triple: tripleToN3(df.fact, prefixes),
             df,
           };
-          if (rdfFactory) payload.quad = internalTripleToRdfJsQuad(df.fact, rdfFactory);
+          if (rdfFactory) {
+            const quad = maybeTripleToRdfJsQuad(df.fact, rdfFactory, skipUnsupportedRdfJs);
+            if (quad) payload.quad = quad;
+          }
           onDerived(payload);
         }
       },
@@ -8797,15 +8821,19 @@ function reasonStream(input, opts = {}) {
   };
 
   if (rdfFactory) {
-    __out.closureQuads = closureTriples.map((t) => internalTripleToRdfJsQuad(t, rdfFactory));
-    __out.queryQuads = queryTriples.map((t) => internalTripleToRdfJsQuad(t, rdfFactory));
+    __out.closureQuads = closureTriples
+      .map((t) => maybeTripleToRdfJsQuad(t, rdfFactory, skipUnsupportedRdfJs))
+      .filter(Boolean);
+    __out.queryQuads = queryTriples
+      .map((t) => maybeTripleToRdfJsQuad(t, rdfFactory, skipUnsupportedRdfJs))
+      .filter(Boolean);
   }
   deref.setEnforceHttpsEnabled(__oldEnforceHttps);
   return __out;
 }
 
 function reasonRdfJs(input, opts = {}) {
-  const { dataFactory = null, ...restOpts } = opts || {};
+  const { dataFactory = null, skipUnsupportedRdfJs = false, ...restOpts } = opts || {};
   const rdfFactory = getDataFactory(dataFactory);
 
   const queue = [];
@@ -8829,8 +8857,11 @@ function reasonRdfJs(input, opts = {}) {
         ...restOpts,
         rdfjs: false,
         onDerived: ({ df }) => {
-          queue.push(internalTripleToRdfJsQuad(df.fact, rdfFactory));
-          flush();
+          const quad = maybeTripleToRdfJsQuad(df.fact, rdfFactory, skipUnsupportedRdfJs);
+          if (quad) {
+            queue.push(quad);
+            flush();
+          }
         },
       });
     } catch (e) {

package/index.d.ts

@@ -172,6 +172,7 @@ declare module 'eyeling' {
     enforceHttps?: boolean;
     rdfjs?: boolean;
     dataFactory?: RdfJsDataFactory | null;
+    skipUnsupportedRdfJs?: boolean;
     builtinModules?: string | string[];
     onDerived?: (item: { triple: string; quad?: RdfJsQuad; df: any }) => void;
   }

package/lib/engine.js

@@ -3198,6 +3198,23 @@ function forwardChainAndCollectLogQueryConclusions(
 
 // (proof printing + log:outputString moved to lib/explain.js)
 
+function isUnsupportedRdfJsConversionError(err) {
+  return (
+    err instanceof TypeError &&
+    typeof err.message === 'string' &&
+    err.message.startsWith('Cannot convert N3-only term ')
+  );
+}
+
+function maybeTripleToRdfJsQuad(triple, rdfFactory, skipUnsupportedRdfJs) {
+  try {
+    return internalTripleToRdfJsQuad(triple, rdfFactory);
+  } catch (err) {
+    if (skipUnsupportedRdfJs && isUnsupportedRdfJsConversionError(err)) return null;
+    throw err;
+  }
+}
+
 function reasonStream(input, opts = {}) {
   const {
     baseIri = null,
@@ -3207,6 +3224,7 @@ function reasonStream(input, opts = {}) {
     enforceHttps = false,
     rdfjs = false,
     dataFactory = null,
+    skipUnsupportedRdfJs = false,
     builtinModules = null,
   } = opts;
 
@@ -3269,7 +3287,10 @@ function reasonStream(input, opts = {}) {
     if (typeof onDerived === 'function') {
       for (const qdf of queryDerived) {
         const payload = { triple: tripleToN3(qdf.fact, prefixes), df: qdf };
-        if (rdfFactory) payload.quad = internalTripleToRdfJsQuad(qdf.fact, rdfFactory);
+        if (rdfFactory) {
+          const quad = maybeTripleToRdfJsQuad(qdf.fact, rdfFactory, skipUnsupportedRdfJs);
+          if (quad) payload.quad = quad;
+        }
         onDerived(payload);
       }
     }
@@ -3285,7 +3306,10 @@ function reasonStream(input, opts = {}) {
             triple: tripleToN3(df.fact, prefixes),
             df,
           };
-          if (rdfFactory) payload.quad = internalTripleToRdfJsQuad(df.fact, rdfFactory);
+          if (rdfFactory) {
+            const quad = maybeTripleToRdfJsQuad(df.fact, rdfFactory, skipUnsupportedRdfJs);
+            if (quad) payload.quad = quad;
+          }
           onDerived(payload);
         }
       },
@@ -3316,15 +3340,19 @@ function reasonStream(input, opts = {}) {
   };
 
   if (rdfFactory) {
-    __out.closureQuads = closureTriples.map((t) => internalTripleToRdfJsQuad(t, rdfFactory));
-    __out.queryQuads = queryTriples.map((t) => internalTripleToRdfJsQuad(t, rdfFactory));
+    __out.closureQuads = closureTriples
+      .map((t) => maybeTripleToRdfJsQuad(t, rdfFactory, skipUnsupportedRdfJs))
+      .filter(Boolean);
+    __out.queryQuads = queryTriples
+      .map((t) => maybeTripleToRdfJsQuad(t, rdfFactory, skipUnsupportedRdfJs))
+      .filter(Boolean);
   }
   deref.setEnforceHttpsEnabled(__oldEnforceHttps);
   return __out;
 }
 
 function reasonRdfJs(input, opts = {}) {
-  const { dataFactory = null, ...restOpts } = opts || {};
+  const { dataFactory = null, skipUnsupportedRdfJs = false, ...restOpts } = opts || {};
   const rdfFactory = getDataFactory(dataFactory);
 
   const queue = [];
@@ -3348,8 +3376,11 @@ function reasonRdfJs(input, opts = {}) {
         ...restOpts,
         rdfjs: false,
         onDerived: ({ df }) => {
-          queue.push(internalTripleToRdfJsQuad(df.fact, rdfFactory));
-          flush();
+          const quad = maybeTripleToRdfJsQuad(df.fact, rdfFactory, skipUnsupportedRdfJs);
+          if (quad) {
+            queue.push(quad);
+            flush();
+          }
         },
       });
     } catch (e) {

package/package.json

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

package/test/api.test.js

@@ -1706,6 +1706,60 @@ _:x :hates { _:foo :making :mess }.
       assert.equal(tc.quads[0].graph.termType, 'DefaultGraph');
     },
   },
+  {
+    name: '63a RDF/JS export: reasonRdfJs can skip N3-only derived triples',
+    async run() {
+      const ex = 'http://example.org/';
+      const input = `@prefix : <${ex}>.
+:a :p :b.
+{ :a :p :b. } => { :x :holds { :a :p :b. }. :x :ok :yes. }.`;
+      const quads = [];
+      for await (const quad of reasonRdfJs(input, { skipUnsupportedRdfJs: true })) {
+        quads.push(quad);
+      }
+      this.quads = quads;
+      return quads.map((q) => `${q.subject.value} ${q.predicate.value} ${q.object.value}`).join('\n');
+    },
+    expect: [/http:\/\/example\.org\/ok/],
+    notExpect: [/http:\/\/example\.org\/holds/],
+    check(outputIgnored, tc) {
+      assert.equal(tc.quads.length, 1, 'Expected one yielded RDF/JS quad after skipping GraphTerm output');
+      assert.equal(tc.quads[0].predicate.value, 'http://example.org/ok');
+      assert.equal(tc.quads[0].object.value, 'http://example.org/yes');
+    },
+  },
+  {
+    name: '63b RDF/JS export: reasonStream keeps N3 closure while omitting unsupported closureQuads',
+    run() {
+      const ex = 'http://example.org/';
+      const input = `@prefix : <${ex}>.
+:a :p :b.
+{ :a :p :b. } => { :x :holds { :a :p :b. }. :x :ok :yes. }.`;
+      const seen = [];
+      const result = reasonStream(input, {
+        rdfjs: true,
+        skipUnsupportedRdfJs: true,
+        includeInputFactsInClosure: false,
+        onDerived: ({ triple, quad }) => seen.push({ triple, quad }),
+      });
+      this.seen = seen;
+      this.result = result;
+      return result.closureN3;
+    },
+    expect: [/:holds/, /:ok/],
+    check(outputIgnored, tc) {
+      assert.equal(tc.seen.length, 2, 'Expected both derived facts to reach onDerived');
+      assert.equal(tc.seen.filter((x) => x.quad).length, 1, 'Expected only one RDF/JS quad in onDerived');
+      assert.ok(Array.isArray(tc.result.closureQuads), 'Expected closureQuads array');
+      assert.equal(
+        tc.result.closureQuads.length,
+        1,
+        'Expected unsupported GraphTerm triple to be omitted from closureQuads',
+      );
+      assert.equal(tc.result.closureQuads[0].predicate.value, 'http://example.org/ok');
+      assert.match(tc.result.closureN3, /:holds/, 'Expected N3 closure to retain quoted-formula triple');
+    },
+  },
   {
     name: '64 RDF/JS validation: named-graph input quads are rejected clearly',
     expectError: true,

package/test/playground.test.js

@@ -125,10 +125,14 @@ function findChromium() {
 const CODEMIRROR_STUB = String.raw`(function(){
   if (window.CodeMirror) return;
 
+  function normalizeText(text){
+    return String(text || '').replace(/\r\n/g, '\n').replace(/\r/g, '\n');
+  }
+
   function posToIndex(text, line, ch){
     line = Math.max(0, line|0);
     ch = Math.max(0, ch|0);
-    const norm = String(text || '').replace(/\r\n/g, '\n').replace(/\r/g, '\n');
+    const norm = normalizeText(text);
     const lines = norm.split('\n');
     if (lines.length === 0) return 0;
     if (line >= lines.length) line = lines.length - 1;
@@ -152,30 +156,76 @@ const CODEMIRROR_STUB = String.raw`(function(){
     var code = document.createElement('div');
     code.className = 'CodeMirror-code';
 
-    var pre = document.createElement('pre');
-    pre.textContent = textarea.value || '';
-
-    code.appendChild(pre);
     sizer.appendChild(code);
     scroll.appendChild(sizer);
     wrapper.appendChild(scroll);
 
-    return { wrapper: wrapper, scroll: scroll, pre: pre };
+    return { wrapper: wrapper, scroll: scroll, sizer: sizer, code: code };
+  }
+
+  function makeLineHandle(lineNo, text){
+    var wrap = document.createElement('div');
+    wrap.className = 'CodeMirror-linewrap';
+    wrap.dataset.lineNumber = String(lineNo + 1);
+
+    var bg = document.createElement('div');
+    bg.className = 'CodeMirror-linebackground';
+
+    var pre = document.createElement('pre');
+    pre.className = 'CodeMirror-line';
+    pre.textContent = text && text.length ? text : ' ';
+
+    wrap.appendChild(bg);
+    wrap.appendChild(pre);
+    return { lineNo: lineNo, wrap: wrap, bg: bg, pre: pre };
   }
 
+  window.__cmStubsById = window.__cmStubsById || Object.create(null);
+
   window.CodeMirror = {
     fromTextArea: function(textarea/*, opts*/){
       var obj = mkWrapper(textarea);
+      var listeners = Object.create(null);
+      var lineHandles = [];
+      var cursor = { line: 0, ch: 0 };
+
+      function emit(name){
+        var hs = listeners[name] || [];
+        var args = Array.prototype.slice.call(arguments, 1);
+        for (var i = 0; i < hs.length; i++) {
+          try { hs[i].apply(null, args); } catch(_) {}
+        }
+      }
+
+      function getText(){
+        return normalizeText(textarea.value || '');
+      }
+
+      function getLines(){
+        return getText().split('\n');
+      }
+
+      function render(){
+        var lines = getLines();
+        obj.code.innerHTML = '';
+        lineHandles = [];
+        for (var i = 0; i < lines.length; i++) {
+          var h = makeLineHandle(i, lines[i]);
+          lineHandles.push(h);
+          obj.code.appendChild(h.wrap);
+        }
+        if (!lineHandles.length) {
+          var h0 = makeLineHandle(0, '');
+          lineHandles.push(h0);
+          obj.code.appendChild(h0.wrap);
+        }
+      }
+
       try {
         textarea.style.display = 'none';
         textarea.parentNode.insertBefore(obj.wrapper, textarea.nextSibling);
       } catch(_) {}
 
-      function sync(){ obj.pre.textContent = textarea.value || ''; }
-      function getLines(){
-        return String(textarea.value || '').replace(/\r\n/g, '\n').replace(/\r/g, '\n').split('\n');
-      }
-
       const doc = {
         posFromIndex: function(i){
           i = Math.max(0, i|0);
@@ -190,9 +240,9 @@ const CODEMIRROR_STUB = String.raw`(function(){
         }
       };
 
-      return {
+      const api = {
         getValue: function(){ return textarea.value || ''; },
-        setValue: function(v){ textarea.value = String(v == null ? '' : v); sync(); },
+        setValue: function(v){ textarea.value = String(v == null ? '' : v); render(); emit('change', api, { origin: 'setValue' }); },
 
         // Methods used by demo.html's streaming appender
         getScrollerElement: function(){ return obj.scroll; },
@@ -202,22 +252,37 @@ const CODEMIRROR_STUB = String.raw`(function(){
           const cur = String(textarea.value || '');
           const idx = posToIndex(cur, pos && pos.line, pos && pos.ch);
           textarea.value = cur.slice(0, idx) + String(text == null ? '' : text) + cur.slice(idx);
-          sync();
+          render();
+          emit('change', api, { origin: '+input' });
         },
 
         // Misc methods used by layout / resizing code
         refresh: function(){},
         setSize: function(){},
         setOption: function(){},
-        on: function(){},
+        on: function(name, fn){ if (!listeners[name]) listeners[name] = []; listeners[name].push(fn); },
         operation: function(fn){ try{ fn(); } catch(_){} },
         getWrapperElement: function(){ return obj.wrapper; },
         getScrollInfo: function(){ return { height: 0, clientHeight: 0, top: 0 }; },
         defaultTextHeight: function(){ return 17; },
-
-        // Error highlighting hooks (no-op in stub)
-        addLineClass: function(){},
-        removeLineClass: function(){},
+        lineCount: function(){ return lineHandles.length; },
+        getLineHandle: function(n){ return (n >= 0 && n < lineHandles.length) ? lineHandles[n] : null; },
+        scrollIntoView: function(){},
+        setCursor: function(pos){ cursor = { line: pos && pos.line || 0, ch: pos && pos.ch || 0 }; },
+        getCursor: function(){ return { line: cursor.line, ch: cursor.ch }; },
+
+        // Error highlighting hooks
+        addLineClass: function(handle, where, cls){
+          if (!handle || !cls) return handle;
+          if (where === 'background' && handle.bg) handle.bg.classList.add(cls);
+          if (handle.wrap) handle.wrap.classList.add(cls);
+          return handle;
+        },
+        removeLineClass: function(handle, where, cls){
+          if (!handle || !cls) return;
+          if (where === 'background' && handle.bg) handle.bg.classList.remove(cls);
+          if (handle.wrap) handle.wrap.classList.remove(cls);
+        },
         clearGutter: function(){},
         setGutterMarker: function(){},
 
@@ -225,6 +290,11 @@ const CODEMIRROR_STUB = String.raw`(function(){
         getDoc: function(){ return doc; },
         doc: doc
       };
+
+      render();
+      textarea.__cmInstance = api;
+      window.__cmStubsById[textarea.id || ('cm-' + Object.keys(window.__cmStubsById).length)] = api;
+      return api;
     }
   };
 })();`;
@@ -499,73 +569,167 @@ async function main() {
     assert.ok(!nav.errorText, `demo.html navigation failed: ${nav.errorText}`);
     await loadFired;
 
-    // Click the Run button.
-    await cdp.send(
-      'Runtime.evaluate',
-      {
-        expression: `document.getElementById('run-btn') && document.getElementById('run-btn').click();`,
-        returnByValue: true,
-      },
-      sessionId,
-    );
-
-    // Wait for completion and capture output.
-    // The demo reports completion with status strings like:
-    //   "Done. Derived: …", "Done (paused). …", or "Done. (Run N)".
-    let last = { status: '', output: '' };
-    const deadline = Date.now() + 60000;
-
-    while (Date.now() < deadline) {
-      // Fail fast on runtime exceptions (often indicates a broken CodeMirror stub or worker init).
-      if (exceptions.length) {
-        throw new Error(`Uncaught exception in demo.html: ${JSON.stringify(exceptions[0] || {})}`);
-      }
-
+    async function evalInPage(expression) {
       const r = await cdp.send(
         'Runtime.evaluate',
         {
-          expression: `(() => {
-        const s = document.getElementById('status');
-        const o = document.getElementById('output-editor');
-        return { status: s ? String(s.textContent || '') : '', output: o ? String(o.value || '') : '' };
-      })()`,
+          expression,
           returnByValue: true,
+          awaitPromise: true,
         },
         sessionId,
       );
-      last = r && r.result ? r.result.value : last;
-
-      const st = last && typeof last.status === 'string' ? last.status : '';
+      return r && r.result ? r.result.value : undefined;
+    }
 
-      // Treat any "Reasoning error" as failure.
-      if (/Reasoning error/i.test(st)) {
-        throw new Error(`Playground reported error: ${st}
-Output:
-${last.output || ''}`);
+    function failFastOnExceptions() {
+      if (exceptions.length) {
+        throw new Error(`Uncaught exception in demo.html: ${JSON.stringify(exceptions[0] || {})}`);
       }
+    }
 
-      // Success conditions: status starts with "Done" (covers "Done." and "Done (paused).")
-      if (
-        String(st || '')
-          .trim()
-          .startsWith('Done')
-      )
-        break;
+    async function getPlaygroundState() {
+      return (
+        (await evalInPage(`(() => {
+        const statusEl = document.getElementById('status');
+        const outputTa = document.getElementById('output-editor');
+        const inputCm = window.__cmStubsById && (window.__cmStubsById['n3-editor'] || window.__cmStubsById['input-editor']);
+        const outputCm = window.__cmStubsById && window.__cmStubsById['output-editor'];
+        const inputWrapper = inputCm && typeof inputCm.getWrapperElement === 'function' ? inputCm.getWrapperElement() : null;
+        const highlighted = inputWrapper
+          ? Array.from(inputWrapper.querySelectorAll('.CodeMirror-linebackground.cm-error-line')).map((el) => {
+              const wrap = el.parentElement;
+              const pre = wrap && wrap.querySelector('pre');
+              return {
+                line: wrap && wrap.dataset && wrap.dataset.lineNumber ? Number(wrap.dataset.lineNumber) : null,
+                text: pre ? String(pre.textContent || '') : '',
+              };
+            })
+          : [];
+        return {
+          status: statusEl ? String(statusEl.textContent || '') : '',
+          output: outputCm && typeof outputCm.getValue === 'function'
+            ? String(outputCm.getValue() || '')
+            : (outputTa ? String(outputTa.value || '') : ''),
+          highlighted,
+        };
+      })()`)) || { status: '', output: '', highlighted: [] }
+      );
+    }
+
+    async function setProgram(text) {
+      const payload = JSON.stringify(String(text));
+      await evalInPage(`(() => {
+        const cm = window.__cmStubsById && (window.__cmStubsById['n3-editor'] || window.__cmStubsById['input-editor']);
+        if (cm && typeof cm.setValue === 'function') {
+          cm.setValue(${payload});
+          return true;
+        }
+        const ta = document.getElementById('n3-editor') || document.getElementById('input-editor');
+        if (!ta) throw new Error('n3-editor textarea not found');
+        ta.value = ${payload};
+        return true;
+      })()`);
+    }
 
-      await sleep(100);
+    async function clickRun() {
+      await evalInPage(`(() => {
+        const btn = document.getElementById('run-btn');
+        if (!btn) throw new Error('run-btn not found');
+        btn.click();
+        return true;
+      })()`);
     }
 
-    assert.ok(
-      last &&
-        typeof last.status === 'string' &&
-        String(last.status || '')
+    async function waitForState(label, predicate, timeoutMs = 60000) {
+      const deadline = Date.now() + timeoutMs;
+      let last = { status: '', output: '', highlighted: [] };
+      while (Date.now() < deadline) {
+        failFastOnExceptions();
+        last = await getPlaygroundState();
+        if (predicate(last)) return last;
+        await sleep(100);
+      }
+      throw new Error(`Timed out waiting for ${label}. Last state:
+${JSON.stringify(last, null, 2)}`);
+    }
+
+    const DEFAULT_PROGRAM_EXPECTS = [
+      [/Socrates/i, 'Expected output to mention Socrates'],
+      [/Mortal/i, 'Expected output to mention Mortal'],
+    ];
+    const syntaxErrorProgram = `@prefix : <#> .
+:alice :name "Ada" .
+^
+`;
+    const fuseProgram = fs.readFileSync(path.join(ROOT, 'examples', 'fuse.n3'), 'utf8');
+    const outputStringProgram = `@prefix : <#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+:report log:outputString "Hello from output string\nLine 2\n" .
+`;
+
+    // 1) Baseline smoke test: the default program runs to completion.
+    await clickRun();
+    const baseline = await waitForState(
+      'default program completion',
+      (st) =>
+        String(st.status || '')
           .trim()
           .startsWith('Done'),
-      `Expected Done. Got: ${last.status}`,
+      60000,
     );
-    assert.ok(last && typeof last.output === 'string' && last.output.length > 0, 'Expected non-empty output');
-    assert.match(last.output, /Socrates/i, 'Expected output to mention Socrates');
-    assert.match(last.output, /Mortal/i, 'Expected output to mention Mortal');
+    assert.ok(typeof baseline.output === 'string' && baseline.output.length > 0, 'Expected non-empty output');
+    for (const [re, msg] of DEFAULT_PROGRAM_EXPECTS) assert.match(baseline.output, re, msg);
+    ok('playground runs the default Socrates program');
+
+    // 2) N3 syntax errors should be shown in Output and highlight the offending line.
+    await setProgram(syntaxErrorProgram);
+    await clickRun();
+    const syntaxErr = await waitForState(
+      'syntax error reporting',
+      (st) => String(st.status || '').trim() === 'Error.' && /syntax error/i.test(String(st.output || '')),
+      20000,
+    );
+    assert.match(syntaxErr.output, /Syntax error in input\.n3:3:1:/i, 'Expected line/column in syntax error output');
+    assert.match(syntaxErr.output, /\n\^\s*$/m, 'Expected caret line in syntax error output');
+    assert.equal(syntaxErr.highlighted[0].line, 3, 'Expected line 3 to be highlighted');
+    assert.equal(syntaxErr.highlighted[0].text, '^', 'Expected highlighted line text to match the broken line');
+    ok('playground shows syntax errors in Output and highlights the offending line');
+
+    // 3) Inference fuse output should be visible in the Output pane.
+    await setProgram(fuseProgram);
+    await clickRun();
+    const fuse = await waitForState(
+      'inference fuse reporting',
+      (st) =>
+        String(st.status || '')
+          .trim()
+          .startsWith('Done') && /Inference fuse triggered/i.test(String(st.output || '')),
+      30000,
+    );
+    assert.match(fuse.output, /Inference fuse triggered\./i, 'Expected fuse message in Output');
+    assert.match(fuse.output, /Fired rule:/i, 'Expected fired rule explanation in Output');
+    assert.match(fuse.output, /Matched instance:/i, 'Expected matched instance in Output');
+    ok('playground clearly shows inference fuse output');
+
+    // 4) log:outputString should render as clean text, not raw triples.
+    await setProgram(outputStringProgram);
+    await clickRun();
+    const rendered = await waitForState(
+      'log:outputString rendering',
+      (st) =>
+        String(st.status || '')
+          .trim()
+          .startsWith('Done') && /Hello from output string/.test(String(st.output || '')),
+      20000,
+    );
+    assert.match(rendered.output, /^Hello from output string\nLine 2\n?$/m, 'Expected rendered outputString text');
+    assert.doesNotMatch(
+      rendered.output,
+      /:report\s+log:outputString\s+"|# Derived triples/i,
+      'Expected clean rendered output without raw triples',
+    );
+    ok('playground renders log:outputString cleanly in Output');
 
     // Ensure no uncaught runtime exceptions.
     assert.equal(exceptions.length, 0, `Uncaught exceptions in demo.html: ${JSON.stringify(exceptions[0] || {})}`);
@@ -578,8 +742,6 @@ ${last.output || ''}`);
     try {
       await cdp.send('Browser.close');
     } catch (_) {}
-
-    ok('demo.html loads and runs the default program');
   } finally {
     await cleanup();
   }