jfl 0.4.4 → 0.6.0

package/dist/commands/verify.js

@@ -0,0 +1,276 @@
+/**
+ * @purpose Run TLA+ model checking (TLC or Apalache) against generated specs
+ * Finds invariant violations and outputs actionable counterexamples
+ */
+import chalk from "chalk";
+import { existsSync, readdirSync } from "fs";
+import { join, dirname, basename } from "path";
+import { execSync, spawnSync } from "child_process";
+function findProjectRoot() {
+    let dir = process.cwd();
+    while (dir !== dirname(dir)) {
+        if (existsSync(join(dir, ".jfl")))
+            return dir;
+        dir = dirname(dir);
+    }
+    return process.cwd();
+}
+function findTLCJar() {
+    const candidates = [
+        join(process.env.HOME || "", "tools/tla/tla2tools.jar"),
+        "/usr/local/share/tla/tla2tools.jar",
+        join(process.env.HOME || "", ".tla/tla2tools.jar"),
+    ];
+    return candidates.find(p => existsSync(p)) || null;
+}
+function findApalache() {
+    const candidates = [
+        join(process.env.HOME || "", "tools/apalache/bin/apalache-mc"),
+        "/usr/local/bin/apalache-mc",
+    ];
+    return candidates.find(p => existsSync(p)) || null;
+}
+function findJava() {
+    // Check homebrew openjdk first
+    const brewJava = "/opt/homebrew/opt/openjdk/bin/java";
+    if (existsSync(brewJava))
+        return brewJava;
+    try {
+        execSync("which java", { stdio: "pipe" });
+        return "java";
+    }
+    catch {
+        return null;
+    }
+}
+function parseTLCOutput(output) {
+    const result = {
+        tool: "tlc",
+        violations: [],
+    };
+    // Parse stats
+    const statesMatch = output.match(/(\d+) states generated, (\d+) distinct states found/);
+    if (statesMatch) {
+        result.statesGenerated = parseInt(statesMatch[1]);
+        result.distinctStates = parseInt(statesMatch[2]);
+    }
+    const depthMatch = output.match(/depth of the complete state graph search is (\d+)/);
+    if (depthMatch) {
+        result.depth = parseInt(depthMatch[1]);
+    }
+    const timeMatch = output.match(/Finished in (\d+)s/);
+    if (timeMatch) {
+        result.timeSeconds = parseInt(timeMatch[1]);
+    }
+    // Check for violations
+    if (output.includes("No error has been found")) {
+        result.status = "passed";
+    }
+    else if (output.includes("is violated")) {
+        result.status = "violated";
+        // Parse invariant name
+        const invMatch = output.match(/Invariant (\w+) is violated/);
+        if (invMatch) {
+            const violation = {
+                invariant: invMatch[1],
+                trace: [],
+            };
+            // Parse trace states
+            const stateBlocks = output.split(/State (\d+):/);
+            for (let i = 1; i < stateBlocks.length; i += 2) {
+                const stepNum = parseInt(stateBlocks[i]);
+                const stateText = stateBlocks[i + 1] || "";
+                // Extract action name
+                const actionMatch = stateText.match(/<(\w+)/);
+                const action = actionMatch ? actionMatch[1] : "Initial";
+                // Extract variable assignments
+                const state = {};
+                const varMatches = stateText.matchAll(/\/\\ (\w+) = (.+)/g);
+                for (const m of varMatches) {
+                    state[m[1]] = m[2].trim();
+                }
+                violation.trace.push({ step: stepNum, action, state });
+            }
+            result.violations.push(violation);
+        }
+    }
+    else if (output.includes("error") || output.includes("Error")) {
+        result.status = "error";
+    }
+    return result;
+}
+function runTLC(specPath, cfgPath, timeoutSec = 120) {
+    const tlcJar = findTLCJar();
+    const java = findJava();
+    if (!java)
+        throw new Error("Java not found. Install: brew install openjdk");
+    if (!tlcJar)
+        throw new Error("TLC not found. Install tla2tools.jar to ~/tools/tla/");
+    const specName = basename(specPath, ".tla");
+    const specDir = dirname(specPath);
+    const cmd = `${java} -XX:+UseParallelGC -Xmx2g -jar ${tlcJar} -workers auto -config ${basename(cfgPath)} ${basename(specPath)}`;
+    const start = Date.now();
+    const proc = spawnSync("sh", ["-c", cmd], {
+        cwd: specDir,
+        timeout: timeoutSec * 1000,
+        encoding: "utf-8",
+        env: { ...process.env, PATH: `/opt/homebrew/opt/openjdk/bin:${process.env.PATH}` },
+    });
+    const elapsed = (Date.now() - start) / 1000;
+    const output = (proc.stdout || "") + (proc.stderr || "");
+    if (proc.status === null && proc.signal === "SIGTERM") {
+        return {
+            specName,
+            tool: "tlc",
+            status: "timeout",
+            statesGenerated: 0,
+            distinctStates: 0,
+            depth: 0,
+            timeSeconds: elapsed,
+            violations: [],
+        };
+    }
+    const parsed = parseTLCOutput(output);
+    return {
+        specName,
+        tool: "tlc",
+        status: parsed.status || "error",
+        statesGenerated: parsed.statesGenerated || 0,
+        distinctStates: parsed.distinctStates || 0,
+        depth: parsed.depth || 0,
+        timeSeconds: elapsed,
+        violations: parsed.violations || [],
+    };
+}
+function printResult(result, log = console.log) {
+    const statusIcon = {
+        passed: chalk.green("✅"),
+        violated: chalk.red("❌"),
+        error: chalk.red("💥"),
+        timeout: chalk.yellow("⏱"),
+    };
+    log(`\n  ${statusIcon[result.status]} ${chalk.bold(result.specName)}`);
+    log(`    Tool:     ${result.tool.toUpperCase()}`);
+    log(`    States:   ${result.statesGenerated.toLocaleString()} generated, ${result.distinctStates.toLocaleString()} distinct`);
+    log(`    Depth:    ${result.depth}`);
+    log(`    Time:     ${result.timeSeconds.toFixed(1)}s`);
+    if (result.status === "passed") {
+        log(chalk.green(`    Result:   All invariants hold across all reachable states`));
+    }
+    if (result.status === "timeout") {
+        log(chalk.yellow(`    Result:   Timed out — state space too large for exhaustive check`));
+        log(chalk.gray(`    Tip:      Use --apalache for bounded symbolic checking`));
+    }
+    if (result.status === "violated") {
+        for (const v of result.violations) {
+            log(chalk.red(`\n    ⚠ VIOLATION: ${v.invariant}`));
+            log(chalk.gray(`    Counterexample trace (${v.trace.length} steps):`));
+            for (const step of v.trace) {
+                log(chalk.gray(`      Step ${step.step}: ${chalk.white(step.action)}`));
+                for (const [key, val] of Object.entries(step.state)) {
+                    if (["agentStatus", "repoLocks", "serviceStatus", "humanEditing"].includes(key)) {
+                        log(chalk.gray(`        ${key} = ${val}`));
+                    }
+                }
+            }
+            log(chalk.yellow(`\n    This violation can become an agent target.`));
+            log(chalk.gray(`    Run: jfl setup --from-violation ${v.invariant}`));
+        }
+    }
+}
+export async function verifyCommand(options) {
+    const projectRoot = findProjectRoot();
+    const specDir = join(projectRoot, ".jfl", "specs");
+    const log = options.json ? console.error : console.log;
+    log(chalk.bold("\n  JFL Verify — Formal Model Checking"));
+    log(chalk.gray("  ─".repeat(30)));
+    if (!existsSync(specDir)) {
+        log(chalk.yellow("\n  No specs found. Run 'jfl setup' first to generate TLA+ specs.\n"));
+        return;
+    }
+    // Find specs to check — exclude TTrace files (TLC counterexample artifacts)
+    const specs = options.spec
+        ? [options.spec]
+        : readdirSync(specDir).filter(f => f.endsWith(".tla") && !f.includes("TTrace")).map(f => basename(f, ".tla"));
+    if (specs.length === 0) {
+        log(chalk.yellow("\n  No .tla specs found in .jfl/specs/\n"));
+        return;
+    }
+    log(chalk.gray(`\n  Checking ${specs.length} spec(s)...\n`));
+    const results = [];
+    for (const specName of specs) {
+        const specPath = join(specDir, `${specName}.tla`);
+        const cfgPath = join(specDir, `${specName}.cfg`);
+        if (!existsSync(specPath)) {
+            log(chalk.red(`  Spec not found: ${specPath}`));
+            continue;
+        }
+        if (!existsSync(cfgPath)) {
+            log(chalk.red(`  Config not found: ${cfgPath}`));
+            continue;
+        }
+        const timeout = options.timeout || 120;
+        try {
+            const result = runTLC(specPath, cfgPath, timeout);
+            results.push(result);
+            printResult(result, log);
+        }
+        catch (err) {
+            log(chalk.red(`  Error checking ${specName}: ${err.message}`));
+        }
+    }
+    // JSON output — pipe-friendly
+    if (options.json) {
+        const output = {
+            specs: results,
+            summary: {
+                total: results.length,
+                passed: results.filter(r => r.status === "passed").length,
+                violated: results.filter(r => r.status === "violated").length,
+                timeout: results.filter(r => r.status === "timeout").length,
+                totalStates: results.reduce((sum, r) => sum + r.statesGenerated, 0),
+            },
+        };
+        console.log(JSON.stringify(output, null, 2));
+        // Also save to .jfl/specs/violations.json for `jfl setup --from-violations`
+        const { writeFileSync, mkdirSync } = await import("fs");
+        mkdirSync(specDir, { recursive: true });
+        writeFileSync(join(specDir, "violations.json"), JSON.stringify(output, null, 2));
+        log(chalk.gray(`  Saved to .jfl/specs/violations.json`));
+        return;
+    }
+    // Summary
+    const passed = results.filter(r => r.status === "passed").length;
+    const violated = results.filter(r => r.status === "violated").length;
+    const timedOut = results.filter(r => r.status === "timeout").length;
+    const totalStates = results.reduce((sum, r) => sum + r.statesGenerated, 0);
+    log(chalk.bold("\n  Summary"));
+    log(chalk.gray("  ─".repeat(30)));
+    log(`    Specs checked:  ${results.length}`);
+    log(`    ${chalk.green(`Passed: ${passed}`)}  ${violated > 0 ? chalk.red(`Violated: ${violated}`) : ""}  ${timedOut > 0 ? chalk.yellow(`Timeout: ${timedOut}`) : ""}`);
+    log(`    Total states:   ${totalStates.toLocaleString()}`);
+    if (violated > 0) {
+        log(chalk.yellow(`\n  ${violated} invariant violation(s) found — these are potential agent targets.`));
+        log(chalk.gray(`  Run: jfl setup --from-violations  to create agents that fix them.\n`));
+    }
+    else if (passed > 0 && violated === 0) {
+        log(chalk.green(`\n  All invariants verified. Your system design is formally correct. ✨\n`));
+    }
+}
+export function registerVerifyCommand(parent) {
+    parent
+        .command("verify")
+        .description("Run TLA+ model checking on system specs")
+        .option("-s, --spec <name>", "Check a specific spec (default: all)")
+        .option("-t, --timeout <seconds>", "TLC timeout in seconds", "120")
+        .option("--apalache", "Use Apalache (symbolic bounded) instead of TLC")
+        .option("-v, --verbose", "Show full TLC output")
+        .option("--json", "Output results as JSON (pipe-friendly)")
+        .action(async (options) => {
+        await verifyCommand({
+            ...options,
+            timeout: parseInt(options.timeout),
+        });
+    });
+}
+//# sourceMappingURL=verify.js.map

package/dist/commands/verify.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"verify.js","sourceRoot":"","sources":["../../src/commands/verify.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,MAAM,OAAO,CAAA;AAEzB,OAAO,EAAE,UAAU,EAAgB,WAAW,EAAE,MAAM,IAAI,CAAA;AAC1D,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAA;AAC9C,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,eAAe,CAAA;AAwBnD,SAAS,eAAe;IACtB,IAAI,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE,CAAA;IACvB,OAAO,GAAG,KAAK,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5B,IAAI,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAAE,OAAO,GAAG,CAAA;QAC7C,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAA;IACpB,CAAC;IACD,OAAO,OAAO,CAAC,GAAG,EAAE,CAAA;AACtB,CAAC;AAED,SAAS,UAAU;IACjB,MAAM,UAAU,GAAG;QACjB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,EAAE,yBAAyB,CAAC;QACvD,oCAAoC;QACpC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,EAAE,oBAAoB,CAAC;KACnD,CAAA;IACD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAA;AACpD,CAAC;AAED,SAAS,YAAY;IACnB,MAAM,UAAU,GAAG;QACjB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,IAAI,EAAE,EAAE,gCAAgC,CAAC;QAC9D,4BAA4B;KAC7B,CAAA;IACD,OAAO,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAA;AACpD,CAAC;AAED,SAAS,QAAQ;IACf,+BAA+B;IAC/B,MAAM,QAAQ,GAAG,oCAAoC,CAAA;IACrD,IAAI,UAAU,CAAC,QAAQ,CAAC;QAAE,OAAO,QAAQ,CAAA;IACzC,IAAI,CAAC;QACH,QAAQ,CAAC,YAAY,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAA;QACzC,OAAO,MAAM,CAAA;IACf,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAA;IACb,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,MAAc;IACpC,MAAM,MAAM,GAA0B;QACpC,IAAI,EAAE,KAAK;QACX,UAAU,EAAE,EAAE;KACf,CAAA;IAED,cAAc;IACd,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,qDAAqD,CAAC,CAAA;IACvF,IAAI,WAAW,EAAE,CAAC;QAChB,MAAM,CAAC,eAAe,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;QACjD,MAAM,CAAC,cAAc,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;IAClD,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAA;IACpF,IAAI,UAAU,EAAE,CAAC;QACf,MAAM,CAAC,KAAK,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;IACxC,CAAC;IAED,MAAM,SAAS,GAAG,MAAM,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAA;IACpD,IAAI,SAAS,EAAE,CAAC;QACd,MAAM,CAAC,WAAW,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;IAC7C,CAAC;IAED,uBAAuB;IACvB,IAAI,MAAM,CAAC,QAAQ,CAAC,yBAAyB,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,MAAM,GAAG,QAAQ,CAAA;IAC1B,CAAC;SAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAC1C,MAAM,CAAC,MAAM,GAAG,UAAU,CAAA;QAE1B,uBAAuB;QACvB,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAA;QAC5D,IAAI,QAAQ,EAAE,CAAC;YACb,MAAM,SAAS,GAAc;gBAC3B,SAAS,EAAE,QAAQ,CAAC,CAAC,CAAC;gBACtB,KAAK,EAAE,EAAE;aACV,CAAA;YAED,qBAAqB;YACrB,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,CAAC,cAAc,CAAC,CAAA;YAChD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/C,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;gBACxC,MAAM,SAAS,GAAG,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAA;gBAE1C,sBAAsB;gBACtB,MAAM,WAAW,GAAG,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;gBAC7C,MAAM,MAAM,GAAG,WAAW,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;gBAEvD,+BAA+B;gBAC/B,MAAM,KAAK,GAA2B,EAAE,CAAA;gBACxC,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAA;gBAC3D,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;oBAC3B,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;gBAC3B,CAAC;gBAED,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAA;YACxD,CAAC;YAED,MAAM,CAAC,UAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;QACpC,CAAC;IACH,CAAC;SAAM,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAChE,MAAM,CAAC,MAAM,GAAG,OAAO,CAAA;IACzB,CAAC;IAED,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,MAAM,CAAC,QAAgB,EAAE,OAAe,EAAE,aAAqB,GAAG;IACzE,MAAM,MAAM,GAAG,UAAU,EAAE,CAAA;IAC3B,MAAM,IAAI,GAAG,QAAQ,EAAE,CAAA;IAEvB,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAA;IAC3E,IAAI,CAAC,MAAM;QAAE,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAA;IAEpF,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IAC3C,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAA;IAEjC,MAAM,GAAG,GAAG,GAAG,IAAI,mCAAmC,MAAM,0BAA0B,QAAQ,CAAC,OAAO,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAA;IAE/H,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;IACxB,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE;QACxC,GAAG,EAAE,OAAO;QACZ,OAAO,EAAE,UAAU,GAAG,IAAI;QAC1B,QAAQ,EAAE,OAAO;QACjB,GAAG,EAAE,EAAE,GAAG,OAAO,CAAC,GAAG,EAAE,IAAI,EAAE,iCAAiC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE;KACnF,CAAC,CAAA;IAEF,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,IAAI,CAAA;IAC3C,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAA;IAExD,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACtD,OAAO;YACL,QAAQ;YACR,IAAI,EAAE,KAAK;YACX,MAAM,EAAE,SAAS;YACjB,eAAe,EAAE,CAAC;YAClB,cAAc,EAAE,CAAC;YACjB,KAAK,EAAE,CAAC;YACR,WAAW,EAAE,OAAO;YACpB,UAAU,EAAE,EAAE;SACf,CAAA;IACH,CAAC;IAED,MAAM,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IAErC,OAAO;QACL,QAAQ;QACR,IAAI,EAAE,KAAK;QACX,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,OAAO;QAChC,eAAe,EAAE,MAAM,CAAC,eAAe,IAAI,CAAC;QAC5C,cAAc,EAAE,MAAM,CAAC,cAAc,IAAI,CAAC;QAC1C,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,CAAC;QACxB,WAAW,EAAE,OAAO;QACpB,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE;KACpC,CAAA;AACH,CAAC;AAED,SAAS,WAAW,CAAC,MAAoB,EAAE,MAAoC,OAAO,CAAC,GAAG;IACxF,MAAM,UAAU,GAAG;QACjB,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC;QACxB,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;QACxB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;QACtB,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC;KAC3B,CAAA;IAED,GAAG,CAAC,OAAO,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IACtE,GAAG,CAAC,iBAAiB,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAA;IACjD,GAAG,CAAC,iBAAiB,MAAM,CAAC,eAAe,CAAC,cAAc,EAAE,eAAe,MAAM,CAAC,cAAc,CAAC,cAAc,EAAE,WAAW,CAAC,CAAA;IAC7H,GAAG,CAAC,iBAAiB,MAAM,CAAC,KAAK,EAAE,CAAC,CAAA;IACpC,GAAG,CAAC,iBAAiB,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAEtD,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,+DAA+D,CAAC,CAAC,CAAA;IACnF,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,sEAAsE,CAAC,CAAC,CAAA;QACzF,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC,CAAA;IAC/E,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACjC,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;YAClC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAA;YACnD,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC,KAAK,CAAC,MAAM,UAAU,CAAC,CAAC,CAAA;YAEtE,KAAK,MAAM,IAAI,IAAI,CAAC,CAAC,KAAK,EAAE,CAAC;gBAC3B,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAA;gBACvE,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;oBACpD,IAAI,CAAC,aAAa,EAAE,WAAW,EAAE,eAAe,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;wBAChF,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,MAAM,GAAG,EAAE,CAAC,CAAC,CAAA;oBAC5C,CAAC;gBACH,CAAC;YACH,CAAC;YAED,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,kDAAkD,CAAC,CAAC,CAAA;YACrE,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,CAAA;QACvE,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,OAMnC;IACC,MAAM,WAAW,GAAG,eAAe,EAAE,CAAA;IACrC,MAAM,OAAO,GAAG,IAAI,CAAC,WAAW,EAAE,MAAM,EAAE,OAAO,CAAC,CAAA;IAElD,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAA;IACtD,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC,CAAA;IACzD,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IAEjC,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QACzB,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,qEAAqE,CAAC,CAAC,CAAA;QACxF,OAAM;IACR,CAAC;IAED,4EAA4E;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI;QACxB,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;QAChB,CAAC,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAA;IAE/G,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,0CAA0C,CAAC,CAAC,CAAA;QAC7D,OAAM;IACR,CAAC;IAED,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,gBAAgB,KAAK,CAAC,MAAM,eAAe,CAAC,CAAC,CAAA;IAE5D,MAAM,OAAO,GAAmB,EAAE,CAAA;IAElC,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,QAAQ,MAAM,CAAC,CAAA;QACjD,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,EAAE,GAAG,QAAQ,MAAM,CAAC,CAAA;QAEhD,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,QAAQ,EAAE,CAAC,CAAC,CAAA;YAC/C,SAAQ;QACV,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YACzB,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,uBAAuB,OAAO,EAAE,CAAC,CAAC,CAAA;YAChD,SAAQ;QACV,CAAC;QAED,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,GAAG,CAAA;QAEtC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;YACjD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;YACpB,WAAW,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QAC1B,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,oBAAoB,QAAQ,KAAK,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;QAChE,CAAC;IACH,CAAC;IAED,8BAA8B;IAC9B,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,MAAM,GAAG;YACb,KAAK,EAAE,OAAO;YACd,OAAO,EAAE;gBACP,KAAK,EAAE,OAAO,CAAC,MAAM;gBACrB,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM;gBACzD,QAAQ,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM;gBAC7D,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM;gBAC3D,WAAW,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC;aACpE;SACF,CAAA;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;QAE5C,4EAA4E;QAC5E,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,GAAG,MAAM,MAAM,CAAC,IAAI,CAAC,CAAA;QACvD,SAAS,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;QACvC,aAAa,CAAC,IAAI,CAAC,OAAO,EAAE,iBAAiB,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;QAChF,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC,CAAA;QACxD,OAAM;IACR,CAAC;IAED,UAAU;IACV,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,MAAM,CAAA;IAChE,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC,MAAM,CAAA;IACpE,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,MAAM,CAAA;IACnE,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,eAAe,EAAE,CAAC,CAAC,CAAA;IAE1E,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAA;IAC9B,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;IACjC,GAAG,CAAC,uBAAuB,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IAC5C,GAAG,CAAC,OAAO,KAAK,CAAC,KAAK,CAAC,WAAW,MAAM,EAAE,CAAC,KAAK,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;IACtK,GAAG,CAAC,uBAAuB,WAAW,CAAC,cAAc,EAAE,EAAE,CAAC,CAAA;IAE1D,IAAI,QAAQ,GAAG,CAAC,EAAE,CAAC;QACjB,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,OAAO,QAAQ,oEAAoE,CAAC,CAAC,CAAA;QACtG,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,uEAAuE,CAAC,CAAC,CAAA;IAC1F,CAAC;SAAM,IAAI,MAAM,GAAG,CAAC,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;QACxC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,0EAA0E,CAAC,CAAC,CAAA;IAC9F,CAAC;AACH,CAAC;AAED,MAAM,UAAU,qBAAqB,CAAC,MAAe;IACnD,MAAM;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,yCAAyC,CAAC;SACtD,MAAM,CAAC,mBAAmB,EAAE,sCAAsC,CAAC;SACnE,MAAM,CAAC,yBAAyB,EAAE,wBAAwB,EAAE,KAAK,CAAC;SAClE,MAAM,CAAC,YAAY,EAAE,gDAAgD,CAAC;SACtE,MAAM,CAAC,eAAe,EAAE,sBAAsB,CAAC;SAC/C,MAAM,CAAC,QAAQ,EAAE,wCAAwC,CAAC;SAC1D,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE;QACxB,MAAM,aAAa,CAAC;YAClB,GAAG,OAAO;YACV,OAAO,EAAE,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC;SACnC,CAAC,CAAA;IACJ,CAAC,CAAC,CAAA;AACN,CAAC"}

package/dist/commands/viz.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"viz.d.ts","sourceRoot":"","sources":["../../src/commands/viz.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAidxC,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAgDzD"}
+{"version":3,"file":"viz.d.ts","sourceRoot":"","sources":["../../src/commands/viz.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAw6BxC,wBAAgB,kBAAkB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAoEzD"}