eyeling 1.20.0 → 1.21.0

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.0",
   "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,