limen-ai 1.0.0

package/dist/substrate/gateway/llm_gateway.js

@@ -0,0 +1,442 @@
+/**
+ * LLM Gateway implementation.
+ * S ref: §25.4 (LLM Gateway), DL-1 (Provider Routing), I-04 (Provider Independence)
+ *
+ * Phase: 2 (Execution Substrate)
+ * Implements: Provider-independent LLM gateway with circuit breaker pattern,
+ *             4-state health tracking, cost accounting, retry logic, and streaming.
+ *             This is the ONLY async interface in the substrate (FPD-1/SD-02).
+ *
+ * Invariants enforced: I-01 (no SDK deps), I-03 (audit), I-04 (provider independence),
+ *                      I-05 (transactional), I-25 (deterministic replay logging)
+ * Failure modes defended: FM-02 (cost explosion), FM-06 (provider dependency),
+ *                         FM-12 (failover cascade)
+ *
+ * ASYNC interface. request() and requestStream() return Promise<Result<T>>.
+ * All other methods are SYNC returning Result<T>.
+ */
+import { createHash, randomUUID } from 'node:crypto';
+import { DEFAULT_BUDGET_LIMIT } from '../accounting/resource_accounting.js';
+// ─── Error Constructors ───
+function err(code, message, spec) {
+    return { ok: false, error: { code, message, spec } };
+}
+function ok(value) {
+    return { ok: true, value };
+}
+// ─── Circuit Breaker Constants ───
+/** DL-1: Default N=5 consecutive failures before cooldown */
+const DEFAULT_CIRCUIT_BREAKER_N = 5;
+/** DL-1: Default 60s cooldown duration */
+const DEFAULT_COOLDOWN_MS = 60000;
+/**
+ * Create an LlmGateway implementation.
+ * S ref: §25.4, C-07 (Object.freeze)
+ *
+ * Provider routing follows DL-1:
+ *   1. Capability filter (model supports requested capability)
+ *   2. Health filter (only healthy/degraded providers)
+ *   3. Strategy sort (lowest cost, then lowest latency)
+ *   4. Circuit breaker check
+ *
+ * All requests are logged to core_llm_request_log for I-25 replay.
+ * CF-010: When encryption is provided, request/response bodies are encrypted before storage.
+ */
+export function createLlmGateway(audit, encryption, time, transport) {
+    const clock = time ?? { nowISO: () => new Date().toISOString(), nowMs: () => Date.now() };
+    /**
+     * In-memory provider config registry. MUST live inside the closure to prevent
+     * cross-tenant leakage via module-scoped mutable state (F-08).
+     * S ref: I-07 (Agent Isolation)
+     */
+    const providerConfigs = new Map();
+    /** §25.4: Register a provider */
+    function registerProvider(conn, _ctx, config) {
+        // Store config in memory
+        providerConfigs.set(config.providerId, config);
+        // I-03: mutation + audit in same transaction
+        conn.transaction(() => {
+            // Upsert provider health in SQLite
+            conn.run(`INSERT INTO core_provider_health (provider_id, status, circuit_breaker_n, cooldown_duration_ms)
+         VALUES (?, 'healthy', ?, ?)
+         ON CONFLICT(provider_id) DO UPDATE SET
+           status = 'healthy',
+           consecutive_failures = 0,
+           updated_at = strftime('%Y-%m-%dT%H:%M:%fZ', 'now')`, [config.providerId, DEFAULT_CIRCUIT_BREAKER_N, DEFAULT_COOLDOWN_MS]);
+            audit?.append(conn, {
+                tenantId: null,
+                actorType: 'system',
+                actorId: 'substrate.gateway',
+                operation: 'provider.register',
+                resourceType: 'provider',
+                resourceId: config.providerId,
+                detail: { models: config.models, baseUrl: config.baseUrl },
+            });
+        });
+        return ok(undefined);
+    }
+    /**
+     * DL-1: Select provider by routing algorithm.
+     * Returns provider config or null if no healthy provider found.
+     */
+    function selectProvider(conn, model) {
+        // Step 1: Capability filter -- find providers that serve this model
+        const candidateConfigs = [];
+        for (const [, config] of providerConfigs) {
+            if (config.models.includes(model)) {
+                candidateConfigs.push(config);
+            }
+        }
+        if (candidateConfigs.length === 0)
+            return null;
+        // Step 2: Health filter -- only healthy or degraded
+        const now = clock.nowISO();
+        const healthyProviders = [];
+        for (const config of candidateConfigs) {
+            const health = conn.get('SELECT provider_id, status, avg_latency_ms, cooldown_until, consecutive_failures, circuit_breaker_n FROM core_provider_health WHERE provider_id = ?', [config.providerId]);
+            if (!health)
+                continue;
+            // Check cooldown expiry
+            if (health.status === 'cooldown' && health.cooldown_until) {
+                if (now >= health.cooldown_until) {
+                    // Cooldown expired -- transition to healthy
+                    conn.run(`UPDATE core_provider_health
+             SET status = 'healthy', consecutive_failures = 0, cooldown_until = NULL,
+                 updated_at = strftime('%Y-%m-%dT%H:%M:%fZ', 'now')
+             WHERE provider_id = ?`, [config.providerId]);
+                    // I-03: audit health state mutation
+                    audit?.append(conn, {
+                        tenantId: null,
+                        actorType: 'system',
+                        actorId: 'substrate.gateway',
+                        operation: 'provider.health_update',
+                        resourceType: 'provider',
+                        resourceId: config.providerId,
+                        detail: { from: 'cooldown', to: 'healthy', reason: 'cooldown_expired' },
+                    });
+                    healthyProviders.push({ config, health: { ...health, status: 'healthy' } });
+                    continue;
+                }
+                // Still in cooldown -- skip
+                continue;
+            }
+            // Step 4: Circuit breaker check
+            if (health.consecutive_failures >= health.circuit_breaker_n) {
+                continue; // Circuit breaker open
+            }
+            if (health.status === 'healthy' || health.status === 'degraded') {
+                healthyProviders.push({ config, health });
+            }
+        }
+        if (healthyProviders.length === 0)
+            return null;
+        // Step 3: Strategy sort -- lowest cost first, then lowest latency
+        healthyProviders.sort((a, b) => {
+            const costA = (a.config.costPerInputToken ?? 0) + (a.config.costPerOutputToken ?? 0);
+            const costB = (b.config.costPerInputToken ?? 0) + (b.config.costPerOutputToken ?? 0);
+            if (costA !== costB)
+                return costA - costB;
+            return (a.health.avg_latency_ms ?? 0) - (b.health.avg_latency_ms ?? 0);
+        });
+        const first = healthyProviders[0];
+        if (!first)
+            return null;
+        return { config: first.config, health: first.health };
+    }
+    /** Hash the request for I-25 replay */
+    function hashRequest(request) {
+        const serialized = JSON.stringify({
+            model: request.model,
+            messages: request.messages,
+            tools: request.tools,
+            maxTokens: request.maxTokens,
+            temperature: request.temperature,
+            systemPrompt: request.systemPrompt,
+        });
+        return createHash('sha256').update(serialized).digest('hex');
+    }
+    /** Log request to core_llm_request_log for I-25 */
+    function logRequest(conn, requestId, request, promptHash, providerId) {
+        // CF-010: Encrypt request body before storage if encryption is available
+        const requestJson = JSON.stringify(request);
+        const storedBody = encryption ? encryption.encrypt(requestJson) : requestJson;
+        conn.run(`INSERT INTO core_llm_request_log
+        (request_id, task_id, mission_id, tenant_id, provider_id, model_id,
+         prompt_hash, request_body, status)
+       VALUES (?, ?, ?, ?, ?, ?, ?, ?, 'pending')`, [
+            requestId,
+            request.metadata?.taskId ?? '',
+            request.metadata?.missionId ?? '',
+            request.metadata?.tenantId ?? null,
+            providerId,
+            request.model,
+            promptHash,
+            storedBody,
+        ]);
+    }
+    /** Update request log with response */
+    function logResponse(conn, requestId, response, error, latencyMs) {
+        if (response) {
+            // CF-010: Encrypt response body before storage if encryption is available
+            const responseJson = JSON.stringify(response);
+            const storedBody = encryption ? encryption.encrypt(responseJson) : responseJson;
+            conn.run(`UPDATE core_llm_request_log
+         SET response_body = ?, input_tokens = ?, output_tokens = ?,
+             provider_input_tokens = ?, provider_output_tokens = ?,
+             latency_ms = ?, status = 'completed'
+         WHERE request_id = ?`, [
+                storedBody,
+                response.usage.inputTokens,
+                response.usage.outputTokens,
+                response.usage.providerInputTokens ?? null,
+                response.usage.providerOutputTokens ?? null,
+                latencyMs,
+                requestId,
+            ]);
+        }
+        else {
+            conn.run(`UPDATE core_llm_request_log
+         SET status = 'failed', error_message = ?, latency_ms = ?
+         WHERE request_id = ?`, [error, latencyMs, requestId]);
+        }
+    }
+    /**
+     * §25.4: Send LLM request (ASYNC).
+     * This is the substrate's interface -- actual HTTP calls to providers
+     * would happen here. For now, the gateway provides the routing,
+     * logging, and circuit breaker infrastructure. The actual HTTP call
+     * is stubbed as PROVIDER_UNAVAILABLE since no providers are wired.
+     *
+     * In production, this would:
+     * 1. Select provider via DL-1
+     * 2. Translate request to provider-specific format (per-provider codec)
+     * 3. Make HTTP call via fetch() (I-01: no SDK deps)
+     * 4. Translate response back to internal format
+     * 5. Log for I-25 replay
+     * 6. Update provider health
+     */
+    async function request(conn, _ctx, req) {
+        // F-02: Input validation
+        if (typeof req.maxTokens !== 'number' || req.maxTokens <= 0) {
+            return err('INVALID_INPUT', 'maxTokens must be > 0', '§25.4');
+        }
+        if (!req.messages || req.messages.length === 0) {
+            return err('INVALID_INPUT', 'messages must contain at least one message', '§25.4');
+        }
+        const provider = selectProvider(conn, req.model);
+        if (!provider) {
+            return err('PROVIDER_UNAVAILABLE', `No healthy provider found for model ${req.model}`, 'I-16');
+        }
+        const requestId = randomUUID();
+        const promptHash = hashRequest(req);
+        const startTime = clock.nowMs();
+        // I-25: Log the request
+        logRequest(conn, requestId, req, promptHash, provider.config.providerId);
+        // Phase 5A: When transport is provided, delegate to transport engine
+        if (transport) {
+            const adapter = transport.adapters.get(provider.config.providerId);
+            if (!adapter) {
+                const latencyMs = clock.nowMs() - startTime;
+                logResponse(conn, requestId, null, 'No adapter registered for provider', latencyMs);
+                return err('PROVIDER_UNAVAILABLE', `No transport adapter for provider ${provider.config.providerId}`, '§25.4');
+            }
+            try {
+                const transportResult = await transport.engine.execute(adapter, { request: req });
+                const latencyMs = clock.nowMs() - startTime;
+                // Set correct latencyMs and providerId on the response
+                const response = {
+                    ...transportResult.response,
+                    latencyMs,
+                    providerId: provider.config.providerId,
+                };
+                // I-25: Log the response
+                logResponse(conn, requestId, response, null, latencyMs);
+                // Record deliberation data via supplementary SQL in same transaction
+                recordDeliberation(conn, requestId, transportResult.deliberation);
+                return ok(response);
+            }
+            catch (transportErr) {
+                const latencyMs = clock.nowMs() - startTime;
+                const errorMsg = transportErr instanceof Error ? transportErr.message : String(transportErr);
+                logResponse(conn, requestId, null, errorMsg, latencyMs);
+                return err('PROVIDER_UNAVAILABLE', errorMsg, '§25.4');
+            }
+        }
+        // Fallback: No transport configured (Phase 2 stub behavior)
+        const latencyMs = clock.nowMs() - startTime;
+        logResponse(conn, requestId, null, 'No HTTP transport configured', latencyMs);
+        return err('PROVIDER_UNAVAILABLE', 'LLM gateway HTTP transport not configured -- infrastructure only in Phase 2', '§25.4');
+    }
+    /** §25.4, §27: Send streaming LLM request (ASYNC) */
+    async function requestStream(conn, _ctx, req) {
+        const provider = selectProvider(conn, req.model);
+        if (!provider) {
+            return err('PROVIDER_UNAVAILABLE', `No healthy provider found for model ${req.model}`, 'I-16');
+        }
+        // Phase 5A: When transport is provided, delegate to transport engine
+        if (transport) {
+            const adapter = transport.adapters.get(provider.config.providerId);
+            if (!adapter) {
+                return err('PROVIDER_UNAVAILABLE', `No transport adapter for provider ${provider.config.providerId}`, '§25.4/§27');
+            }
+            // Check if adapter supports streaming
+            if (!adapter.supportsStreaming()) {
+                return err('PROVIDER_UNAVAILABLE', `Provider ${provider.config.providerId} does not support streaming`, '§25.4/§27');
+            }
+            const requestId = randomUUID();
+            const promptHash = hashRequest(req);
+            logRequest(conn, requestId, req, promptHash, provider.config.providerId);
+            try {
+                const streamResult = await transport.engine.executeStream(adapter, { request: req });
+                // Wrap chunks to record deliberation on completion
+                async function* wrappedChunks() {
+                    try {
+                        for await (const chunk of streamResult.stream) {
+                            yield chunk;
+                        }
+                    }
+                    finally {
+                        // Record deliberation after stream completes
+                        const deliberation = streamResult.getDeliberation();
+                        recordDeliberation(conn, requestId, deliberation);
+                    }
+                }
+                return ok(wrappedChunks());
+            }
+            catch (transportErr) {
+                const errorMsg = transportErr instanceof Error ? transportErr.message : String(transportErr);
+                logResponse(conn, requestId, null, errorMsg, 0);
+                return err('PROVIDER_UNAVAILABLE', errorMsg, '§25.4/§27');
+            }
+        }
+        // Fallback: No transport configured (Phase 2 stub behavior)
+        return err('PROVIDER_UNAVAILABLE', 'LLM gateway streaming transport not configured -- infrastructure only in Phase 2', '§25.4/§27');
+    }
+    /** DL-1: Get all provider health snapshots */
+    function getProviderHealth(conn) {
+        const rows = conn.query('SELECT provider_id, status, consecutive_failures, error_rate_5min, avg_latency_ms, total_requests, last_success_at, last_failure_at, cooldown_until FROM core_provider_health');
+        const snapshots = rows.map((row) => ({
+            providerId: row.provider_id,
+            status: row.status,
+            consecutiveFailures: row.consecutive_failures,
+            errorRate5min: row.error_rate_5min,
+            avgLatencyMs: row.avg_latency_ms,
+            totalRequests: row.total_requests,
+            lastSuccessAt: row.last_success_at,
+            lastFailureAt: row.last_failure_at,
+            cooldownUntil: row.cooldown_until,
+        }));
+        return ok(snapshots);
+    }
+    /** I-16: Check if any healthy provider exists */
+    function hasHealthyProvider(conn) {
+        const row = conn.get(`SELECT COUNT(*) as cnt FROM core_provider_health
+       WHERE status IN ('healthy', 'degraded')`);
+        return ok((row?.cnt ?? 0) > 0);
+    }
+    /**
+     * FM-12: Check failover budget before switching providers.
+     * Failover policy determines behavior when budget is insufficient:
+     *   - 'block': reject the failover (return allowed=false)
+     *   - 'degrade': allow but warn
+     *   - 'allow-overdraft': allow even if over budget
+     */
+    function checkFailoverBudget(conn, missionId, estimatedTokens, failoverPolicy) {
+        // Check remaining budget for this mission
+        const row = conn.get(`SELECT COALESCE(SUM(effective_input_tokens + effective_output_tokens), 0) as total_effective
+       FROM meter_interaction_accounting
+       WHERE mission_id = ?`, [missionId]);
+        const consumed = row?.total_effective ?? 0;
+        const budgetLimit = DEFAULT_BUDGET_LIMIT;
+        const remaining = budgetLimit - consumed;
+        if (estimatedTokens <= remaining) {
+            return ok({ allowed: true });
+        }
+        // Over budget -- apply policy
+        switch (failoverPolicy) {
+            case 'block':
+                return ok({
+                    allowed: false,
+                    reason: `Failover blocked: estimated ${estimatedTokens} tokens exceeds remaining budget of ${remaining}`,
+                });
+            case 'degrade':
+                return ok({
+                    allowed: true,
+                    reason: `Failover degraded: estimated ${estimatedTokens} tokens exceeds remaining budget of ${remaining}. System operating in degraded mode.`,
+                });
+            case 'allow-overdraft':
+                return ok({
+                    allowed: true,
+                    reason: `Failover allowed with overdraft: estimated ${estimatedTokens} tokens exceeds remaining budget of ${remaining}`,
+                });
+            default:
+                return ok({ allowed: false, reason: 'Unknown failover policy' });
+        }
+    }
+    /**
+     * Record deliberation data via supplementary UPDATE on core_llm_request_log.
+     * S ref: §25.4/§25.6 deliberation tracking, I-03 (same transaction)
+     */
+    function recordDeliberation(conn, requestId, deliberation) {
+        conn.run(`UPDATE core_llm_request_log
+       SET deliberation_tokens = ?
+       WHERE request_id = ?`, [deliberation.deliberationTokens, requestId]);
+    }
+    // Expose internal helpers for testing/substrate integration
+    const gateway = {
+        registerProvider,
+        request,
+        requestStream,
+        getProviderHealth,
+        hasHealthyProvider,
+        checkFailoverBudget,
+    };
+    return Object.freeze(gateway);
+}
+/**
+ * Exported for internal substrate use: record provider success/failure.
+ * Called by the actual HTTP transport layer when it processes responses.
+ */
+export function updateProviderHealth(conn, providerId, success, latencyMs, errorMessage, time) {
+    const hClock = time ?? { nowISO: () => new Date().toISOString(), nowMs: () => Date.now() };
+    if (success) {
+        conn.run(`UPDATE core_provider_health
+       SET consecutive_failures = 0,
+           total_requests = total_requests + 1,
+           last_success_at = strftime('%Y-%m-%dT%H:%M:%fZ', 'now'),
+           last_request_at = strftime('%Y-%m-%dT%H:%M:%fZ', 'now'),
+           avg_latency_ms = (avg_latency_ms * total_requests + ?) / (total_requests + 1),
+           status = CASE WHEN status = 'degraded' THEN 'healthy' ELSE status END,
+           updated_at = strftime('%Y-%m-%dT%H:%M:%fZ', 'now')
+       WHERE provider_id = ?`, [latencyMs, providerId]);
+    }
+    else {
+        const health = conn.get('SELECT consecutive_failures, circuit_breaker_n, cooldown_duration_ms FROM core_provider_health WHERE provider_id = ?', [providerId]);
+        if (!health)
+            return;
+        const newFailures = health.consecutive_failures + 1;
+        if (newFailures >= health.circuit_breaker_n) {
+            const cooldownUntil = new Date(hClock.nowMs() + health.cooldown_duration_ms).toISOString();
+            conn.run(`UPDATE core_provider_health
+         SET consecutive_failures = ?, total_requests = total_requests + 1,
+             total_failures = total_failures + 1, status = 'cooldown',
+             cooldown_until = ?, last_failure_at = strftime('%Y-%m-%dT%H:%M:%fZ', 'now'),
+             last_request_at = strftime('%Y-%m-%dT%H:%M:%fZ', 'now'),
+             last_error_message = ?,
+             updated_at = strftime('%Y-%m-%dT%H:%M:%fZ', 'now')
+         WHERE provider_id = ?`, [newFailures, cooldownUntil, errorMessage ?? 'Unknown error', providerId]);
+        }
+        else {
+            const newStatus = newFailures >= 2 ? 'degraded' : 'healthy';
+            conn.run(`UPDATE core_provider_health
+         SET consecutive_failures = ?, total_requests = total_requests + 1,
+             total_failures = total_failures + 1, status = ?,
+             last_failure_at = strftime('%Y-%m-%dT%H:%M:%fZ', 'now'),
+             last_request_at = strftime('%Y-%m-%dT%H:%M:%fZ', 'now'),
+             last_error_message = ?,
+             updated_at = strftime('%Y-%m-%dT%H:%M:%fZ', 'now')
+         WHERE provider_id = ?`, [newFailures, newStatus, errorMessage ?? 'Unknown error', providerId]);
+        }
+    }
+}
+//# sourceMappingURL=llm_gateway.js.map

package/dist/substrate/gateway/llm_gateway.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"llm_gateway.js","sourceRoot":"","sources":["../../../src/substrate/gateway/llm_gateway.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA+CrD,OAAO,EAAE,oBAAoB,EAAE,MAAM,sCAAsC,CAAC;AAE5E,6BAA6B;AAE7B,SAAS,GAAG,CAAC,IAAY,EAAE,OAAe,EAAE,IAAY;IACtD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC;AACvD,CAAC;AAED,SAAS,EAAE,CAAI,KAAQ;IACrB,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AAC7B,CAAC;AAED,oCAAoC;AAEpC,6DAA6D;AAC7D,MAAM,yBAAyB,GAAG,CAAC,CAAC;AACpC,0CAA0C;AAC1C,MAAM,mBAAmB,GAAG,KAAK,CAAC;AAclC;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAgB,EAAE,UAA0B,EAAE,IAAmB,EAAE,SAAwB;IAC1H,MAAM,KAAK,GAAG,IAAI,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;IAE1F;;;;OAIG;IACH,MAAM,eAAe,GAAG,IAAI,GAAG,EAA6B,CAAC;IAE7D,iCAAiC;IACjC,SAAS,gBAAgB,CAAC,IAAwB,EAAE,IAAsB,EAAE,MAAyB;QACnG,yBAAyB;QACzB,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;QAE/C,6CAA6C;QAC7C,IAAI,CAAC,WAAW,CAAC,GAAG,EAAE;YACpB,mCAAmC;YACnC,IAAI,CAAC,GAAG,CACN;;;;;8DAKsD,EACtD,CAAC,MAAM,CAAC,UAAU,EAAE,yBAAyB,EAAE,mBAAmB,CAAC,CACpE,CAAC;YAEF,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE;gBAClB,QAAQ,EAAE,IAAI;gBACd,SAAS,EAAE,QAAQ;gBACnB,OAAO,EAAE,mBAAmB;gBAC5B,SAAS,EAAE,mBAAmB;gBAC9B,YAAY,EAAE,UAAU;gBACxB,UAAU,EAAE,MAAM,CAAC,UAAU;gBAC7B,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,EAAE;aAC3D,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;IACvB,CAAC;IAED;;;OAGG;IACH,SAAS,cAAc,CAAC,IAAwB,EAAE,KAAa;QAC7D,oEAAoE;QACpE,MAAM,gBAAgB,GAAwB,EAAE,CAAC;QACjD,KAAK,MAAM,CAAC,EAAE,MAAM,CAAC,IAAI,eAAe,EAAE,CAAC;YACzC,IAAI,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QACD,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAE/C,oDAAoD;QACpD,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;QAC3B,MAAM,gBAAgB,GAAiJ,EAAE,CAAC;QAE1K,KAAK,MAAM,MAAM,IAAI,gBAAgB,EAAE,CAAC;YACtC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAQrB,qJAAqJ,EACrJ,CAAC,MAAM,CAAC,UAAU,CAAC,CACpB,CAAC;YAEF,IAAI,CAAC,MAAM;gBAAE,SAAS;YAEtB,wBAAwB;YACxB,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;gBAC1D,IAAI,GAAG,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;oBACjC,4CAA4C;oBAC5C,IAAI,CAAC,GAAG,CACN;;;mCAGuB,EACvB,CAAC,MAAM,CAAC,UAAU,CAAC,CACpB,CAAC;oBACF,oCAAoC;oBACpC,KAAK,EAAE,MAAM,CAAC,IAAI,EAAE;wBAClB,QAAQ,EAAE,IAAI;wBACd,SAAS,EAAE,QAAQ;wBACnB,OAAO,EAAE,mBAAmB;wBAC5B,SAAS,EAAE,wBAAwB;wBACnC,YAAY,EAAE,UAAU;wBACxB,UAAU,EAAE,MAAM,CAAC,UAAU;wBAC7B,MAAM,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,kBAAkB,EAAE;qBACxE,CAAC,CAAC;oBACH,gBAAgB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,GAAG,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;oBAC5E,SAAS;gBACX,CAAC;gBACD,4BAA4B;gBAC5B,SAAS;YACX,CAAC;YAED,gCAAgC;YAChC,IAAI,MAAM,CAAC,oBAAoB,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;gBAC5D,SAAS,CAAC,uBAAuB;YACnC,CAAC;YAED,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBAChE,gBAAgB,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QAED,IAAI,gBAAgB,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAE/C,kEAAkE;QAClE,gBAAgB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC7B,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,IAAI,CAAC,CAAC,CAAC;YACrF,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,iBAAiB,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,kBAAkB,IAAI,CAAC,CAAC,CAAC;YACrF,IAAI,KAAK,KAAK,KAAK;gBAAE,OAAO,KAAK,GAAG,KAAK,CAAC;YAC1C,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,cAAc,IAAI,CAAC,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;QAEH,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC;QACxB,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;IACxD,CAAC;IAED,uCAAuC;IACvC,SAAS,WAAW,CAAC,OAAmB;QACtC,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC;YAChC,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,YAAY,EAAE,OAAO,CAAC,YAAY;SACnC,CAAC,CAAC;QACH,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC/D,CAAC;IAED,mDAAmD;IACnD,SAAS,UAAU,CACjB,IAAwB,EACxB,SAAiB,EACjB,OAAmB,EACnB,UAAkB,EAClB,UAAkB;QAElB,yEAAyE;QACzE,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC;QAC5C,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC;QAE9E,IAAI,CAAC,GAAG,CACN;;;kDAG4C,EAC5C;YACE,SAAS;YACT,OAAO,CAAC,QAAQ,EAAE,MAAM,IAAI,EAAE;YAC9B,OAAO,CAAC,QAAQ,EAAE,SAAS,IAAI,EAAE;YACjC,OAAO,CAAC,QAAQ,EAAE,QAAQ,IAAI,IAAI;YAClC,UAAU;YACV,OAAO,CAAC,KAAK;YACb,UAAU;YACV,UAAU;SACX,CACF,CAAC;IACJ,CAAC;IAED,uCAAuC;IACvC,SAAS,WAAW,CAClB,IAAwB,EACxB,SAAiB,EACjB,QAA4B,EAC5B,KAAoB,EACpB,SAAiB;QAEjB,IAAI,QAAQ,EAAE,CAAC;YACb,0EAA0E;YAC1E,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC9C,MAAM,UAAU,GAAG,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC;YAEhF,IAAI,CAAC,GAAG,CACN;;;;8BAIsB,EACtB;gBACE,UAAU;gBACV,QAAQ,CAAC,KAAK,CAAC,WAAW;gBAC1B,QAAQ,CAAC,KAAK,CAAC,YAAY;gBAC3B,QAAQ,CAAC,KAAK,CAAC,mBAAmB,IAAI,IAAI;gBAC1C,QAAQ,CAAC,KAAK,CAAC,oBAAoB,IAAI,IAAI;gBAC3C,SAAS;gBACT,SAAS;aACV,CACF,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,GAAG,CACN;;8BAEsB,EACtB,CAAC,KAAK,EAAE,SAAS,EAAE,SAAS,CAAC,CAC9B,CAAC;QACJ,CAAC;IACH,CAAC;IAED;;;;;;;;;;;;;;OAcG;IACH,KAAK,UAAU,OAAO,CAAC,IAAwB,EAAE,IAAsB,EAAE,GAAe;QACtF,yBAAyB;QACzB,IAAI,OAAO,GAAG,CAAC,SAAS,KAAK,QAAQ,IAAI,GAAG,CAAC,SAAS,IAAI,CAAC,EAAE,CAAC;YAC5D,OAAO,GAAG,CAAC,eAAe,EAAE,uBAAuB,EAAE,OAAO,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/C,OAAO,GAAG,CAAC,eAAe,EAAE,4CAA4C,EAAE,OAAO,CAAC,CAAC;QACrF,CAAC;QAED,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,GAAG,CACR,sBAAsB,EACtB,uCAAuC,GAAG,CAAC,KAAK,EAAE,EAClD,MAAM,CACP,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,UAAU,EAAE,CAAC;QAC/B,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QACpC,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,EAAE,CAAC;QAEhC,wBAAwB;QACxB,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;QAEzE,qEAAqE;QACrE,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACnE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC;gBAC5C,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,oCAAoC,EAAE,SAAS,CAAC,CAAC;gBACpF,OAAO,GAAG,CAAC,sBAAsB,EAAE,qCAAqC,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,OAAO,CAAC,CAAC;YACjH,CAAC;YAED,IAAI,CAAC;gBACH,MAAM,eAAe,GAAoB,MAAM,SAAS,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;gBACnG,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC;gBAE5C,uDAAuD;gBACvD,MAAM,QAAQ,GAAgB;oBAC5B,GAAG,eAAe,CAAC,QAAQ;oBAC3B,SAAS;oBACT,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU;iBACvC,CAAC;gBAEF,yBAAyB;gBACzB,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;gBAExD,qEAAqE;gBACrE,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,eAAe,CAAC,YAAY,CAAC,CAAC;gBAElE,OAAO,EAAE,CAAC,QAAQ,CAAC,CAAC;YACtB,CAAC;YAAC,OAAO,YAAY,EAAE,CAAC;gBACtB,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC;gBAC5C,MAAM,QAAQ,GAAG,YAAY,YAAY,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;gBAC7F,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,CAAC,CAAC;gBACxD,OAAO,GAAG,CAAC,sBAAsB,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;YACxD,CAAC;QACH,CAAC;QAED,4DAA4D;QAC5D,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,SAAS,CAAC;QAC5C,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,8BAA8B,EAAE,SAAS,CAAC,CAAC;QAE9E,OAAO,GAAG,CACR,sBAAsB,EACtB,6EAA6E,EAC7E,OAAO,CACR,CAAC;IACJ,CAAC;IAED,qDAAqD;IACrD,KAAK,UAAU,aAAa,CAAC,IAAwB,EAAE,IAAsB,EAAE,GAAe;QAC5F,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC;QACjD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,OAAO,GAAG,CACR,sBAAsB,EACtB,uCAAuC,GAAG,CAAC,KAAK,EAAE,EAClD,MAAM,CACP,CAAC;QACJ,CAAC;QAED,qEAAqE;QACrE,IAAI,SAAS,EAAE,CAAC;YACd,MAAM,OAAO,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YACnE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,OAAO,GAAG,CAAC,sBAAsB,EAAE,qCAAqC,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,EAAE,WAAW,CAAC,CAAC;YACrH,CAAC;YAED,sCAAsC;YACtC,IAAI,CAAC,OAAO,CAAC,iBAAiB,EAAE,EAAE,CAAC;gBACjC,OAAO,GAAG,CAAC,sBAAsB,EAAE,YAAY,QAAQ,CAAC,MAAM,CAAC,UAAU,6BAA6B,EAAE,WAAW,CAAC,CAAC;YACvH,CAAC;YAED,MAAM,SAAS,GAAG,UAAU,EAAE,CAAC;YAC/B,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;YACpC,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;YAEzE,IAAI,CAAC;gBACH,MAAM,YAAY,GAA0B,MAAM,SAAS,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;gBAE5G,mDAAmD;gBACnD,KAAK,SAAS,CAAC,CAAC,aAAa;oBAC3B,IAAI,CAAC;wBACH,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,YAAY,CAAC,MAAM,EAAE,CAAC;4BAC9C,MAAM,KAAK,CAAC;wBACd,CAAC;oBACH,CAAC;4BAAS,CAAC;wBACT,6CAA6C;wBAC7C,MAAM,YAAY,GAAG,YAAY,CAAC,eAAe,EAAE,CAAC;wBACpD,kBAAkB,CAAC,IAAI,EAAE,SAAS,EAAE,YAAY,CAAC,CAAC;oBACpD,CAAC;gBACH,CAAC;gBAED,OAAO,EAAE,CAAC,aAAa,EAAE,CAAC,CAAC;YAC7B,CAAC;YAAC,OAAO,YAAY,EAAE,CAAC;gBACtB,MAAM,QAAQ,GAAG,YAAY,YAAY,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;gBAC7F,WAAW,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC;gBAChD,OAAO,GAAG,CAAC,sBAAsB,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;YAC5D,CAAC;QACH,CAAC;QAED,4DAA4D;QAC5D,OAAO,GAAG,CACR,sBAAsB,EACtB,kFAAkF,EAClF,WAAW,CACZ,CAAC;IACJ,CAAC;IAED,8CAA8C;IAC9C,SAAS,iBAAiB,CAAC,IAAwB;QACjD,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAUpB,+KAA+K,CAAC,CAAC;QAEpL,MAAM,SAAS,GAA6B,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;YAC7D,UAAU,EAAE,GAAG,CAAC,WAAW;YAC3B,MAAM,EAAE,GAAG,CAAC,MAA8B;YAC1C,mBAAmB,EAAE,GAAG,CAAC,oBAAoB;YAC7C,aAAa,EAAE,GAAG,CAAC,eAAe;YAClC,YAAY,EAAE,GAAG,CAAC,cAAc;YAChC,aAAa,EAAE,GAAG,CAAC,cAAc;YACjC,aAAa,EAAE,GAAG,CAAC,eAAe;YAClC,aAAa,EAAE,GAAG,CAAC,eAAe;YAClC,aAAa,EAAE,GAAG,CAAC,cAAc;SAClC,CAAC,CAAC,CAAC;QAEJ,OAAO,EAAE,CAAC,SAAS,CAAC,CAAC;IACvB,CAAC;IAED,iDAAiD;IACjD,SAAS,kBAAkB,CAAC,IAAwB;QAClD,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAClB;+CACyC,CAC1C,CAAC;QACF,OAAO,EAAE,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,CAAC;IAED;;;;;;OAMG;IACH,SAAS,mBAAmB,CAAC,IAAwB,EAAE,SAAoB,EAAE,eAAuB,EAAE,cAA8B;QAClI,0CAA0C;QAC1C,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAClB;;4BAEsB,EACtB,CAAC,SAAS,CAAC,CACZ,CAAC;QAEF,MAAM,QAAQ,GAAG,GAAG,EAAE,eAAe,IAAI,CAAC,CAAC;QAC3C,MAAM,WAAW,GAAG,oBAAoB,CAAC;QACzC,MAAM,SAAS,GAAG,WAAW,GAAG,QAAQ,CAAC;QAEzC,IAAI,eAAe,IAAI,SAAS,EAAE,CAAC;YACjC,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;QAC/B,CAAC;QAED,8BAA8B;QAC9B,QAAQ,cAAc,EAAE,CAAC;YACvB,KAAK,OAAO;gBACV,OAAO,EAAE,CAAC;oBACR,OAAO,EAAE,KAAK;oBACd,MAAM,EAAE,+BAA+B,eAAe,uCAAuC,SAAS,EAAE;iBACzG,CAAC,CAAC;YACL,KAAK,SAAS;gBACZ,OAAO,EAAE,CAAC;oBACR,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,gCAAgC,eAAe,uCAAuC,SAAS,sCAAsC;iBAC9I,CAAC,CAAC;YACL,KAAK,iBAAiB;gBACpB,OAAO,EAAE,CAAC;oBACR,OAAO,EAAE,IAAI;oBACb,MAAM,EAAE,8CAA8C,eAAe,uCAAuC,SAAS,EAAE;iBACxH,CAAC,CAAC;YACL;gBACE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,yBAAyB,EAAE,CAAC,CAAC;QACrE,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,SAAS,kBAAkB,CACzB,IAAwB,EACxB,SAAiB,EACjB,YAAiC;QAEjC,IAAI,CAAC,GAAG,CACN;;4BAEsB,EACtB,CAAC,YAAY,CAAC,kBAAkB,EAAE,SAAS,CAAC,CAC7C,CAAC;IACJ,CAAC;IAED,4DAA4D;IAC5D,MAAM,OAAO,GAAe;QAC1B,gBAAgB;QAChB,OAAO;QACP,aAAa;QACb,iBAAiB;QACjB,kBAAkB;QAClB,mBAAmB;KACpB,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AAChC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAClC,IAAwB,EACxB,UAAkB,EAClB,OAAgB,EAChB,SAAiB,EACjB,YAAqB,EACrB,IAAmB;IAEnB,MAAM,MAAM,GAAG,IAAI,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC;IAC3F,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,CAAC,GAAG,CACN;;;;;;;;6BAQuB,EACvB,CAAC,SAAS,EAAE,UAAU,CAAC,CACxB,CAAC;IACJ,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CACrB,sHAAsH,EACtH,CAAC,UAAU,CAAC,CACb,CAAC;QACF,IAAI,CAAC,MAAM;YAAE,OAAO;QAEpB,MAAM,WAAW,GAAG,MAAM,CAAC,oBAAoB,GAAG,CAAC,CAAC;QACpD,IAAI,WAAW,IAAI,MAAM,CAAC,iBAAiB,EAAE,CAAC;YAC5C,MAAM,aAAa,GAAG,IAAI,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,CAAC,WAAW,EAAE,CAAC;YAC3F,IAAI,CAAC,GAAG,CACN;;;;;;;+BAOuB,EACvB,CAAC,WAAW,EAAE,aAAa,EAAE,YAAY,IAAI,eAAe,EAAE,UAAU,CAAC,CAC1E,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,SAAS,GAAG,WAAW,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5D,IAAI,CAAC,GAAG,CACN;;;;;;;+BAOuB,EACvB,CAAC,WAAW,EAAE,SAAS,EAAE,YAAY,IAAI,eAAe,EAAE,UAAU,CAAC,CACtE,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/substrate/heartbeat/heartbeat_monitor.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Heartbeat Monitor implementation.
+ * S ref: §25.5 (Heartbeat Protocol), FM-20 (Infinite Loops / Hung Workers)
+ *
+ * Phase: 2 (Execution Substrate)
+ * Implements: 30s default heartbeat interval with escalation ladder:
+ *   1 miss = warn, 2 misses = notify orchestrator, 3 misses = kill worker + retry.
+ *
+ * Heartbeat state is colocated in core_task_queue (FPD-5/DL-2) to avoid JOINs
+ * on the hot path per I-14.
+ *
+ * Invariants enforced: I-12 (execution timeout as defense-in-depth), I-14 (latency)
+ * Failure modes defended: FM-20 (hung workers via escalation ladder)
+ *
+ * SYNC interface. All methods return Result<T>.
+ */
+import type { DatabaseConnection } from '../../kernel/interfaces/index.js';
+import type { Result, AuditCreateInput } from '../../kernel/interfaces/index.js';
+import type { TimeProvider } from '../../kernel/interfaces/time.js';
+/**
+ * Minimal audit dependency. Uses only the append method to keep coupling lightweight.
+ * S ref: I-03 (every state mutation and its audit entry in same transaction)
+ */
+interface AuditDep {
+    append(conn: DatabaseConnection, input: AuditCreateInput): Result<unknown>;
+}
+import type { HeartbeatMonitor } from '../interfaces/substrate.js';
+/**
+ * Create a HeartbeatMonitor implementation.
+ * S ref: §25.5, C-07 (Object.freeze)
+ *
+ * Heartbeat data is stored in core_task_queue columns:
+ *   last_heartbeat_at, missed_heartbeats, heartbeat_interval_ms
+ *
+ * The checkCycle() method is designed to be called every polling interval
+ * by the scheduler. It scans all RUNNING tasks and checks for missed heartbeats.
+ */
+export declare function createHeartbeatMonitor(audit?: AuditDep, time?: TimeProvider): HeartbeatMonitor;
+export {};
+//# sourceMappingURL=heartbeat_monitor.d.ts.map

package/dist/substrate/heartbeat/heartbeat_monitor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"heartbeat_monitor.d.ts","sourceRoot":"","sources":["../../../src/substrate/heartbeat/heartbeat_monitor.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAC;AAC3E,OAAO,KAAK,EACV,MAAM,EAIN,gBAAgB,EACjB,MAAM,kCAAkC,CAAC;AAC1C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAEpE;;;GAGG;AACH,UAAU,QAAQ;IAChB,MAAM,CAAC,IAAI,EAAE,kBAAkB,EAAE,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;CAC5E;AACD,OAAO,KAAK,EACV,gBAAgB,EAGjB,MAAM,4BAA4B,CAAC;AAcpC;;;;;;;;;GASG;AACH,wBAAgB,sBAAsB,CAAC,KAAK,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,YAAY,GAAG,gBAAgB,CA6L9F"}