eyeling 1.24.14 → 1.24.16

package/HANDBOOK.md

@@ -3731,7 +3731,9 @@ This matters because the playground is not just a text box plus a submit button.
 
 The output behavior also adapts to the kind of N3 program being run. In some cases the natural result is a streamed list of derived triples. In others, such as programs using output-oriented constructs like `log:outputString`, a rendered text result is more appropriate. The playground supports both styles.
 
-For Markdown-oriented `log:outputString` examples, the output pane has two views: a rendered Markdown view and a Markdown source view. The rendered view is selected by default when the output is text intended for presentation, while the source view keeps the exact generated Markdown available for copying, inspection, or comparison.
+For Markdown-oriented `log:outputString` examples, the output pane has two views: a rendered Markdown view and a Markdown source view. Those tabs appear only when the actual output looks like Markdown; Turtle or other plain output stays in the source editor without the Markdown toggle. The rendered view is selected by default for Markdown output, while the source view keeps the exact generated Markdown available for copying, inspection, or comparison.
+
+Repository example reports often contain relative source links that are written for the checked-in files under `examples/output/*.md`. When such an example is loaded into the playground from a raw URL, the rendered Markdown view resolves those relative links against the corresponding static output page rather than against `/playground`, so links like `../name.n3` and `../input/name.trig` continue to point to the intended example files.
 
 ### I.4 Error handling and explainability
 

package/package.json

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

package/test/playground.test.js

@@ -24,8 +24,8 @@ const C = TTY
   : { g: '', r: '', y: '', dim: '', n: '' };
 const msTag = (ms) => `${C.dim}(${ms} ms)${C.n}`;
 
-const TOTAL_TESTS = 11;
-const idxWidth = String(TOTAL_TESTS).length;
+const TOTAL_TESTS = (fs.readFileSync(__filename, 'utf8').match(/^\s*beginTest\(/gm) || []).length;
+const idxWidth = String(Math.max(1, TOTAL_TESTS)).length;
 let passed = 0;
 let failed = 0;
 let currentTest = null;
@@ -535,6 +535,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 localSmokeArithmetic = fs.readFileSync(path.join(ROOT, 'examples', 'smoke-arithmetic.n3'), 'utf8');
+    const localSmokeArithmeticTrig = fs.readFileSync(path.join(ROOT, 'examples', 'input', 'smoke-arithmetic.trig'), 'utf8');
     const localSudoku = fs.readFileSync(path.join(ROOT, 'examples', 'sudoku.n3'), 'utf8');
     const localSudokuBuiltin = fs.readFileSync(path.join(ROOT, 'examples', 'builtin', 'sudoku.js'), 'utf8');
 
@@ -566,6 +568,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/smoke-arithmetic.n3',
+        { ct: 'text/plain', body: localSmokeArithmetic },
+      ],
+      [
+        'https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/input/smoke-arithmetic.trig',
+        { ct: 'text/plain', body: localSmokeArithmeticTrig },
+      ],
       [
         'https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/sudoku.n3',
         { ct: 'text/plain', body: localSudoku },
@@ -806,6 +816,13 @@ ${JSON.stringify(last, null, 2)}`);
     const outputStringProgram = `@prefix : <#> .
 @prefix log: <http://www.w3.org/2000/10/swap/log#> .
 :report log:outputString "## Hello from output string\n\nLine 2 with **bold** and [Eyeling](https://example.org/eyeling)\n" .
+`;
+    const logQueryTurtleProgram = `@prefix : <#> .
+@prefix log: <http://www.w3.org/2000/10/swap/log#> .
+
+:Socrates a :Human .
+{ ?x a :Human } => { ?x a :Mortal } .
+{ ?s ?p ?o } log:query { ?s ?p ?o } .
 `;
 
     // 1) Baseline smoke test: the default program runs to completion.
@@ -907,9 +924,29 @@ ${JSON.stringify(last, null, 2)}`);
     assert.ok(compactShareUrl.length < playgroundUrl.length + encodeURIComponent(outputStringProgram).length, 'Expected compact share URL to be shorter than raw editor URL');
     endTest();
 
-    // 6) URL-loaded examples should auto-load matching examples/input/<stem>.trig and run in RDF/TriG mode.
+    // 6) log:query can produce Turtle; that should stay in plain source output without Markdown tabs.
+    beginTest('playground hides markdown tabs for Turtle log:query output');
+    await setProgram(logQueryTurtleProgram);
+    await clickRun();
+    const logQueryTurtle = await waitForState(
+      'log:query Turtle output completion',
+      (st) =>
+        String(st.status || '')
+          .trim()
+          .startsWith('Done') && /:Socrates\s+a\s+:Mortal\s*\./.test(String(st.output || '')),
+      30000,
+    );
+    assert.match(logQueryTurtle.output, /:Socrates\s+a\s+:Human\s*\./, 'Expected Turtle-style source output');
+    assert.match(logQueryTurtle.output, /:Socrates\s+a\s+:Mortal\s*\./, 'Expected inferred Turtle-style source output');
+    assert.doesNotMatch(logQueryTurtle.output, /^#{1,6}\s+/m, 'Expected non-Markdown Turtle output');
+    assert.equal(logQueryTurtle.outputTabsHidden, true, 'Expected Turtle log:query output to hide Markdown tabs');
+    assert.equal(logQueryTurtle.renderedHidden, true, 'Expected Turtle log:query output to skip rendered Markdown panel');
+    assert.equal(logQueryTurtle.sourceHidden, false, 'Expected Turtle log:query output to show source directly');
+    endTest();
+
+    // 7) URL-loaded examples should auto-load matching examples/input/<stem>.trig and run in RDF/TriG mode.
     beginTest('playground auto-loads companion TriG sidecars and uses RDF/TriG mode');
-    await loadUrlIntoEditor(`${started.baseUrl}/examples/smoke-arithmetic.n3`);
+    await loadUrlIntoEditor('https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/smoke-arithmetic.n3');
     const smokeLoaded = await waitForState(
       'smoke-arithmetic URL loaded with companion TriG input',
       (st) => /companion RDF\/TriG input/i.test(String(st.status || '')) && /input\/smoke-arithmetic\.trig/i.test(String(st.backgroundStatus || '')),
@@ -926,9 +963,19 @@ ${JSON.stringify(last, null, 2)}`);
       30000,
     );
     assert.match(smoke.output, /product = 42/i, 'Expected result derived from companion TriG evidence');
+    assert.match(
+      smoke.renderedHtml,
+      new RegExp('href="' + started.baseUrl.replace(/[.*+?^${}()|[\]\\]/g, '\\$&') + '/examples/smoke-arithmetic\\.n3"'),
+      'Expected relative Markdown source links to resolve against the static output page, not /playground',
+    );
+    assert.match(
+      smoke.renderedHtml,
+      new RegExp('href="' + started.baseUrl.replace(/[.*+?^${}()|[\]\\]/g, '\\$&') + '/examples/input/smoke-arithmetic\\.trig"'),
+      'Expected relative Markdown TriG links to resolve against the static output page, not /playground',
+    );
     endTest();
 
-    // 7) URL-loaded repository examples should auto-load matching examples/builtin/<stem>.js.
+    // 8) URL-loaded repository examples should auto-load matching examples/builtin/<stem>.js.
     beginTest('playground auto-loads a companion example builtin for URL-loaded Sudoku');
     await loadUrlIntoEditor('https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/sudoku.n3');
     await waitForState(
@@ -952,12 +999,12 @@ ${JSON.stringify(last, null, 2)}`);
     assert.match(sudoku.output, /unique valid Sudoku solution/i, 'Expected Sudoku builtin-backed result');
     endTest();
 
-    // Ensure no uncaught runtime exceptions.
+    // 9) Ensure no uncaught runtime exceptions.
     beginTest('playground has no uncaught runtime exceptions');
     assert.equal(exceptions.length, 0, `Uncaught exceptions in playground.html: ${JSON.stringify(exceptions[0] || {})}`);
     endTest();
 
-    // Console errors are noisy and often indicate a broken UI.
+    // 10) Console errors are noisy and often indicate a broken UI.
     // (We suppress known noise like /favicon.ico on the server.)
     beginTest('playground has no console errors');
     assert.equal(consoleErrors.length, 0, `Console errors in playground.html: ${JSON.stringify(consoleErrors[0] || {})}`);