eyeling 1.24.17 → 1.24.19

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 a **Create TinyURL** option. The threshold is intentionally conservative, and the shortener handoff is explicit rather than automatic: after the user chooses that option, the browser uses a TinyURL API token stored locally in that browser to create the short link and copy it to the clipboard. If no token is provided, or if the API request fails, the playground falls back to opening TinyURL and copying the long compact share link so it can be pasted manually. This avoids silently sending encoded editor content to a third-party service while still making the account-backed TinyURL workflow one click after setup.
+
 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.17",
+  "version": "1.24.19",
   "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,42 @@ 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 createTinyUrlWithStubInPage(longUrl, token, response) {
+      const payload = JSON.stringify({ longUrl: String(longUrl), token: String(token), response });
+      return await evalInPage(`(async () => {
+        const args = ${payload};
+        const originalFetch = window.fetch;
+        let seen = null;
+        window.fetch = async (url, options) => {
+          seen = { url: String(url || ''), options: options || null };
+          return {
+            ok: true,
+            status: 200,
+            json: async () => args.response,
+          };
+        };
+        try {
+          const tinyUrl = await window.__eyelingPlaygroundCreateTinyUrl(args.longUrl, args.token);
+          return { tinyUrl, seen };
+        } finally {
+          window.fetch = originalFetch;
+        }
+      })()`);
+    }
+
     async function loadUrlIntoEditor(url) {
       const payload = JSON.stringify(String(url));
       await evalInPage(`(() => {
@@ -922,9 +959,33 @@ ${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) 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\/app\?url=/, 'Expected TinyURL app fallback handoff');
+    assert.ok(longShare.shortenerUrl.includes(encodeURIComponent(longShare.url).slice(0, 40)), 'Expected shortener URL to carry the generated share URL');
+    const tinyUrlCreated = await createTinyUrlWithStubInPage(longShare.url, 'test-token-123', {
+      data: { tiny_url: 'https://tinyurl.com/eyeling-test' },
+    });
+    assert.equal(tinyUrlCreated.tinyUrl, 'https://tinyurl.com/eyeling-test', 'Expected TinyURL API response to produce a short URL');
+    assert.equal(tinyUrlCreated.seen.url, 'https://api.tinyurl.com/create', 'Expected TinyURL API create endpoint');
+    assert.equal(tinyUrlCreated.seen.options.method, 'POST', 'Expected TinyURL API POST request');
+    assert.equal(tinyUrlCreated.seen.options.headers.Authorization, 'Bearer test-token-123', 'Expected bearer token authorization');
+    assert.match(String(tinyUrlCreated.seen.options.body || ''), /"url":/, 'Expected TinyURL API body to include the long URL');
     endTest();
 
-    // 6) log:query can produce Turtle; that should stay in plain source output without Markdown tabs.
+    // 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 +1005,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(
@@ -991,7 +1052,7 @@ ${JSON.stringify(last, null, 2)}`);
     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(
@@ -1015,12 +1076,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] || {})}`);