proofscan 0.10.26 → 0.10.28

package/dist/monitor/templates/popl.js

@@ -0,0 +1,654 @@
+/**
+ * ProofScan Web Monitor - POPL detail page template
+ */
+import { renderLayout, escapeHtml, formatTimestamp } from './layout.js';
+/**
+ * Render POPL entry detail page
+ */
+export function renderPoplDetailPage(entry) {
+    const content = `
+    <section class="section">
+      ${renderBackNavigation()}
+      ${renderEntryHeader(entry)}
+    </section>
+
+    <section class="section">
+      <div class="section-title">Source</div>
+      ${renderSourceLinks(entry)}
+    </section>
+
+    <section class="section">
+      <div class="section-title">Capture Summary</div>
+      ${renderCaptureSummary(entry)}
+    </section>
+
+    <section class="section">
+      <div class="section-title">Artifacts</div>
+      ${renderArtifacts(entry)}
+    </section>
+  `;
+    return renderLayout({
+        title: `POPL: ${entry.id} - ProofScan Monitor`,
+        generatedAt: new Date().toISOString(),
+        content,
+        extraStyles: getPoplDetailStyles(),
+    });
+}
+/**
+ * Render 404 page for POPL entry not found
+ */
+export function renderPopl404Page(proofId) {
+    const content = `
+    <section class="section">
+      ${renderBackNavigation()}
+      <div class="error-container">
+        <h1 class="error-title">POPL Entry Not Found</h1>
+        <p class="error-message">
+          No POPL entry found with ID: <code>${escapeHtml(proofId)}</code>
+        </p>
+        <p class="error-hint">
+          The entry may have been removed or the ID is incorrect.
+        </p>
+      </div>
+    </section>
+  `;
+    return renderLayout({
+        title: 'POPL Entry Not Found - ProofScan Monitor',
+        generatedAt: new Date().toISOString(),
+        content,
+        extraStyles: getPoplDetailStyles(),
+    });
+}
+/**
+ * Render back navigation link
+ */
+function renderBackNavigation() {
+    return `
+    <a href="/" class="back-link">← Back to Monitor</a>
+  `;
+}
+/**
+ * Render entry header with ID and trust badge
+ */
+function renderEntryHeader(entry) {
+    const trustClass = `trust-level-${entry.trust_level}`;
+    const createdFormatted = formatTimestamp(entry.created_at);
+    return `
+    <div class="popl-header">
+      <div class="popl-header-left">
+        <h1 class="popl-title">
+          POPL Entry: <span class="popl-id">${escapeHtml(entry.id)}</span>
+        </h1>
+        <p class="popl-subtitle">${escapeHtml(entry.title)}</p>
+        <p class="popl-meta">
+          Created: ${createdFormatted} by ${escapeHtml(entry.author_name)}
+        </p>
+      </div>
+      <div class="popl-header-right">
+        <span class="trust-badge ${trustClass}">
+          ${escapeHtml(entry.trust_label)}
+        </span>
+      </div>
+    </div>
+  `;
+}
+/**
+ * Render source links (Connector and Session)
+ */
+function renderSourceLinks(entry) {
+    const connectorLink = `/connectors/${encodeURIComponent(entry.connector_id)}`;
+    const sessionShort = entry.session_id ? entry.session_id.slice(0, 8) : null;
+    const sessionLink = entry.session_id
+        ? `/connectors/${encodeURIComponent(entry.connector_id)}?session=${encodeURIComponent(entry.session_id)}`
+        : null;
+    return `
+    <div class="source-links">
+      <div class="source-link-item">
+        <span class="source-label">Connector:</span>
+        <a href="${connectorLink}" class="source-link">
+          <span class="badge">${escapeHtml(entry.connector_id)}</span>
+        </a>
+      </div>
+      ${sessionLink
+        ? `
+      <div class="source-link-item">
+        <span class="source-label">Session:</span>
+        <a href="${sessionLink}" class="source-link">
+          <span class="badge">${escapeHtml(sessionShort ?? '')}</span>
+          <span class="session-full">${escapeHtml(entry.session_id ?? '')}</span>
+        </a>
+      </div>
+      `
+        : `
+      <div class="source-link-item">
+        <span class="source-label">Session:</span>
+        <span class="no-session">(none)</span>
+      </div>
+      `}
+      <div class="source-link-item">
+        <span class="source-label">Target Kind:</span>
+        <span class="badge badge-kind">${escapeHtml(entry.target_kind)}</span>
+      </div>
+    </div>
+  `;
+}
+/**
+ * Render capture summary
+ */
+function renderCaptureSummary(entry) {
+    const { capture } = entry;
+    const startFormatted = formatTimestamp(capture.started_at);
+    const endFormatted = formatTimestamp(capture.ended_at);
+    const p50Display = capture.latency_ms_p50 !== null ? `${capture.latency_ms_p50}ms` : '-';
+    const p95Display = capture.latency_ms_p95 !== null ? `${capture.latency_ms_p95}ms` : '-';
+    return `
+    <div class="capture-summary">
+      <div class="capture-row">
+        <div class="capture-item">
+          <span class="capture-label">Window</span>
+          <span class="capture-value">${startFormatted} → ${endFormatted}</span>
+        </div>
+      </div>
+      <div class="capture-row">
+        <div class="capture-item">
+          <span class="capture-label">RPCs</span>
+          <span class="capture-value badge">${capture.rpc_total}</span>
+        </div>
+        <div class="capture-item">
+          <span class="capture-label">Errors</span>
+          <span class="capture-value badge ${capture.errors > 0 ? 'badge-error' : ''}">${capture.errors}</span>
+        </div>
+        <div class="capture-item">
+          <span class="capture-label">P50</span>
+          <span class="capture-value">${p50Display}</span>
+        </div>
+        <div class="capture-item">
+          <span class="capture-label">P95</span>
+          <span class="capture-value">${p95Display}</span>
+        </div>
+      </div>
+      ${capture.mcp_servers.length > 0
+        ? `
+      <div class="capture-row">
+        <div class="capture-item">
+          <span class="capture-label">MCP Servers</span>
+          <span class="capture-value">
+            ${capture.mcp_servers.map((s) => `<span class="badge">${escapeHtml(s)}</span>`).join(' ')}
+          </span>
+        </div>
+      </div>
+      `
+        : ''}
+    </div>
+  `;
+}
+/**
+ * Render artifacts table with links
+ */
+function renderArtifacts(entry) {
+    if (entry.artifacts.length === 0) {
+        return '<p class="no-artifacts">No artifacts</p>';
+    }
+    const rows = entry.artifacts
+        .map((artifact) => `
+      <tr>
+        <td class="artifact-name">
+          <a href="/popl/${encodeURIComponent(entry.id)}/artifacts/${encodeURIComponent(artifact.name)}" class="artifact-link">
+            ${escapeHtml(artifact.name)}
+          </a>
+        </td>
+        <td class="artifact-path">${escapeHtml(artifact.path)}</td>
+        <td class="artifact-sha256" title="${escapeHtml(artifact.sha256)}">
+          ${escapeHtml(artifact.sha256.slice(0, 16))}...
+        </td>
+      </tr>
+    `)
+        .join('');
+    return `
+    <table class="artifacts-table">
+      <thead>
+        <tr>
+          <th>Name</th>
+          <th>Path</th>
+          <th>SHA256</th>
+        </tr>
+      </thead>
+      <tbody>
+        ${rows}
+      </tbody>
+    </table>
+  `;
+}
+/**
+ * Get POPL detail page styles
+ */
+function getPoplDetailStyles() {
+    return `
+    .back-link {
+      display: inline-block;
+      margin-bottom: 16px;
+      padding: 6px 12px;
+      background: var(--bg-secondary);
+      border: 1px solid var(--border-color);
+      border-radius: 6px;
+      color: var(--accent-blue);
+      text-decoration: none;
+      font-size: 13px;
+    }
+
+    .back-link:hover {
+      border-color: var(--accent-blue);
+      background: var(--bg-tertiary);
+    }
+
+    .popl-header {
+      display: flex;
+      justify-content: space-between;
+      align-items: flex-start;
+      gap: 16px;
+      margin-top: 8px;
+    }
+
+    .popl-header-left {
+      flex: 1;
+    }
+
+    .popl-title {
+      font-size: 20px;
+      font-weight: 600;
+      margin: 0 0 8px 0;
+      color: var(--text-primary);
+    }
+
+    .popl-id {
+      font-family: 'SF Mono', Consolas, monospace;
+      color: var(--accent-blue);
+    }
+
+    .popl-subtitle {
+      font-size: 14px;
+      color: var(--text-secondary);
+      margin: 0 0 8px 0;
+    }
+
+    .popl-meta {
+      font-size: 12px;
+      color: var(--text-secondary);
+      margin: 0;
+    }
+
+    .trust-badge {
+      display: inline-block;
+      padding: 6px 14px;
+      border-radius: 16px;
+      font-size: 12px;
+      font-weight: 500;
+    }
+
+    .trust-level-0 {
+      background: var(--bg-tertiary);
+      border: 1px solid var(--border-color);
+      color: var(--text-secondary);
+    }
+
+    .trust-level-1 {
+      background: rgba(63, 185, 80, 0.15);
+      border: 1px solid rgba(63, 185, 80, 0.3);
+      color: var(--accent-green);
+    }
+
+    .trust-level-2 {
+      background: rgba(0, 212, 255, 0.15);
+      border: 1px solid rgba(0, 212, 255, 0.3);
+      color: var(--accent-blue);
+    }
+
+    .trust-level-3 {
+      background: rgba(255, 215, 0, 0.15);
+      border: 1px solid rgba(255, 215, 0, 0.3);
+      color: #ffd700;
+    }
+
+    .source-links {
+      display: flex;
+      flex-direction: column;
+      gap: 12px;
+    }
+
+    .source-link-item {
+      display: flex;
+      align-items: center;
+      gap: 12px;
+    }
+
+    .source-label {
+      min-width: 100px;
+      color: var(--text-secondary);
+      font-size: 13px;
+    }
+
+    .source-link {
+      display: inline-flex;
+      align-items: center;
+      gap: 8px;
+      padding: 6px 12px;
+      background: var(--bg-secondary);
+      border: 1px solid var(--border-color);
+      border-radius: 6px;
+      text-decoration: none;
+      color: var(--text-primary);
+    }
+
+    .source-link:hover {
+      border-color: var(--accent-blue);
+    }
+
+    .source-link .badge {
+      color: var(--accent-blue);
+    }
+
+    .session-full {
+      font-family: 'SF Mono', Consolas, monospace;
+      font-size: 11px;
+      color: var(--text-secondary);
+    }
+
+    .no-session {
+      color: var(--text-secondary);
+      font-style: italic;
+    }
+
+    .badge-kind {
+      background: var(--bg-tertiary);
+      color: var(--text-secondary);
+    }
+
+    .capture-summary {
+      background: var(--bg-secondary);
+      border: 1px solid var(--border-color);
+      border-radius: 8px;
+      padding: 16px;
+    }
+
+    .capture-row {
+      display: flex;
+      flex-wrap: wrap;
+      gap: 24px;
+      margin-bottom: 12px;
+    }
+
+    .capture-row:last-child {
+      margin-bottom: 0;
+    }
+
+    .capture-item {
+      display: flex;
+      flex-direction: column;
+      gap: 4px;
+    }
+
+    .capture-label {
+      font-size: 11px;
+      color: var(--text-secondary);
+      text-transform: uppercase;
+    }
+
+    .capture-value {
+      font-size: 14px;
+      color: var(--text-primary);
+    }
+
+    .badge-error {
+      background: rgba(248, 81, 73, 0.15);
+      border-color: rgba(248, 81, 73, 0.3);
+      color: var(--accent-red);
+    }
+
+    .artifacts-table {
+      width: 100%;
+      border-collapse: collapse;
+      background: var(--bg-secondary);
+      border: 1px solid var(--border-color);
+      border-radius: 8px;
+      overflow: hidden;
+    }
+
+    .artifacts-table th,
+    .artifacts-table td {
+      padding: 10px 14px;
+      text-align: left;
+      border-bottom: 1px solid var(--border-color);
+    }
+
+    .artifacts-table th {
+      background: var(--bg-tertiary);
+      color: var(--text-secondary);
+      font-weight: 500;
+      font-size: 11px;
+      text-transform: uppercase;
+    }
+
+    .artifacts-table tbody tr:last-child td {
+      border-bottom: none;
+    }
+
+    .artifact-name {
+      font-weight: 500;
+      color: var(--text-primary);
+    }
+
+    .artifact-path {
+      font-family: 'SF Mono', Consolas, monospace;
+      font-size: 12px;
+      color: var(--text-secondary);
+    }
+
+    .artifact-sha256 {
+      font-family: 'SF Mono', Consolas, monospace;
+      font-size: 11px;
+      color: var(--text-secondary);
+      cursor: help;
+    }
+
+    .no-artifacts {
+      color: var(--text-secondary);
+      font-style: italic;
+    }
+
+    .error-container {
+      text-align: center;
+      padding: 48px;
+      background: var(--bg-secondary);
+      border: 1px solid var(--border-color);
+      border-radius: 8px;
+    }
+
+    .error-title {
+      font-size: 24px;
+      color: var(--accent-red);
+      margin: 0 0 16px 0;
+    }
+
+    .error-message {
+      font-size: 14px;
+      color: var(--text-primary);
+      margin: 0 0 8px 0;
+    }
+
+    .error-message code {
+      font-family: 'SF Mono', Consolas, monospace;
+      background: var(--bg-tertiary);
+      padding: 2px 6px;
+      border-radius: 4px;
+    }
+
+    .error-hint {
+      font-size: 13px;
+      color: var(--text-secondary);
+      margin: 0;
+    }
+
+    .artifact-link {
+      color: var(--accent-blue);
+      text-decoration: none;
+    }
+    .artifact-link:hover {
+      text-decoration: underline;
+    }
+  `;
+}
+/**
+ * Render artifact content page
+ */
+export function renderArtifactPage(options) {
+    const { proofId, artifactName, artifact, content, isJson, error } = options;
+    let contentHtml;
+    if (error) {
+        contentHtml = `
+      <div class="artifact-error">
+        <p class="error-message">${escapeHtml(error)}</p>
+      </div>
+    `;
+    }
+    else if (content !== undefined) {
+        const formattedContent = isJson ? formatJsonContent(content) : escapeHtml(content);
+        contentHtml = `
+      <div class="artifact-content-wrapper">
+        <div class="artifact-meta">
+          <span class="artifact-meta-item">
+            <strong>Path:</strong> ${escapeHtml(artifact?.path ?? '')}
+          </span>
+          <span class="artifact-meta-item">
+            <strong>SHA256:</strong> <code>${escapeHtml(artifact?.sha256 ?? '')}</code>
+          </span>
+        </div>
+        <pre class="artifact-content ${isJson ? 'json-content' : ''}">${formattedContent}</pre>
+      </div>
+    `;
+    }
+    else {
+        contentHtml = '<p class="no-content">No content available</p>';
+    }
+    const pageContent = `
+    <section class="section">
+      <a href="/popl/${encodeURIComponent(proofId)}" class="back-link">← Back to POPL Entry</a>
+      <div class="artifact-header">
+        <h1 class="artifact-title">Artifact: ${escapeHtml(artifactName)}</h1>
+        <p class="artifact-entry">POPL Entry: <code>${escapeHtml(proofId)}</code></p>
+      </div>
+    </section>
+
+    <section class="section">
+      ${contentHtml}
+    </section>
+  `;
+    return renderLayout({
+        title: `Artifact: ${artifactName} - ProofScan Monitor`,
+        generatedAt: new Date().toISOString(),
+        content: pageContent,
+        extraStyles: getArtifactPageStyles(),
+    });
+}
+/**
+ * Format JSON content with syntax highlighting
+ */
+function formatJsonContent(content) {
+    try {
+        const parsed = JSON.parse(content);
+        const formatted = JSON.stringify(parsed, null, 2);
+        return escapeHtml(formatted);
+    }
+    catch {
+        return escapeHtml(content);
+    }
+}
+/**
+ * Get artifact page styles
+ */
+function getArtifactPageStyles() {
+    return `
+    ${getPoplDetailStyles()}
+
+    .artifact-header {
+      margin-top: 8px;
+    }
+
+    .artifact-title {
+      font-size: 20px;
+      font-weight: 600;
+      margin: 0 0 8px 0;
+      color: var(--text-primary);
+    }
+
+    .artifact-entry {
+      font-size: 13px;
+      color: var(--text-secondary);
+      margin: 0;
+    }
+
+    .artifact-entry code {
+      font-family: 'SF Mono', Consolas, monospace;
+      color: var(--accent-blue);
+    }
+
+    .artifact-content-wrapper {
+      background: var(--bg-secondary);
+      border: 1px solid var(--border-color);
+      border-radius: 8px;
+      overflow: hidden;
+    }
+
+    .artifact-meta {
+      display: flex;
+      flex-wrap: wrap;
+      gap: 16px;
+      padding: 12px 16px;
+      background: var(--bg-tertiary);
+      border-bottom: 1px solid var(--border-color);
+      font-size: 12px;
+      color: var(--text-secondary);
+    }
+
+    .artifact-meta code {
+      font-family: 'SF Mono', Consolas, monospace;
+      font-size: 11px;
+      word-break: break-all;
+    }
+
+    .artifact-content {
+      margin: 0;
+      padding: 16px;
+      font-family: 'SF Mono', Consolas, monospace;
+      font-size: 12px;
+      line-height: 1.5;
+      overflow-x: auto;
+      white-space: pre-wrap;
+      word-wrap: break-word;
+      color: var(--text-primary);
+      max-height: 70vh;
+      overflow-y: auto;
+    }
+
+    .artifact-content.json-content {
+      white-space: pre;
+    }
+
+    .artifact-error {
+      background: rgba(248, 81, 73, 0.1);
+      border: 1px solid rgba(248, 81, 73, 0.3);
+      border-radius: 8px;
+      padding: 16px;
+    }
+
+    .artifact-error .error-message {
+      color: var(--accent-red);
+      margin: 0;
+    }
+
+    .no-content {
+      color: var(--text-secondary);
+      font-style: italic;
+    }
+  `;
+}
+//# sourceMappingURL=popl.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"popl.js","sourceRoot":"","sources":["../../../src/monitor/templates/popl.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAExE;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAuB;IAC1D,MAAM,OAAO,GAAG;;QAEV,oBAAoB,EAAE;QACtB,iBAAiB,CAAC,KAAK,CAAC;;;;;QAKxB,iBAAiB,CAAC,KAAK,CAAC;;;;;QAKxB,oBAAoB,CAAC,KAAK,CAAC;;;;;QAK3B,eAAe,CAAC,KAAK,CAAC;;GAE3B,CAAC;IAEF,OAAO,YAAY,CAAC;QAClB,KAAK,EAAE,SAAS,KAAK,CAAC,EAAE,sBAAsB;QAC9C,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,OAAO;QACP,WAAW,EAAE,mBAAmB,EAAE;KACnC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAe;IAC/C,MAAM,OAAO,GAAG;;QAEV,oBAAoB,EAAE;;;;+CAIiB,UAAU,CAAC,OAAO,CAAC;;;;;;;GAO/D,CAAC;IAEF,OAAO,YAAY,CAAC;QAClB,KAAK,EAAE,0CAA0C;QACjD,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,OAAO;QACP,WAAW,EAAE,mBAAmB,EAAE;KACnC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB;IAC3B,OAAO;;GAEN,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,KAAuB;IAChD,MAAM,UAAU,GAAG,eAAe,KAAK,CAAC,WAAW,EAAE,CAAC;IACtD,MAAM,gBAAgB,GAAG,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;IAE3D,OAAO;;;;8CAIqC,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;;mCAE/B,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC;;qBAErC,gBAAgB,OAAO,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC;;;;mCAItC,UAAU;YACjC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC;;;;GAItC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,KAAuB;IAChD,MAAM,aAAa,GAAG,eAAe,kBAAkB,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,CAAC;IAC9E,MAAM,YAAY,GAAG,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC5E,MAAM,WAAW,GAAG,KAAK,CAAC,UAAU;QAClC,CAAC,CAAC,eAAe,kBAAkB,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,kBAAkB,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE;QACzG,CAAC,CAAC,IAAI,CAAC;IAET,OAAO;;;;mBAIU,aAAa;gCACA,UAAU,CAAC,KAAK,CAAC,YAAY,CAAC;;;QAItD,WAAW;QACT,CAAC,CAAC;;;mBAGO,WAAW;gCACE,UAAU,CAAC,YAAY,IAAI,EAAE,CAAC;uCACvB,UAAU,CAAC,KAAK,CAAC,UAAU,IAAI,EAAE,CAAC;;;OAGlE;QACG,CAAC,CAAC;;;;;OAMN;;;yCAGmC,UAAU,CAAC,KAAK,CAAC,WAAW,CAAC;;;GAGnE,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB,CAAC,KAAuB;IACnD,MAAM,EAAE,OAAO,EAAE,GAAG,KAAK,CAAC;IAC1B,MAAM,cAAc,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC3D,MAAM,YAAY,GAAG,eAAe,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACvD,MAAM,UAAU,GAAG,OAAO,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IACzF,MAAM,UAAU,GAAG,OAAO,CAAC,cAAc,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC;IAEzF,OAAO;;;;;wCAK+B,cAAc,MAAM,YAAY;;;;;;8CAM1B,OAAO,CAAC,SAAS;;;;6CAIlB,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,KAAK,OAAO,CAAC,MAAM;;;;wCAI/D,UAAU;;;;wCAIV,UAAU;;;QAI1C,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;QAC5B,CAAC,CAAC;;;;;cAKE,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,uBAAuB,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;;;;OAI9F;QACG,CAAC,CAAC,EACN;;GAEH,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,KAAuB;IAC9C,IAAI,KAAK,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,0CAA0C,CAAC;IACpD,CAAC;IAED,MAAM,IAAI,GAAG,KAAK,CAAC,SAAS;SACzB,GAAG,CACF,CAAC,QAAQ,EAAE,EAAE,CAAC;;;2BAGO,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,cAAc,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC;cACxF,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;;;oCAGH,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC;6CAChB,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC;YAC5D,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;;;KAG/C,CACA;SACA,IAAI,CAAC,EAAE,CAAC,CAAC;IAEZ,OAAO;;;;;;;;;;UAUC,IAAI;;;GAGX,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB;IAC1B,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgRN,CAAC;AACJ,CAAC;AAkBD;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,OAA4B;IAC7D,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC;IAE5E,IAAI,WAAmB,CAAC;IAExB,IAAI,KAAK,EAAE,CAAC;QACV,WAAW,GAAG;;mCAEiB,UAAU,CAAC,KAAK,CAAC;;KAE/C,CAAC;IACJ,CAAC;SAAM,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;QACjC,MAAM,gBAAgB,GAAG,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC;QACnF,WAAW,GAAG;;;;qCAImB,UAAU,CAAC,QAAQ,EAAE,IAAI,IAAI,EAAE,CAAC;;;6CAGxB,UAAU,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE,CAAC;;;uCAGxC,MAAM,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,KAAK,gBAAgB;;KAEnF,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,WAAW,GAAG,gDAAgD,CAAC;IACjE,CAAC;IAED,MAAM,WAAW,GAAG;;uBAEC,kBAAkB,CAAC,OAAO,CAAC;;+CAEH,UAAU,CAAC,YAAY,CAAC;sDACjB,UAAU,CAAC,OAAO,CAAC;;;;;QAKjE,WAAW;;GAEhB,CAAC;IAEF,OAAO,YAAY,CAAC;QAClB,KAAK,EAAE,aAAa,YAAY,sBAAsB;QACtD,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,OAAO,EAAE,WAAW;QACpB,WAAW,EAAE,qBAAqB,EAAE;KACrC,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CAAC,OAAe;IACxC,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAClD,OAAO,UAAU,CAAC,SAAS,CAAC,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,qBAAqB;IAC5B,OAAO;MACH,mBAAmB,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkFxB,CAAC;AACJ,CAAC"}