jfl 0.4.4 → 0.6.0

package/dist/lib/setup/smart-recommender.js

@@ -0,0 +1,329 @@
+/**
+ * @purpose Smart agent recommendations using Stratus reasoning model
+ * Instead of template matching, analyzes journal patterns and asks an LLM
+ * to reason about what agents would actually improve the codebase.
+ */
+import { existsSync, readFileSync, readdirSync } from "fs";
+import { join } from "path";
+/**
+ * Deep-analyze journals to extract patterns that template matching misses
+ */
+export function extractJournalInsights(projectRoot) {
+    const insight = {
+        totalSessions: 0,
+        totalEntries: 0,
+        revertRate: 0,
+        topReverts: [],
+        topImproved: [],
+        fileHotspots: [],
+        sessionDurations: [],
+        entryTypes: {},
+        commonPatterns: [],
+        evalHistory: [],
+    };
+    const journalDir = join(projectRoot, ".jfl", "journal");
+    if (!existsSync(journalDir))
+        return insight;
+    const files = readdirSync(journalDir).filter(f => f.endsWith(".jsonl"));
+    insight.totalSessions = files.length;
+    const fileTouches = {};
+    const revertPatterns = {};
+    const improvedPatterns = {};
+    let totalKept = 0;
+    let totalReverted = 0;
+    for (const file of files) {
+        const content = readFileSync(join(journalDir, file), "utf-8");
+        const entries = content.split("\n").filter(l => l.trim());
+        insight.totalEntries += entries.length;
+        let sessionStart = 0;
+        let sessionEnd = 0;
+        for (const line of entries) {
+            try {
+                const entry = JSON.parse(line);
+                // Track entry types
+                const type = entry.type || "unknown";
+                insight.entryTypes[type] = (insight.entryTypes[type] || 0) + 1;
+                // Track timestamps for duration
+                const ts = entry.ts ? new Date(entry.ts).getTime() : 0;
+                if (ts > 0) {
+                    if (sessionStart === 0)
+                        sessionStart = ts;
+                    sessionEnd = ts;
+                }
+                // Track file touches and reverts
+                const files = entry.files || entry.detail?.files_affected || [];
+                const status = entry.status || entry.result || "";
+                for (const f of files) {
+                    const dir = f.split("/").slice(0, 2).join("/");
+                    if (!fileTouches[dir])
+                        fileTouches[dir] = { touches: 0, reverts: 0 };
+                    fileTouches[dir].touches++;
+                    if (status === "reverted" || status === "REVERTED") {
+                        fileTouches[dir].reverts++;
+                    }
+                }
+                // Track revert vs kept patterns
+                if (status === "reverted" || status === "REVERTED") {
+                    totalReverted++;
+                    const scope = entry.scope || entry.agent || type;
+                    revertPatterns[scope] = (revertPatterns[scope] || 0) + 1;
+                }
+                else if (status === "kept" || status === "KEPT" || status === "complete") {
+                    totalKept++;
+                    const scope = entry.scope || entry.agent || type;
+                    improvedPatterns[scope] = (improvedPatterns[scope] || 0) + 1;
+                }
+                // Extract learned lessons
+                if (entry.learned && Array.isArray(entry.learned)) {
+                    for (const lesson of entry.learned) {
+                        if (typeof lesson === "string" && lesson.length > 20) {
+                            insight.commonPatterns.push(lesson);
+                        }
+                    }
+                }
+            }
+            catch { /* skip */ }
+        }
+        if (sessionStart > 0 && sessionEnd > sessionStart) {
+            insight.sessionDurations.push((sessionEnd - sessionStart) / 1000 / 60); // minutes
+        }
+    }
+    // Compute revert rate
+    const total = totalKept + totalReverted;
+    insight.revertRate = total > 0 ? totalReverted / total : 0;
+    // Sort hotspots
+    insight.fileHotspots = Object.entries(fileTouches)
+        .map(([path, stats]) => ({ path, ...stats }))
+        .sort((a, b) => b.touches - a.touches)
+        .slice(0, 15);
+    insight.topReverts = Object.entries(revertPatterns)
+        .map(([pattern, count]) => ({ pattern, count }))
+        .sort((a, b) => b.count - a.count)
+        .slice(0, 10);
+    insight.topImproved = Object.entries(improvedPatterns)
+        .map(([pattern, count]) => ({ pattern, count }))
+        .sort((a, b) => b.count - a.count)
+        .slice(0, 10);
+    // Extract eval history from training buffer
+    const bufferPath = join(projectRoot, ".jfl", "training-buffer.jsonl");
+    if (existsSync(bufferPath)) {
+        const agentScores = {};
+        const content = readFileSync(bufferPath, "utf-8");
+        for (const line of content.split("\n").filter(l => l.trim())) {
+            try {
+                const entry = JSON.parse(line);
+                const agent = entry.agent || entry.agent_name || "unknown";
+                const score = entry.reward ?? entry.score ?? entry.eval_score;
+                if (typeof score === "number") {
+                    if (!agentScores[agent])
+                        agentScores[agent] = [];
+                    agentScores[agent].push(score);
+                }
+            }
+            catch { /* skip */ }
+        }
+        insight.evalHistory = Object.entries(agentScores).map(([agent, scores]) => {
+            const half = Math.floor(scores.length / 2);
+            const firstHalf = scores.slice(0, half);
+            const secondHalf = scores.slice(half);
+            const avgFirst = firstHalf.length > 0 ? firstHalf.reduce((a, b) => a + b, 0) / firstHalf.length : 0;
+            const avgSecond = secondHalf.length > 0 ? secondHalf.reduce((a, b) => a + b, 0) / secondHalf.length : 0;
+            const trend = avgSecond > avgFirst + 0.05 ? "improving"
+                : avgSecond < avgFirst - 0.05 ? "degrading"
+                    : "flat";
+            return { agent, scores, trend };
+        });
+    }
+    // Dedupe and limit patterns
+    insight.commonPatterns = [...new Set(insight.commonPatterns)].slice(0, 20);
+    return insight;
+}
+/**
+ * Build the prompt for Stratus to reason about agent recommendations
+ */
+export function buildRecommendationPrompt(insight, existingAgents) {
+    let prompt = `You are an expert at designing RL agents for software projects. Based on the following project analysis, recommend specific agents that would improve this codebase.
+
+## Project Data
+
+Sessions: ${insight.totalSessions}
+Journal entries: ${insight.totalEntries}
+Revert rate: ${(insight.revertRate * 100).toFixed(1)}%
+
+### File Hotspots (most-touched directories)
+${insight.fileHotspots.slice(0, 10).map(f => `- ${f.path}: ${f.touches} touches, ${f.reverts} reverts (${f.touches > 0 ? ((f.reverts / f.touches * 100).toFixed(0)) : 0}% revert rate)`).join("\n")}
+
+### Top Revert Patterns (what keeps failing)
+${insight.topReverts.map(r => `- ${r.pattern}: ${r.count} reverts`).join("\n") || "None recorded"}
+
+### Top Improvement Patterns (what works)
+${insight.topImproved.map(r => `- ${r.pattern}: ${r.count} kept`).join("\n") || "None recorded"}
+
+### Entry Types
+${Object.entries(insight.entryTypes).map(([t, c]) => `- ${t}: ${c}`).join("\n")}
+
+### Eval History (existing agents)
+${insight.evalHistory.map(e => `- ${e.agent}: ${e.scores.length} evals, trend: ${e.trend}, latest: ${e.scores[e.scores.length - 1]?.toFixed(2) || "n/a"}`).join("\n") || "No eval history"}
+
+### Lessons Learned (from journals)
+${insight.commonPatterns.slice(0, 10).map(p => `- ${p}`).join("\n") || "None recorded"}
+
+### Existing Agents (already configured)
+${existingAgents.length > 0 ? existingAgents.map(a => `- ${a}`).join("\n") : "None"}
+
+## Instructions
+
+Recommend 2-5 NEW agents (not already configured). For each, provide:
+1. **name**: kebab-case, descriptive
+2. **scope**: what area it targets
+3. **metric**: what it measures (snake_case)
+4. **direction**: "maximize" or "minimize"
+5. **rationale**: WHY this agent based on the data above (cite specific patterns)
+6. **confidence**: 0-1 how confident you are this will help
+7. **filePatterns**: which directories/files to scope
+8. **evalHint**: what the eval script should check
+9. **priority**: 1-5 (1 = highest)
+
+Focus on:
+- High revert rate areas (agents to stabilize them)
+- Files touched often but never improving (agents to break the plateau)
+- Missing coverage (areas with no agents)
+- Degrading trends that need intervention
+
+Respond ONLY with valid JSON array of recommendations. No markdown, no explanation outside the JSON.`;
+    return prompt;
+}
+/**
+ * Call Stratus to get smart recommendations
+ */
+export async function getSmartRecommendations(projectRoot, existingAgents, options = {}) {
+    const insight = extractJournalInsights(projectRoot);
+    const prompt = buildRecommendationPrompt(insight, existingAgents);
+    const apiKey = options.apiKey || process.env.STRATUS_API_KEY;
+    const apiUrl = options.apiUrl || process.env.STRATUS_API_URL || "https://api.stratus.run/v1/chat/completions";
+    const model = options.model || "stratus-x1ac-base-claude-haiku-4-5";
+    if (!apiKey) {
+        // Fallback: local heuristic recommendations
+        return heuristicRecommendations(insight, existingAgents);
+    }
+    try {
+        const response = await fetch(apiUrl, {
+            method: "POST",
+            headers: {
+                "Content-Type": "application/json",
+                "Authorization": `Bearer ${apiKey}`,
+            },
+            body: JSON.stringify({
+                model,
+                messages: [{ role: "user", content: prompt }],
+                max_tokens: 2000,
+                temperature: 0.3,
+            }),
+        });
+        if (!response.ok) {
+            const text = await response.text();
+            console.error(`Stratus API error: ${response.status} ${text}`);
+            return heuristicRecommendations(insight, existingAgents);
+        }
+        const data = await response.json();
+        const content = data.choices?.[0]?.message?.content || "";
+        // Parse JSON from response (handle potential markdown wrapping)
+        const jsonStr = content.replace(/^```json?\n?/, "").replace(/\n?```$/, "").trim();
+        const recs = JSON.parse(jsonStr);
+        return recs.filter(r => !existingAgents.includes(r.name)).sort((a, b) => a.priority - b.priority);
+    }
+    catch (err) {
+        console.error(`Smart recommendation failed: ${err.message}`);
+        return heuristicRecommendations(insight, existingAgents);
+    }
+}
+/**
+ * Fallback: heuristic recommendations when no API key available
+ */
+function heuristicRecommendations(insight, existingAgents) {
+    const recs = [];
+    // High revert rate → stability agent
+    if (insight.revertRate > 0.3) {
+        const worstDir = insight.fileHotspots.find(f => f.reverts > 0);
+        if (worstDir && !existingAgents.includes("stability")) {
+            recs.push({
+                name: "stability",
+                scope: "reliability",
+                metric: "revert_rate",
+                direction: "minimize",
+                rationale: `${(insight.revertRate * 100).toFixed(0)}% revert rate — ${worstDir.path} has ${worstDir.reverts}/${worstDir.touches} reverts`,
+                confidence: 0.8,
+                filePatterns: [worstDir.path + "/**"],
+                evalHint: "Count reverted commits in last N rounds, divide by total",
+                priority: 1,
+            });
+        }
+    }
+    // Degrading agents → intervention agent
+    for (const eval_ of insight.evalHistory.filter(e => e.trend === "degrading")) {
+        const name = `fix-${eval_.agent}`;
+        if (!existingAgents.includes(name)) {
+            recs.push({
+                name,
+                scope: "intervention",
+                metric: `${eval_.agent}_score`,
+                direction: "maximize",
+                rationale: `${eval_.agent} is degrading over ${eval_.scores.length} evals`,
+                confidence: 0.7,
+                filePatterns: ["src/**"],
+                evalHint: `Run the same eval as ${eval_.agent} but with a focus on reversing the downward trend`,
+                priority: 2,
+            });
+        }
+    }
+    // Hot files with no agent coverage
+    for (const hotspot of insight.fileHotspots.slice(0, 3)) {
+        if (hotspot.touches > 10 && hotspot.reverts / hotspot.touches > 0.2) {
+            const name = `stabilize-${hotspot.path.replace(/[^a-z0-9]/gi, "-").toLowerCase()}`;
+            if (!existingAgents.includes(name) && !recs.find(r => r.filePatterns.some(p => p.startsWith(hotspot.path)))) {
+                recs.push({
+                    name,
+                    scope: "stability",
+                    metric: "change_success_rate",
+                    direction: "maximize",
+                    rationale: `${hotspot.path} has ${hotspot.touches} touches with ${((hotspot.reverts / hotspot.touches) * 100).toFixed(0)}% revert rate`,
+                    confidence: 0.6,
+                    filePatterns: [hotspot.path + "/**"],
+                    evalHint: "Track ratio of kept vs reverted changes in this directory",
+                    priority: 3,
+                });
+            }
+        }
+    }
+    return recs.slice(0, 5);
+}
+/**
+ * Format insights for human-readable display
+ */
+export function formatInsightsSummary(insight) {
+    const lines = [];
+    lines.push(`    Sessions: ${insight.totalSessions}, Entries: ${insight.totalEntries}`);
+    lines.push(`    Revert rate: ${(insight.revertRate * 100).toFixed(1)}%`);
+    if (insight.fileHotspots.length > 0) {
+        lines.push(`    Hotspots:`);
+        for (const h of insight.fileHotspots.slice(0, 5)) {
+            const revertPct = h.touches > 0 ? ((h.reverts / h.touches) * 100).toFixed(0) : "0";
+            lines.push(`      ${h.path}: ${h.touches} touches, ${revertPct}% reverted`);
+        }
+    }
+    if (insight.evalHistory.length > 0) {
+        lines.push(`    Agent trends:`);
+        for (const e of insight.evalHistory) {
+            const icon = e.trend === "improving" ? "📈" : e.trend === "degrading" ? "📉" : "➡️";
+            lines.push(`      ${icon} ${e.agent}: ${e.trend} (${e.scores.length} evals)`);
+        }
+    }
+    if (insight.topReverts.length > 0) {
+        lines.push(`    Top revert patterns:`);
+        for (const r of insight.topReverts.slice(0, 3)) {
+            lines.push(`      ⚠ ${r.pattern}: ${r.count} reverts`);
+        }
+    }
+    return lines.join("\n");
+}
+//# sourceMappingURL=smart-recommender.js.map

package/dist/lib/setup/smart-recommender.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"smart-recommender.js","sourceRoot":"","sources":["../../../src/lib/setup/smart-recommender.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,IAAI,CAAA;AAC1D,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAA;AA2B3B;;GAEG;AACH,MAAM,UAAU,sBAAsB,CAAC,WAAmB;IACxD,MAAM,OAAO,GAAmB;QAC9B,aAAa,EAAE,CAAC;QAChB,YAAY,EAAE,CAAC;QACf,UAAU,EAAE,CAAC;QACb,UAAU,EAAE,EAAE;QACd,WAAW,EAAE,EAAE;QACf,YAAY,EAAE,EAAE;QAChB,gBAAgB,EAAE,EAAE;QACpB,UAAU,EAAE,EAAE;QACd,cAAc,EAAE,EAAE;QAClB,WAAW,EAAE,EAAE;KAChB,CAAA;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IACvD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;QAAE,OAAO,OAAO,CAAA;IAE3C,MAAM,KAAK,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAA;IACvE,OAAO,CAAC,aAAa,GAAG,KAAK,CAAC,MAAM,CAAA;IAEpC,MAAM,WAAW,GAAyD,EAAE,CAAA;IAC5E,MAAM,cAAc,GAA2B,EAAE,CAAA;IACjD,MAAM,gBAAgB,GAA2B,EAAE,CAAA;IACnD,IAAI,SAAS,GAAG,CAAC,CAAA;IACjB,IAAI,aAAa,GAAG,CAAC,CAAA;IAErB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;QACzD,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,MAAM,CAAA;QAEtC,IAAI,YAAY,GAAG,CAAC,CAAA;QACpB,IAAI,UAAU,GAAG,CAAC,CAAA;QAElB,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;gBAE9B,oBAAoB;gBACpB,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,IAAI,SAAS,CAAA;gBACpC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;gBAE9D,gCAAgC;gBAChC,MAAM,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;gBACtD,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;oBACX,IAAI,YAAY,KAAK,CAAC;wBAAE,YAAY,GAAG,EAAE,CAAA;oBACzC,UAAU,GAAG,EAAE,CAAA;gBACjB,CAAC;gBAED,iCAAiC;gBACjC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,cAAc,IAAI,EAAE,CAAA;gBAC/D,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,CAAA;gBAEjD,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;oBACtB,MAAM,GAAG,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;oBAC9C,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC;wBAAE,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAA;oBACpE,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAA;oBAE1B,IAAI,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;wBACnD,WAAW,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAA;oBAC5B,CAAC;gBACH,CAAC;gBAED,gCAAgC;gBAChC,IAAI,MAAM,KAAK,UAAU,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;oBACnD,aAAa,EAAE,CAAA;oBACf,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,IAAI,CAAA;oBAChD,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;gBAC1D,CAAC;qBAAM,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,UAAU,EAAE,CAAC;oBAC3E,SAAS,EAAE,CAAA;oBACX,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,KAAK,IAAI,IAAI,CAAA;oBAChD,gBAAgB,CAAC,KAAK,CAAC,GAAG,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAA;gBAC9D,CAAC;gBAED,0BAA0B;gBAC1B,IAAI,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;oBAClD,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;wBACnC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,GAAG,EAAE,EAAE,CAAC;4BACrD,OAAO,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;wBACrC,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;QACxB,CAAC;QAED,IAAI,YAAY,GAAG,CAAC,IAAI,UAAU,GAAG,YAAY,EAAE,CAAC;YAClD,OAAO,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC,UAAU,GAAG,YAAY,CAAC,GAAG,IAAI,GAAG,EAAE,CAAC,CAAA,CAAC,UAAU;QACnF,CAAC;IACH,CAAC;IAED,sBAAsB;IACtB,MAAM,KAAK,GAAG,SAAS,GAAG,aAAa,CAAA;IACvC,OAAO,CAAC,UAAU,GAAG,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;IAE1D,gBAAgB;IAChB,OAAO,CAAC,YAAY,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC;SAC/C,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC;SAC5C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC;SACrC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAEf,OAAO,CAAC,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC;SAChD,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;SAC/C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;SACjC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAEf,OAAO,CAAC,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,gBAAgB,CAAC;SACnD,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;SAC/C,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC;SACjC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAEf,4CAA4C;IAC5C,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,uBAAuB,CAAC,CAAA;IACrE,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,MAAM,WAAW,GAA6B,EAAE,CAAA;QAChD,MAAM,OAAO,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACjD,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;YAC7D,IAAI,CAAC;gBACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;gBAC9B,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,IAAI,SAAS,CAAA;gBAC1D,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,IAAI,KAAK,CAAC,UAAU,CAAA;gBAC7D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;oBAC9B,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC;wBAAE,WAAW,CAAC,KAAK,CAAC,GAAG,EAAE,CAAA;oBAChD,WAAW,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBAChC,CAAC;YACH,CAAC;YAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;QACxB,CAAC;QAED,OAAO,CAAC,WAAW,GAAG,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE,EAAE;YACxE,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YAC1C,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;YACvC,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YACrC,MAAM,QAAQ,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;YACnG,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;YACvG,MAAM,KAAK,GAAG,SAAS,GAAG,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,WAAoB;gBAC9D,CAAC,CAAC,SAAS,GAAG,QAAQ,GAAG,IAAI,CAAC,CAAC,CAAC,WAAoB;oBACpD,CAAC,CAAC,MAAe,CAAA;YACnB,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;QACjC,CAAC,CAAC,CAAA;IACJ,CAAC;IAED,4BAA4B;IAC5B,OAAO,CAAC,cAAc,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IAE1E,OAAO,OAAO,CAAA;AAChB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,yBAAyB,CAAC,OAAuB,EAAE,cAAwB;IACzF,IAAI,MAAM,GAAG;;;;YAIH,OAAO,CAAC,aAAa;mBACd,OAAO,CAAC,YAAY;eACxB,CAAC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;;;EAGlD,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,aAAa,CAAC,CAAC,OAAO,aAAa,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;;EAGjM,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe;;;EAG/F,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe;;;EAG7F,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;;;EAG7E,OAAO,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,kBAAkB,CAAC,CAAC,KAAK,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,iBAAiB;;;EAGxL,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,eAAe;;;EAGpF,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM;;;;;;;;;;;;;;;;;;;;;qGAqBkB,CAAA;IAEnG,OAAO,MAAM,CAAA;AACf,CAAC;AAED;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,WAAmB,EACnB,cAAwB,EACxB,UAAgE,EAAE;IAElE,MAAM,OAAO,GAAG,sBAAsB,CAAC,WAAW,CAAC,CAAA;IACnD,MAAM,MAAM,GAAG,yBAAyB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAA;IAEjE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,eAAe,CAAA;IAC5D,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,OAAO,CAAC,GAAG,CAAC,eAAe,IAAI,6CAA6C,CAAA;IAC7G,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,oCAAoC,CAAA;IAEnE,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,4CAA4C;QAC5C,OAAO,wBAAwB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAA;IAC1D,CAAC;IAED,IAAI,CAAC;QACH,MAAM,QAAQ,GAAG,MAAM,KAAK,CAAC,MAAM,EAAE;YACnC,MAAM,EAAE,MAAM;YACd,OAAO,EAAE;gBACP,cAAc,EAAE,kBAAkB;gBAClC,eAAe,EAAE,UAAU,MAAM,EAAE;aACpC;YACD,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC;gBACnB,KAAK;gBACL,QAAQ,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC;gBAC7C,UAAU,EAAE,IAAI;gBAChB,WAAW,EAAE,GAAG;aACjB,CAAC;SACH,CAAC,CAAA;QAEF,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;YACjB,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAA;YAClC,OAAO,CAAC,KAAK,CAAC,sBAAsB,QAAQ,CAAC,MAAM,IAAI,IAAI,EAAE,CAAC,CAAA;YAC9D,OAAO,wBAAwB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAA;QAC1D,CAAC;QAED,MAAM,IAAI,GAAG,MAAM,QAAQ,CAAC,IAAI,EAAS,CAAA;QACzC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,IAAI,EAAE,CAAA;QAEzD,gEAAgE;QAChE,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAA;QACjF,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA0B,CAAA;QACzD,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IACnG,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,OAAO,CAAC,KAAK,CAAC,gCAAgC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAA;QAC5D,OAAO,wBAAwB,CAAC,OAAO,EAAE,cAAc,CAAC,CAAA;IAC1D,CAAC;AACH,CAAC;AAED;;GAEG;AACH,SAAS,wBAAwB,CAC/B,OAAuB,EACvB,cAAwB;IAExB,MAAM,IAAI,GAA0B,EAAE,CAAA;IAEtC,qCAAqC;IACrC,IAAI,OAAO,CAAC,UAAU,GAAG,GAAG,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,CAAA;QAC9D,IAAI,QAAQ,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;YACtD,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI,EAAE,WAAW;gBACjB,KAAK,EAAE,aAAa;gBACpB,MAAM,EAAE,aAAa;gBACrB,SAAS,EAAE,UAAU;gBACrB,SAAS,EAAE,GAAG,CAAC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,mBAAmB,QAAQ,CAAC,IAAI,QAAQ,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,OAAO,UAAU;gBACzI,UAAU,EAAE,GAAG;gBACf,YAAY,EAAE,CAAC,QAAQ,CAAC,IAAI,GAAG,KAAK,CAAC;gBACrC,QAAQ,EAAE,0DAA0D;gBACpE,QAAQ,EAAE,CAAC;aACZ,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,wCAAwC;IACxC,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,KAAK,WAAW,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,KAAK,EAAE,CAAA;QACjC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,IAAI,CAAC,IAAI,CAAC;gBACR,IAAI;gBACJ,KAAK,EAAE,cAAc;gBACrB,MAAM,EAAE,GAAG,KAAK,CAAC,KAAK,QAAQ;gBAC9B,SAAS,EAAE,UAAU;gBACrB,SAAS,EAAE,GAAG,KAAK,CAAC,KAAK,sBAAsB,KAAK,CAAC,MAAM,CAAC,MAAM,QAAQ;gBAC1E,UAAU,EAAE,GAAG;gBACf,YAAY,EAAE,CAAC,QAAQ,CAAC;gBACxB,QAAQ,EAAE,wBAAwB,KAAK,CAAC,KAAK,mDAAmD;gBAChG,QAAQ,EAAE,CAAC;aACZ,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,mCAAmC;IACnC,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QACvD,IAAI,OAAO,CAAC,OAAO,GAAG,EAAE,IAAI,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,GAAG,GAAG,EAAE,CAAC;YACpE,MAAM,IAAI,GAAG,aAAa,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,EAAE,CAAA;YAClF,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC5G,IAAI,CAAC,IAAI,CAAC;oBACR,IAAI;oBACJ,KAAK,EAAE,WAAW;oBAClB,MAAM,EAAE,qBAAqB;oBAC7B,SAAS,EAAE,UAAU;oBACrB,SAAS,EAAE,GAAG,OAAO,CAAC,IAAI,QAAQ,OAAO,CAAC,OAAO,iBAAiB,CAAC,CAAC,OAAO,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,eAAe;oBACvI,UAAU,EAAE,GAAG;oBACf,YAAY,EAAE,CAAC,OAAO,CAAC,IAAI,GAAG,KAAK,CAAC;oBACpC,QAAQ,EAAE,2DAA2D;oBACrE,QAAQ,EAAE,CAAC;iBACZ,CAAC,CAAA;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACzB,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,qBAAqB,CAAC,OAAuB;IAC3D,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,KAAK,CAAC,IAAI,CAAC,iBAAiB,OAAO,CAAC,aAAa,cAAc,OAAO,CAAC,YAAY,EAAE,CAAC,CAAA;IACtF,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,OAAO,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAExE,IAAI,OAAO,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;QAC3B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YACjD,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;YAClF,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,aAAa,SAAS,YAAY,CAAC,CAAA;QAC7E,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;QAC/B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;YACpC,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;YACnF,KAAK,CAAC,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,MAAM,CAAC,MAAM,SAAS,CAAC,CAAA;QAC/E,CAAC;IACH,CAAC;IAED,IAAI,OAAO,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAA;QACtC,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,KAAK,UAAU,CAAC,CAAA;QACxD,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACzB,CAAC"}

package/dist/lib/setup/spec-generator.d.ts

@@ -0,0 +1,63 @@
+/**
+ * @purpose Generate TLA+ specifications from project analysis
+ * Scans codebase structure, journal entries, and service configs
+ * to produce a formal model that TLC/Apalache can verify.
+ */
+export interface SystemModel {
+    services: ServiceDef[];
+    stateVariables: StateVariable[];
+    actions: ActionDef[];
+    invariants: InvariantDef[];
+    concurrencyPatterns: ConcurrencyPattern[];
+}
+export interface ServiceDef {
+    name: string;
+    type: "process" | "cli" | "library";
+    port?: number;
+    dependencies: string[];
+}
+export interface StateVariable {
+    name: string;
+    type: string;
+    domain: string[];
+    source: string;
+}
+export interface ActionDef {
+    name: string;
+    preconditions: string[];
+    effects: string[];
+    source: string;
+}
+export interface InvariantDef {
+    name: string;
+    description: string;
+    formula: string;
+    severity: "critical" | "warning" | "info";
+    source: string;
+}
+export interface ConcurrencyPattern {
+    type: "parallel_edit" | "race_condition" | "stale_read" | "cascading_failure";
+    description: string;
+    actors: string[];
+    resource: string;
+}
+/**
+ * Scan project structure and journals to extract a system model
+ */
+export declare function extractSystemModel(projectRoot: string): SystemModel;
+/**
+ * Generate a TLA+ specification from a system model
+ */
+export declare function generateTLASpec(model: SystemModel, specName: string): string;
+/**
+ * Generate TLC config file
+ */
+export declare function generateTLCConfig(model: SystemModel, specName: string): string;
+/**
+ * Write spec and config to disk, return paths
+ */
+export declare function writeSpec(projectRoot: string, model: SystemModel, specName?: string): {
+    specPath: string;
+    cfgPath: string;
+};
+//# sourceMappingURL=spec-generator.d.ts.map

package/dist/lib/setup/spec-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-generator.d.ts","sourceRoot":"","sources":["../../../src/lib/setup/spec-generator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAKH,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,UAAU,EAAE,CAAA;IACtB,cAAc,EAAE,aAAa,EAAE,CAAA;IAC/B,OAAO,EAAE,SAAS,EAAE,CAAA;IACpB,UAAU,EAAE,YAAY,EAAE,CAAA;IAC1B,mBAAmB,EAAE,kBAAkB,EAAE,CAAA;CAC1C;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,SAAS,GAAG,KAAK,GAAG,SAAS,CAAA;IACnC,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,YAAY,EAAE,MAAM,EAAE,CAAA;CACvB;AAED,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,aAAa,EAAE,MAAM,EAAE,CAAA;IACvB,OAAO,EAAE,MAAM,EAAE,CAAA;IACjB,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAA;IACZ,WAAW,EAAE,MAAM,CAAA;IACnB,OAAO,EAAE,MAAM,CAAA;IACf,QAAQ,EAAE,UAAU,GAAG,SAAS,GAAG,MAAM,CAAA;IACzC,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,kBAAkB;IACjC,IAAI,EAAE,eAAe,GAAG,gBAAgB,GAAG,YAAY,GAAG,mBAAmB,CAAA;IAC7E,WAAW,EAAE,MAAM,CAAA;IACnB,MAAM,EAAE,MAAM,EAAE,CAAA;IAChB,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,WAAW,EAAE,MAAM,GAAG,WAAW,CAoInE;AAED;;GAEG;AACH,wBAAgB,eAAe,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CA8H5E;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CA2B9E;AAED;;GAEG;AACH,wBAAgB,SAAS,CACvB,WAAW,EAAE,MAAM,EACnB,KAAK,EAAE,WAAW,EAClB,QAAQ,GAAE,MAAqB,GAC9B;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAcvC"}