proofscan 0.10.26 → 0.10.28

package/dist/monitor/templates/home.js

@@ -0,0 +1,322 @@
+/**
+ * ProofScan Web Monitor - Home page template
+ */
+import { renderLayout } from './layout.js';
+import { renderPoplPanel, getPoplPanelStyles, renderConnectorCard, getConnectorCardStyles, } from './components.js';
+import { renderHeatmap, renderMethodDistribution } from '../../html/index.js';
+/**
+ * Render home page HTML
+ */
+export function renderHomePage(data) {
+    const poplPanel = renderPoplPanel(data.popl);
+    // Render aggregated analytics charts
+    const heatmapHtml = renderHeatmap(data.aggregated_analytics.heatmap);
+    const methodsHtml = renderMethodDistribution(data.aggregated_analytics.method_distribution);
+    const connectorCards = data.connectors.length > 0
+        ? data.connectors.map(renderConnectorCard).join('')
+        : '<div class="empty-state">No connectors configured</div>';
+    const content = `
+    <section class="section">
+      <div class="overview-row">
+        <div class="overview-panel popl-summary">
+          <div class="section-title">POPL Summary</div>
+          ${poplPanel}
+        </div>
+        <div class="overview-panel activity-overview">
+          <div class="section-title">Activity Overview</div>
+          <div class="analytics-row">
+            <div class="analytics-card heatmap-container">
+              ${heatmapHtml}
+            </div>
+            <div class="analytics-card method-distribution">
+              ${methodsHtml}
+            </div>
+          </div>
+        </div>
+      </div>
+    </section>
+
+    <section class="section">
+      <div class="section-header">
+        <div class="section-title">Connectors</div>
+        <div class="filter-bar">
+          <input type="text" class="filter-search" placeholder="Search connectors..." id="searchInput">
+          <div class="filter-badges">
+            <button class="filter-badge" data-filter="tools">tools</button>
+            <button class="filter-badge" data-filter="resources">resources</button>
+            <button class="filter-badge" data-filter="prompts">prompts</button>
+            <button class="filter-badge" data-filter="subscriptions">subscriptions</button>
+          </div>
+        </div>
+      </div>
+      <div class="connector-cards" id="connectorCards">
+        ${connectorCards}
+      </div>
+    </section>
+  `;
+    return renderLayout({
+        title: 'ProofScan Monitor',
+        generatedAt: data.generated_at,
+        content,
+        extraStyles: getHomeStyles(),
+        scripts: getFilterScript(),
+    });
+}
+/**
+ * Get home page styles
+ */
+function getHomeStyles() {
+    return `
+${getPoplPanelStyles()}
+${getConnectorCardStyles()}
+${getAnalyticsStyles()}
+${getOverviewRowStyles()}
+
+    .section-header {
+      display: flex;
+      justify-content: space-between;
+      align-items: center;
+      margin-bottom: 16px;
+    }
+
+    .section-header .section-title {
+      margin-bottom: 0;
+    }
+
+    .filter-bar {
+      display: flex;
+      align-items: center;
+      gap: 12px;
+    }
+
+    .filter-search {
+      background: var(--bg-tertiary);
+      border: 1px solid var(--border-color);
+      border-radius: 6px;
+      padding: 6px 12px;
+      color: var(--text-primary);
+      font-size: 13px;
+      width: 200px;
+    }
+
+    .filter-search:focus {
+      outline: none;
+      border-color: var(--accent-blue);
+    }
+
+    .filter-search::placeholder {
+      color: var(--text-secondary);
+    }
+
+    .filter-badges {
+      display: flex;
+      gap: 6px;
+    }
+
+    .filter-badge {
+      background: var(--bg-tertiary);
+      border: 1px solid var(--border-color);
+      border-radius: 12px;
+      padding: 4px 10px;
+      color: var(--text-secondary);
+      font-size: 11px;
+      cursor: pointer;
+      transition: all 0.15s;
+    }
+
+    .filter-badge:hover {
+      border-color: var(--accent-blue);
+      color: var(--accent-blue);
+    }
+
+    .filter-badge.active {
+      background: rgba(0, 212, 255, 0.1);
+      border-color: var(--accent-blue);
+      color: var(--accent-blue);
+    }
+
+    .empty-state {
+      text-align: center;
+      padding: 48px;
+      color: var(--text-secondary);
+      background: var(--bg-secondary);
+      border: 1px solid var(--border-color);
+      border-radius: 8px;
+    }
+
+    .connector-card.hidden {
+      display: none;
+    }
+  `;
+}
+/**
+ * Get analytics chart styles (matching existing HTML export)
+ */
+function getAnalyticsStyles() {
+    return `
+    .analytics-row {
+      display: flex;
+      gap: 16px;
+    }
+
+    .analytics-card {
+      flex: 1;
+      background: var(--bg-secondary);
+      border: 1px solid var(--border-color);
+      border-radius: 8px;
+      padding: 16px;
+    }
+
+    .analytics-card .chart-title {
+      font-size: 12px;
+      font-weight: 600;
+      color: var(--text-secondary);
+      text-transform: uppercase;
+      margin-bottom: 12px;
+    }
+
+    /* Heatmap styles */
+    .heatmap-container { flex: 0.8; overflow-x: auto; }
+    .heatmap-svg { display: block; }
+    .heatmap-level-0 { fill: var(--bg-tertiary); }
+    .heatmap-level-1 { fill: #0a3d4d; }
+    .heatmap-level-2 { fill: #0d5c73; }
+    .heatmap-level-3 { fill: #0097b2; }
+    .heatmap-level-4 { fill: #00d4ff; }
+
+    /* Method distribution styles */
+    .method-distribution { flex: 1; }
+    .method-distribution .chart-title {
+      font-size: 12px;
+      font-weight: 600;
+      color: var(--text-secondary);
+      text-transform: uppercase;
+      margin-bottom: 12px;
+    }
+    .donut-container {
+      display: flex;
+      align-items: center;
+      gap: 16px;
+    }
+    .donut-container svg { flex-shrink: 0; }
+    .donut-legend { flex: 1; }
+    .donut-legend-item {
+      display: flex;
+      align-items: center;
+      gap: 8px;
+      margin-bottom: 4px;
+      font-size: 12px;
+    }
+    .donut-legend-color { width: 12px; height: 12px; border-radius: 2px; flex-shrink: 0; }
+    .donut-legend-label { color: var(--text-primary); flex: 1; }
+    .donut-legend-pct { color: var(--text-secondary); font-family: 'SF Mono', Consolas, monospace; }
+    .no-data-message { color: var(--text-secondary); font-size: 12px; text-align: center; padding: 20px; }
+  `;
+}
+/**
+ * Get overview row styles (POPL + Activity side by side)
+ */
+function getOverviewRowStyles() {
+    return `
+    .overview-row {
+      display: flex;
+      gap: 16px;
+      align-items: stretch;
+    }
+
+    .overview-panel {
+      background: var(--bg-secondary);
+      border: 1px solid var(--border-color);
+      border-radius: 8px;
+      padding: 16px;
+    }
+
+    .overview-panel .section-title {
+      margin-bottom: 12px;
+    }
+
+    .overview-panel.popl-summary {
+      flex: 0 0 auto;
+      min-width: 200px;
+    }
+
+    .overview-panel.popl-summary .popl-panel {
+      background: transparent;
+      border: none;
+      padding: 0;
+    }
+
+    .overview-panel.activity-overview {
+      flex: 1;
+    }
+
+    .overview-panel.activity-overview .analytics-row {
+      margin: 0;
+    }
+
+    .overview-panel.activity-overview .analytics-card {
+      background: var(--bg-tertiary);
+    }
+
+    @media (max-width: 900px) {
+      .overview-row {
+        flex-direction: column;
+      }
+      .overview-panel.popl-summary {
+        min-width: auto;
+      }
+    }
+  `;
+}
+/**
+ * Get filter script
+ */
+function getFilterScript() {
+    return `
+(function() {
+  const searchInput = document.getElementById('searchInput');
+  const cards = document.querySelectorAll('.connector-card');
+  const filterBadges = document.querySelectorAll('.filter-badge');
+  let activeFilters = new Set();
+
+  function applyFilters() {
+    const searchTerm = searchInput.value.toLowerCase();
+
+    cards.forEach(card => {
+      const id = card.dataset.id.toLowerCase();
+      const capabilities = (card.dataset.capabilities || '').split(',');
+
+      // Search filter
+      const matchesSearch = !searchTerm || id.includes(searchTerm);
+
+      // Capability filter (AND logic - must have all selected)
+      const matchesCapabilities = activeFilters.size === 0 ||
+        [...activeFilters].every(f => capabilities.includes(f));
+
+      if (matchesSearch && matchesCapabilities) {
+        card.classList.remove('hidden');
+      } else {
+        card.classList.add('hidden');
+      }
+    });
+  }
+
+  searchInput.addEventListener('input', applyFilters);
+
+  filterBadges.forEach(badge => {
+    badge.addEventListener('click', () => {
+      const filter = badge.dataset.filter;
+      if (activeFilters.has(filter)) {
+        activeFilters.delete(filter);
+        badge.classList.remove('active');
+      } else {
+        activeFilters.add(filter);
+        badge.classList.add('active');
+      }
+      applyFilters();
+    });
+  });
+})();
+  `;
+}
+//# sourceMappingURL=home.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"home.js","sourceRoot":"","sources":["../../../src/monitor/templates/home.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EACL,eAAe,EACf,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,GACvB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,aAAa,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAE9E;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAqB;IAClD,MAAM,SAAS,GAAG,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE7C,qCAAqC;IACrC,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;IACrE,MAAM,WAAW,GAAG,wBAAwB,CAAC,IAAI,CAAC,oBAAoB,CAAC,mBAAmB,CAAC,CAAC;IAE5F,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;QAC/C,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,mBAAmB,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;QACnD,CAAC,CAAC,yDAAyD,CAAC;IAE9D,MAAM,OAAO,GAAG;;;;;YAKN,SAAS;;;;;;gBAML,WAAW;;;gBAGX,WAAW;;;;;;;;;;;;;;;;;;;;;UAqBjB,cAAc;;;GAGrB,CAAC;IAEF,OAAO,YAAY,CAAC;QAClB,KAAK,EAAE,mBAAmB;QAC1B,WAAW,EAAE,IAAI,CAAC,YAAY;QAC9B,OAAO;QACP,WAAW,EAAE,aAAa,EAAE;QAC5B,OAAO,EAAE,eAAe,EAAE;KAC3B,CAAC,CAAC;AACL,CAAC;AAED;;GAEG;AACH,SAAS,aAAa;IACpB,OAAO;EACP,kBAAkB,EAAE;EACpB,sBAAsB,EAAE;EACxB,kBAAkB,EAAE;EACpB,oBAAoB,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6ErB,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB;IACzB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0DN,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,oBAAoB;IAC3B,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDN,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,eAAe;IACtB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CN,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,26 @@
+/**
+ * ProofScan Web Monitor - Base HTML layout
+ */
+/**
+ * Get base CSS styles (dark theme matching existing HTML export)
+ */
+export declare function getBaseStyles(): string;
+/**
+ * Render base HTML layout
+ */
+export declare function renderLayout(options: {
+    title: string;
+    generatedAt: string;
+    content: string;
+    extraStyles?: string;
+    scripts?: string;
+}): string;
+/**
+ * Escape HTML special characters
+ */
+export declare function escapeHtml(str: string): string;
+/**
+ * Format timestamp for display
+ */
+export declare function formatTimestamp(iso: string): string;
+//# sourceMappingURL=layout.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"layout.d.ts","sourceRoot":"","sources":["../../../src/monitor/templates/layout.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;GAEG;AACH,wBAAgB,aAAa,IAAI,MAAM,CA6HtC;AAED;;GAEG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE;IACpC,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB,GAAG,MAAM,CA0BT;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAO9C;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAOnD"}

package/dist/monitor/templates/layout.js

@@ -0,0 +1,186 @@
+/**
+ * ProofScan Web Monitor - Base HTML layout
+ */
+/**
+ * Get base CSS styles (dark theme matching existing HTML export)
+ */
+export function getBaseStyles() {
+    return `
+    :root {
+      --bg-primary: #0d1117;
+      --bg-secondary: #161b22;
+      --bg-tertiary: #21262d;
+      --border-color: #30363d;
+      --text-primary: #e6edf3;
+      --text-secondary: #8b949e;
+      --accent-blue: #00d4ff;
+      --accent-green: #3fb950;
+      --accent-yellow: #d29922;
+      --accent-red: #f85149;
+      --accent-gray: #6e7681;
+    }
+
+    * {
+      box-sizing: border-box;
+      margin: 0;
+      padding: 0;
+    }
+
+    body {
+      font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', 'Noto Sans', Helvetica, Arial, sans-serif;
+      font-size: 14px;
+      line-height: 1.5;
+      color: var(--text-primary);
+      background: var(--bg-primary);
+      min-height: 100vh;
+    }
+
+    a {
+      color: var(--accent-blue);
+      text-decoration: none;
+    }
+
+    a:hover {
+      text-decoration: underline;
+    }
+
+    /* Header */
+    .header {
+      display: flex;
+      justify-content: space-between;
+      align-items: center;
+      padding: 16px 24px;
+      background: var(--bg-secondary);
+      border-bottom: 1px solid var(--border-color);
+    }
+
+    .header-title {
+      font-size: 18px;
+      font-weight: 600;
+      color: var(--text-primary);
+    }
+
+    .header-meta {
+      display: flex;
+      align-items: center;
+      gap: 12px;
+      font-size: 12px;
+      color: var(--text-secondary);
+    }
+
+    .offline-badge {
+      display: inline-flex;
+      align-items: center;
+      gap: 4px;
+      padding: 2px 8px;
+      background: var(--bg-tertiary);
+      border: 1px solid var(--border-color);
+      border-radius: 12px;
+      font-size: 11px;
+      color: var(--text-secondary);
+    }
+
+    .offline-badge::before {
+      content: '';
+      width: 6px;
+      height: 6px;
+      background: var(--accent-gray);
+      border-radius: 50%;
+    }
+
+    /* Main container */
+    .main {
+      max-width: 1400px;
+      margin: 0 auto;
+      padding: 24px;
+    }
+
+    /* Section */
+    .section {
+      margin-bottom: 24px;
+    }
+
+    .section-title {
+      font-size: 14px;
+      font-weight: 600;
+      color: var(--text-secondary);
+      text-transform: uppercase;
+      letter-spacing: 0.5px;
+      margin-bottom: 12px;
+    }
+
+    /* Badge styles */
+    .badge {
+      display: inline-flex;
+      align-items: center;
+      padding: 2px 8px;
+      border-radius: 12px;
+      font-size: 11px;
+      font-weight: 500;
+      text-transform: uppercase;
+    }
+
+    .badge-ok { background: rgba(63, 185, 80, 0.15); color: var(--accent-green); border: 1px solid rgba(63, 185, 80, 0.3); }
+    .badge-warn { background: rgba(210, 153, 34, 0.15); color: var(--accent-yellow); border: 1px solid rgba(210, 153, 34, 0.3); }
+    .badge-err { background: rgba(248, 81, 73, 0.15); color: var(--accent-red); border: 1px solid rgba(248, 81, 73, 0.3); }
+    .badge-offline { background: var(--bg-tertiary); color: var(--text-secondary); border: 1px solid var(--border-color); }
+    .badge-enabled { background: rgba(63, 185, 80, 0.1); color: var(--accent-green); border: 1px solid rgba(63, 185, 80, 0.2); }
+    .badge-disabled { background: var(--bg-tertiary); color: var(--text-secondary); border: 1px solid var(--border-color); }
+    .badge-capability { background: rgba(0, 212, 255, 0.1); color: var(--accent-blue); border: 1px solid rgba(0, 212, 255, 0.2); }
+    .badge-transport { background: var(--bg-tertiary); color: var(--text-secondary); border: 1px solid var(--border-color); }
+  `;
+}
+/**
+ * Render base HTML layout
+ */
+export function renderLayout(options) {
+    return `<!DOCTYPE html>
+<html lang="en">
+<head>
+  <meta charset="UTF-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1.0">
+  <title>${escapeHtml(options.title)}</title>
+  <style>
+${getBaseStyles()}
+${options.extraStyles ?? ''}
+  </style>
+</head>
+<body>
+  <header class="header">
+    <div class="header-title">ProofScan Monitor</div>
+    <div class="header-meta">
+      <span class="offline-badge">Offline</span>
+      <span>Generated: ${formatTimestamp(options.generatedAt)}</span>
+    </div>
+  </header>
+  <main class="main">
+${options.content}
+  </main>
+${options.scripts ? `<script>${options.scripts}</script>` : ''}
+</body>
+</html>`;
+}
+/**
+ * Escape HTML special characters
+ */
+export function escapeHtml(str) {
+    return str
+        .replace(/&/g, '&amp;')
+        .replace(/</g, '&lt;')
+        .replace(/>/g, '&gt;')
+        .replace(/"/g, '&quot;')
+        .replace(/'/g, '&#039;');
+}
+/**
+ * Format timestamp for display
+ */
+export function formatTimestamp(iso) {
+    try {
+        const date = new Date(iso);
+        return date.toLocaleString();
+    }
+    catch {
+        return iso;
+    }
+}
+//# sourceMappingURL=layout.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"layout.js","sourceRoot":"","sources":["../../../src/monitor/templates/layout.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH;;GAEG;AACH,MAAM,UAAU,aAAa;IAC3B,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2HN,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,OAM5B;IACC,OAAO;;;;;WAKE,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC;;EAElC,aAAa,EAAE;EACf,OAAO,CAAC,WAAW,IAAI,EAAE;;;;;;;;yBAQF,eAAe,CAAC,OAAO,CAAC,WAAW,CAAC;;;;EAI3D,OAAO,CAAC,OAAO;;EAEf,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,OAAO,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC,EAAE;;QAEtD,CAAC;AACT,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,GAAW;IACpC,OAAO,GAAG;SACP,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC;SACrB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC;SACvB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC7B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,GAAW;IACzC,IAAI,CAAC;QACH,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3B,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC;IAC/B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,GAAG,CAAC;IACb,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,33 @@
+/**
+ * ProofScan Web Monitor - POPL detail page template
+ */
+import type { MonitorPoplEntry } from '../types.js';
+/**
+ * Render POPL entry detail page
+ */
+export declare function renderPoplDetailPage(entry: MonitorPoplEntry): string;
+/**
+ * Render 404 page for POPL entry not found
+ */
+export declare function renderPopl404Page(proofId: string): string;
+/**
+ * Artifact page options
+ */
+interface ArtifactPageOptions {
+    proofId: string;
+    artifactName: string;
+    artifact?: {
+        name: string;
+        path: string;
+        sha256: string;
+    };
+    content?: string;
+    isJson?: boolean;
+    error?: string;
+}
+/**
+ * Render artifact content page
+ */
+export declare function renderArtifactPage(options: ArtifactPageOptions): string;
+export {};
+//# sourceMappingURL=popl.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"popl.d.ts","sourceRoot":"","sources":["../../../src/monitor/templates/popl.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAC;AAGpD;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CA6BpE;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,CAsBzD;AAycD;;GAEG;AACH,UAAU,mBAAmB;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE;QACT,IAAI,EAAE,MAAM,CAAC;QACb,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,MAAM,CAAC;KAChB,CAAC;IACF,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,mBAAmB,GAAG,MAAM,CAkDvE"}