eyeling 1.24.16 → 1.24.18

package/HANDBOOK.md

@@ -3760,6 +3760,8 @@ When a user does want a portable link, the **Copy share link** button creates on
 - edited programs are shared with a compact compressed `?state=...` payload,
 - default option values are omitted from that payload to keep links small.
 
+If a generated compact share link is still very long, the playground reveals an **Open shortener** option. The threshold is intentionally conservative, and the shortener handoff is explicit rather than automatic: the browser opens a TinyURL creation page with the generated share URL only after the user chooses that option. This avoids silently sending encoded editor content to a third-party service.
+
 This keeps everyday use pleasant while preserving the important tutorial and issue-reporting workflow: a link can still capture the imported resource, the local editable overlay, background-knowledge mode, proof-comments mode, and HTTPS-dereferencing mode.
 
 For compatibility, older `?edit=`, `?program=`, `?url=`, compact `?state=`, and hash-based links are still accepted when opened. The old `/demo` entry point is also kept as a redirect to the canonical `/playground` page.

package/package.json

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

package/test/playground.test.js

@@ -722,6 +722,7 @@ async function main() {
           renderedTabSelected: renderedTab ? renderedTab.getAttribute('aria-selected') === 'true' : false,
           sourceTabSelected: sourceTab ? sourceTab.getAttribute('aria-selected') === 'true' : false,
           shareStatus: document.getElementById('share-status') ? String(document.getElementById('share-status').textContent || '') : '',
+          shortenerHidden: document.getElementById('open-shortener-btn') ? !!document.getElementById('open-shortener-btn').hidden : true,
           backgroundStatus: document.getElementById('background-status') ? String(document.getElementById('background-status').textContent || '') : '',
           href: String(window.location.href || ''),
           highlighted,
@@ -776,6 +777,19 @@ async function main() {
       return await evalInPage(`window.__eyelingPlaygroundMakeShareUrl()`);
     }
 
+    async function makeShareUrlDiagnosticsInPage() {
+      return await evalInPage(`(async () => {
+        const url = await window.__eyelingPlaygroundMakeShareUrl();
+        return {
+          url,
+          length: url.length,
+          threshold: window.__eyelingPlaygroundShareUrlShortenerThreshold,
+          needsShortener: window.__eyelingPlaygroundShouldOfferShortener(url),
+          shortenerUrl: window.__eyelingPlaygroundMakeShareUrlShortenerUrl(url),
+        };
+      })()`);
+    }
+
     async function loadUrlIntoEditor(url) {
       const payload = JSON.stringify(String(url));
       await evalInPage(`(() => {
@@ -922,9 +936,25 @@ ${JSON.stringify(last, null, 2)}`);
     assert.match(compactShareUrl, /[?&]state=/, 'Expected an on-demand compact state parameter');
     assert.doesNotMatch(compactShareUrl, /[?&](?:edit|program)=/, 'Expected share link to avoid raw edit/program params');
     assert.ok(compactShareUrl.length < playgroundUrl.length + encodeURIComponent(outputStringProgram).length, 'Expected compact share URL to be shorter than raw editor URL');
+    assert.equal(renderedAgain.shortenerHidden, true, 'Expected ordinary compact share links to keep the shortener option hidden');
     endTest();
 
-    // 6) log:query can produce Turtle; that should stay in plain source output without Markdown tabs.
+    // 6) Very large edited programs should offer a URL shortener handoff instead of only a huge link.
+    beginTest('playground offers a URL shortener option for oversized share links');
+    const longShareProgram = Array.from({ length: 1400 }, (_, i) => {
+      const n = String(i).padStart(4, '0');
+      const token = ((i * 2654435761) >>> 0).toString(36).padStart(7, '0');
+      return `:s${n}_${token} :p${token}_${n} "literal-${n}-${token}-${i * 9973}" .`;
+    }).join('\n');
+    await setProgram(longShareProgram);
+    const longShare = await makeShareUrlDiagnosticsInPage();
+    assert.ok(longShare.length > longShare.threshold, `Expected test share URL to exceed threshold (${longShare.length} <= ${longShare.threshold})`);
+    assert.equal(longShare.needsShortener, true, 'Expected oversized share URL to request a shortener option');
+    assert.match(longShare.shortenerUrl, /^https:\/\/tinyurl\.com\/create\.php\?url=/, 'Expected TinyURL create URL handoff');
+    assert.ok(longShare.shortenerUrl.includes(encodeURIComponent(longShare.url).slice(0, 40)), 'Expected shortener URL to carry the generated share URL');
+    endTest();
+
+    // 7) 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();
@@ -944,7 +974,7 @@ ${JSON.stringify(last, null, 2)}`);
     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.
+    // 8) 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('https://raw.githubusercontent.com/eyereasoner/eyeling/refs/heads/main/examples/smoke-arithmetic.n3');
     const smokeLoaded = await waitForState(
@@ -973,9 +1003,25 @@ ${JSON.stringify(last, null, 2)}`);
       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',
     );
+    assert.equal(smoke.outputTabsHidden, false, 'Expected smoke-arithmetic Markdown output tabs to be visible');
+    assert.equal(smoke.renderedHidden, false, 'Expected smoke-arithmetic Markdown output to render by default');
+    assert.equal(smoke.sourceHidden, true, 'Expected smoke-arithmetic Markdown source to be hidden by default');
+
+    await clickOutputSourceTab();
+    const smokeSourceView = await getPlaygroundState();
+    assert.equal(smokeSourceView.sourceTabSelected, true, 'Expected smoke-arithmetic Markdown source tab to be selectable');
+    assert.equal(smokeSourceView.renderedHidden, true, 'Expected smoke-arithmetic rendered panel to hide in source view');
+    assert.equal(smokeSourceView.sourceHidden, false, 'Expected smoke-arithmetic source editor to show in source view');
+    assert.match(smokeSourceView.output, /^# smoke-arithmetic/m, 'Expected smoke-arithmetic source tab to show Markdown source');
+
+    await clickOutputRenderedTab();
+    const smokeRenderedAgain = await getPlaygroundState();
+    assert.equal(smokeRenderedAgain.renderedTabSelected, true, 'Expected smoke-arithmetic Rendered tab to be selectable again');
+    assert.equal(smokeRenderedAgain.renderedHidden, false, 'Expected smoke-arithmetic rendered panel to show again');
+    assert.equal(smokeRenderedAgain.sourceHidden, true, 'Expected smoke-arithmetic source editor to hide again');
     endTest();
 
-    // 8) URL-loaded repository examples should auto-load matching examples/builtin/<stem>.js.
+    // 9) 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(
@@ -999,12 +1045,12 @@ ${JSON.stringify(last, null, 2)}`);
     assert.match(sudoku.output, /unique valid Sudoku solution/i, 'Expected Sudoku builtin-backed result');
     endTest();
 
-    // 9) Ensure no uncaught runtime exceptions.
+    // 10) 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();
 
-    // 10) Console errors are noisy and often indicate a broken UI.
+    // 11) 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] || {})}`);