Adom Library

@@ -0,0 +1,122 @@+#!/usr/bin/env python3+"""Catch the 2.14.0 bug class: a function that is CALLED but no longer DEFINED.++An over-greedy regex during the toast rewrite deleted the api() helper. Every byte-check+passed, because the markup and CSS were genuinely correct, and every call site swallowed+its own error, so the page rendered an empty panel instead of failing. Only a read-only+eval inside John's live webview found it. This script finds it at build time instead.++It is deliberately conservative: it only reports a name that is called like a function+and is defined NOWHERE in the page and is not a known global. False negatives are fine;+a false positive that blocks a build is not.+"""+import re, sys, pathlib++src = pathlib.Path(sys.argv[1] if len(sys.argv) > 1 else "src/manage.html").read_text()+scripts = re.findall(r"<script\b[^>]*>(.*?)</script>", src, re.S)+if not scripts:+    print("[jscheck] FAIL no <script> blocks found"); sys.exit(1)+js = "\n".join(scripts)++# Strip comments and strings with a single left-to-right scanner. Per-quote regex+# stripping is WRONG: an apostrophe inside a double-quoted string ("don't") makes the+# single-quote pass eat everything up to the next apostrophe, deleting real definitions+# and reporting them as missing. That false-positive storm is exactly how this script+# first failed, so the scanner walks the text once and honours whichever quote opened.+def strip_js(t):+    out = []; i = 0; n = len(t)+    while i < n:+        c = t[i]+        if c == "/" and i + 1 < n and t[i+1] == "/":+            while i < n and t[i] != "\n": i += 1+        elif c == "/" and i + 1 < n and t[i+1] == "*":+            i += 2+            while i + 1 < n and not (t[i] == "*" and t[i+1] == "/"): i += 1+            i += 2+        elif c in "'\"`":+            q = c; i += 1+            while i < n:+                if t[i] == "\\": i += 2; continue+                if t[i] == q: i += 1; break+                # a ${ } inside a template literal holds real code: keep it+                if q == "`" and t[i] == "$" and i + 1 < n and t[i+1] == "{":+                    depth = 1; i += 2; start = i+                    while i < n and depth:+                        if t[i] == "{": depth += 1+                        elif t[i] == "}": depth -= 1+                        i += 1+                    out.append(strip_js(t[start:i-1]))+                    continue+                i += 1+            out.append('""')+        else:+            out.append(c); i += 1+    return "".join(out)++stripped = strip_js(js)++defined = set()+defined |= set(re.findall(r"function\s+([A-Za-z_$][\w$]*)", stripped))+defined |= set(re.findall(r"(?:const|let|var)\s+([A-Za-z_$][\w$]*)\s*=\s*(?:async\s*)?(?:function|\()", stripped))+# a declaration list declares EVERY name in it: `let sx,sy,ox,oy,drag=false` declares five,+# and matching only the first is how this script once reported four real declarations as+# implicit globals+for m in re.finditer(r"\b(?:const|let|var)\s+", stripped):+    i = m.end(); depth = 0; buf = []+    while i < len(stripped):+        c = stripped[i]+        if c in "([{": depth += 1+        elif c in ")]}":+            if depth == 0: break+            depth -= 1+        elif c == ";" and depth == 0: break+        elif c == "\n" and depth == 0 and not buf[-1:] == [","]: pass+        buf.append(c); i += 1+    for part in re.split(r",(?![^([{]*[)\]}])", "".join(buf)):+        name = re.match(r"\s*([A-Za-z_$][\w$]*)", part.split("=")[0])+        if name: defined.add(name.group(1))+        # destructuring: `const {a,b} = x` / `const [a,b] = x`+        defined |= set(re.findall(r"[A-Za-z_$][\w$]*", part.split("=")[0])) if part.strip()[:1] in "{[" else set()+defined |= set(re.findall(r"([A-Za-z_$][\w$]*)\s*:\s*(?:async\s*)?function", stripped))+defined |= set(re.findall(r"function\s*\(([^)]*)\)", stripped) and [])+for params in re.findall(r"function[^(]*\(([^)]*)\)", stripped):+    defined |= {p.strip().split("=")[0].strip() for p in params.split(",") if p.strip()}+for params in re.findall(r"\(([^()]*)\)\s*=>", stripped):+    defined |= {p.strip().split("=")[0].strip() for p in params.split(",") if p.strip()}+defined |= set(re.findall(r"([A-Za-z_$][\w$]*)\s*=>", stripped))+defined |= set(re.findall(r"catch\s*\(\s*([A-Za-z_$][\w$]*)", stripped))+# object-literal method shorthand -- `log(line){...}` inside an object is a DEFINITION,+# and it reads exactly like a call site if you only pattern-match on NAME(+defined |= set(re.findall(r"[{,]\s*(?:async\s+)?([A-Za-z_$][\w$]*)\s*\([^)]*\)\s*\{", stripped))++GLOBALS = set("""+window document console fetch setTimeout clearTimeout setInterval clearInterval+JSON Math Date Object Array String Number Boolean Promise Error Map Set RegExp+parseInt parseFloat isNaN encodeURIComponent decodeURIComponent alert confirm prompt+AbortController FormData URL URLSearchParams Image Audio Blob File FileReader+requestAnimationFrame cancelAnimationFrame getComputedStyle matchMedia structuredClone+addEventListener removeEventListener dispatchEvent+localStorage sessionStorage navigator location history CustomEvent Event MutationObserver+IntersectionObserver ResizeObserver TextEncoder TextDecoder btoa atob queueMicrotask+Intl Symbol Proxy Reflect BigInt WeakMap WeakSet ArrayBuffer Uint8Array+if for while switch catch return typeof function do else new delete void await yield+async of in instanceof throw case try finally+""".split())++called = set(re.findall(r"(?<![.\w$])([A-Za-z_$][\w$]*)\s*\(", stripped))+missing = sorted(n for n in called if n not in defined and n not in GLOBALS)++# Second class: an IMPLICIT GLOBAL, a bare `name = value` with no declaration anywhere.+# It works only while its assignment happens to run before every read, so it fails exactly+# when something upstream has already gone wrong, turning one fault into two.+assigns = set(re.findall(r"(?:^|[;{}\n])\s*([A-Za-z_$][\w$]*)\s*=(?!=)", stripped))+implicit = sorted(n for n in assigns if n not in defined and n not in GLOBALS)+if implicit:+    print("[jscheck] FAIL assigned but never declared (implicit global): " + ", ".join(implicit))+    sys.exit(1)++if missing:+    print("[jscheck] FAIL called but never defined: " + ", ".join(missing))+    print("[jscheck] this is the 2.14.0 bug class (a helper deleted by an edit).")+    sys.exit(1)+print(f"[jscheck] OK  {len(called)} distinct call targets, all defined")

@@ -0,0 +1,89 @@+#!/usr/bin/env node+/* Behavioural smoke test for the dashboard page.+ *+ * WHY THIS EXISTS. 2.14.0 shipped with api() deleted by an over-greedy regex and 2.14.2+ * shipped with shortState() and busySince missing. All three were invisible to 22 byte+ * checks, because the markup and the CSS were genuinely correct. They were invisible to+ * review. And they were invisible to the user too, because every call site catches its own+ * error: the page answered with an empty prompts panel and a single red "dashboard not+ * answering" pill while the server was serving 200s in four milliseconds.+ *+ * A structural audit cannot see a missing function. This runs the REAL page against the+ * REAL server and asserts what a person would look at.+ *+ * Requires jsdom (npm i jsdom@22 inside tools/). No layout engine, so this proves+ * BEHAVIOUR, not pixels; widths still have to be measured in a real webview.+ */+const { JSDOM, VirtualConsole } = require('jsdom');+const { spawn, execSync } = require('child_process');++const PORT = process.env.SMOKE_PORT || '8971';+const URL = `http://127.0.0.1:${PORT}/`;+const BIN = process.env.SMOKE_BIN || './target/release/adom-lbr';++const EXPECT = {+  sayRows: n => n >= 3 && n <= 6,          // newbie-panel: 3 to 6 rows, never zero+  copyButtons: n => n >= 6,                 // two icon buttons per row+  ledPills: n => n >= 5,                    // Binary, Wiki, Identity, Library, 3D viewer, Dock+  demoButton: v => v === true,+};++(async () => {+  const srv = spawn(BIN, ['dashboard', 'serve', '--port', String(PORT), '--foreground'],+                    { stdio: 'ignore', detached: true });+  const done = code => { try { process.kill(-srv.pid); } catch (e) {} process.exit(code); };++  for (let i = 0; i < 40; i++) {+    try { await fetch(URL); break; } catch (e) { await new Promise(r => setTimeout(r, 250)); }+  }++  const errs = [];+  const vc = new VirtualConsole();+  vc.on('jsdomError', e => errs.push(String(e.message || e)));++  let html = await (await fetch(URL)).text();+  // Make the page's own swallowing catches confess, in this COPY only. A caught error is+  // still a defect; the user just never gets told about it.+  html = html.replace(/\}catch\((\w+)\)\{/g, '}catch($1){ if(typeof console!=="undefined")console.error("SWALLOWED >>> "+($1&&$1.stack?$1.stack:$1));');+  vc.on('error', (...a) => { const s = a.join(' '); if (/SWALLOWED/.test(s)) errs.push(s.split('\n')[0]); });++  const dom = new JSDOM(html, {+    url: URL, runScripts: 'dangerously', pretendToBeVisual: true, virtualConsole: vc,+    beforeParse(w) {+      w.fetch = (p, o) => fetch(new w.URL(p, URL).href, o);+      w.scrollTo = () => {};+      w.matchMedia = w.matchMedia || (q => ({ matches: false, media: q, addListener(){}, removeListener(){}, addEventListener(){}, removeEventListener(){} }));+    }+  });+  const d = dom.window.document;+  await new Promise(r => setTimeout(r, 4000));++  const got = {+    sayRows: d.querySelectorAll('.say-row').length,+    copyButtons: d.querySelectorAll('.actbtn').length,+    ledPills: d.querySelectorAll('.led-pill').length,+    demoButton: !!d.getElementById('btnDemo'),+  };+  const ledText = [...d.querySelectorAll('.led-pill')].map(p => p.textContent.replace(/\s+/g, ' ').trim());++  let bad = 0;+  for (const [k, test] of Object.entries(EXPECT)) {+    const ok = test(got[k]);+    if (!ok) bad++;+    console.log(`[smoke] ${ok ? 'ok  ' : 'FAIL'} ${k} = ${got[k]}`);+  }+  // The specific shape of the 2.14.2 bug: the LED row falls back to one red pill.+  if (ledText.length === 1 && /not answering/.test(ledText[0])) {+    console.log('[smoke] FAIL LED row is the error fallback: ' + ledText[0]); bad++;+  }+  const real = errs.filter(e => /ReferenceError|TypeError|SyntaxError/.test(e));+  if (real.length) {+    bad++;+    console.log('[smoke] FAIL javascript errors on load (including ones the page swallows):');+    [...new Set(real)].slice(0, 6).forEach(e => console.log('        ' + e.slice(0, 160)));+  }+  console.log('[smoke] leds: ' + (ledText.join(' | ') || '(none)'));+  console.log(bad ? `[smoke] FAILED ${bad} check(s)` : '[smoke] OK  page renders and answers');+  dom.window.close();+  done(bad ? 1 : 0);+})().catch(e => { console.log('[smoke] FAIL ' + e.message); process.exit(1); });