npm - eyeling - Versions diffs - 1.16.2 → 1.16.4 - Mend

eyeling 1.16.2 → 1.16.4

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (51) hide show

package/HANDBOOK.md +4 -0
package/README.md +0 -1
package/examples/ershov-mixed-computation.n3 +106 -0
package/examples/output/ershov-mixed-computation.n3 +15 -0
package/eyeling.js +510 -263
package/lib/cli.js +22 -12
package/lib/engine.js +488 -251
package/package.json +2 -3
package/arctifacts/README.md +0 -59
package/arctifacts/ackermann.html +0 -678
package/arctifacts/auroracare.html +0 -1297
package/arctifacts/bike-trip.html +0 -752
package/arctifacts/binomial-theorem.html +0 -631
package/arctifacts/bmi.html +0 -511
package/arctifacts/building-performance.html +0 -750
package/arctifacts/clinical-care.html +0 -726
package/arctifacts/collatz.html +0 -403
package/arctifacts/complex.html +0 -321
package/arctifacts/control-system.html +0 -482
package/arctifacts/delfour.html +0 -849
package/arctifacts/earthquake-epicenter.html +0 -982
package/arctifacts/eco-route.html +0 -662
package/arctifacts/euclid-infinitude.html +0 -564
package/arctifacts/euler-identity.html +0 -667
package/arctifacts/exoplanet-transit.html +0 -1000
package/arctifacts/faltings-theorem.html +0 -1046
package/arctifacts/fibonacci.html +0 -299
package/arctifacts/fundamental-theorem-arithmetic.html +0 -398
package/arctifacts/godel-numbering.html +0 -743
package/arctifacts/gps-bike.html +0 -759
package/arctifacts/gps-clinical-bench.html +0 -792
package/arctifacts/graph-french.html +0 -449
package/arctifacts/grass-molecular.html +0 -592
package/arctifacts/group-theory.html +0 -740
package/arctifacts/health-info.html +0 -833
package/arctifacts/kaprekar-constant.html +0 -576
package/arctifacts/lee.html +0 -805
package/arctifacts/linked-lists.html +0 -502
package/arctifacts/lldm.html +0 -612
package/arctifacts/matrix-multiplication.html +0 -502
package/arctifacts/matrix.html +0 -651
package/arctifacts/newton-raphson.html +0 -944
package/arctifacts/peano-factorial.html +0 -456
package/arctifacts/pi.html +0 -363
package/arctifacts/polynomial.html +0 -646
package/arctifacts/prime.html +0 -366
package/arctifacts/pythagorean-theorem.html +0 -468
package/arctifacts/rest-path.html +0 -469
package/arctifacts/roots-of-unity.html +0 -363
package/arctifacts/turing.html +0 -409
package/arctifacts/wind-turbines.html +0 -726

package/arctifacts/delfour.html DELETED Viewed

@@ -1,849 +0,0 @@
-<!doctype html>
-<html lang="en">
-  <head>
-    <meta charset="utf-8" />
-    <title>Delfour Insight Economy — Phone ↔ Scanner</title>
-    <meta name="viewport" content="width=device-width, initial-scale=1" />
-    <style>
-      :root {
-        --bg: #f5f5f7;
-        --card-bg: #ffffff;
-        --accent: #2563eb;
-        --accent-soft: rgba(37, 99, 235, 0.12);
-        --danger: #dc2626;
-        --ok: #16a34a;
-        --text-main: #111827;
-        --text-muted: #6b7280;
-        --radius-xl: 18px;
-        --shadow-sm: 0 4px 12px rgba(15, 23, 42, 0.06);
-      }
-      * {
-        box-sizing: border-box;
-        margin: 0;
-        padding: 0;
-      }
-      body {
-        font-family:
-          system-ui,
-          -apple-system,
-          BlinkMacSystemFont,
-          'SF Pro Text',
-          sans-serif;
-        background: var(--bg);
-        color: var(--text-main);
-        line-height: 1.5;
-      }
-      .app {
-        max-width: 780px;
-        margin: 0 auto;
-        padding: 1.2rem 1rem 2.4rem;
-      }
-      header.top-header {
-        margin-bottom: 1.3rem;
-      }
-      header.top-header h1 {
-        font-size: 1.45rem;
-        font-weight: 700;
-        margin-bottom: 0.3rem;
-      }
-      header.top-header p {
-        font-size: 0.9rem;
-        color: var(--text-muted);
-        margin-bottom: 0.6rem;
-      }
-      .see-also {
-        font-size: 0.82rem;
-        color: var(--text-muted);
-        margin-top: 0.2rem;
-      }
-      .status-pill {
-        display: inline-flex;
-        align-items: center;
-        gap: 0.4rem;
-        font-size: 0.78rem;
-        text-transform: uppercase;
-        letter-spacing: 0.08em;
-        padding: 0.2rem 0.7rem;
-        border-radius: 999px;
-        background: #e5e7eb;
-        color: #374151;
-      }
-      .status-dot {
-        width: 0.55rem;
-        height: 0.55rem;
-        border-radius: 999px;
-        background: #9ca3af;
-      }
-      .status-pill.ready .status-dot {
-        background: var(--accent);
-      }
-      .status-pill.error .status-dot {
-        background: var(--danger);
-      }
-      .section {
-        margin-bottom: 1.2rem;
-      }
-      .section-title {
-        font-size: 1.05rem;
-        font-weight: 600;
-        margin-bottom: 0.2rem;
-      }
-      .section-subtitle {
-        font-size: 0.86rem;
-        color: var(--text-muted);
-        margin-bottom: 0.6rem;
-      }
-      .card {
-        background: var(--card-bg);
-        border-radius: var(--radius-xl);
-        box-shadow: var(--shadow-sm);
-        padding: 0.9rem 0.9rem 0.85rem;
-        margin-bottom: 0.8rem;
-      }
-      .card-header {
-        display: flex;
-        justify-content: space-between;
-        align-items: center;
-        gap: 0.6rem;
-        margin-bottom: 0.35rem;
-        flex-wrap: wrap;
-      }
-      .card-title {
-        font-weight: 600;
-        font-size: 0.98rem;
-      }
-      .chip {
-        font-size: 0.72rem;
-        font-weight: 600;
-        text-transform: uppercase;
-        letter-spacing: 0.06em;
-        padding: 0.15rem 0.55rem;
-        border-radius: 999px;
-        background: #eef2ff;
-        color: #3730a3;
-        white-space: nowrap;
-      }
-      .card-body {
-        font-size: 0.9rem;
-        color: var(--text-muted);
-        margin-bottom: 0.6rem;
-      }
-      button {
-        -webkit-tap-highlight-color: transparent;
-        width: 100%;
-        border: none;
-        outline: none;
-        border-radius: 999px;
-        padding: 0.6rem 0.9rem;
-        font-size: 0.95rem;
-        font-weight: 600;
-        background: var(--accent);
-        color: #fff;
-        box-shadow: 0 4px 10px rgba(37, 99, 235, 0.35);
-        display: flex;
-        align-items: center;
-        justify-content: center;
-        gap: 0.4rem;
-        cursor: pointer;
-      }
-      button span.btn-icon {
-        font-size: 1rem;
-      }
-      button:active {
-        transform: scale(0.98);
-      }
-      button[disabled] {
-        opacity: 0.6;
-        box-shadow: none;
-        cursor: default;
-      }
-      .status-line {
-        font-size: 0.8rem;
-        color: var(--text-muted);
-        margin-top: 0.4rem;
-      }
-      .status-line.ok {
-        color: var(--ok);
-      }
-      .status-line.err {
-        color: var(--danger);
-      }
-      .files-list {
-        margin-top: 0.5rem;
-        border-radius: 14px;
-        background: #f9fafb;
-        padding: 0.5rem 0.55rem;
-      }
-      .file-item {
-        padding: 0.3rem 0.25rem;
-        border-bottom: 1px solid #e5e7eb;
-      }
-      .file-item:last-child {
-        border-bottom: none;
-      }
-      .file-name {
-        font-size: 0.84rem;
-        font-weight: 600;
-        margin-bottom: 0.15rem;
-      }
-      .file-tag {
-        display: inline-block;
-        font-size: 0.72rem;
-        padding: 0.1rem 0.45rem;
-        border-radius: 999px;
-        background: #e5e7eb;
-        color: #374151;
-        margin-left: 0.25rem;
-      }
-      .file-content {
-        font-size: 0.78rem;
-        font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, 'Liberation Mono', 'Courier New', monospace;
-        white-space: pre-wrap;
-        word-break: break-word;
-        color: #4b5563;
-      }
-      .file-content.json {
-        background: #f3f4f6;
-        border-radius: 0.4rem;
-        padding: 0.35rem 0.4rem;
-      }
-      .hint {
-        font-size: 0.8rem;
-        color: var(--text-muted);
-        margin-top: 0.4rem;
-      }
-      code {
-        font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, 'Liberation Mono', 'Courier New', monospace;
-        font-size: 0.85em;
-        background: #e5e7eb;
-        padding: 0.08rem 0.25rem;
-        border-radius: 0.25rem;
-      }
-      @media (min-width: 640px) {
-        header.top-header h1 {
-          font-size: 1.6rem;
-        }
-      }
-    </style>
-  </head>
-  <body>
-    <main class="app">
-      <header class="top-header">
-        <h1>Delfour Insight Economy — Phone ↔ Scanner</h1>
-        <p>
-          Fully client-side demo: direct <strong>embedded JavaScript</strong> port.
-          <br />
-          the phone logic becomes an in-page phone step that writes a neutral Insight + Policy, and the scanner logic
-          becomes an in-page scanner step that consumes it.
-        </p>
-        <p class="see-also">
-          See also:
-          <a
-            href="https://ruben.verborgh.org/blog/2025/08/12/inside-the-insight-economy/"
-            target="_blank"
-            rel="noopener noreferrer">
-            Inside the Insight Economy
-          </a>
-        </p>
-        <div id="runtime-status" class="status-pill ready">
-          <span class="status-dot"></span>
-          <span class="status-text">Embedded JavaScript ready</span>
-        </div>
-      </header>
-      <section class="section">
-        <h2 class="section-title">Phone → Insight + Policy</h2>
-        <p class="section-subtitle">
-          Shopper’s phone turns a sensitive profile into a neutral, scoped, expiring Insight.
-        </p>
-        <article class="card">
-          <div class="card-header">
-            <div class="card-title">Phone (shopper)</div>
-            <div class="chip">Embedded phone logic</div>
-          </div>
-          <p class="card-body">
-            Runs the browser-side phone logic and writes an <code>envelope.json</code>, signature, and a private
-            <code>reason.txt</code> into the demo bus session.
-          </p>
-          <button id="run-phone-btn" type="button">
-            <span class="btn-icon">📱</span>
-            <span class="btn-label">Run phone step</span>
-          </button>
-          <div id="phone-status" class="status-line"></div>
-        </article>
-      </section>
-      <section class="section">
-        <h2 class="section-title">Scanner → Apply Insight</h2>
-        <p class="section-subtitle">
-          Retailer self-scanner reads the same bus session and derives local artifacts (banner, audit, checks… matching
-          the original scanner flow).
-        </p>
-        <article class="card">
-          <div class="card-header">
-            <div class="card-title">Scanner (retailer)</div>
-            <div class="chip">Embedded scanner logic</div>
-          </div>
-          <p class="card-body">
-            Runs the browser-side scanner logic, reading from the same bus session and writing its own files into the
-            demo bus.
-          </p>
-          <button id="run-scanner-btn" type="button" disabled>
-            <span class="btn-icon">🛒</span>
-            <span class="btn-label">Run scanner step</span>
-          </button>
-          <div id="scanner-status" class="status-line"></div>
-        </article>
-      </section>
-      <section class="section">
-        <h2 class="section-title">Bus session: <code>/cases/bus/delfour</code></h2>
-        <p class="section-subtitle">Files currently on the bus, after the last phone/scanner run.</p>
-        <article class="card">
-          <div class="card-header">
-            <div class="card-title">Bus contents</div>
-            <div class="chip">persistent browser storage</div>
-          </div>
-          <div id="bus-files" class="files-list">
-            <div class="file-item">
-              <div class="file-name">No files yet</div>
-              <div class="file-content">Run the phone step to generate an Insight + Policy, then the scanner.</div>
-            </div>
-          </div>
-          <p class="hint">
-            Hint: this view is generic on purpose — whatever the phone and scanner steps write into the bus session will
-            show up here.
-          </p>
-        </article>
-      </section>
-    </main>
-    <script>
-      const runtimeStatusEl = document.getElementById('runtime-status');
-      const runtimeStatusTextEl = runtimeStatusEl.querySelector('.status-text');
-      const runPhoneBtn = document.getElementById('run-phone-btn');
-      const runScannerBtn = document.getElementById('run-scanner-btn');
-      const phoneStatusEl = document.getElementById('phone-status');
-      const scannerStatusEl = document.getElementById('scanner-status');
-      const busFilesEl = document.getElementById('bus-files');
-      const BUS_STORAGE_KEY = 'follows-from:delfour:bus';
-      const DEMO_SHARED_SECRET = 'neutral-insight-demo-shared-secret';
-      const PHONE_CREATED_AT = '2025-10-05T20:33:48.907163+00:00';
-      const PHONE_EXPIRES_AT = '2025-10-05T22:33:48.907185+00:00';
-      const SCANNER_AUTH_AT = '2025-10-05T20:35:48.907163+00:00';
-      const SCANNER_DUTY_AT = '2025-10-05T20:37:48.907163+00:00';
-      const CATALOG = [
-        { id: 'prod:BIS_001', name: 'Classic Tea Biscuits', sku: 'BIS-001', sugar: 12.0, price: 2.1 },
-        { id: 'prod:BIS_101', name: 'Low-Sugar Tea Biscuits', sku: 'BIS-101', sugar: 3.0, price: 2.6 },
-        { id: 'prod:CHOC_050', name: 'Milk Chocolate Bar', sku: 'CHOC-050', sugar: 15.0, price: 1.8 },
-        { id: 'prod:CHOC_150', name: '85% Dark Chocolate', sku: 'CHOC-150', sugar: 6.0, price: 2.2 },
-      ];
-      const REQUEST = {
-        type: 'req:Request',
-        action: 'odrl:use',
-        constraint: {
-          leftOperand: 'odrl:purpose',
-          rightOperand: 'shopping_assist',
-        },
-      };
-      let isBusy = false;
-      function setRuntimeStatus(kind, text) {
-        runtimeStatusEl.classList.remove('ready', 'error');
-        if (kind === 'ready') runtimeStatusEl.classList.add('ready');
-        if (kind === 'error') runtimeStatusEl.classList.add('error');
-        runtimeStatusTextEl.textContent = text;
-      }
-      function setInlineStatus(el, text, type) {
-        el.textContent = text;
-        el.classList.remove('ok', 'err');
-        if (type === 'ok') el.classList.add('ok');
-        if (type === 'err') el.classList.add('err');
-      }
-      function loadBusState() {
-        try {
-          return JSON.parse(localStorage.getItem(BUS_STORAGE_KEY) || '{}');
-        } catch {
-          return {};
-        }
-      }
-      function saveBusState(state) {
-        localStorage.setItem(BUS_STORAGE_KEY, JSON.stringify(state));
-      }
-      function writeBusFile(name, content) {
-        const state = loadBusState();
-        state[name] = content;
-        saveBusState(state);
-      }
-      function readBusFile(name) {
-        return loadBusState()[name] || null;
-      }
-      function hasPhoneArtifacts() {
-        const state = loadBusState();
-        return Boolean(state['envelope.json'] && state['envelope.sig.json']);
-      }
-      function updateButtonState() {
-        if (isBusy) return;
-        runPhoneBtn.disabled = false;
-        runScannerBtn.disabled = !hasPhoneArtifacts();
-      }
-      function formatNumber(value) {
-        return Number.isInteger(value) ? value.toFixed(1) : String(value);
-      }
-      function canonicalJson(value) {
-        if (value === null) return 'null';
-        if (Array.isArray(value)) {
-          return `[${value.map((item) => canonicalJson(item)).join(',')}]`;
-        }
-        if (typeof value === 'object') {
-          const keys = Object.keys(value).sort();
-          return `{${keys.map((key) => `${JSON.stringify(key)}:${canonicalJson(value[key])}`).join(',')}}`;
-        }
-        if (typeof value === 'string') return JSON.stringify(value);
-        if (typeof value === 'number') return formatNumber(value);
-        if (typeof value === 'boolean') return value ? 'true' : 'false';
-        return 'null';
-      }
-      function prettyJson(value, indent = 2, level = 0) {
-        const pad = ' '.repeat(indent * level);
-        const innerPad = ' '.repeat(indent * (level + 1));
-        if (value === null) return 'null';
-        if (Array.isArray(value)) {
-          if (!value.length) return '[]';
-          return `[
-${value.map((item) => `${innerPad}${prettyJson(item, indent, level + 1)}`).join(',\n')}
-${pad}]`;
-        }
-        if (typeof value === 'object') {
-          const keys = Object.keys(value);
-          if (!keys.length) return '{}';
-          return `{
-${keys.map((key) => `${innerPad}${JSON.stringify(key)}: ${prettyJson(value[key], indent, level + 1)}`).join(',\n')}
-${pad}}`;
-        }
-        if (typeof value === 'string') return JSON.stringify(value);
-        if (typeof value === 'number') return formatNumber(value);
-        if (typeof value === 'boolean') return value ? 'true' : 'false';
-        return 'null';
-      }
-      function hexFromBuffer(buffer) {
-        return Array.from(new Uint8Array(buffer))
-          .map((b) => b.toString(16).padStart(2, '0'))
-          .join('');
-      }
-      async function sha256Hex(text) {
-        const bytes = new TextEncoder().encode(text);
-        const hash = await crypto.subtle.digest('SHA-256', bytes);
-        return hexFromBuffer(hash);
-      }
-      async function hmacSha256Hex(secret, text) {
-        const encoder = new TextEncoder();
-        const key = await crypto.subtle.importKey(
-          'raw',
-          encoder.encode(secret),
-          { name: 'HMAC', hash: 'SHA-256' },
-          false,
-          ['sign'],
-        );
-        const signature = await crypto.subtle.sign('HMAC', key, encoder.encode(text));
-        return hexFromBuffer(signature);
-      }
-      function desensitize(profile) {
-        const conditions = new Set((profile.householdConditions || []).map(String));
-        const needsLowSugar = conditions.has('Diabetes');
-        return { 'need:needsLowSugar': Boolean(needsLowSugar) };
-      }
-      function deriveInsight(need, retailer, device, event, ttlHours, sessionId) {
-        const threshold = need['need:needsLowSugar'] ? 10.0 : 10.0;
-        return {
-          id: `https://example.org/insight/${sessionId}`,
-          type: 'ins:Insight',
-          metric: 'sugar_g_per_serving',
-          threshold: threshold,
-          suggestionPolicy: 'lower_metric_first_higher_price_ok',
-          scopeDevice: device,
-          scopeEvent: event,
-          retailer: retailer,
-          createdAt: PHONE_CREATED_AT,
-          expiresAt: PHONE_EXPIRES_AT,
-        };
-      }
-      function policyFromInsight(insight) {
-        const insId = insight.id;
-        return {
-          type: 'odrl:Policy',
-          profile: 'Delfour-Insight-Policy',
-          permission: {
-            action: 'odrl:use',
-            target: insId,
-            constraint: {
-              leftOperand: 'odrl:purpose',
-              operator: 'odrl:eq',
-              rightOperand: 'shopping_assist',
-            },
-          },
-          prohibition: {
-            action: 'odrl:distribute',
-            target: insId,
-            constraint: {
-              leftOperand: 'odrl:purpose',
-              operator: 'odrl:eq',
-              rightOperand: 'marketing',
-            },
-          },
-          duty: {
-            action: 'odrl:delete',
-            constraint: {
-              leftOperand: 'odrl:dateTime',
-              operator: 'odrl:eq',
-              rightOperand: insight.expiresAt,
-            },
-          },
-        };
-      }
-      async function signEnvelope(envelope) {
-        const canonical = canonicalJson(envelope);
-        const digest = await sha256Hex(canonical);
-        const mac = await hmacSha256Hex(DEMO_SHARED_SECRET, canonical);
-        return {
-          alg: 'HMAC-SHA256',
-          keyid: 'demo-shared-secret',
-          created: PHONE_CREATED_AT,
-          payloadHashSHA256: digest,
-          signatureHMAC: mac,
-        };
-      }
-      async function verifySignature(envelope, signature) {
-        const canonical = canonicalJson(envelope);
-        const digest = await sha256Hex(canonical);
-        if (String(signature.payloadHashSHA256 || '').toLowerCase() !== digest.toLowerCase()) {
-          return false;
-        }
-        const expected = await hmacSha256Hex(DEMO_SHARED_SECRET, canonical);
-        return expected === signature.signatureHMAC;
-      }
-      function authorize(envelope) {
-        const insight = envelope.insight;
-        const policy = envelope.policy;
-        const now = SCANNER_AUTH_AT;
-        const expired = now > insight.expiresAt;
-        const permission = policy.permission || {};
-        const matches =
-          REQUEST.action === permission.action &&
-          permission.target === insight.id &&
-          (permission.constraint || {}).leftOperand === 'odrl:purpose' &&
-          (permission.constraint || {}).rightOperand === REQUEST.constraint.rightOperand;
-        if (expired || !matches) {
-          return [
-            false,
-            {
-              type: 'act:Decision',
-              at: now,
-              request: REQUEST,
-              outcome: 'Blocked',
-              reason: expired ? 'expired' : 'policy_mismatch',
-            },
-          ];
-        }
-        return [
-          true,
-          {
-            type: 'act:Decision',
-            at: now,
-            request: REQUEST,
-            outcome: 'Allowed',
-            target: insight.id,
-          },
-        ];
-      }
-      function simulateScanAndSuggest(insight) {
-        const scanned = CATALOG.find((product) => product.id === 'prod:BIS_001');
-        const threshold = Number(insight.threshold);
-        let note = null;
-        let alternativeName = null;
-        if (scanned.sugar >= threshold) {
-          note = 'High sugar';
-          const candidates = CATALOG.filter((product) => product.sugar < scanned.sugar).sort(
-            (a, b) => a.sugar - b.sugar,
-          );
-          if (candidates.length) {
-            alternativeName = candidates[0].name;
-          }
-        }
-        return {
-          headline: note ? 'Track sugar per serving while you scan' : 'Scan complete',
-          product_name: scanned.name,
-          note: note,
-          suggested_alternative: alternativeName,
-        };
-      }
-      function computeChecks(envelope, banner, audit) {
-        const insight = envelope.insight;
-        const insightText = canonicalJson(insight).toLowerCase();
-        const hasDecision = audit.some((entry) => entry.type === 'act:Decision');
-        return [
-          ['insight_nonempty', Boolean(insight)],
-          ['minimization_no_sensitive_terms', !insightText.includes('diabetes') && !insightText.includes('medical')],
-          ['scope_has_device_event_expiry', ['scopeDevice', 'scopeEvent', 'expiresAt'].every((key) => key in insight)],
-          ['runtime_present', Boolean(banner && banner.headline)],
-          ['behavior_suggests_on_high_sugar', banner.note === 'High sugar'],
-          ['audit_has_decision', hasDecision],
-        ];
-      }
-      function detectFileTag(name) {
-        const lower = name.toLowerCase();
-        if (lower.includes('envelope') && lower.endsWith('.json')) return 'envelope';
-        if (lower.includes('sig') && lower.endsWith('.json')) return 'signature';
-        if (lower.includes('banner') && lower.endsWith('.json')) return 'banner';
-        if (lower.includes('audit')) return 'audit';
-        if (lower.includes('check')) return 'checks';
-        if (lower.includes('reason')) return 'reason';
-        if (lower.endsWith('.json')) return 'json';
-        if (lower.endsWith('.ttl')) return 'ttl';
-        return '';
-      }
-      function prettySnippet(name, content) {
-        const maxChars = 800;
-        let snippet = content || '';
-        if (snippet.length > maxChars) {
-          snippet = `${snippet.slice(0, maxChars)}\n…`;
-        }
-        const looksJson =
-          name.toLowerCase().endsWith('.json') || snippet.trim().startsWith('{') || snippet.trim().startsWith('[');
-        return { text: snippet, isJson: looksJson };
-      }
-      function refreshBusView() {
-        const files = loadBusState();
-        const entries = Object.entries(files).sort(([a], [b]) => a.localeCompare(b));
-        if (!entries.length) {
-          busFilesEl.innerHTML = `
-          <div class="file-item">
-            <div class="file-name">No files yet</div>
-            <div class="file-content">
-              Run the phone step to generate an Insight + Policy, then the scanner.
-            </div>
-          </div>`;
-          return;
-        }
-        busFilesEl.innerHTML = '';
-        for (const [name, content] of entries) {
-          const item = document.createElement('div');
-          item.className = 'file-item';
-          const nameEl = document.createElement('div');
-          nameEl.className = 'file-name';
-          nameEl.textContent = name;
-          const tag = detectFileTag(name);
-          if (tag) {
-            const tagEl = document.createElement('span');
-            tagEl.className = 'file-tag';
-            tagEl.textContent = tag;
-            nameEl.appendChild(tagEl);
-          }
-          const body = document.createElement('div');
-          const { text, isJson } = prettySnippet(name, content);
-          body.className = `file-content${isJson ? ' json' : ''}`;
-          body.textContent = text;
-          item.appendChild(nameEl);
-          item.appendChild(body);
-          busFilesEl.appendChild(item);
-        }
-      }
-      async function runPhone() {
-        if (isBusy) return;
-        isBusy = true;
-        runPhoneBtn.disabled = true;
-        runScannerBtn.disabled = true;
-        setInlineStatus(phoneStatusEl, '', null);
-        setRuntimeStatus('ready', 'Running phone step…');
-        const originalLabel = runPhoneBtn.innerHTML;
-        runPhoneBtn.innerHTML = '<span class="btn-icon">⏳</span><span class="btn-label">Running…</span>';
-        try {
-          const profile = { householdConditions: ['Diabetes'] };
-          const need = desensitize(profile);
-          const insight = deriveInsight(need, 'Delfour', 'self-scanner', 'pick_up_scanner', 2.0, 'delfour');
-          const policy = policyFromInsight(insight);
-          const envelope = { insight, policy };
-          const signature = await signEnvelope(envelope);
-          const reason =
-            [
-              'Household requires low-sugar guidance (diabetes in POD).',
-              "A neutral Insight is scoped to device 'self-scanner', event 'pick_up_scanner', retailer 'Delfour', and expires soon; the policy confines use to shopping assistance.",
-            ].join(' ') + '\n';
-          writeBusFile('envelope.json', `${prettyJson(envelope)}\n`);
-          writeBusFile('envelope.sig.json', `${prettyJson(signature)}\n`);
-          writeBusFile('reason.txt', reason);
-          setInlineStatus(phoneStatusEl, 'Phone step completed — envelope + signature + reason written.', 'ok');
-          setRuntimeStatus('ready', 'Embedded JavaScript ready');
-          refreshBusView();
-        } catch (err) {
-          console.error('Phone step error', err);
-          setInlineStatus(phoneStatusEl, 'Error running phone step (check console).', 'err');
-          setRuntimeStatus('error', 'Phone step failed');
-        } finally {
-          runPhoneBtn.innerHTML = originalLabel;
-          isBusy = false;
-          updateButtonState();
-        }
-      }
-      async function runScanner() {
-        if (isBusy) return;
-        isBusy = true;
-        runPhoneBtn.disabled = true;
-        runScannerBtn.disabled = true;
-        setInlineStatus(scannerStatusEl, '', null);
-        setRuntimeStatus('ready', 'Running scanner step…');
-        const originalLabel = runScannerBtn.innerHTML;
-        runScannerBtn.innerHTML = '<span class="btn-icon">⏳</span><span class="btn-label">Running…</span>';
-        try {
-          const envelopeText = readBusFile('envelope.json');
-          const signatureText = readBusFile('envelope.sig.json');
-          if (!envelopeText || !signatureText) {
-            throw new Error('Missing envelope/signature in bus session');
-          }
-          const envelope = JSON.parse(envelopeText);
-          const signature = JSON.parse(signatureText);
-          const verified = await verifySignature(envelope, signature);
-          if (!verified) {
-            throw new Error('Signature verification failed');
-          }
-          const [allowed, decision] = authorize(envelope);
-          const audit = [decision];
-          const banner = allowed
-            ? simulateScanAndSuggest(envelope.insight)
-            : {
-                headline: 'Policy blocked action',
-                product_name: null,
-                note: 'Expired or prohibited',
-                suggested_alternative: null,
-              };
-          if (SCANNER_DUTY_AT > envelope.insight.expiresAt) {
-            audit.push({
-              type: 'act:Duty',
-              at: SCANNER_DUTY_AT,
-              duty: 'delete_due',
-              target: envelope.insight.id,
-            });
-          }
-          const checks = computeChecks(envelope, banner, audit);
-          writeBusFile('audit.json', `${prettyJson(audit)}\n`);
-          writeBusFile('banner.json', `${prettyJson(banner)}\n`);
-          writeBusFile('checks.json', `${prettyJson(checks)}\n`);
-          setInlineStatus(scannerStatusEl, 'Scanner step completed — bus folder updated.', 'ok');
-          setRuntimeStatus('ready', 'Embedded JavaScript ready');
-          refreshBusView();
-        } catch (err) {
-          console.error('Scanner step error', err);
-          setInlineStatus(scannerStatusEl, 'Error running scanner step (check console).', 'err');
-          setRuntimeStatus('error', 'Scanner step failed');
-        } finally {
-          runScannerBtn.innerHTML = originalLabel;
-          isBusy = false;
-          updateButtonState();
-        }
-      }
-      document.addEventListener('DOMContentLoaded', () => {
-        setRuntimeStatus('ready', 'Embedded JavaScript ready');
-        refreshBusView();
-        updateButtonState();
-        runPhoneBtn.addEventListener('click', runPhone);
-        runScannerBtn.addEventListener('click', runScanner);
-      });
-    </script>
-  </body>
-</html>