proofscan 0.10.26 → 0.10.27

package/dist/monitor/routes/popl.js

@@ -0,0 +1,84 @@
+/**
+ * ProofScan Web Monitor - POPL entry routes
+ */
+import { Hono } from 'hono';
+import { join, resolve, relative } from 'path';
+import { readFile, stat } from 'fs/promises';
+import { renderPoplDetailPage, renderPopl404Page, renderArtifactPage } from '../templates/popl.js';
+import { getPoplEntry } from '../data/popl.js';
+export const poplRoutes = new Hono();
+// GET /:proof_id - POPL entry detail page
+poplRoutes.get('/:proof_id', async (c) => {
+    const proofId = c.req.param('proof_id');
+    const entry = await getPoplEntry(proofId);
+    if (!entry) {
+        return c.html(renderPopl404Page(proofId), 404);
+    }
+    const html = renderPoplDetailPage(entry);
+    return c.html(html);
+});
+// GET /:proof_id/artifacts/:name - View artifact content
+poplRoutes.get('/:proof_id/artifacts/:name', async (c) => {
+    const proofId = c.req.param('proof_id');
+    const artifactName = c.req.param('name');
+    const entry = await getPoplEntry(proofId);
+    if (!entry) {
+        return c.html(renderPopl404Page(proofId), 404);
+    }
+    // Find artifact by name
+    const artifact = entry.artifacts.find((a) => a.name === artifactName);
+    if (!artifact) {
+        return c.html(renderArtifactPage({
+            proofId,
+            artifactName,
+            error: `Artifact "${artifactName}" not found in POPL entry`,
+        }), 404);
+    }
+    // Try to read the artifact file
+    const poplDir = join(process.cwd(), '.popl', 'popl_entries', proofId);
+    const artifactPath = resolve(poplDir, artifact.path);
+    // Security: Prevent path traversal attacks
+    const relativePath = relative(poplDir, artifactPath);
+    if (relativePath.startsWith('..') || relativePath.startsWith('/')) {
+        return c.html(renderArtifactPage({
+            proofId,
+            artifactName,
+            artifact,
+            error: 'Invalid artifact path: access denied',
+        }), 403);
+    }
+    try {
+        // Check if file exists and get stats
+        const fileStat = await stat(artifactPath);
+        const maxSize = 1024 * 1024; // 1MB limit for display
+        if (fileStat.size > maxSize) {
+            return c.html(renderArtifactPage({
+                proofId,
+                artifactName,
+                artifact,
+                error: `File too large to display (${(fileStat.size / 1024 / 1024).toFixed(2)} MB). Maximum: 1 MB`,
+            }), 200);
+        }
+        const content = await readFile(artifactPath, 'utf-8');
+        // Determine content type based on file extension
+        const ext = artifact.path.split('.').pop()?.toLowerCase();
+        const isJson = ext === 'json' || content.trim().startsWith('{') || content.trim().startsWith('[');
+        return c.html(renderArtifactPage({
+            proofId,
+            artifactName,
+            artifact,
+            content,
+            isJson,
+        }));
+    }
+    catch (err) {
+        const errorMessage = err instanceof Error ? err.message : 'Unknown error';
+        return c.html(renderArtifactPage({
+            proofId,
+            artifactName,
+            artifact,
+            error: `Failed to read artifact: ${errorMessage}`,
+        }), 500);
+    }
+});
+//# sourceMappingURL=popl.js.map

package/dist/monitor/routes/popl.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"popl.js","sourceRoot":"","sources":["../../../src/monitor/routes/popl.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC5B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAC/C,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,EAAE,oBAAoB,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,MAAM,sBAAsB,CAAC;AACnG,OAAO,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAE/C,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,IAAI,EAAc,CAAC;AAEjD,0CAA0C;AAC1C,UAAU,CAAC,GAAG,CAAC,YAAY,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;IACvC,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAExC,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;IAE1C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;IAED,MAAM,IAAI,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACtB,CAAC,CAAC,CAAC;AAEH,yDAAyD;AACzD,UAAU,CAAC,GAAG,CAAC,4BAA4B,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE;IACvD,MAAM,OAAO,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IACxC,MAAM,YAAY,GAAG,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAEzC,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,OAAO,CAAC,CAAC;IAE1C,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,OAAO,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAC;IACjD,CAAC;IAED,wBAAwB;IACxB,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IACtE,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,CAAC,CAAC,IAAI,CACX,kBAAkB,CAAC;YACjB,OAAO;YACP,YAAY;YACZ,KAAK,EAAE,aAAa,YAAY,2BAA2B;SAC5D,CAAC,EACF,GAAG,CACJ,CAAC;IACJ,CAAC;IAED,gCAAgC;IAChC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;IACtE,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC;IAErD,2CAA2C;IAC3C,MAAM,YAAY,GAAG,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IACrD,IAAI,YAAY,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,OAAO,CAAC,CAAC,IAAI,CACX,kBAAkB,CAAC;YACjB,OAAO;YACP,YAAY;YACZ,QAAQ;YACR,KAAK,EAAE,sCAAsC;SAC9C,CAAC,EACF,GAAG,CACJ,CAAC;IACJ,CAAC;IAED,IAAI,CAAC;QACH,qCAAqC;QACrC,MAAM,QAAQ,GAAG,MAAM,IAAI,CAAC,YAAY,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,wBAAwB;QAErD,IAAI,QAAQ,CAAC,IAAI,GAAG,OAAO,EAAE,CAAC;YAC5B,OAAO,CAAC,CAAC,IAAI,CACX,kBAAkB,CAAC;gBACjB,OAAO;gBACP,YAAY;gBACZ,QAAQ;gBACR,KAAK,EAAE,8BAA8B,CAAC,QAAQ,CAAC,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,qBAAqB;aACnG,CAAC,EACF,GAAG,CACJ,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;QAEtD,iDAAiD;QACjD,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,WAAW,EAAE,CAAC;QAC1D,MAAM,MAAM,GAAG,GAAG,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAElG,OAAO,CAAC,CAAC,IAAI,CACX,kBAAkB,CAAC;YACjB,OAAO;YACP,YAAY;YACZ,QAAQ;YACR,OAAO;YACP,MAAM;SACP,CAAC,CACH,CAAC;IACJ,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,YAAY,GAAG,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe,CAAC;QAC1E,OAAO,CAAC,CAAC,IAAI,CACX,kBAAkB,CAAC;YACjB,OAAO;YACP,YAAY;YACZ,QAAQ;YACR,KAAK,EAAE,4BAA4B,YAAY,EAAE;SAClD,CAAC,EACF,GAAG,CACJ,CAAC;IACJ,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/monitor/server.d.ts

@@ -0,0 +1,24 @@
+/**
+ * ProofScan Web Monitor - Hono Server
+ */
+import { Hono } from 'hono';
+import type { Server } from 'node:http';
+import type { MonitorServerOptions } from './types.js';
+/**
+ * Context variables available in all routes
+ */
+export type MonitorEnv = {
+    Variables: {
+        configPath: string;
+        generatedAt: string;
+    };
+};
+/**
+ * Create the Hono application with all routes
+ */
+export declare function createMonitorApp(options: MonitorServerOptions): Hono<MonitorEnv>;
+/**
+ * Start the monitor server
+ */
+export declare function startMonitorServer(options: MonitorServerOptions): Promise<Server>;
+//# sourceMappingURL=server.d.ts.map

package/dist/monitor/server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../src/monitor/server.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAE5B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,WAAW,CAAC;AACxC,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAGvD;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,SAAS,EAAE;QACT,UAAU,EAAE,MAAM,CAAC;QACnB,WAAW,EAAE,MAAM,CAAC;KACrB,CAAC;CACH,CAAC;AAEF;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,oBAAoB,GAAG,IAAI,CAAC,UAAU,CAAC,CAchF;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,MAAM,CAAC,CA8BjB"}

package/dist/monitor/server.js

@@ -0,0 +1,52 @@
+/**
+ * ProofScan Web Monitor - Hono Server
+ */
+import { Hono } from 'hono';
+import { serve } from '@hono/node-server';
+import { registerRoutes } from './routes/index.js';
+/**
+ * Create the Hono application with all routes
+ */
+export function createMonitorApp(options) {
+    const app = new Hono();
+    // Middleware: inject context into all requests
+    app.use('*', async (c, next) => {
+        c.set('configPath', options.configPath);
+        c.set('generatedAt', new Date().toISOString());
+        await next();
+    });
+    // Register all routes
+    registerRoutes(app);
+    return app;
+}
+/**
+ * Start the monitor server
+ */
+export function startMonitorServer(options) {
+    return new Promise((resolve, reject) => {
+        const app = createMonitorApp(options);
+        const server = serve({
+            fetch: app.fetch,
+            port: options.port,
+            hostname: options.host,
+        }, (info) => {
+            console.log(`ProofScan Monitor running at http://${info.address}:${info.port}`);
+            console.log('  Mode: Offline (read-only)');
+            console.log('  Press Ctrl+C to stop');
+            console.log('');
+            resolve(server);
+        });
+        // Handle server errors (e.g., EADDRINUSE)
+        server.on('error', (err) => {
+            if (err.code === 'EADDRINUSE') {
+                console.error(`Error: Port ${options.port} is already in use`);
+                console.error(`Try a different port with: pfs monitor start --port <port>`);
+                reject(err);
+            }
+            else {
+                reject(err);
+            }
+        });
+    });
+}
+//# sourceMappingURL=server.js.map

package/dist/monitor/server.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.js","sourceRoot":"","sources":["../../src/monitor/server.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAC;AAC5B,OAAO,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAG1C,OAAO,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAYnD;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,OAA6B;IAC5D,MAAM,GAAG,GAAG,IAAI,IAAI,EAAc,CAAC;IAEnC,+CAA+C;IAC/C,GAAG,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE;QAC7B,CAAC,CAAC,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;QACxC,CAAC,CAAC,GAAG,CAAC,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;QAC/C,MAAM,IAAI,EAAE,CAAC;IACf,CAAC,CAAC,CAAC;IAEH,sBAAsB;IACtB,cAAc,CAAC,GAAG,CAAC,CAAC;IAEpB,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAA6B;IAE7B,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,MAAM,GAAG,GAAG,gBAAgB,CAAC,OAAO,CAAC,CAAC;QAEtC,MAAM,MAAM,GAAG,KAAK,CAClB;YACE,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,QAAQ,EAAE,OAAO,CAAC,IAAI;SACvB,EACD,CAAC,IAAI,EAAE,EAAE;YACP,OAAO,CAAC,GAAG,CAAC,uCAAuC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YAChF,OAAO,CAAC,GAAG,CAAC,6BAA6B,CAAC,CAAC;YAC3C,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;YACtC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChB,OAAO,CAAC,MAA2B,CAAC,CAAC;QACvC,CAAC,CACF,CAAC;QAEF,0CAA0C;QACzC,MAA4B,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,GAA0B,EAAE,EAAE;YACvE,IAAI,GAAG,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAC9B,OAAO,CAAC,KAAK,CAAC,eAAe,OAAO,CAAC,IAAI,oBAAoB,CAAC,CAAC;gBAC/D,OAAO,CAAC,KAAK,CAAC,4DAA4D,CAAC,CAAC;gBAC5E,MAAM,CAAC,GAAG,CAAC,CAAC;YACd,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,GAAG,CAAC,CAAC;YACd,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC"}

package/dist/monitor/templates/components.d.ts

@@ -0,0 +1,21 @@
+/**
+ * ProofScan Web Monitor - UI Components
+ */
+import type { MonitorConnectorCard, MonitorPoplKpis } from '../types.js';
+/**
+ * Render POPL KPI panel with latest entries list
+ */
+export declare function renderPoplPanel(popl: MonitorPoplKpis | null): string;
+/**
+ * Get POPL panel styles
+ */
+export declare function getPoplPanelStyles(): string;
+/**
+ * Render connector card
+ */
+export declare function renderConnectorCard(card: MonitorConnectorCard): string;
+/**
+ * Get connector card styles
+ */
+export declare function getConnectorCardStyles(): string;
+//# sourceMappingURL=components.d.ts.map

package/dist/monitor/templates/components.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"components.d.ts","sourceRoot":"","sources":["../../../src/monitor/templates/components.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EACV,oBAAoB,EACpB,eAAe,EAEhB,MAAM,aAAa,CAAC;AAGrB;;GAEG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,eAAe,GAAG,IAAI,GAAG,MAAM,CAuDpE;AAED;;GAEG;AACH,wBAAgB,kBAAkB,IAAI,MAAM,CAuI3C;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CAAC,IAAI,EAAE,oBAAoB,GAAG,MAAM,CAgDtE;AAoDD;;GAEG;AACH,wBAAgB,sBAAsB,IAAI,MAAM,CAoG/C"}

package/dist/monitor/templates/components.js

@@ -0,0 +1,405 @@
+/**
+ * ProofScan Web Monitor - UI Components
+ */
+import { escapeHtml } from './layout.js';
+/**
+ * Render POPL KPI panel with latest entries list
+ */
+export function renderPoplPanel(popl) {
+    if (!popl) {
+        return `
+      <div class="popl-panel popl-empty">
+        <div class="popl-title">POPL</div>
+        <div class="popl-message">Not initialized</div>
+      </div>
+    `;
+    }
+    // Render latest entries list
+    const latestEntriesHtml = popl.latest_entries.length > 0
+        ? `
+        <div class="popl-latest-list">
+          <div class="popl-latest-title">Recent Entries</div>
+          ${popl.latest_entries
+            .map((entry) => {
+            const trustClass = `popl-trust-${entry.trust_level}`;
+            const shortId = entry.id.slice(0, 12);
+            return `
+              <a href="/popl/${encodeURIComponent(entry.id)}" class="popl-latest-item">
+                <span class="popl-latest-id">${escapeHtml(shortId)}...</span>
+                <span class="popl-latest-badge ${trustClass}">${escapeHtml(entry.trust_label)}</span>
+              </a>
+            `;
+        })
+            .join('')}
+        </div>
+      `
+        : '<div class="popl-no-entries">No entries yet</div>';
+    return `
+    <div class="popl-panel">
+      <div class="popl-kpis">
+        <div class="popl-kpi">
+          <span class="popl-value">${popl.entries}</span>
+          <span class="popl-label">Entries</span>
+        </div>
+        <div class="popl-kpi">
+          <span class="popl-value popl-inscribed">${popl.inscribed}</span>
+          <span class="popl-label">Inscribed</span>
+        </div>
+        <div class="popl-kpi">
+          <span class="popl-value popl-ipfs">${popl.ipfs_only}</span>
+          <span class="popl-label">IPFS Only</span>
+        </div>
+        <div class="popl-kpi">
+          <span class="popl-value popl-failed">${popl.failed}</span>
+          <span class="popl-label">Failed</span>
+        </div>
+      </div>
+      ${latestEntriesHtml}
+    </div>
+  `;
+}
+/**
+ * Get POPL panel styles
+ */
+export function getPoplPanelStyles() {
+    return `
+    .popl-panel {
+      background: var(--bg-secondary);
+      border: 1px solid var(--border-color);
+      border-radius: 8px;
+      padding: 16px;
+    }
+
+    .popl-panel.popl-empty {
+      display: flex;
+      align-items: center;
+      gap: 12px;
+    }
+
+    .popl-title {
+      font-weight: 600;
+      color: var(--text-secondary);
+    }
+
+    .popl-message {
+      color: var(--text-secondary);
+      font-size: 12px;
+    }
+
+    .popl-kpis {
+      display: flex;
+      gap: 24px;
+      margin-bottom: 8px;
+    }
+
+    .popl-kpi {
+      display: flex;
+      flex-direction: column;
+      align-items: center;
+    }
+
+    .popl-value {
+      font-size: 20px;
+      font-weight: 600;
+      color: var(--accent-blue);
+      font-family: 'SF Mono', Consolas, monospace;
+    }
+
+    .popl-value.popl-inscribed { color: var(--accent-green); }
+    .popl-value.popl-ipfs { color: var(--accent-yellow); }
+    .popl-value.popl-failed { color: var(--accent-red); }
+
+    .popl-label {
+      font-size: 11px;
+      color: var(--text-secondary);
+      text-transform: uppercase;
+    }
+
+    .popl-latest {
+      font-size: 12px;
+      color: var(--text-secondary);
+    }
+
+    .popl-latest-list {
+      margin-top: 12px;
+      padding-top: 12px;
+      border-top: 1px solid var(--border-color);
+    }
+
+    .popl-latest-title {
+      font-size: 11px;
+      color: var(--text-secondary);
+      text-transform: uppercase;
+      margin-bottom: 8px;
+    }
+
+    .popl-latest-item {
+      display: flex;
+      align-items: center;
+      justify-content: space-between;
+      padding: 6px 8px;
+      margin-bottom: 4px;
+      background: var(--bg-tertiary);
+      border: 1px solid transparent;
+      border-radius: 4px;
+      text-decoration: none;
+      transition: border-color 0.15s;
+    }
+
+    .popl-latest-item:hover {
+      border-color: var(--accent-blue);
+    }
+
+    .popl-latest-id {
+      font-family: 'SF Mono', Consolas, monospace;
+      font-size: 11px;
+      color: var(--accent-blue);
+    }
+
+    .popl-latest-badge {
+      padding: 2px 8px;
+      border-radius: 10px;
+      font-size: 10px;
+      font-weight: 500;
+    }
+
+    .popl-trust-0 {
+      background: var(--bg-tertiary);
+      border: 1px solid var(--border-color);
+      color: var(--text-secondary);
+    }
+
+    .popl-trust-1 {
+      background: rgba(63, 185, 80, 0.15);
+      border: 1px solid rgba(63, 185, 80, 0.3);
+      color: var(--accent-green);
+    }
+
+    .popl-trust-2 {
+      background: rgba(0, 212, 255, 0.15);
+      border: 1px solid rgba(0, 212, 255, 0.3);
+      color: var(--accent-blue);
+    }
+
+    .popl-trust-3 {
+      background: rgba(255, 215, 0, 0.15);
+      border: 1px solid rgba(255, 215, 0, 0.3);
+      color: #ffd700;
+    }
+
+    .popl-no-entries {
+      font-size: 12px;
+      color: var(--text-secondary);
+      font-style: italic;
+      margin-top: 12px;
+      padding-top: 12px;
+      border-top: 1px solid var(--border-color);
+    }
+  `;
+}
+/**
+ * Render connector card
+ */
+export function renderConnectorCard(card) {
+    const statusBadge = getStatusBadge(card.status);
+    const enabledBadge = card.enabled
+        ? '<span class="badge badge-enabled">Enabled</span>'
+        : '<span class="badge badge-disabled">Disabled</span>';
+    const capabilities = renderCapabilities(card.capabilities);
+    const transportBadge = `<span class="badge badge-transport">${card.transport}</span>`;
+    const disabledClass = card.enabled ? '' : 'card-disabled';
+    return `
+    <a href="/connectors/${escapeHtml(card.connector_id)}" class="connector-card ${disabledClass}" data-id="${escapeHtml(card.connector_id)}" data-capabilities="${getCapabilitiesData(card.capabilities)}" data-transport="${card.transport}">
+      <div class="card-header">
+        <div class="card-title">${escapeHtml(card.connector_id)}</div>
+        <div class="card-badges">
+          ${statusBadge}
+          ${enabledBadge}
+        </div>
+      </div>
+      <div class="card-package">${escapeHtml(card.package_name)}@${escapeHtml(card.package_version)}</div>
+      <div class="card-capabilities">
+        ${capabilities}
+        ${transportBadge}
+      </div>
+      <div class="card-kpis">
+        <div class="card-kpi">
+          <span class="kpi-value">${formatNumber(card.kpis.sessions)}</span>
+          <span class="kpi-label">Sessions</span>
+        </div>
+        <div class="card-kpi">
+          <span class="kpi-value">${formatNumber(card.kpis.rpcs)}</span>
+          <span class="kpi-label">RPCs</span>
+        </div>
+        <div class="card-kpi">
+          <span class="kpi-value">${formatNumber(card.kpis.errors)}</span>
+          <span class="kpi-label">Errors</span>
+        </div>
+        <div class="card-kpi">
+          <span class="kpi-value">${card.kpis.avg_latency_ms !== null ? card.kpis.avg_latency_ms + 'ms' : '-'}</span>
+          <span class="kpi-label">Avg</span>
+        </div>
+      </div>
+      <div class="card-footer">
+        <span class="card-activity">Last: ${escapeHtml(card.last_activity_relative)}</span>
+      </div>
+    </a>
+  `;
+}
+/**
+ * Get status badge HTML
+ */
+function getStatusBadge(status) {
+    const classes = {
+        OK: 'badge-ok',
+        WARN: 'badge-warn',
+        ERR: 'badge-err',
+        OFFLINE: 'badge-offline',
+    };
+    return `<span class="badge ${classes[status]}">${status}</span>`;
+}
+/**
+ * Render capability badges
+ */
+function renderCapabilities(capabilities) {
+    const badges = [];
+    if (capabilities.tools)
+        badges.push('<span class="badge badge-capability">tools</span>');
+    if (capabilities.resources)
+        badges.push('<span class="badge badge-capability">resources</span>');
+    if (capabilities.prompts)
+        badges.push('<span class="badge badge-capability">prompts</span>');
+    if (capabilities.subscriptions)
+        badges.push('<span class="badge badge-capability">subscriptions</span>');
+    return badges.join('');
+}
+/**
+ * Get capabilities as data attribute value
+ */
+function getCapabilitiesData(capabilities) {
+    const caps = [];
+    if (capabilities.tools)
+        caps.push('tools');
+    if (capabilities.resources)
+        caps.push('resources');
+    if (capabilities.prompts)
+        caps.push('prompts');
+    if (capabilities.subscriptions)
+        caps.push('subscriptions');
+    return caps.join(',');
+}
+/**
+ * Format number with K/M suffix
+ */
+function formatNumber(n) {
+    if (n >= 1000000)
+        return (n / 1000000).toFixed(1) + 'M';
+    if (n >= 1000)
+        return (n / 1000).toFixed(1) + 'K';
+    return String(n);
+}
+/**
+ * Get connector card styles
+ */
+export function getConnectorCardStyles() {
+    return `
+    .connector-cards {
+      display: grid;
+      grid-template-columns: repeat(auto-fill, minmax(280px, 1fr));
+      gap: 16px;
+    }
+
+    .connector-card {
+      display: block;
+      background: var(--bg-secondary);
+      border: 1px solid var(--border-color);
+      border-radius: 8px;
+      padding: 16px;
+      text-decoration: none;
+      transition: border-color 0.15s, transform 0.15s;
+    }
+
+    .connector-card:hover {
+      border-color: var(--accent-blue);
+      transform: translateY(-2px);
+      text-decoration: none;
+    }
+
+    .connector-card.card-disabled {
+      opacity: 0.6;
+    }
+
+    .connector-card.card-disabled:hover {
+      opacity: 0.8;
+    }
+
+    .card-header {
+      display: flex;
+      justify-content: space-between;
+      align-items: flex-start;
+      margin-bottom: 8px;
+    }
+
+    .card-title {
+      font-size: 16px;
+      font-weight: 600;
+      color: var(--text-primary);
+    }
+
+    .card-badges {
+      display: flex;
+      gap: 6px;
+    }
+
+    .card-package {
+      font-size: 12px;
+      color: var(--text-secondary);
+      font-family: 'SF Mono', Consolas, monospace;
+      margin-bottom: 12px;
+    }
+
+    .card-capabilities {
+      display: flex;
+      flex-wrap: wrap;
+      gap: 6px;
+      margin-bottom: 12px;
+    }
+
+    .card-kpis {
+      display: grid;
+      grid-template-columns: repeat(4, 1fr);
+      gap: 8px;
+      padding: 12px 0;
+      border-top: 1px solid var(--border-color);
+      border-bottom: 1px solid var(--border-color);
+    }
+
+    .card-kpi {
+      text-align: center;
+    }
+
+    .card-kpi .kpi-value {
+      display: block;
+      font-size: 14px;
+      font-weight: 600;
+      color: var(--accent-blue);
+      font-family: 'SF Mono', Consolas, monospace;
+    }
+
+    .card-kpi .kpi-label {
+      font-size: 10px;
+      color: var(--text-secondary);
+      text-transform: uppercase;
+    }
+
+    .card-footer {
+      padding-top: 8px;
+    }
+
+    .card-activity {
+      font-size: 12px;
+      color: var(--text-secondary);
+    }
+  `;
+}
+//# sourceMappingURL=components.js.map

package/dist/monitor/templates/components.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"components.js","sourceRoot":"","sources":["../../../src/monitor/templates/components.ts"],"names":[],"mappings":"AAAA;;GAEG;AAOH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,IAA4B;IAC1D,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;;;;;KAKN,CAAC;IACJ,CAAC;IAED,6BAA6B;IAC7B,MAAM,iBAAiB,GACrB,IAAI,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;QAC5B,CAAC,CAAC;;;YAGI,IAAI,CAAC,cAAc;aAClB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;YACb,MAAM,UAAU,GAAG,cAAc,KAAK,CAAC,WAAW,EAAE,CAAC;YACrD,MAAM,OAAO,GAAG,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtC,OAAO;+BACU,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC;+CACZ,UAAU,CAAC,OAAO,CAAC;iDACjB,UAAU,KAAK,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC;;aAEhF,CAAC;QACF,CAAC,CAAC;aACD,IAAI,CAAC,EAAE,CAAC;;OAEd;QACD,CAAC,CAAC,mDAAmD,CAAC;IAE1D,OAAO;;;;qCAI4B,IAAI,CAAC,OAAO;;;;oDAIG,IAAI,CAAC,SAAS;;;;+CAInB,IAAI,CAAC,SAAS;;;;iDAIZ,IAAI,CAAC,MAAM;;;;QAIpD,iBAAiB;;GAEtB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB;IAChC,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqIN,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAA0B;IAC5D,MAAM,WAAW,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO;QAC/B,CAAC,CAAC,kDAAkD;QACpD,CAAC,CAAC,oDAAoD,CAAC;IAEzD,MAAM,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IAC3D,MAAM,cAAc,GAAG,uCAAuC,IAAI,CAAC,SAAS,SAAS,CAAC;IAEtF,MAAM,aAAa,GAAG,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC;IAE1D,OAAO;2BACkB,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,2BAA2B,aAAa,cAAc,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,wBAAwB,mBAAmB,CAAC,IAAI,CAAC,YAAY,CAAC,qBAAqB,IAAI,CAAC,SAAS;;kCAE1M,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC;;YAEnD,WAAW;YACX,YAAY;;;kCAGU,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC;;UAEzF,YAAY;UACZ,cAAc;;;;oCAIY,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;;;;oCAIhC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;;;;oCAI5B,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;;;;oCAI9B,IAAI,CAAC,IAAI,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC,CAAC,CAAC,GAAG;;;;;4CAKjE,UAAU,CAAC,IAAI,CAAC,sBAAsB,CAAC;;;GAGhF,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,cAAc,CAAC,MAAuB;IAC7C,MAAM,OAAO,GAAoC;QAC/C,EAAE,EAAE,UAAU;QACd,IAAI,EAAE,YAAY;QAClB,GAAG,EAAE,WAAW;QAChB,OAAO,EAAE,eAAe;KACzB,CAAC;IACF,OAAO,sBAAsB,OAAO,CAAC,MAAM,CAAC,KAAK,MAAM,SAAS,CAAC;AACnE,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,YAAkD;IAElD,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,YAAY,CAAC,KAAK;QAAE,MAAM,CAAC,IAAI,CAAC,mDAAmD,CAAC,CAAC;IACzF,IAAI,YAAY,CAAC,SAAS;QAAE,MAAM,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;IACjG,IAAI,YAAY,CAAC,OAAO;QAAE,MAAM,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC;IAC7F,IAAI,YAAY,CAAC,aAAa;QAAE,MAAM,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAC;IACzG,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACzB,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAC1B,YAAkD;IAElD,MAAM,IAAI,GAAa,EAAE,CAAC;IAC1B,IAAI,YAAY,CAAC,KAAK;QAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC3C,IAAI,YAAY,CAAC,SAAS;QAAE,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACnD,IAAI,YAAY,CAAC,OAAO;QAAE,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC/C,IAAI,YAAY,CAAC,aAAa;QAAE,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC3D,OAAO,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACxB,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,CAAS;IAC7B,IAAI,CAAC,IAAI,OAAO;QAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;IACxD,IAAI,CAAC,IAAI,IAAI;QAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;IAClD,OAAO,MAAM,CAAC,CAAC,CAAC,CAAC;AACnB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,sBAAsB;IACpC,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkGN,CAAC;AACJ,CAAC"}

package/dist/monitor/templates/home.d.ts

@@ -0,0 +1,9 @@
+/**
+ * ProofScan Web Monitor - Home page template
+ */
+import type { MonitorHomeData } from '../types.js';
+/**
+ * Render home page HTML
+ */
+export declare function renderHomePage(data: MonitorHomeData): string;
+//# sourceMappingURL=home.d.ts.map

package/dist/monitor/templates/home.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"home.d.ts","sourceRoot":"","sources":["../../../src/monitor/templates/home.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAUnD;;GAEG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,eAAe,GAAG,MAAM,CA0D5D"}