eyeling 1.23.3 → 1.23.4

package/HANDBOOK.md

@@ -1902,6 +1902,8 @@ node eyeling.js --builtin examples/builtin/queens.js examples/queens.n3
 
 Examples that do not need a custom builtin should not add a matching file under `examples/builtin/`. Examples that do need one should ship it there and let the examples test runner load it uniformly. For example, `examples/sudoku.n3` is paired with `examples/builtin/sudoku.js`, and `examples/queens.n3` is paired with `examples/builtin/queens.js`.
 
+The browser playground follows the same convention for URL-loaded repository examples: when a loaded URL looks like `.../examples/name.n3`, the playground tries to fetch `.../examples/builtin/name.js` and register it before reasoning. If no matching builtin file exists, the N3 program runs normally.
+
 ### 14.2 The bundled Node CLI/runtime (`eyeling.js`)
 
 The bundle contains the whole engine. The CLI path is the “canonical behavior”:
@@ -2392,7 +2394,7 @@ Run it explicitly like this:
 eyeling --builtin examples/builtin/sudoku.js examples/sudoku.n3
 ```
 
-`npm run test:examples` uses the same convention automatically: when it sees `examples/builtin/sudoku.js` next to `examples/sudoku.n3`, it loads that module for the Sudoku example.
+`npm run test:examples` uses the same convention automatically: when it sees `examples/builtin/sudoku.js` next to `examples/sudoku.n3`, it loads that module for the Sudoku example. The browser playground uses the convention too for URL-loaded repository examples, so loading the raw `examples/sudoku.n3` URL also fetches and registers the matching `examples/builtin/sudoku.js` module.
 
 That example is useful for two reasons:
 

package/dist/browser/eyeling.browser.js

@@ -8702,10 +8702,21 @@ ${triples.map((tr) => `  ${tripleToN3(tr, prefixes)}`).join('\n')}
       deref.setEnforceHttpsEnabled(!!enforceHttps);
       proofCommentsEnabled = !!proof;
 
+      function registerBuiltinModuleOption(mod, index) {
+        if (!mod) return;
+        if (typeof mod === 'string') {
+          loadBuiltinModule(mod);
+          return;
+        }
+        registerBuiltinModule(mod, `<reasonStream builtinModules[${index}]>`);
+      }
+
       if (Array.isArray(builtinModules)) {
-        for (const spec of builtinModules) loadBuiltinModule(spec);
-      } else if (typeof builtinModules === 'string' && builtinModules) {
-        loadBuiltinModule(builtinModules);
+        for (let i = 0; i < builtinModules.length; i += 1) {
+          registerBuiltinModuleOption(builtinModules[i], i);
+        }
+      } else {
+        registerBuiltinModuleOption(builtinModules, 0);
       }
 
       let prefixes, triples, frules, brules, logQueryRules;
@@ -8989,6 +9000,11 @@ ${triples.map((tr) => `  ${tripleToN3(tr, prefixes)}`).join('\n')}
       tripleToN3: engine.tripleToN3,
       collectOutputStringsFromFacts: engine.collectOutputStringsFromFacts,
       prettyPrintQueryTriples: engine.prettyPrintQueryTriples,
+      registerBuiltin: engine.registerBuiltin,
+      unregisterBuiltin: engine.unregisterBuiltin,
+      registerBuiltinModule: engine.registerBuiltinModule,
+      loadBuiltinModule: engine.loadBuiltinModule,
+      listBuiltinIris: engine.listBuiltinIris,
       getEnforceHttpsEnabled: engine.getEnforceHttpsEnabled,
       setEnforceHttpsEnabled: engine.setEnforceHttpsEnabled,
       getProofCommentsEnabled: engine.getProofCommentsEnabled,

package/eyeling.js

@@ -8679,10 +8679,21 @@ function reasonStream(input, opts = {}) {
   deref.setEnforceHttpsEnabled(!!enforceHttps);
   proofCommentsEnabled = !!proof;
 
+  function registerBuiltinModuleOption(mod, index) {
+    if (!mod) return;
+    if (typeof mod === 'string') {
+      loadBuiltinModule(mod);
+      return;
+    }
+    registerBuiltinModule(mod, `<reasonStream builtinModules[${index}]>`);
+  }
+
   if (Array.isArray(builtinModules)) {
-    for (const spec of builtinModules) loadBuiltinModule(spec);
-  } else if (typeof builtinModules === 'string' && builtinModules) {
-    loadBuiltinModule(builtinModules);
+    for (let i = 0; i < builtinModules.length; i += 1) {
+      registerBuiltinModuleOption(builtinModules[i], i);
+    }
+  } else {
+    registerBuiltinModuleOption(builtinModules, 0);
   }
 
   let prefixes, triples, frules, brules, logQueryRules;
@@ -8967,6 +8978,11 @@ module.exports = {
   tripleToN3: engine.tripleToN3,
   collectOutputStringsFromFacts: engine.collectOutputStringsFromFacts,
   prettyPrintQueryTriples: engine.prettyPrintQueryTriples,
+  registerBuiltin: engine.registerBuiltin,
+  unregisterBuiltin: engine.unregisterBuiltin,
+  registerBuiltinModule: engine.registerBuiltinModule,
+  loadBuiltinModule: engine.loadBuiltinModule,
+  listBuiltinIris: engine.listBuiltinIris,
   getEnforceHttpsEnabled: engine.getEnforceHttpsEnabled,
   setEnforceHttpsEnabled: engine.setEnforceHttpsEnabled,
   getProofCommentsEnabled: engine.getProofCommentsEnabled,

package/lib/engine.js

@@ -3384,10 +3384,21 @@ function reasonStream(input, opts = {}) {
   deref.setEnforceHttpsEnabled(!!enforceHttps);
   proofCommentsEnabled = !!proof;
 
+  function registerBuiltinModuleOption(mod, index) {
+    if (!mod) return;
+    if (typeof mod === 'string') {
+      loadBuiltinModule(mod);
+      return;
+    }
+    registerBuiltinModule(mod, `<reasonStream builtinModules[${index}]>`);
+  }
+
   if (Array.isArray(builtinModules)) {
-    for (const spec of builtinModules) loadBuiltinModule(spec);
-  } else if (typeof builtinModules === 'string' && builtinModules) {
-    loadBuiltinModule(builtinModules);
+    for (let i = 0; i < builtinModules.length; i += 1) {
+      registerBuiltinModuleOption(builtinModules[i], i);
+    }
+  } else {
+    registerBuiltinModuleOption(builtinModules, 0);
   }
 
   let prefixes, triples, frules, brules, logQueryRules;

package/lib/entry.js

@@ -34,6 +34,11 @@ module.exports = {
   tripleToN3: engine.tripleToN3,
   collectOutputStringsFromFacts: engine.collectOutputStringsFromFacts,
   prettyPrintQueryTriples: engine.prettyPrintQueryTriples,
+  registerBuiltin: engine.registerBuiltin,
+  unregisterBuiltin: engine.unregisterBuiltin,
+  registerBuiltinModule: engine.registerBuiltinModule,
+  loadBuiltinModule: engine.loadBuiltinModule,
+  listBuiltinIris: engine.listBuiltinIris,
   getEnforceHttpsEnabled: engine.getEnforceHttpsEnabled,
   setEnforceHttpsEnabled: engine.setEnforceHttpsEnabled,
   getProofCommentsEnabled: engine.getProofCommentsEnabled,

package/package.json

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

package/test/playground.test.js

@@ -488,6 +488,8 @@ async function main() {
     // Intercept CodeMirror + remote GitHub raw URLs (keep test deterministic).
     const localPkg = fs.readFileSync(path.join(ROOT, 'package.json'), 'utf8');
     const localEyeling = fs.readFileSync(path.join(ROOT, 'eyeling.js'), 'utf8');
+    const localSudoku = fs.readFileSync(path.join(ROOT, 'examples', 'sudoku.n3'), 'utf8');
+    const localSudokuBuiltin = fs.readFileSync(path.join(ROOT, 'examples', 'builtin', 'sudoku.js'), 'utf8');
 
     const intercept = new Map([
       // CodeMirror assets (CDN)
@@ -517,6 +519,14 @@ async function main() {
         'https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/eyeling.js',
         { ct: 'application/javascript', body: localEyeling },
       ],
+      [
+        'https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/sudoku.n3',
+        { ct: 'text/plain', body: localSudoku },
+      ],
+      [
+        'https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/builtin/sudoku.js',
+        { ct: 'application/javascript', body: localSudokuBuiltin },
+      ],
     ]);
 
     await cdp.send(
@@ -641,6 +651,21 @@ async function main() {
       })()`);
     }
 
+    async function loadUrlIntoEditor(url) {
+      const payload = JSON.stringify(String(url));
+      await evalInPage(`(() => {
+        const input = document.getElementById('n3-uri');
+        const asBackground = document.getElementById('load-as-background');
+        const btn = document.getElementById('load-uri-btn');
+        if (!input) throw new Error('n3-uri input not found');
+        if (!btn) throw new Error('load-uri-btn not found');
+        input.value = ${payload};
+        if (asBackground) asBackground.checked = false;
+        btn.click();
+        return true;
+      })()`);
+    }
+
     async function waitForState(label, predicate, timeoutMs = 60000) {
       const deadline = Date.now() + timeoutMs;
       let last = { status: '', output: '', highlighted: [] };
@@ -731,6 +756,26 @@ ${JSON.stringify(last, null, 2)}`);
     );
     ok('playground renders log:outputString cleanly in Output');
 
+    // 5) URL-loaded repository examples should auto-load matching examples/builtin/<stem>.js.
+    await loadUrlIntoEditor('https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/sudoku.n3');
+    await waitForState(
+      'sudoku URL loaded with companion builtin',
+      (st) => /loaded n3 into the editor and loaded its example builtin/i.test(String(st.status || '')),
+      20000,
+    );
+    await clickRun();
+    const sudoku = await waitForState(
+      'URL-loaded Sudoku example completion',
+      (st) =>
+        String(st.status || '')
+          .trim()
+          .startsWith('Done') && /The puzzle is solved/i.test(String(st.output || '')),
+      60000,
+    );
+    assert.match(sudoku.output, /Completed grid/i, 'Expected Sudoku rendered output');
+    assert.match(sudoku.output, /unique valid Sudoku solution/i, 'Expected Sudoku builtin-backed result');
+    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] || {})}`);