eyeling 1.24.9 → 1.24.10

package/HANDBOOK.md

@@ -1818,7 +1818,7 @@ Some N3 workflows treat IRIs as pointers to more knowledge. Eyeling supports thi
   - in practice, any non-http IRI is treated as a local path for convenience.
 
 - In **browser/worker**, dereferencing uses synchronous XHR (HTTP(S) only), subject to CORS.
-  - Many browsers restrict synchronous XHR on the main thread; use a worker (as in `demo.html`) to avoid UI blocking.
+  - Many browsers restrict synchronous XHR on the main thread; use a worker (as in `playground.html`) to avoid UI blocking.
 
 ### 12.2 Caching
 
@@ -2004,7 +2004,7 @@ For browser apps, prefer running Eyeling in a **Web Worker** and importing `eyel
 `lib/entry.js` exports:
 
 - public APIs: `reasonStream`, `reasonRdfJs`, `rdfjs`, `main`, `version`
-- plus a curated set of internals used by the demo (`lex`, `Parser`, `forwardChain`, etc.)
+- plus a curated set of internals used by the playground (`lex`, `Parser`, `forwardChain`, etc.)
 
 `rdfjs` is a small built-in RDF/JS `DataFactory`, so browser / worker code can construct quads without pulling in another package first.
 

package/README.md

@@ -16,5 +16,5 @@ echo '@prefix : <http://example.org/> .
 ## Read more
 
 - [Handbook](https://eyereasoner.github.io/eyeling/HANDBOOK)
-- [Playground](https://eyereasoner.github.io/eyeling/demo)
+- [Playground](https://eyereasoner.github.io/eyeling/playground)
 - [Conformance report](https://codeberg.org/phochste/notation3tests/src/branch/main/reports/report.md)

package/dist/browser/eyeling.browser.js

@@ -8898,10 +8898,10 @@ function main() {
 }
 
 // ---------------------------------------------------------------------------
-// Internals (exposed for demo.html)
+// Internals (exposed for playground.html)
 // ---------------------------------------------------------------------------
 // The original monolithic eyeling.js exposed many internal functions and flags
-// as globals. demo.html (web worker) still relies on a subset of these.
+// as globals. playground.html (web worker) still relies on a subset of these.
 
 function getEnforceHttpsEnabled() {
   return deref.getEnforceHttpsEnabled();
@@ -8946,12 +8946,12 @@ module.exports = {
   N3SyntaxError,
   Parser,
   lex,
-  // demo internals
+  // playground internals
   forwardChain,
   materializeRdfLists,
   isGroundTriple,
   printExplanation,
-  // used by demo worker to stringify derived triples with prefixes
+  // used by playground worker to stringify derived triples with prefixes
   tripleToN3,
   tripleToRdfCompatible,
   // pretty log:query output (when proof comments are disabled)
@@ -8985,7 +8985,7 @@ module.exports = {
 'use strict';
 
 // Entry point for the bundled eyeling.js.
-// We intentionally re-export a small set of internals so demo.html (worker)
+// We intentionally re-export a small set of internals so playground.html (worker)
 // can call into the reasoner like the original monolithic build did.
 
 const engine = require('./engine');
@@ -8999,7 +8999,7 @@ module.exports = {
   main: engine.main,
   version: engine.version,
 
-  // internals for demo.html
+  // internals for playground.html
   lex: engine.lex,
   Parser: engine.Parser,
   forwardChain: engine.forwardChain,
@@ -12283,7 +12283,7 @@ module.exports = {
  * Eyeling Reasoner — printing
  *
  * Pretty-printing / serialization helpers for terms, triples, and formulas.
- * Used by the CLI, demo, and explanations.
+ * Used by the CLI, playground, and explanations.
  */
 
 'use strict';
@@ -13813,7 +13813,7 @@ module.exports = {
 'use strict';
 
 // Small module for debug/trace printing (log:trace) and its run-level state.
-// Kept separate from engine.js so browser demo + CLI can share behavior.
+// Kept separate from engine.js so browser playground + CLI can share behavior.
 
 let tracePrefixes = null;
 
@@ -13899,9 +13899,9 @@ module.exports = {
   try { if (__outerModule && __outerModule.exports) __outerModule.exports = __api; } catch (ignoredError) {}
   try { if (__outerSelf) __outerSelf.eyeling = __api; } catch (ignoredError) {}
 
-  // ---- demo.html compatibility ----
+  // ---- playground.html compatibility ----
   // The original monolithic eyeling.js exposed internal functions/flags as globals.
-  // demo.html still uses these via importScripts(...) inside a web worker.
+  // playground.html still uses these via importScripts(...) inside a web worker.
   try {
     if (__outerSelf && __entry) {
       if (typeof __entry.lex === "function") __outerSelf.lex = __entry.lex;

package/examples/annotation.n3

@@ -8,5 +8,5 @@
 
 
 # Markdown rendering via log:outputString.
-:__md_output :text "# annotation\n\n## Source files\n\n- [N3 rules](../annotation.n3)\n- [Input TriG](../input/annotation.trig)\n\n" .
+:__md_output :text "# annotation\n\n## Source files\n\n- [N3 rules](../annotation.n3)\n- [Input TriG](../input/annotation.trig)\n\nRDF 1.2 annotation evidence is loaded from the TriG sidecar and represented as ordinary facts.\n\n## Answer\nYES — the annotated statement says `:a :name \"Alice\"` and gives that statement the identifier `:t`.\n\n## Reason Why\nThe input evidence contains the statement that Alice has the name \"Alice\" and records metadata for the named statement `:t`. In RDF compatibility mode, the named graph form is represented with `log:nameOf`, so `:t` names the statement while `:statedBy` and `:recorded` keep its provenance metadata.\n\n## Check\nC1 OK - the statement `:a :name \"Alice\"` is present\nC2 OK - `:t` names the annotated statement\nC3 OK - the statement is attributed to `:bob`\nC4 OK - the statement is recorded as `2021-07-07`\nC5 OK - the RDF/TriG input sidecar is linked as source evidence\n" .
 { :__md_output :text ?text } log:query { :__md_output log:outputString ?text } .

package/examples/deck/faltings-genus2-finiteness.md

@@ -208,4 +208,4 @@ Easy extensions:
 - Connect this to a small “math knowledge base” of reusable lemmas
 - Use the same pattern for other theorems: “if conditions, then property”
 
-[1]: https://eyereasoner.github.io/eyeling/demo?url=https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/faltings-genus2-finiteness.n3 'Playground'
+[1]: https://eyereasoner.github.io/eyeling/playground?url=https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/faltings-genus2-finiteness.n3 'Playground'

package/examples/deck/high-trust-rdf-bloom-envelope.md

@@ -368,4 +368,4 @@ That is exactly the kind of statement people care about in high-trust software.
 
 And the neat part is that the statement is not only written in prose—it is represented as data and rules that a reasoner can check.
 
-[1]: https://eyereasoner.github.io/eyeling/demo?url=https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/high-trust-rdf-bloom-envelope.n3 'Playground'
+[1]: https://eyereasoner.github.io/eyeling/playground?url=https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/high-trust-rdf-bloom-envelope.n3 'Playground'

package/examples/deck/odrl-dpv-risk-ranked.md

@@ -244,7 +244,7 @@ This file is a compact demo of:
 - N3 reasoning as the **transparent logic** connecting them
 - A ranked report that’s **deterministic** and **explainable**
 
-[1]: https://eyereasoner.github.io/eyeling/demo?url=https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/odrl-dpv-risk-ranked.n3 'Playground'
+[1]: https://eyereasoner.github.io/eyeling/playground?url=https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/odrl-dpv-risk-ranked.n3 'Playground'
 [2]: https://www.w3.org/TR/odrl-vocab/ 'ODRL Vocabulary & Expression 2.2'
 [3]: https://dev.dpvcg.org/dpv/modules/risk 'Risk and Impact Assessment'
 [4]: https://w3c.github.io/N3/spec/ 'Notation3 Language'

package/examples/deck/schema-foaf-mapping.md

@@ -218,4 +218,4 @@ Mapping two models is about **translating meaning across vocabularies**.
 - You **derive FOAF triples**
 - The result is data that can be consumed as if it were FOAF, without rewriting your original dataset
 
-[1]: https://eyereasoner.github.io/eyeling/demo?url=https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/schema-foaf-mapping.n3 'Playground'
+[1]: https://eyereasoner.github.io/eyeling/playground?url=https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/schema-foaf-mapping.n3 'Playground'

package/examples/output/annotation.md

@@ -5,3 +5,17 @@
 - [N3 rules](../annotation.n3)  
 - [Input TriG](../input/annotation.trig)  
 
+RDF 1.2 annotation evidence is loaded from the TriG sidecar and represented as ordinary facts.  
+
+## Answer  
+YES — the annotated statement says `:a :name "Alice"` and gives that statement the identifier `:t`.  
+
+## Reason Why  
+The input evidence contains the statement that Alice has the name "Alice" and records metadata for the named statement `:t`. In RDF compatibility mode, the named graph form is represented with `log:nameOf`, so `:t` names the statement while `:statedBy` and `:recorded` keep its provenance metadata.  
+
+## Check  
+C1 OK - the statement `:a :name "Alice"` is present  
+C2 OK - `:t` names the annotated statement  
+C3 OK - the statement is attributed to `:bob`  
+C4 OK - the statement is recorded as `2021-07-07`  
+C5 OK - the RDF/TriG input sidecar is linked as source evidence  

package/eyeling.js

@@ -8898,10 +8898,10 @@ function main() {
 }
 
 // ---------------------------------------------------------------------------
-// Internals (exposed for demo.html)
+// Internals (exposed for playground.html)
 // ---------------------------------------------------------------------------
 // The original monolithic eyeling.js exposed many internal functions and flags
-// as globals. demo.html (web worker) still relies on a subset of these.
+// as globals. playground.html (web worker) still relies on a subset of these.
 
 function getEnforceHttpsEnabled() {
   return deref.getEnforceHttpsEnabled();
@@ -8946,12 +8946,12 @@ module.exports = {
   N3SyntaxError,
   Parser,
   lex,
-  // demo internals
+  // playground internals
   forwardChain,
   materializeRdfLists,
   isGroundTriple,
   printExplanation,
-  // used by demo worker to stringify derived triples with prefixes
+  // used by playground worker to stringify derived triples with prefixes
   tripleToN3,
   tripleToRdfCompatible,
   // pretty log:query output (when proof comments are disabled)
@@ -8985,7 +8985,7 @@ module.exports = {
 'use strict';
 
 // Entry point for the bundled eyeling.js.
-// We intentionally re-export a small set of internals so demo.html (worker)
+// We intentionally re-export a small set of internals so playground.html (worker)
 // can call into the reasoner like the original monolithic build did.
 
 const engine = require('./engine');
@@ -8999,7 +8999,7 @@ module.exports = {
   main: engine.main,
   version: engine.version,
 
-  // internals for demo.html
+  // internals for playground.html
   lex: engine.lex,
   Parser: engine.Parser,
   forwardChain: engine.forwardChain,
@@ -12283,7 +12283,7 @@ module.exports = {
  * Eyeling Reasoner — printing
  *
  * Pretty-printing / serialization helpers for terms, triples, and formulas.
- * Used by the CLI, demo, and explanations.
+ * Used by the CLI, playground, and explanations.
  */
 
 'use strict';
@@ -13813,7 +13813,7 @@ module.exports = {
 'use strict';
 
 // Small module for debug/trace printing (log:trace) and its run-level state.
-// Kept separate from engine.js so browser demo + CLI can share behavior.
+// Kept separate from engine.js so browser playground + CLI can share behavior.
 
 let tracePrefixes = null;
 
@@ -13899,9 +13899,9 @@ module.exports = {
   try { if (__outerModule && __outerModule.exports) __outerModule.exports = __api; } catch (ignoredError) {}
   try { if (__outerSelf) __outerSelf.eyeling = __api; } catch (ignoredError) {}
 
-  // ---- demo.html compatibility ----
+  // ---- playground.html compatibility ----
   // The original monolithic eyeling.js exposed internal functions/flags as globals.
-  // demo.html still uses these via importScripts(...) inside a web worker.
+  // playground.html still uses these via importScripts(...) inside a web worker.
   try {
     if (__outerSelf && __entry) {
       if (typeof __entry.lex === "function") __outerSelf.lex = __entry.lex;

package/lib/engine.js

@@ -3580,10 +3580,10 @@ function main() {
 }
 
 // ---------------------------------------------------------------------------
-// Internals (exposed for demo.html)
+// Internals (exposed for playground.html)
 // ---------------------------------------------------------------------------
 // The original monolithic eyeling.js exposed many internal functions and flags
-// as globals. demo.html (web worker) still relies on a subset of these.
+// as globals. playground.html (web worker) still relies on a subset of these.
 
 function getEnforceHttpsEnabled() {
   return deref.getEnforceHttpsEnabled();
@@ -3628,12 +3628,12 @@ module.exports = {
   N3SyntaxError,
   Parser,
   lex,
-  // demo internals
+  // playground internals
   forwardChain,
   materializeRdfLists,
   isGroundTriple,
   printExplanation,
-  // used by demo worker to stringify derived triples with prefixes
+  // used by playground worker to stringify derived triples with prefixes
   tripleToN3,
   tripleToRdfCompatible,
   // pretty log:query output (when proof comments are disabled)

package/lib/entry.js

@@ -8,7 +8,7 @@
 'use strict';
 
 // Entry point for the bundled eyeling.js.
-// We intentionally re-export a small set of internals so demo.html (worker)
+// We intentionally re-export a small set of internals so playground.html (worker)
 // can call into the reasoner like the original monolithic build did.
 
 const engine = require('./engine');
@@ -22,7 +22,7 @@ module.exports = {
   main: engine.main,
   version: engine.version,
 
-  // internals for demo.html
+  // internals for playground.html
   lex: engine.lex,
   Parser: engine.Parser,
   forwardChain: engine.forwardChain,

package/lib/printing.js

@@ -2,7 +2,7 @@
  * Eyeling Reasoner — printing
  *
  * Pretty-printing / serialization helpers for terms, triples, and formulas.
- * Used by the CLI, demo, and explanations.
+ * Used by the CLI, playground, and explanations.
  */
 
 'use strict';

package/lib/trace.js

@@ -7,7 +7,7 @@
 'use strict';
 
 // Small module for debug/trace printing (log:trace) and its run-level state.
-// Kept separate from engine.js so browser demo + CLI can share behavior.
+// Kept separate from engine.js so browser playground + CLI can share behavior.
 
 let tracePrefixes = null;
 

package/package.json

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

package/test/api.test.js

@@ -6,7 +6,7 @@ const path = require('node:path');
 const { spawnSync } = require('node:child_process');
 const ROOT = path.resolve(__dirname, '..');
 // Direct eyeling.js bundle API (in-process) for testing reasonStream/onDerived.
-// This is the API surface used by demo.html (browser/worker).
+// This is the API surface used by playground.html (browser/worker).
 const { reasonStream } = require('../eyeling.js');
 const { reason, reasonRdfJs, rdfjs } = require('../index.js');
 

package/test/playground.test.js

@@ -1,8 +1,8 @@
 'use strict';
 
-// Smoke-test the browser playground (demo.html).
+// Smoke-test the browser playground (playground.html).
 //
-// Goal: ensure demo.html loads without runtime exceptions and that the default
+// Goal: ensure playground.html loads without runtime exceptions and that the default
 // Socrates program can be executed to completion ("Done") with non-empty output.
 //
 // This test is dependency-free: it drives Chromium directly via the Chrome
@@ -56,18 +56,23 @@ function startStaticServer(rootDir) {
         return;
       }
 
-      if (pathname === '/' || pathname === '') pathname = '/demo.html';
+      if (pathname === '/' || pathname === '') pathname = '/playground.html';
       // Prevent directory traversal.
-      const fsPath = path.resolve(rootDir, '.' + pathname);
+      let fsPath = path.resolve(rootDir, '.' + pathname);
       if (!fsPath.startsWith(rootDir)) {
         res.writeHead(403);
         res.end('Forbidden');
         return;
       }
 
+      // Match GitHub Pages' convenient extensionless HTML URLs for local smoke tests.
+      if (!fs.existsSync(fsPath) && !path.extname(fsPath) && fs.existsSync(`${fsPath}.html`)) {
+        fsPath = `${fsPath}.html`;
+      }
+
       const st = fs.statSync(fsPath);
       if (st.isDirectory()) {
-        res.writeHead(301, { Location: pathname.replace(/\/$/, '') + '/demo.html' });
+        res.writeHead(301, { Location: pathname.replace(/\/$/, '') + '/playground' });
         res.end();
         return;
       }
@@ -120,7 +125,7 @@ function findChromium() {
 }
 
 // Minimal CodeMirror stub for the playground.
-// The real demo loads CodeMirror from a CDN. In CI/offline tests we intercept
+// The real playground loads CodeMirror from a CDN. In CI/offline tests we intercept
 // those script requests and provide this stub to prevent runtime failures.
 const CODEMIRROR_STUB = String.raw`(function(){
   if (window.CodeMirror) return;
@@ -244,7 +249,7 @@ const CODEMIRROR_STUB = String.raw`(function(){
         getValue: function(){ return textarea.value || ''; },
         setValue: function(v){ textarea.value = String(v == null ? '' : v); render(); emit('change', api, { origin: 'setValue' }); },
 
-        // Methods used by demo.html's streaming appender
+        // Methods used by playground.html's streaming appender
         getScrollerElement: function(){ return obj.scroll; },
         lastLine: function(){ const ls = getLines(); return Math.max(0, ls.length - 1); },
         getLine: function(n){ const ls = getLines(); return ls[n] == null ? '' : ls[n]; },
@@ -417,8 +422,10 @@ async function main() {
   try {
     const started = await startStaticServer(ROOT);
     server = started.server;
-    const demoUrl = `${started.baseUrl}/demo.html`;
-    info(`Static server: ${demoUrl}`);
+    const playgroundUrl = `${started.baseUrl}/playground.html`;
+    const cleanPlaygroundUrl = `${started.baseUrl}/playground`;
+    const legacyDemoUrl = `${started.baseUrl}/demo?url=https://example.org/example.n3#state`;
+    info(`Static server: ${playgroundUrl}`);
 
     const chromeArgs = [
       '--headless=new',
@@ -510,7 +517,7 @@ async function main() {
         { ct: 'text/css', body: '/* stub */\n' },
       ],
 
-      // GitHub raw references used by demo.html for the "latest version" display.
+      // GitHub raw references used by playground.html for the "latest version" display.
       [
         'https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/package.json',
         { ct: 'application/json', body: localPkg },
@@ -529,6 +536,29 @@ async function main() {
       ],
     ]);
 
+    async function getText(url) {
+      return new Promise((resolve, reject) => {
+        http
+          .get(url, (res) => {
+            let body = '';
+            res.setEncoding('utf8');
+            res.on('data', (chunk) => {
+              body += chunk;
+            });
+            res.on('end', () => resolve({ statusCode: res.statusCode, body }));
+          })
+          .on('error', reject);
+      });
+    }
+
+    const cleanRes = await getText(cleanPlaygroundUrl);
+    assert.equal(cleanRes.statusCode, 200, 'clean /playground URL should serve the playground');
+    assert.match(cleanRes.body, /Eyeling N3 Playground/, 'clean /playground URL should load the playground');
+
+    const legacyRes = await getText(legacyDemoUrl);
+    assert.equal(legacyRes.statusCode, 200, 'legacy /demo URL should serve redirect page');
+    assert.match(legacyRes.body, /playground/, 'legacy /demo URL should point to the playground');
+
     await cdp.send(
       'Fetch.enable',
       {
@@ -575,8 +605,8 @@ async function main() {
     });
 
     const loadFired = cdp.once('Page.loadEventFired', sessionId, 30000);
-    const nav = await cdp.send('Page.navigate', { url: demoUrl }, sessionId);
-    assert.ok(!nav.errorText, `demo.html navigation failed: ${nav.errorText}`);
+    const nav = await cdp.send('Page.navigate', { url: playgroundUrl }, sessionId);
+    assert.ok(!nav.errorText, `playground.html navigation failed: ${nav.errorText}`);
     await loadFired;
 
     async function evalInPage(expression) {
@@ -594,7 +624,7 @@ async function main() {
 
     function failFastOnExceptions() {
       if (exceptions.length) {
-        throw new Error(`Uncaught exception in demo.html: ${JSON.stringify(exceptions[0] || {})}`);
+        throw new Error(`Uncaught exception in playground.html: ${JSON.stringify(exceptions[0] || {})}`);
       }
     }
 
@@ -777,11 +807,11 @@ ${JSON.stringify(last, null, 2)}`);
     ok('playground auto-loads a companion example builtin for URL-loaded Sudoku');
 
     // Ensure no uncaught runtime exceptions.
-    assert.equal(exceptions.length, 0, `Uncaught exceptions in demo.html: ${JSON.stringify(exceptions[0] || {})}`);
+    assert.equal(exceptions.length, 0, `Uncaught exceptions in playground.html: ${JSON.stringify(exceptions[0] || {})}`);
 
     // Console errors are noisy and often indicate a broken UI.
     // (We suppress known noise like /favicon.ico on the server.)
-    assert.equal(consoleErrors.length, 0, `Console errors in demo.html: ${JSON.stringify(consoleErrors[0] || {})}`);
+    assert.equal(consoleErrors.length, 0, `Console errors in playground.html: ${JSON.stringify(consoleErrors[0] || {})}`);
 
     // Cleanup.
     try {

package/tools/bundle.js

@@ -141,9 +141,9 @@ function buildBundleSource({ autoRunMain }) {
   );
   out.push('  try { if (__outerSelf) __outerSelf.eyeling = __api; } catch (ignoredError) {}');
   out.push('');
-  out.push('  // ---- demo.html compatibility ----');
+  out.push('  // ---- playground.html compatibility ----');
   out.push('  // The original monolithic eyeling.js exposed internal functions/flags as globals.');
-  out.push('  // demo.html still uses these via importScripts(...) inside a web worker.');
+  out.push('  // playground.html still uses these via importScripts(...) inside a web worker.');
   out.push('  try {');
   out.push('    if (__outerSelf && __entry) {');
   out.push('      if (typeof __entry.lex === "function") __outerSelf.lex = __entry.lex;');