jfl 0.4.4 → 0.6.0

package/dist/lib/setup/spec-generator.js

@@ -0,0 +1,310 @@
+/**
+ * @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.
+ */
+import { existsSync, readFileSync, readdirSync, writeFileSync, mkdirSync } from "fs";
+import { join, basename } from "path";
+/**
+ * Scan project structure and journals to extract a system model
+ */
+export function extractSystemModel(projectRoot) {
+    const model = {
+        services: [],
+        stateVariables: [],
+        actions: [],
+        invariants: [],
+        concurrencyPatterns: [],
+    };
+    // 1. Extract services from services.json
+    const servicesPath = join(projectRoot, ".jfl", "services.json");
+    if (existsSync(servicesPath)) {
+        const services = JSON.parse(readFileSync(servicesPath, "utf-8"));
+        for (const [id, svc] of Object.entries(services)) {
+            model.services.push({
+                name: id,
+                type: svc.type || "process",
+                port: svc.port,
+                dependencies: [], // filled in below
+            });
+            // Each service has a status variable
+            model.stateVariables.push({
+                name: `${id}_status`,
+                type: "status",
+                domain: ["up", "down", "deploying"],
+                source: "services.json",
+            });
+        }
+    }
+    // 2. Extract agent configs
+    const agentsDir = join(projectRoot, ".jfl", "agents");
+    if (existsSync(agentsDir)) {
+        for (const file of readdirSync(agentsDir).filter(f => f.endsWith(".toml"))) {
+            const content = readFileSync(join(agentsDir, file), "utf-8");
+            const name = basename(file, ".toml");
+            const targetRepo = extractTomlValue(content, "target_repo") || projectRoot;
+            const scope = extractTomlValue(content, "scope") || "unknown";
+            // Agent status variable
+            model.stateVariables.push({
+                name: `agent_${name}_status`,
+                type: "status",
+                domain: ["idle", "scheduled", "running", "eval", "done"],
+                source: `agents/${file}`,
+            });
+            // Agent actions
+            model.actions.push({
+                name: `Schedule_${name}`,
+                preconditions: [`agent_${name}_status = "idle"`, `hub_status = "up"`],
+                effects: [`agent_${name}_status`],
+                source: `agents/${file}`,
+            });
+            model.actions.push({
+                name: `Run_${name}`,
+                preconditions: [`agent_${name}_status = "scheduled"`, `repo_lock_available(${targetRepo})`],
+                effects: [`agent_${name}_status`, `repo_locks`],
+                source: `agents/${file}`,
+            });
+        }
+    }
+    // 3. Analyze journals for concurrency patterns
+    const journalDir = join(projectRoot, ".jfl", "journal");
+    if (existsSync(journalDir)) {
+        const sessionFiles = readdirSync(journalDir).filter(f => f.endsWith(".jsonl"));
+        const sessions = [];
+        for (const file of sessionFiles) {
+            const entries = [];
+            const content = readFileSync(join(journalDir, file), "utf-8");
+            for (const line of content.split("\n").filter(l => l.trim())) {
+                try {
+                    const entry = JSON.parse(line);
+                    entries.push({
+                        timestamp: entry.timestamp || 0,
+                        files: entry.files || [],
+                        type: entry.type || "unknown",
+                    });
+                }
+                catch { /* skip */ }
+            }
+            if (entries.length > 0)
+                sessions.push(entries);
+        }
+        // Find overlapping sessions (parallel edits)
+        for (let i = 0; i < sessions.length; i++) {
+            for (let j = i + 1; j < sessions.length; j++) {
+                const overlap = findFileOverlap(sessions[i], sessions[j]);
+                if (overlap.length > 0) {
+                    model.concurrencyPatterns.push({
+                        type: "parallel_edit",
+                        description: `Sessions ${i} and ${j} edited ${overlap.length} common files`,
+                        actors: [`session_${i}`, `session_${j}`],
+                        resource: overlap[0],
+                    });
+                }
+            }
+        }
+    }
+    // 4. Infer invariants from patterns
+    if (model.concurrencyPatterns.some(p => p.type === "parallel_edit")) {
+        model.invariants.push({
+            name: "NoParallelEdits",
+            description: "No two agents should edit the same file scope simultaneously",
+            formula: `\\A r \\in Repos : Cardinality(repoLocks[r]) <= 1`,
+            severity: "critical",
+            source: "journal_analysis",
+        });
+    }
+    // Always add basic invariants
+    model.invariants.push({
+        name: "HubRequiredForScheduling",
+        description: "Agents cannot be scheduled when hub is down",
+        formula: `serviceStatus["hub"] = "down" => \\A a \\in Agents : agentStatus[a] \\notin {"running", "eval"}`,
+        severity: "critical",
+        source: "system_design",
+    });
+    model.invariants.push({
+        name: "LockIntegrity",
+        description: "Running agents must hold their repo lock",
+        formula: `\\A a \\in Agents : agentStatus[a] \\in {"running", "eval"} => a \\in repoLocks[agentRepo[a]]`,
+        severity: "critical",
+        source: "system_design",
+    });
+    return model;
+}
+/**
+ * Generate a TLA+ specification from a system model
+ */
+export function generateTLASpec(model, specName) {
+    const services = model.services.map(s => `"${s.name}"`).join(", ");
+    const agents = model.stateVariables
+        .filter(v => v.name.startsWith("agent_") && v.type === "status")
+        .map(v => `"${v.name.replace("agent_", "").replace("_status", "")}"`)
+        .join(", ");
+    let spec = `---- MODULE ${specName} ----
+\\* Auto-generated by jfl setup — ${new Date().toISOString()}
+\\* System model extracted from project analysis
+
+EXTENDS Integers, Sequences, FiniteSets
+
+CONSTANTS
+    Agents,
+    Services,
+    Repos,
+    MaxRounds,
+    MaxBufferLen
+
+VARIABLES
+    serviceStatus,
+    agentStatus,
+    agentRepo,
+    agentRound,
+    repoLocks,
+    trainingBuffer
+
+vars == <<serviceStatus, agentStatus, agentRepo, agentRound, repoLocks, trainingBuffer>>
+
+Init ==
+    /\\ serviceStatus = [s \\in Services |-> "up"]
+    /\\ agentStatus = [a \\in Agents |-> "idle"]
+    /\\ agentRepo = [a \\in Agents |-> CHOOSE r \\in Repos : TRUE]
+    /\\ agentRound = [a \\in Agents |-> 0]
+    /\\ repoLocks = [r \\in Repos |-> {}]
+    /\\ trainingBuffer = <<>>
+
+\\* --- Service Actions ---
+ServiceCrash(s) ==
+    /\\ serviceStatus[s] = "up"
+    /\\ serviceStatus' = [serviceStatus EXCEPT ![s] = "down"]
+    /\\ UNCHANGED <<agentStatus, agentRepo, agentRound, repoLocks, trainingBuffer>>
+
+ServiceRestart(s) ==
+    /\\ serviceStatus[s] = "down"
+    /\\ serviceStatus' = [serviceStatus EXCEPT ![s] = "up"]
+    /\\ UNCHANGED <<agentStatus, agentRepo, agentRound, repoLocks, trainingBuffer>>
+
+\\* --- Agent Actions ---
+ScheduleAgent(a) ==
+    /\\ agentStatus[a] = "idle"
+    /\\ agentRound[a] < MaxRounds
+    /\\ serviceStatus["hub"] = "up"
+    /\\ agentStatus' = [agentStatus EXCEPT ![a] = "scheduled"]
+    /\\ UNCHANGED <<serviceStatus, agentRepo, agentRound, repoLocks, trainingBuffer>>
+
+AgentStart(a) ==
+    /\\ agentStatus[a] = "scheduled"
+    /\\ LET repo == agentRepo[a] IN
+        /\\ Cardinality(repoLocks[repo]) < 2
+        /\\ repoLocks' = [repoLocks EXCEPT ![repo] = repoLocks[repo] \\cup {a}]
+        /\\ agentStatus' = [agentStatus EXCEPT ![a] = "running"]
+    /\\ UNCHANGED <<serviceStatus, agentRepo, agentRound, trainingBuffer>>
+
+AgentEval(a) ==
+    /\\ agentStatus[a] = "running"
+    /\\ serviceStatus["hub"] = "up"
+    /\\ agentStatus' = [agentStatus EXCEPT ![a] = "eval"]
+    /\\ UNCHANGED <<serviceStatus, agentRepo, agentRound, repoLocks, trainingBuffer>>
+
+AgentComplete(a) ==
+    /\\ agentStatus[a] = "eval"
+    /\\ Len(trainingBuffer) < MaxBufferLen
+    /\\ LET repo == agentRepo[a] IN
+        /\\ repoLocks' = [repoLocks EXCEPT ![repo] = repoLocks[repo] \\ {a}]
+        /\\ agentStatus' = [agentStatus EXCEPT ![a] = "done"]
+        /\\ agentRound' = [agentRound EXCEPT ![a] = agentRound[a] + 1]
+        /\\ \\E score \\in {0, 50, 100} :
+            trainingBuffer' = Append(trainingBuffer, [agent |-> a, repo |-> repo, score |-> score])
+    /\\ UNCHANGED <<serviceStatus, agentRepo>>
+
+AgentReset(a) ==
+    /\\ agentStatus[a] = "done"
+    /\\ agentRound[a] < MaxRounds
+    /\\ agentStatus' = [agentStatus EXCEPT ![a] = "idle"]
+    /\\ UNCHANGED <<serviceStatus, agentRepo, agentRound, repoLocks, trainingBuffer>>
+
+AgentRecover(a) ==
+    /\\ agentStatus[a] \\in {"scheduled", "running", "eval"}
+    /\\ serviceStatus["hub"] = "down"
+    /\\ LET repo == agentRepo[a] IN
+        /\\ repoLocks' = [repoLocks EXCEPT ![repo] = repoLocks[repo] \\ {a}]
+        /\\ agentStatus' = [agentStatus EXCEPT ![a] = "idle"]
+    /\\ UNCHANGED <<serviceStatus, agentRepo, agentRound, trainingBuffer>>
+
+Next ==
+    \\/ \\E s \\in Services : ServiceCrash(s)
+    \\/ \\E s \\in Services : ServiceRestart(s)
+    \\/ \\E a \\in Agents : ScheduleAgent(a)
+    \\/ \\E a \\in Agents : AgentStart(a)
+    \\/ \\E a \\in Agents : AgentEval(a)
+    \\/ \\E a \\in Agents : AgentComplete(a)
+    \\/ \\E a \\in Agents : AgentReset(a)
+    \\/ \\E a \\in Agents : AgentRecover(a)
+
+\\* --- Invariants ---
+`;
+    // Add invariants from model
+    for (const inv of model.invariants) {
+        spec += `\n${inv.name} ==\n    ${inv.formula}\n`;
+    }
+    spec += `
+BoundedConcurrency ==
+    \\A r \\in Repos : Cardinality(repoLocks[r]) <= 2
+
+BufferBounded ==
+    Len(trainingBuffer) <= MaxBufferLen
+
+Spec == Init /\\ [][Next]_vars
+
+====
+`;
+    return spec;
+}
+/**
+ * Generate TLC config file
+ */
+export function generateTLCConfig(model, specName) {
+    const agents = model.stateVariables
+        .filter(v => v.name.startsWith("agent_") && v.type === "status")
+        .map(v => `"${v.name.replace("agent_", "").replace("_status", "")}"`);
+    const services = model.services.map(s => `"${s.name}"`);
+    // Infer repos from agent target_repos
+    const repos = [`"default"`]; // always have at least one
+    let cfg = `SPECIFICATION Spec\n\n`;
+    cfg += `CONSTANTS\n`;
+    cfg += `    Agents = {${agents.join(", ")}}\n`;
+    cfg += `    Services = {${services.join(", ")}, "hub"}\n`;
+    cfg += `    Repos = {${repos.join(", ")}}\n`;
+    cfg += `    MaxRounds = 1\n`;
+    cfg += `    MaxBufferLen = ${agents.length}\n`;
+    cfg += `\n`;
+    cfg += `INVARIANTS\n`;
+    for (const inv of model.invariants) {
+        cfg += `    ${inv.name}\n`;
+    }
+    cfg += `    BoundedConcurrency\n`;
+    cfg += `    BufferBounded\n`;
+    return cfg;
+}
+/**
+ * Write spec and config to disk, return paths
+ */
+export function writeSpec(projectRoot, model, specName = "SystemSpec") {
+    const specDir = join(projectRoot, ".jfl", "specs");
+    mkdirSync(specDir, { recursive: true });
+    const spec = generateTLASpec(model, specName);
+    const cfg = generateTLCConfig(model, specName);
+    const specPath = join(specDir, `${specName}.tla`);
+    const cfgPath = join(specDir, `${specName}.cfg`);
+    writeFileSync(specPath, spec);
+    writeFileSync(cfgPath, cfg);
+    return { specPath, cfgPath };
+}
+// --- Helpers ---
+function extractTomlValue(content, key) {
+    const match = content.match(new RegExp(`${key}\\s*=\\s*"([^"]+)"`));
+    return match ? match[1] : null;
+}
+function findFileOverlap(session1, session2) {
+    const files1 = session1.flatMap(e => e.files);
+    const files2Set = new Set(session2.flatMap(e => e.files));
+    return files1.filter(f => files2Set.has(f));
+}
+//# sourceMappingURL=spec-generator.js.map

package/dist/lib/setup/spec-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"spec-generator.js","sourceRoot":"","sources":["../../../src/lib/setup/spec-generator.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,WAAW,EAAE,aAAa,EAAE,SAAS,EAAE,MAAM,IAAI,CAAA;AACpF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAA;AA8CrC;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,WAAmB;IACpD,MAAM,KAAK,GAAgB;QACzB,QAAQ,EAAE,EAAE;QACZ,cAAc,EAAE,EAAE;QAClB,OAAO,EAAE,EAAE;QACX,UAAU,EAAE,EAAE;QACd,mBAAmB,EAAE,EAAE;KACxB,CAAA;IAED,yCAAyC;IACzC,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,eAAe,CAAC,CAAA;IAC/D,IAAI,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC,CAAA;QAChE,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAoB,EAAE,CAAC;YACpE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,EAAE;gBACR,IAAI,EAAE,GAAG,CAAC,IAAI,IAAI,SAAS;gBAC3B,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,YAAY,EAAE,EAAE,EAAE,kBAAkB;aACrC,CAAC,CAAA;YAEF,qCAAqC;YACrC,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC;gBACxB,IAAI,EAAE,GAAG,EAAE,SAAS;gBACpB,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,CAAC,IAAI,EAAE,MAAM,EAAE,WAAW,CAAC;gBACnC,MAAM,EAAE,eAAe;aACxB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,2BAA2B;IAC3B,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAA;IACrD,IAAI,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1B,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAC3E,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAA;YAC5D,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;YACpC,MAAM,UAAU,GAAG,gBAAgB,CAAC,OAAO,EAAE,aAAa,CAAC,IAAI,WAAW,CAAA;YAC1E,MAAM,KAAK,GAAG,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,IAAI,SAAS,CAAA;YAE7D,wBAAwB;YACxB,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC;gBACxB,IAAI,EAAE,SAAS,IAAI,SAAS;gBAC5B,IAAI,EAAE,QAAQ;gBACd,MAAM,EAAE,CAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,CAAC;gBACxD,MAAM,EAAE,UAAU,IAAI,EAAE;aACzB,CAAC,CAAA;YAEF,gBAAgB;YAChB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBACjB,IAAI,EAAE,YAAY,IAAI,EAAE;gBACxB,aAAa,EAAE,CAAC,SAAS,IAAI,kBAAkB,EAAE,mBAAmB,CAAC;gBACrE,OAAO,EAAE,CAAC,SAAS,IAAI,SAAS,CAAC;gBACjC,MAAM,EAAE,UAAU,IAAI,EAAE;aACzB,CAAC,CAAA;YAEF,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBACjB,IAAI,EAAE,OAAO,IAAI,EAAE;gBACnB,aAAa,EAAE,CAAC,SAAS,IAAI,uBAAuB,EAAE,uBAAuB,UAAU,GAAG,CAAC;gBAC3F,OAAO,EAAE,CAAC,SAAS,IAAI,SAAS,EAAE,YAAY,CAAC;gBAC/C,MAAM,EAAE,UAAU,IAAI,EAAE;aACzB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,+CAA+C;IAC/C,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,CAAC,CAAA;IACvD,IAAI,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3B,MAAM,YAAY,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAA;QAC9E,MAAM,QAAQ,GAA6D,EAAE,CAAA;QAE7E,KAAK,MAAM,IAAI,IAAI,YAAY,EAAE,CAAC;YAChC,MAAM,OAAO,GAA2D,EAAE,CAAA;YAC1E,MAAM,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,EAAE,OAAO,CAAC,CAAA;YAC7D,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC;gBAC7D,IAAI,CAAC;oBACH,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;oBAC9B,OAAO,CAAC,IAAI,CAAC;wBACX,SAAS,EAAE,KAAK,CAAC,SAAS,IAAI,CAAC;wBAC/B,KAAK,EAAE,KAAK,CAAC,KAAK,IAAI,EAAE;wBACxB,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,SAAS;qBAC9B,CAAC,CAAA;gBACJ,CAAC;gBAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC;YACxB,CAAC;YACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAChD,CAAC;QAED,6CAA6C;QAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACzC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,OAAO,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;gBACzD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACvB,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC;wBAC7B,IAAI,EAAE,eAAe;wBACrB,WAAW,EAAE,YAAY,CAAC,QAAQ,CAAC,WAAW,OAAO,CAAC,MAAM,eAAe;wBAC3E,MAAM,EAAE,CAAC,WAAW,CAAC,EAAE,EAAE,WAAW,CAAC,EAAE,CAAC;wBACxC,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC;qBACrB,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,oCAAoC;IACpC,IAAI,KAAK,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,CAAC,EAAE,CAAC;QACpE,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;YACpB,IAAI,EAAE,iBAAiB;YACvB,WAAW,EAAE,8DAA8D;YAC3E,OAAO,EAAE,mDAAmD;YAC5D,QAAQ,EAAE,UAAU;YACpB,MAAM,EAAE,kBAAkB;SAC3B,CAAC,CAAA;IACJ,CAAC;IAED,8BAA8B;IAC9B,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QACpB,IAAI,EAAE,0BAA0B;QAChC,WAAW,EAAE,6CAA6C;QAC1D,OAAO,EAAE,iGAAiG;QAC1G,QAAQ,EAAE,UAAU;QACpB,MAAM,EAAE,eAAe;KACxB,CAAC,CAAA;IAEF,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;QACpB,IAAI,EAAE,eAAe;QACrB,WAAW,EAAE,0CAA0C;QACvD,OAAO,EAAE,+FAA+F;QACxG,QAAQ,EAAE,UAAU;QACpB,MAAM,EAAE,eAAe;KACxB,CAAC,CAAA;IAEF,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,KAAkB,EAAE,QAAgB;IAClE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAClE,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc;SAChC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;SAC/D,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,CAAC;SACpE,IAAI,CAAC,IAAI,CAAC,CAAA;IAEb,IAAI,IAAI,GAAG,eAAe,QAAQ;oCACA,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAmG3D,CAAA;IAEC,4BAA4B;IAC5B,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACnC,IAAI,IAAI,KAAK,GAAG,CAAC,IAAI,YAAY,GAAG,CAAC,OAAO,IAAI,CAAA;IAClD,CAAC;IAED,IAAI,IAAI;;;;;;;;;;CAUT,CAAA;IACC,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,KAAkB,EAAE,QAAgB;IACpE,MAAM,MAAM,GAAG,KAAK,CAAC,cAAc;SAChC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC;SAC/D,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,GAAG,CAAC,CAAA;IAEvE,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAA;IAEvD,sCAAsC;IACtC,MAAM,KAAK,GAAa,CAAC,WAAW,CAAC,CAAA,CAAC,2BAA2B;IAEjE,IAAI,GAAG,GAAG,wBAAwB,CAAA;IAClC,GAAG,IAAI,aAAa,CAAA;IACpB,GAAG,IAAI,iBAAiB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAA;IAC9C,GAAG,IAAI,mBAAmB,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,YAAY,CAAA;IACzD,GAAG,IAAI,gBAAgB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAA;IAC5C,GAAG,IAAI,qBAAqB,CAAA;IAC5B,GAAG,IAAI,sBAAsB,MAAM,CAAC,MAAM,IAAI,CAAA;IAC9C,GAAG,IAAI,IAAI,CAAA;IACX,GAAG,IAAI,cAAc,CAAA;IAErB,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACnC,GAAG,IAAI,OAAO,GAAG,CAAC,IAAI,IAAI,CAAA;IAC5B,CAAC;IACD,GAAG,IAAI,0BAA0B,CAAA;IACjC,GAAG,IAAI,qBAAqB,CAAA;IAE5B,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CACvB,WAAmB,EACnB,KAAkB,EAClB,WAAmB,YAAY;IAE/B,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,CAAA;IAClD,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAEvC,MAAM,IAAI,GAAG,eAAe,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IAC7C,MAAM,GAAG,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAA;IAE9C,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,QAAQ,MAAM,CAAC,CAAA;IACjD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,QAAQ,MAAM,CAAC,CAAA;IAEhD,aAAa,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAA;IAC7B,aAAa,CAAC,OAAO,EAAE,GAAG,CAAC,CAAA;IAE3B,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAA;AAC9B,CAAC;AAED,kBAAkB;AAElB,SAAS,gBAAgB,CAAC,OAAe,EAAE,GAAW;IACpD,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,GAAG,GAAG,oBAAoB,CAAC,CAAC,CAAA;IACnE,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAChC,CAAC;AAED,SAAS,eAAe,CACtB,QAA+B,EAC/B,QAA+B;IAE/B,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAA;IAC7C,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAA;IACzD,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;AAC7C,CAAC"}

package/dist/lib/setup/violation-agent-generator.d.ts

@@ -0,0 +1,32 @@
+/**
+ * @purpose Generate agent configs from TLC invariant violations
+ * Each violation becomes an agent whose eval script checks the invariant
+ */
+interface Violation {
+    invariant: string;
+    trace: {
+        step: number;
+        action: string;
+        state: Record<string, string>;
+    }[];
+}
+interface ViolationAgent {
+    name: string;
+    metric: string;
+    direction: "maximize" | "minimize";
+    scope: string;
+    evalScript: string;
+    evalContent: string;
+    tomlContent: string;
+    description: string;
+}
+/**
+ * Map a TLC invariant violation to an agent config + eval script
+ */
+export declare function violationToAgent(violation: Violation): ViolationAgent;
+/**
+ * Write agent configs and eval scripts from violations
+ */
+export declare function writeViolationAgents(projectRoot: string, violations: Violation[]): string[];
+export {};
+//# sourceMappingURL=violation-agent-generator.d.ts.map

package/dist/lib/setup/violation-agent-generator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"violation-agent-generator.d.ts","sourceRoot":"","sources":["../../../src/lib/setup/violation-agent-generator.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAMH,UAAU,SAAS;IACjB,SAAS,EAAE,MAAM,CAAA;IACjB,KAAK,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KAAE,EAAE,CAAA;CACzE;AAED,UAAU,cAAc;IACtB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;IACd,SAAS,EAAE,UAAU,GAAG,UAAU,CAAA;IAClC,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,CAAA;IAClB,WAAW,EAAE,MAAM,CAAA;IACnB,WAAW,EAAE,MAAM,CAAA;IACnB,WAAW,EAAE,MAAM,CAAA;CACpB;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,SAAS,GAAG,cAAc,CAkFrE;AAED;;GAEG;AACH,wBAAgB,oBAAoB,CAClC,WAAW,EAAE,MAAM,EACnB,UAAU,EAAE,SAAS,EAAE,GACtB,MAAM,EAAE,CAmCV"}

package/dist/lib/setup/violation-agent-generator.js

@@ -0,0 +1,255 @@
+/**
+ * @purpose Generate agent configs from TLC invariant violations
+ * Each violation becomes an agent whose eval script checks the invariant
+ */
+import { mkdirSync, writeFileSync } from "fs";
+import { join } from "path";
+import { generateSmartEval } from "./smart-eval-generator.js";
+/**
+ * Map a TLC invariant violation to an agent config + eval script
+ */
+export function violationToAgent(violation) {
+    const inv = violation.invariant;
+    const trace = violation.trace;
+    // Infer what went wrong from the trace
+    const lastStep = trace[trace.length - 1];
+    const actions = trace.map(t => t.action).filter(a => a !== "Initial");
+    switch (inv) {
+        case "HumanAgentIsolation":
+            return {
+                name: "repo-guard",
+                metric: "isolation_violations",
+                direction: "minimize",
+                scope: "coordination",
+                evalScript: "eval/repo-guard.sh",
+                description: "Prevents human-agent conflicts on shared repos",
+                evalContent: generateRepoGuardEval(),
+                tomlContent: generateToml("repo-guard", "isolation_violations", "minimize", "coordination", "eval/repo-guard.sh", "Detects and prevents concurrent human+agent edits on the same repo. Generated from TLC invariant violation."),
+            };
+        case "ScopeIsolation":
+        case "NoParallelEdits":
+            return {
+                name: "scope-lock",
+                metric: "lock_violations",
+                direction: "minimize",
+                scope: "concurrency",
+                evalScript: "eval/scope-lock.sh",
+                description: "Enforces file scope locking between agents",
+                evalContent: generateScopeLockEval(),
+                tomlContent: generateToml("scope-lock", "lock_violations", "minimize", "concurrency", "eval/scope-lock.sh", "Enforces mutual exclusion on file scopes. Generated from TLC invariant violation."),
+            };
+        case "HubRequiredForScheduling":
+        case "NoOrphanedAgents":
+            return {
+                name: "hub-sentinel",
+                metric: "stranded_agents",
+                direction: "minimize",
+                scope: "reliability",
+                evalScript: "eval/hub-sentinel.sh",
+                description: "Detects and recovers stranded agents when hub crashes",
+                evalContent: generateHubSentinelEval(),
+                tomlContent: generateToml("hub-sentinel", "stranded_agents", "minimize", "reliability", "eval/hub-sentinel.sh", "Monitors hub health and recovers agents stranded by hub crashes. Generated from TLC invariant violation."),
+            };
+        case "BoundedConcurrency":
+            return {
+                name: "concurrency-limiter",
+                metric: "over_concurrent_count",
+                direction: "minimize",
+                scope: "scheduling",
+                evalScript: "eval/concurrency-limiter.sh",
+                description: "Limits concurrent agents per repo",
+                evalContent: generateConcurrencyLimiterEval(),
+                tomlContent: generateToml("concurrency-limiter", "over_concurrent_count", "minimize", "scheduling", "eval/concurrency-limiter.sh", "Enforces max concurrent agents per repo. Generated from TLC invariant violation."),
+            };
+        default:
+            return {
+                name: `fix-${inv.toLowerCase().replace(/[^a-z0-9]/g, "-")}`,
+                metric: `${inv.toLowerCase()}_violations`,
+                direction: "minimize",
+                scope: "system",
+                evalScript: `eval/fix-${inv.toLowerCase()}.sh`,
+                description: `Fixes ${inv} invariant violation`,
+                evalContent: generateGenericEval(inv),
+                tomlContent: generateToml(`fix-${inv.toLowerCase().replace(/[^a-z0-9]/g, "-")}`, `${inv.toLowerCase()}_violations`, "minimize", "system", `eval/fix-${inv.toLowerCase()}.sh`, `Fixes ${inv} invariant violation found by TLC model checker.`),
+            };
+    }
+}
+/**
+ * Write agent configs and eval scripts from violations
+ */
+export function writeViolationAgents(projectRoot, violations) {
+    const agentsDir = join(projectRoot, ".jfl", "agents");
+    const evalDir = join(projectRoot, "eval");
+    mkdirSync(agentsDir, { recursive: true });
+    mkdirSync(evalDir, { recursive: true });
+    const written = [];
+    for (const violation of violations) {
+        const agent = violationToAgent(violation);
+        // Write TOML config
+        const tomlPath = join(agentsDir, `${agent.name}.toml`);
+        writeFileSync(tomlPath, agent.tomlContent);
+        // Write eval script — use smart generator for real system checks
+        const evalPath = join(projectRoot, agent.evalScript);
+        const violationCtx = {
+            invariant: violation.invariant,
+            trace: violation.trace.map((s) => ({
+                step: s.step,
+                action: s.action,
+                state: s.state || {},
+            })),
+            stateVars: [],
+            services: [],
+            concurrencyPatterns: [],
+        };
+        const smartEval = generateSmartEval(projectRoot, violationCtx);
+        writeFileSync(evalPath, smartEval, { mode: 0o755 });
+        written.push(agent.name);
+    }
+    return written;
+}
+// --- Template generators ---
+function generateToml(name, metric, direction, scope, evalScript, description) {
+    return `# ${name} — Generated from TLC invariant violation
+# ${description}
+
+[agent]
+name = "${name}"
+scope = "${scope}"
+metric = "${metric}"
+direction = "${direction}"
+time_budget_seconds = 180
+rounds = 10
+
+[eval]
+script = "${evalScript}"
+
+[meta]
+source = "tlc_violation"
+generated_at = "${new Date().toISOString()}"
+`;
+}
+function generateRepoGuardEval() {
+    return `#!/bin/bash
+# Eval: repo-guard — checks for human-agent isolation violations
+# Generated from TLC HumanAgentIsolation invariant
+
+set -euo pipefail
+
+VIOLATIONS=0
+
+# Check if any agent worktrees overlap with human edit sessions
+for lock_file in .jfl/locks/*.lock 2>/dev/null; do
+  [ -f "$lock_file" ] || continue
+  REPO=$(cat "$lock_file" | jq -r '.repo // empty')
+  AGENT=$(cat "$lock_file" | jq -r '.agent // empty')
+  
+  # Check if human has uncommitted changes in same repo
+  if [ -n "$REPO" ] && [ -d "$REPO" ]; then
+    HUMAN_CHANGES=$(cd "$REPO" && git diff --name-only 2>/dev/null | wc -l | tr -d ' ')
+    if [ "$HUMAN_CHANGES" -gt 0 ] && [ -n "$AGENT" ]; then
+      echo "VIOLATION: Agent $AGENT active on $REPO while human has $HUMAN_CHANGES uncommitted changes"
+      VIOLATIONS=$((VIOLATIONS + 1))
+    fi
+  fi
+done
+
+echo '{"metric": "isolation_violations", "value": '$VIOLATIONS'}'
+`;
+}
+function generateScopeLockEval() {
+    return `#!/bin/bash
+# Eval: scope-lock — checks for concurrent scope access violations
+# Generated from TLC ScopeIsolation invariant
+
+set -euo pipefail
+
+VIOLATIONS=0
+
+# Check agent lock files for overlapping scopes
+declare -A SCOPE_OWNERS
+for lock_file in .jfl/locks/*.lock 2>/dev/null; do
+  [ -f "$lock_file" ] || continue
+  SCOPE=$(cat "$lock_file" | jq -r '.scope // empty')
+  AGENT=$(cat "$lock_file" | jq -r '.agent // empty')
+  
+  if [ -n "$SCOPE" ] && [ -n "\${SCOPE_OWNERS[$SCOPE]+x}" ]; then
+    echo "VIOLATION: Scope $SCOPE held by both \${SCOPE_OWNERS[$SCOPE]} and $AGENT"
+    VIOLATIONS=$((VIOLATIONS + 1))
+  fi
+  SCOPE_OWNERS[$SCOPE]=$AGENT
+done
+
+echo '{"metric": "lock_violations", "value": '$VIOLATIONS'}'
+`;
+}
+function generateHubSentinelEval() {
+    return `#!/bin/bash
+# Eval: hub-sentinel — checks for stranded agents when hub is down
+# Generated from TLC NoOrphanedAgents invariant
+
+set -euo pipefail
+
+STRANDED=0
+
+# Check if hub is responsive
+HUB_PORT=\${JFL_HUB_PORT:-4360}
+if ! curl -s "http://localhost:$HUB_PORT/health" > /dev/null 2>&1; then
+  # Hub is down — check for running agents
+  for pid_file in .jfl/agents/pids/*.pid 2>/dev/null; do
+    [ -f "$pid_file" ] || continue
+    PID=$(cat "$pid_file")
+    if kill -0 "$PID" 2>/dev/null; then
+      AGENT=$(basename "$pid_file" .pid)
+      echo "STRANDED: Agent $AGENT (pid $PID) running while hub is down"
+      STRANDED=$((STRANDED + 1))
+    fi
+  done
+fi
+
+echo '{"metric": "stranded_agents", "value": '$STRANDED'}'
+`;
+}
+function generateConcurrencyLimiterEval() {
+    return `#!/bin/bash
+# Eval: concurrency-limiter — checks for over-concurrent repo access
+# Generated from TLC BoundedConcurrency invariant
+
+set -euo pipefail
+
+MAX_CONCURRENT=\${JFL_MAX_CONCURRENT:-2}
+OVER_COUNT=0
+
+declare -A REPO_COUNTS
+for lock_file in .jfl/locks/*.lock 2>/dev/null; do
+  [ -f "$lock_file" ] || continue
+  REPO=$(cat "$lock_file" | jq -r '.repo // empty')
+  if [ -n "$REPO" ]; then
+    REPO_COUNTS[$REPO]=$(( \${REPO_COUNTS[$REPO]:-0} + 1 ))
+    if [ "\${REPO_COUNTS[$REPO]}" -gt "$MAX_CONCURRENT" ]; then
+      echo "OVER: $REPO has \${REPO_COUNTS[$REPO]} concurrent agents (max $MAX_CONCURRENT)"
+      OVER_COUNT=$((OVER_COUNT + 1))
+    fi
+  fi
+done
+
+echo '{"metric": "over_concurrent_count", "value": '$OVER_COUNT'}'
+`;
+}
+function generateGenericEval(invariant) {
+    return `#!/bin/bash
+# Eval: fix-${invariant.toLowerCase()} — checks ${invariant} invariant
+# Generated from TLC model checker violation
+
+set -euo pipefail
+
+# TODO: Implement specific check for ${invariant}
+# The TLC model checker found that this invariant can be violated.
+# This eval script should check the runtime system for the same condition.
+
+VIOLATIONS=0
+
+# Placeholder check
+echo '{"metric": "${invariant.toLowerCase()}_violations", "value": '$VIOLATIONS'}'
+`;
+}
+//# sourceMappingURL=violation-agent-generator.js.map

package/dist/lib/setup/violation-agent-generator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"violation-agent-generator.js","sourceRoot":"","sources":["../../../src/lib/setup/violation-agent-generator.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,MAAM,IAAI,CAAA;AAC7C,OAAO,EAAE,IAAI,EAAE,MAAM,MAAM,CAAA;AAC3B,OAAO,EAAE,iBAAiB,EAAyB,MAAM,2BAA2B,CAAA;AAkBpF;;GAEG;AACH,MAAM,UAAU,gBAAgB,CAAC,SAAoB;IACnD,MAAM,GAAG,GAAG,SAAS,CAAC,SAAS,CAAA;IAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,CAAA;IAE7B,uCAAuC;IACvC,MAAM,QAAQ,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACxC,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,SAAS,CAAC,CAAA;IAErE,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,qBAAqB;YACxB,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,sBAAsB;gBAC9B,SAAS,EAAE,UAAU;gBACrB,KAAK,EAAE,cAAc;gBACrB,UAAU,EAAE,oBAAoB;gBAChC,WAAW,EAAE,gDAAgD;gBAC7D,WAAW,EAAE,qBAAqB,EAAE;gBACpC,WAAW,EAAE,YAAY,CAAC,YAAY,EAAE,sBAAsB,EAAE,UAAU,EAAE,cAAc,EAAE,oBAAoB,EAC9G,6GAA6G,CAAC;aACjH,CAAA;QAEH,KAAK,gBAAgB,CAAC;QACtB,KAAK,iBAAiB;YACpB,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,MAAM,EAAE,iBAAiB;gBACzB,SAAS,EAAE,UAAU;gBACrB,KAAK,EAAE,aAAa;gBACpB,UAAU,EAAE,oBAAoB;gBAChC,WAAW,EAAE,4CAA4C;gBACzD,WAAW,EAAE,qBAAqB,EAAE;gBACpC,WAAW,EAAE,YAAY,CAAC,YAAY,EAAE,iBAAiB,EAAE,UAAU,EAAE,aAAa,EAAE,oBAAoB,EACxG,mFAAmF,CAAC;aACvF,CAAA;QAEH,KAAK,0BAA0B,CAAC;QAChC,KAAK,kBAAkB;YACrB,OAAO;gBACL,IAAI,EAAE,cAAc;gBACpB,MAAM,EAAE,iBAAiB;gBACzB,SAAS,EAAE,UAAU;gBACrB,KAAK,EAAE,aAAa;gBACpB,UAAU,EAAE,sBAAsB;gBAClC,WAAW,EAAE,uDAAuD;gBACpE,WAAW,EAAE,uBAAuB,EAAE;gBACtC,WAAW,EAAE,YAAY,CAAC,cAAc,EAAE,iBAAiB,EAAE,UAAU,EAAE,aAAa,EAAE,sBAAsB,EAC5G,0GAA0G,CAAC;aAC9G,CAAA;QAEH,KAAK,oBAAoB;YACvB,OAAO;gBACL,IAAI,EAAE,qBAAqB;gBAC3B,MAAM,EAAE,uBAAuB;gBAC/B,SAAS,EAAE,UAAU;gBACrB,KAAK,EAAE,YAAY;gBACnB,UAAU,EAAE,6BAA6B;gBACzC,WAAW,EAAE,mCAAmC;gBAChD,WAAW,EAAE,8BAA8B,EAAE;gBAC7C,WAAW,EAAE,YAAY,CAAC,qBAAqB,EAAE,uBAAuB,EAAE,UAAU,EAAE,YAAY,EAAE,6BAA6B,EAC/H,kFAAkF,CAAC;aACtF,CAAA;QAEH;YACE,OAAO;gBACL,IAAI,EAAE,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,EAAE;gBAC3D,MAAM,EAAE,GAAG,GAAG,CAAC,WAAW,EAAE,aAAa;gBACzC,SAAS,EAAE,UAAU;gBACrB,KAAK,EAAE,QAAQ;gBACf,UAAU,EAAE,YAAY,GAAG,CAAC,WAAW,EAAE,KAAK;gBAC9C,WAAW,EAAE,SAAS,GAAG,sBAAsB;gBAC/C,WAAW,EAAE,mBAAmB,CAAC,GAAG,CAAC;gBACrC,WAAW,EAAE,YAAY,CACvB,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,GAAG,CAAC,EAAE,EACrD,GAAG,GAAG,CAAC,WAAW,EAAE,aAAa,EACjC,UAAU,EACV,QAAQ,EACR,YAAY,GAAG,CAAC,WAAW,EAAE,KAAK,EAClC,SAAS,GAAG,kDAAkD,CAC/D;aACF,CAAA;IACL,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,oBAAoB,CAClC,WAAmB,EACnB,UAAuB;IAEvB,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAA;IACrD,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAA;IACzC,SAAS,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACzC,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAEvC,MAAM,OAAO,GAAa,EAAE,CAAA;IAE5B,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAA;QAEzC,oBAAoB;QACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,EAAE,GAAG,KAAK,CAAC,IAAI,OAAO,CAAC,CAAA;QACtD,aAAa,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,CAAA;QAE1C,iEAAiE;QACjE,MAAM,QAAQ,GAAG,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,UAAU,CAAC,CAAA;QACpD,MAAM,YAAY,GAAqB;YACrC,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,KAAK,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAM,EAAE,EAAE,CAAC,CAAC;gBACtC,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,MAAM,EAAE,CAAC,CAAC,MAAM;gBAChB,KAAK,EAAE,CAAC,CAAC,KAAK,IAAI,EAAE;aACrB,CAAC,CAAC;YACH,SAAS,EAAE,EAAE;YACb,QAAQ,EAAE,EAAE;YACZ,mBAAmB,EAAE,EAAE;SACxB,CAAA;QACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAA;QAC9D,aAAa,CAAC,QAAQ,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;QAEnD,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;IAC1B,CAAC;IAED,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,8BAA8B;AAE9B,SAAS,YAAY,CACnB,IAAY,EAAE,MAAc,EAAE,SAAiB,EAC/C,KAAa,EAAE,UAAkB,EAAE,WAAmB;IAEtD,OAAO,KAAK,IAAI;IACd,WAAW;;;UAGL,IAAI;WACH,KAAK;YACJ,MAAM;eACH,SAAS;;;;;YAKZ,UAAU;;;;kBAIJ,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;CACzC,CAAA;AACD,CAAC;AAED,SAAS,qBAAqB;IAC5B,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;CAyBR,CAAA;AACD,CAAC;AAED,SAAS,qBAAqB;IAC5B,OAAO;;;;;;;;;;;;;;;;;;;;;;;CAuBR,CAAA;AACD,CAAC;AAED,SAAS,uBAAuB;IAC9B,OAAO;;;;;;;;;;;;;;;;;;;;;;;;CAwBR,CAAA;AACD,CAAC;AAED,SAAS,8BAA8B;IACrC,OAAO;;;;;;;;;;;;;;;;;;;;;;;CAuBR,CAAA;AACD,CAAC;AAED,SAAS,mBAAmB,CAAC,SAAiB;IAC5C,OAAO;cACK,SAAS,CAAC,WAAW,EAAE,aAAa,SAAS;;;;;uCAKpB,SAAS;;;;;;;oBAO5B,SAAS,CAAC,WAAW,EAAE;CAC1C,CAAA;AACD,CAAC"}

package/dist/lib/stratus-client.d.ts

@@ -68,6 +68,7 @@ export declare class StratusClient {
     private apiKey;
     private model;
     private timeout;
+    private readDotenv;
     constructor(options?: {
         baseUrl?: string;
         apiKey?: string;

package/dist/lib/stratus-client.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"stratus-client.d.ts","sourceRoot":"","sources":["../../src/lib/stratus-client.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAkBH,UAAU,eAAe;IACvB,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,OAAO,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,MAAM,CAAA;QACb,OAAO,EAAE;YACP,IAAI,EAAE,MAAM,CAAA;YACZ,OAAO,EAAE,MAAM,CAAA;SAChB,CAAA;QACD,aAAa,EAAE,MAAM,CAAA;KACtB,CAAC,CAAA;IACF,KAAK,CAAC,EAAE;QACN,aAAa,EAAE,MAAM,CAAA;QACrB,iBAAiB,EAAE,MAAM,CAAA;QACzB,YAAY,EAAE,MAAM,CAAA;KACrB,CAAA;IACD,OAAO,CAAC,EAAE;QACR,KAAK,EAAE,MAAM,CAAA;QACb,aAAa,EAAE,MAAM,CAAA;QACrB,UAAU,EAAE,MAAM,CAAA;QAClB,gBAAgB,EAAE,MAAM,CAAA;QACxB,iBAAiB,EAAE,MAAM,CAAA;KAC1B,CAAA;CACF;AAED,UAAU,YAAY;IACpB,CAAC,CAAC,EAAE,MAAM,CAAA;IACV,EAAE,CAAC,EAAE,MAAM,CAAA;IACX,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,CAAC,EAAE,MAAM,EAAE,CAAA;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;CACnB;AAED,UAAU,eAAe;IACvB,OAAO,EAAE,MAAM,CAAA;IACf,SAAS,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACzD,cAAc,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC5D,eAAe,EAAE,MAAM,EAAE,CAAA;IACzB,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,WAAW,EAAE,MAAM,CAAA;IACnB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,aAAa,CAAC,EAAE,MAAM,CAAA;CACvB;AAMD,qBAAa,aAAa;IACxB,OAAO,CAAC,OAAO,CAAQ;IACvB,OAAO,CAAC,MAAM,CAAQ;IACtB,OAAO,CAAC,KAAK,CAAQ;IACrB,OAAO,CAAC,OAAO,CAAQ;gBAEX,OAAO,GAAE;QACnB,OAAO,CAAC,EAAE,MAAM,CAAA;QAChB,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,KAAK,CAAC,EAAE,MAAM,CAAA;QACd,OAAO,CAAC,EAAE,MAAM,CAAA;KACZ;IAON;;OAEG;IACG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE;QACpC,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,SAAS,CAAC,EAAE,MAAM,CAAA;QAClB,cAAc,CAAC,EAAE,MAAM,CAAA;KACnB,GAAG,OAAO,CAAC,eAAe,CAAC;IA2EjC;;OAEG;IACG,wBAAwB,CAC5B,OAAO,EAAE,YAAY,EAAE,EACvB,OAAO,GAAE;QACP,KAAK,CAAC,EAAE,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,KAAK,CAAA;KACjD,GACL,OAAO,CAAC,eAAe,CAAC;IA0D3B;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAmF9B;;OAEG;IACH,eAAe,CAAC,SAAS,EAAE,eAAe,GAAG,MAAM;CA2DpD"}
+{"version":3,"file":"stratus-client.d.ts","sourceRoot":"","sources":["../../src/lib/stratus-client.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAqBH,UAAU,eAAe;IACvB,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,MAAM,CAAA;IACd,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,MAAM,CAAA;IACb,OAAO,EAAE,KAAK,CAAC;QACb,KAAK,EAAE,MAAM,CAAA;QACb,OAAO,EAAE;YACP,IAAI,EAAE,MAAM,CAAA;YACZ,OAAO,EAAE,MAAM,CAAA;SAChB,CAAA;QACD,aAAa,EAAE,MAAM,CAAA;KACtB,CAAC,CAAA;IACF,KAAK,CAAC,EAAE;QACN,aAAa,EAAE,MAAM,CAAA;QACrB,iBAAiB,EAAE,MAAM,CAAA;QACzB,YAAY,EAAE,MAAM,CAAA;KACrB,CAAA;IACD,OAAO,CAAC,EAAE;QACR,KAAK,EAAE,MAAM,CAAA;QACb,aAAa,EAAE,MAAM,CAAA;QACrB,UAAU,EAAE,MAAM,CAAA;QAClB,gBAAgB,EAAE,MAAM,CAAA;QACxB,iBAAiB,EAAE,MAAM,CAAA;KAC1B,CAAA;CACF;AAED,UAAU,YAAY;IACpB,CAAC,CAAC,EAAE,MAAM,CAAA;IACV,EAAE,CAAC,EAAE,MAAM,CAAA;IACX,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,KAAK,CAAC,EAAE,MAAM,EAAE,CAAA;IAChB,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;IACrB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;CACnB;AAED,UAAU,eAAe;IACvB,OAAO,EAAE,MAAM,CAAA;IACf,SAAS,EAAE,KAAK,CAAC;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,SAAS,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IACzD,cAAc,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC5D,eAAe,EAAE,MAAM,EAAE,CAAA;IACzB,SAAS,EAAE,MAAM,EAAE,CAAA;IACnB,WAAW,EAAE,MAAM,CAAA;IACnB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,aAAa,CAAC,EAAE,MAAM,CAAA;CACvB;AAMD,qBAAa,aAAa;IACxB,OAAO,CAAC,OAAO,CAAQ;IACvB,OAAO,CAAC,MAAM,CAAQ;IACtB,OAAO,CAAC,KAAK,CAAQ;IACrB,OAAO,CAAC,OAAO,CAAQ;IAEvB,OAAO,CAAC,UAAU;gBAcN,OAAO,GAAE;QACnB,OAAO,CAAC,EAAE,MAAM,CAAA;QAChB,MAAM,CAAC,EAAE,MAAM,CAAA;QACf,KAAK,CAAC,EAAE,MAAM,CAAA;QACd,OAAO,CAAC,EAAE,MAAM,CAAA;KACZ;IASN;;OAEG;IACG,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,GAAE;QACpC,WAAW,CAAC,EAAE,MAAM,CAAA;QACpB,SAAS,CAAC,EAAE,MAAM,CAAA;QAClB,cAAc,CAAC,EAAE,MAAM,CAAA;KACnB,GAAG,OAAO,CAAC,eAAe,CAAC;IA2EjC;;OAEG;IACG,wBAAwB,CAC5B,OAAO,EAAE,YAAY,EAAE,EACvB,OAAO,GAAE;QACP,KAAK,CAAC,EAAE,WAAW,GAAG,UAAU,GAAG,UAAU,GAAG,KAAK,CAAA;KACjD,GACL,OAAO,CAAC,eAAe,CAAC;IA0D3B;;OAEG;IACH,OAAO,CAAC,sBAAsB;IAmF9B;;OAEG;IACH,eAAe,CAAC,SAAS,EAAE,eAAe,GAAG,MAAM;CA2DpD"}