@dahch/muninn 0.0.0-stage → 0.2.0

package/dist/commands/setup.js

@@ -0,0 +1,397 @@
+import fs from "node:fs";
+import path from "node:path";
+import chalk from "chalk";
+import { getPortableStatus, setupPortable, } from "../setup/portable.js";
+import { getJsonTargetStatus, setupJsonTarget, } from "../setup/json-target.js";
+import { getTomlTargetStatus, setupTomlTarget, } from "../setup/toml-target.js";
+import { AGENT_IDS, AGENT_REGISTRY, agentExecutable, parseAgentSelection, resolveMcpPaths, resolveRulesPath, } from "../setup/registry.js";
+import { getRulesTargetStatus, setupRulesTarget, } from "../setup/rules-target.js";
+import { sanitizeTerminalText } from "../util/text.js";
+export function printSetupUsage() {
+    console.log(`muninn setup — Install and diagnose Muninn agent integrations
+
+Usage:
+  muninn setup [--portable] [--no-rules] [--force] [--dry-run] [--status] [--list]
+               [--agent <id|all|id,id>] [--project <path>] [--home <path>]
+
+Options:
+  --list           List the agent catalog without modifying anything
+  --agent <ids>    Configure one ID, all, or a comma-separated list
+  --project <path> Project root used by project-level agent configs
+  --portable       Install the portable MCP configuration (default)
+  --no-portable    Skip the portable configuration (requires --agent)
+  --no-rules       Skip installing marked usage rules for selected agents
+  --home <path>    Home directory to configure (default: OS home directory)
+  --force          Replace a different existing Muninn entry
+  --dry-run        Report intended changes without writing
+  --status         Report configuration state without writing
+`);
+}
+function setupError(message) {
+    console.error(chalk.red(`Error: ${sanitizeTerminalText(message)}`));
+    process.exitCode = 1;
+}
+function setupWarning(message) {
+    console.error(chalk.yellow(`Warning: ${sanitizeTerminalText(message)}`));
+}
+function isEnabled(value) {
+    return value === true || value === "true";
+}
+function isExecutableAvailable(binary, envPath) {
+    if (envPath === undefined || envPath.length === 0)
+        return false;
+    const extensions = process.platform === "win32"
+        ? (process.env.PATHEXT ?? ".EXE;.CMD;.BAT;.COM").split(";").filter(Boolean)
+        : [""];
+    for (const directory of envPath.split(path.delimiter)) {
+        if (directory.length === 0)
+            continue;
+        for (const extension of extensions) {
+            const suffix = process.platform === "win32" &&
+                !binary.toLowerCase().endsWith(extension.toLowerCase())
+                ? extension
+                : "";
+            const candidate = path.join(directory, `${binary}${suffix}`);
+            try {
+                const stat = fs.statSync(candidate);
+                if (!stat.isFile())
+                    continue;
+                fs.accessSync(candidate, fs.constants.X_OK);
+                return true;
+            }
+            catch {
+                // Try the next directory or extension.
+            }
+        }
+    }
+    return false;
+}
+function warnMissingBinaries(targets) {
+    for (const target of targets) {
+        const binary = agentExecutable(target.id);
+        // Targets without a meaningful local executable (IDE/web agents) are
+        // explicitly marked as not applicable and never warn.
+        if (binary === null)
+            continue;
+        if (!isExecutableAvailable(binary, process.env.PATH)) {
+            setupWarning(`${target.label} (${target.id}) binary "${binary}" is not installed in PATH`);
+        }
+    }
+}
+function resolveRulesGroups(ids, projectPath) {
+    const groups = new Map();
+    for (const id of ids) {
+        const rulesPath = resolveRulesPath(id, { projectPath });
+        const key = path.resolve(rulesPath);
+        const existing = groups.get(key);
+        if (existing === undefined) {
+            groups.set(key, { path: key, agents: [id] });
+        }
+        else {
+            existing.agents.push(id);
+        }
+    }
+    return [...groups.values()];
+}
+function printRulesStatus(status) {
+    console.log(`Muninn rules (${status.agents.join(", ")})`);
+    console.log(`  Path:    ${status.path}`);
+    console.log(`  State:   ${status.state}`);
+    console.log(`  Changed: false`);
+    if (status.error) {
+        console.error(chalk.red(`Error: ${sanitizeTerminalText(status.error)}`));
+    }
+}
+function printRulesReport(report) {
+    console.log(`Muninn rules (${report.agents.join(", ")})`);
+    console.log(`  Path:    ${report.path}`);
+    console.log(`  State:   ${report.state}`);
+    console.log(`  Outcome: ${report.outcome}`);
+    console.log(`  Changed: ${report.changed}`);
+    if (report.dryRun) {
+        console.log("  Dry run: no files were written");
+    }
+    if (report.error) {
+        console.error(chalk.red(`Error: ${sanitizeTerminalText(report.error)}`));
+    }
+}
+function printStatus(status) {
+    console.log("Portable MCP configuration");
+    console.log(`  Path:    ${status.path}`);
+    console.log(`  State:   ${status.state}`);
+    if (status.legacyPresent) {
+        console.log(`  Legacy:  ${status.legacyPath} (not modified)`);
+    }
+    console.log(`  Changed: false`);
+    if (status.error) {
+        console.error(chalk.red(`Error: ${sanitizeTerminalText(status.error)}`));
+    }
+}
+function printReport(report) {
+    console.log("Portable MCP configuration");
+    console.log(`  Path:    ${report.path}`);
+    console.log(`  State:   ${report.state}`);
+    console.log(`  Outcome: ${report.outcome}`);
+    console.log(`  Changed: ${report.changed}`);
+    if (report.legacyPresent) {
+        console.log(`  Legacy:  ${report.legacyPath} (not modified)`);
+    }
+    if (report.dryRun) {
+        console.log("  Dry run: no files were written");
+    }
+    if (report.error) {
+        console.error(chalk.red(`Error: ${sanitizeTerminalText(report.error)}`));
+    }
+}
+function printTomlStatus(status) {
+    console.log(`${status.target.label} (${status.target.id})`);
+    console.log(`  Path:    ${status.path}`);
+    console.log(`  Format:  ${status.target.format}`);
+    console.log(`  State:   ${status.state}`);
+    console.log(`  Changed: false`);
+    if (status.error) {
+        console.error(chalk.red(`Error: ${sanitizeTerminalText(status.error)}`));
+    }
+}
+function printTomlReport(report) {
+    console.log(`${report.target.label} (${report.target.id})`);
+    console.log(`  Path:    ${report.path}`);
+    console.log(`  Format:  ${report.target.format}`);
+    console.log(`  State:   ${report.state}`);
+    console.log(`  Outcome: ${report.outcome}`);
+    console.log(`  Changed: ${report.changed}`);
+    if (report.dryRun) {
+        console.log("  Dry run: no files were written");
+    }
+    if (report.error) {
+        console.error(chalk.red(`Error: ${sanitizeTerminalText(report.error)}`));
+    }
+}
+function printJsonStatus(status) {
+    console.log(`${status.target.label} (${status.target.id})`);
+    console.log(`  Path:    ${status.path}`);
+    console.log(`  Format:  ${status.target.format}`);
+    console.log(`  State:   ${status.state}`);
+    console.log(`  Changed: false`);
+    if (status.error) {
+        console.error(chalk.red(`Error: ${sanitizeTerminalText(status.error)}`));
+    }
+}
+function printJsonReport(report) {
+    console.log(`${report.target.label} (${report.target.id})`);
+    console.log(`  Path:    ${report.path}`);
+    console.log(`  Format:  ${report.target.format}`);
+    console.log(`  State:   ${report.state}`);
+    console.log(`  Outcome: ${report.outcome}`);
+    console.log(`  Changed: ${report.changed}`);
+    if (report.dryRun) {
+        console.log("  Dry run: no files were written");
+    }
+    if (report.warning) {
+        setupWarning(report.warning);
+    }
+    if (report.error) {
+        console.error(chalk.red(`Error: ${sanitizeTerminalText(report.error)}`));
+    }
+}
+function printCatalog(projectPath, homeDir) {
+    console.log("Muninn agent setup catalog");
+    for (const id of AGENT_IDS) {
+        const target = AGENT_REGISTRY[id];
+        let mcps;
+        try {
+            mcps = resolveMcpPaths(target, { projectPath, homeDir });
+        }
+        catch (err) {
+            mcps = [`<error: ${err.message}>`];
+        }
+        console.log(`${target.id} — ${target.label}`);
+        console.log(`  Format:  ${target.format}`);
+        console.log(`  MCP:     ${mcps.join(", ")}`);
+        console.log(`  Rules:   ${resolveRulesPath(target, { projectPath })}`);
+    }
+}
+function selectedTargets(selection) {
+    return (selection ?? AGENT_IDS).map((id) => AGENT_REGISTRY[id]);
+}
+export async function handleSetupCommand(args) {
+    if (args["--help"] || args["-h"]) {
+        printSetupUsage();
+        return;
+    }
+    const homeValue = args["--home"];
+    if (homeValue !== undefined && typeof homeValue !== "string") {
+        setupError("--home requires a path value.");
+        printSetupUsage();
+        return;
+    }
+    const projectValue = args["--project"];
+    if (projectValue !== undefined && typeof projectValue !== "string") {
+        setupError("--project requires a path value.");
+        printSetupUsage();
+        return;
+    }
+    const list = isEnabled(args["--list"]);
+    const noPortable = isEnabled(args["--no-portable"]);
+    const noRules = isEnabled(args["--no-rules"]);
+    const status = isEnabled(args["--status"]);
+    const dryRun = isEnabled(args["--dry-run"]);
+    const force = isEnabled(args["--force"]);
+    const agentValue = args["--agent"];
+    const hasAgent = agentValue !== undefined && agentValue !== false;
+    if (list && (status || dryRun || force || noPortable || hasAgent)) {
+        setupError("--list cannot be combined with --status, --dry-run, --force, --agent, or --no-portable.");
+        printSetupUsage();
+        return;
+    }
+    if (hasAgent && typeof agentValue !== "string") {
+        setupError("--agent requires an agent ID, `all`, or a comma-separated list.");
+        printSetupUsage();
+        return;
+    }
+    let selection;
+    if (typeof agentValue === "string") {
+        const parsed = parseAgentSelection(agentValue);
+        if (!parsed.ok) {
+            setupError(`Unknown agent ID${parsed.unknown.length === 1 ? "" : "s"}: ${parsed.unknown.join(", ")}. ` +
+                `Valid IDs: ${parsed.valid.join(", ")}, all.`);
+            return;
+        }
+        selection = parsed.ids;
+    }
+    if (noPortable && selection === undefined) {
+        setupError(noRules
+            ? "--no-portable --no-rules requires --agent; there is nothing to do."
+            : "--no-portable requires --agent; there is nothing to do.");
+        printSetupUsage();
+        return;
+    }
+    const home = typeof homeValue === "string" ? path.resolve(homeValue) : undefined;
+    const projectPath = typeof projectValue === "string" ? path.resolve(projectValue) : path.resolve(process.cwd());
+    const options = { homeDir: home, force, dryRun };
+    if (list) {
+        printCatalog(typeof projectValue === "string" ? projectPath : undefined, home);
+        return;
+    }
+    if (status) {
+        let fatal = false;
+        const targets = selectedTargets(selection);
+        if (selection !== undefined)
+            warnMissingBinaries(targets);
+        for (const target of targets) {
+            let paths;
+            try {
+                paths = resolveMcpPaths(target, { projectPath, homeDir: home });
+            }
+            catch (err) {
+                fatal = true;
+                setupError(err.message);
+                continue;
+            }
+            for (const configPath of paths) {
+                if (target.format === "toml") {
+                    const result = getTomlTargetStatus({ target, path: configPath, projectPath });
+                    printTomlStatus(result);
+                    if (result.error !== undefined || result.errors.length > 0)
+                        fatal = true;
+                }
+                else {
+                    const result = getJsonTargetStatus({ target, path: configPath, projectPath });
+                    printJsonStatus(result);
+                    if (result.state === "malformed")
+                        fatal = true;
+                }
+            }
+        }
+        if (selection !== undefined && !noRules) {
+            for (const group of resolveRulesGroups(selection, projectPath)) {
+                const result = getRulesTargetStatus({
+                    path: group.path,
+                    agents: group.agents,
+                    projectPath,
+                });
+                printRulesStatus(result);
+                if (result.state === "malformed" || result.errors.length > 0)
+                    fatal = true;
+            }
+        }
+        if (!noPortable) {
+            const result = getPortableStatus(options);
+            printStatus(result);
+            if (result.error !== undefined || result.errors.length > 0)
+                fatal = true;
+        }
+        if (fatal)
+            process.exitCode = 1;
+        return;
+    }
+    const includePortable = selection === undefined || !noPortable;
+    if (selection !== undefined) {
+        const targets = selectedTargets(selection);
+        warnMissingBinaries(targets);
+        for (const target of targets) {
+            let paths;
+            try {
+                paths = resolveMcpPaths(target, { projectPath, homeDir: home });
+            }
+            catch (err) {
+                setupError(err.message);
+                return;
+            }
+            for (const configPath of paths) {
+                if (target.format === "toml") {
+                    const report = setupTomlTarget({
+                        target,
+                        path: configPath,
+                        projectPath,
+                        force,
+                        dryRun,
+                    });
+                    printTomlReport(report);
+                    if (report.outcome === "failed") {
+                        process.exitCode = 1;
+                        return;
+                    }
+                }
+                else {
+                    const report = setupJsonTarget({
+                        target,
+                        path: configPath,
+                        projectPath,
+                        force,
+                        dryRun,
+                    });
+                    printJsonReport(report);
+                    if (report.outcome === "failed") {
+                        process.exitCode = 1;
+                        return;
+                    }
+                }
+            }
+        }
+        if (!noRules) {
+            for (const group of resolveRulesGroups(selection, projectPath)) {
+                const report = setupRulesTarget({
+                    path: group.path,
+                    agents: group.agents,
+                    projectPath,
+                    force,
+                    dryRun,
+                });
+                printRulesReport(report);
+                if (report.outcome === "failed") {
+                    process.exitCode = 1;
+                    return;
+                }
+            }
+        }
+    }
+    if (!includePortable)
+        return;
+    const report = setupPortable(options);
+    printReport(report);
+    if (report.outcome === "failed") {
+        process.exitCode = 1;
+    }
+}
+//# sourceMappingURL=setup.js.map

package/dist/commands/setup.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"setup.js","sourceRoot":"","sources":["../../src/commands/setup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,SAAS,CAAC;AACzB,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,KAAK,MAAM,OAAO,CAAC;AAC1B,OAAO,EACL,iBAAiB,EACjB,aAAa,GAGd,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,mBAAmB,EACnB,eAAe,GAGhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,mBAAmB,EACnB,eAAe,GAGhB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EACL,SAAS,EACT,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,eAAe,EACf,gBAAgB,GAGjB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EACL,oBAAoB,EACpB,gBAAgB,GAGjB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EAAE,oBAAoB,EAAE,MAAM,iBAAiB,CAAC;AAEvD,MAAM,UAAU,eAAe;IAC7B,OAAO,CAAC,GAAG,CAAC;;;;;;;;;;;;;;;;;CAiBb,CAAC,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,OAAe;IACjC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;IACpE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;AACvB,CAAC;AAED,SAAS,YAAY,CAAC,OAAe;IACnC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,oBAAoB,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,SAAS,CAAC,KAAmC;IACpD,OAAO,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,MAAM,CAAC;AAC5C,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAc,EAAE,OAA2B;IACxE,IAAI,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAChE,MAAM,UAAU,GACd,OAAO,CAAC,QAAQ,KAAK,OAAO;QAC1B,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,IAAI,qBAAqB,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC;QAC3E,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACX,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACtD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QACrC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,MAAM,GACV,OAAO,CAAC,QAAQ,KAAK,OAAO;gBAC5B,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,WAAW,EAAE,CAAC;gBACrD,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,EAAE,CAAC;YACT,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,MAAM,GAAG,MAAM,EAAE,CAAC,CAAC;YAC7D,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;gBACpC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE;oBAAE,SAAS;gBAC7B,EAAE,CAAC,UAAU,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;gBAC5C,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,MAAM,CAAC;gBACP,uCAAuC;YACzC,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,OAAsB;IACjD,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC1C,qEAAqE;QACrE,sDAAsD;QACtD,IAAI,MAAM,KAAK,IAAI;YAAE,SAAS;QAC9B,IAAI,CAAC,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACrD,YAAY,CAAC,GAAG,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,EAAE,aAAa,MAAM,4BAA4B,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;AACH,CAAC;AAOD,SAAS,kBAAkB,CACzB,GAAc,EACd,WAAmB;IAEnB,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC7C,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;QACrB,MAAM,SAAS,GAAG,gBAAgB,CAAC,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,CAAC;QACxD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACpC,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;QAC/C,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;AAC9B,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAyB;IACjD,OAAO,CAAC,GAAG,CAAC,iBAAiB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1D,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAyB;IACjD,OAAO,CAAC,GAAG,CAAC,iBAAiB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC1D,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,MAAsB;IACzC,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAC1C,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,UAAU,iBAAiB,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,MAAsB;IACzC,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,UAAU,iBAAiB,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,MAAwB;IAC/C,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAClD,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,MAAwB;IAC/C,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAClD,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,MAAwB;IAC/C,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAClD,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAC;IAChC,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,MAAwB;IAC/C,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;IAC5D,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAClD,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;IAC1C,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5C,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5C,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,OAAO,CAAC,GAAG,CAAC,kCAAkC,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,YAAY,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IAC/B,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,oBAAoB,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,WAA+B,EAAE,OAA2B;IAChF,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,CAAC;IAC1C,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,MAAM,MAAM,GAAG,cAAc,CAAC,EAAE,CAAC,CAAC;QAClC,IAAI,IAAc,CAAC;QACnB,IAAI,CAAC;YACH,IAAI,GAAG,eAAe,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,CAAC,CAAC;QAC3D,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,GAAG,CAAC,WAAY,GAAa,CAAC,OAAO,GAAG,CAAC,CAAC;QAChD,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,EAAE,MAAM,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9C,OAAO,CAAC,GAAG,CAAC,cAAc,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3C,OAAO,CAAC,GAAG,CAAC,cAAc,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC7C,OAAO,CAAC,GAAG,CAAC,cAAc,gBAAgB,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC,CAAC;IACzE,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,SAAgC;IACvD,OAAO,CAAC,SAAS,IAAI,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;AAClE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACtC,IAAkD;IAElD,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,eAAe,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IAED,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;IACjC,IAAI,SAAS,KAAK,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC7D,UAAU,CAAC,+BAA+B,CAAC,CAAC;QAC5C,eAAe,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,CAAC,CAAC;IACvC,IAAI,YAAY,KAAK,SAAS,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;QACnE,UAAU,CAAC,kCAAkC,CAAC,CAAC;QAC/C,eAAe,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACvC,MAAM,UAAU,GAAG,SAAS,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC,CAAC;IACpD,MAAM,OAAO,GAAG,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;IAC9C,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC;IAC3C,MAAM,MAAM,GAAG,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IACzC,MAAM,UAAU,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,MAAM,QAAQ,GAAG,UAAU,KAAK,SAAS,IAAI,UAAU,KAAK,KAAK,CAAC;IAElE,IAAI,IAAI,IAAI,CAAC,MAAM,IAAI,MAAM,IAAI,KAAK,IAAI,UAAU,IAAI,QAAQ,CAAC,EAAE,CAAC;QAClE,UAAU,CAAC,yFAAyF,CAAC,CAAC;QACtG,eAAe,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IAED,IAAI,QAAQ,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC/C,UAAU,CAAC,iEAAiE,CAAC,CAAC;QAC9E,eAAe,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IAED,IAAI,SAAgC,CAAC;IACrC,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACnC,MAAM,MAAM,GAAG,mBAAmB,CAAC,UAAU,CAAC,CAAC;QAC/C,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;YACf,UAAU,CACR,mBAAmB,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;gBACzF,cAAc,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAChD,CAAC;YACF,OAAO;QACT,CAAC;QACD,SAAS,GAAG,MAAM,CAAC,GAAG,CAAC;IACzB,CAAC;IAED,IAAI,UAAU,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC1C,UAAU,CACR,OAAO;YACL,CAAC,CAAC,oEAAoE;YACtE,CAAC,CAAC,yDAAyD,CAC9D,CAAC;QACF,eAAe,EAAE,CAAC;QAClB,OAAO;IACT,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACjF,MAAM,WAAW,GACf,OAAO,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;IAC9F,MAAM,OAAO,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;IAEjD,IAAI,IAAI,EAAE,CAAC;QACT,YAAY,CAAC,OAAO,YAAY,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;QAC/E,OAAO;IACT,CAAC;IAED,IAAI,MAAM,EAAE,CAAC;QACX,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QAC3C,IAAI,SAAS,KAAK,SAAS;YAAE,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAC1D,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,KAAe,CAAC;YACpB,IAAI,CAAC;gBACH,KAAK,GAAG,eAAe,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAClE,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,KAAK,GAAG,IAAI,CAAC;gBACb,UAAU,CAAE,GAAa,CAAC,OAAO,CAAC,CAAC;gBACnC,SAAS;YACX,CAAC;YACD,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;gBAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;oBAC7B,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;oBAC9E,eAAe,CAAC,MAAM,CAAC,CAAC;oBACxB,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;wBAAE,KAAK,GAAG,IAAI,CAAC;gBAC3E,CAAC;qBAAM,CAAC;oBACN,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,CAAC,CAAC;oBAC9E,eAAe,CAAC,MAAM,CAAC,CAAC;oBACxB,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW;wBAAE,KAAK,GAAG,IAAI,CAAC;gBACjD,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,SAAS,KAAK,SAAS,IAAI,CAAC,OAAO,EAAE,CAAC;YACxC,KAAK,MAAM,KAAK,IAAI,kBAAkB,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC;gBAC/D,MAAM,MAAM,GAAG,oBAAoB,CAAC;oBAClC,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,WAAW;iBACZ,CAAC,CAAC;gBACH,gBAAgB,CAAC,MAAM,CAAC,CAAC;gBACzB,IAAI,MAAM,CAAC,KAAK,KAAK,WAAW,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;oBAAE,KAAK,GAAG,IAAI,CAAC;YAC7E,CAAC;QACH,CAAC;QAED,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,MAAM,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;YAC1C,WAAW,CAAC,MAAM,CAAC,CAAC;YACpB,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC;gBAAE,KAAK,GAAG,IAAI,CAAC;QAC3E,CAAC;QAED,IAAI,KAAK;YAAE,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;QAChC,OAAO;IACT,CAAC;IAED,MAAM,eAAe,GAAG,SAAS,KAAK,SAAS,IAAI,CAAC,UAAU,CAAC;IAE/D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QAC3C,mBAAmB,CAAC,OAAO,CAAC,CAAC;QAC7B,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,KAAe,CAAC;YACpB,IAAI,CAAC;gBACH,KAAK,GAAG,eAAe,CAAC,MAAM,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC;YAClE,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,UAAU,CAAE,GAAa,CAAC,OAAO,CAAC,CAAC;gBACnC,OAAO;YACT,CAAC;YAED,KAAK,MAAM,UAAU,IAAI,KAAK,EAAE,CAAC;gBAC/B,IAAI,MAAM,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;oBAC7B,MAAM,MAAM,GAAG,eAAe,CAAC;wBAC7B,MAAM;wBACN,IAAI,EAAE,UAAU;wBAChB,WAAW;wBACX,KAAK;wBACL,MAAM;qBACP,CAAC,CAAC;oBACH,eAAe,CAAC,MAAM,CAAC,CAAC;oBACxB,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;wBAChC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;wBACrB,OAAO;oBACT,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,MAAM,MAAM,GAAG,eAAe,CAAC;wBAC7B,MAAM;wBACN,IAAI,EAAE,UAAU;wBAChB,WAAW;wBACX,KAAK;wBACL,MAAM;qBACP,CAAC,CAAC;oBACH,eAAe,CAAC,MAAM,CAAC,CAAC;oBACxB,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;wBAChC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;wBACrB,OAAO;oBACT,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,IAAI,CAAC,OAAO,EAAE,CAAC;YACb,KAAK,MAAM,KAAK,IAAI,kBAAkB,CAAC,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC;gBAC/D,MAAM,MAAM,GAAG,gBAAgB,CAAC;oBAC9B,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,MAAM,EAAE,KAAK,CAAC,MAAM;oBACpB,WAAW;oBACX,KAAK;oBACL,MAAM;iBACP,CAAC,CAAC;gBACH,gBAAgB,CAAC,MAAM,CAAC,CAAC;gBACzB,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;oBAChC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;oBACrB,OAAO;gBACT,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,IAAI,CAAC,eAAe;QAAE,OAAO;IAE7B,MAAM,MAAM,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACtC,WAAW,CAAC,MAAM,CAAC,CAAC;IACpB,IAAI,MAAM,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;QAChC,OAAO,CAAC,QAAQ,GAAG,CAAC,CAAC;IACvB,CAAC;AACH,CAAC"}

package/dist/contracts/compiler.d.ts

@@ -0,0 +1,71 @@
+import ts from "typescript";
+export type DiagnosticCategoryName = "error" | "warning" | "message" | "suggestion";
+export interface FormattedDiagnostic {
+    filePath: string;
+    line: number;
+    character: number;
+    code: string;
+    category: DiagnosticCategoryName;
+    message: string;
+    snippet?: string;
+}
+export interface ContractVerificationResult {
+    valid: boolean;
+    errorsCount: number;
+    diagnostics: FormattedDiagnostic[];
+}
+/**
+ * Safe default TypeScript compiler options used when tsconfig.json is absent or invalid.
+ */
+export declare const DEFAULT_COMPILER_OPTIONS: ts.CompilerOptions;
+/**
+ * Creates a formatted visual snippet of the line of code containing the error,
+ * with a caret pointer underlining the exact error span.
+ * Clamps input positions, line lengths, and span lengths to bounded limits (SEC-006, REV-008).
+ */
+export declare function createVisualSnippet(sourceFile: ts.SourceFile, start: number, length?: number): string;
+/**
+ * Formats a raw TypeScript compiler diagnostic into a structured FormattedDiagnostic.
+ */
+export declare function formatDiagnostic(diagnostic: ts.Diagnostic, projectRoot: string): FormattedDiagnostic;
+/**
+ * Loads tsconfig.json strictly from projectRoot without walking up parent directories (REV-005, SEC-007).
+ */
+export declare function loadProjectConfig(projectRoot: string): {
+    configPath: string | undefined;
+    options: ts.CompilerOptions;
+    fileNames: string[];
+    errors: ts.Diagnostic[];
+};
+export declare const TS_JS_EXTENSIONS: Set<string>;
+/**
+ * Recursively discovers TypeScript/JavaScript source files within a directory.
+ */
+export declare function findSourceFilesInDir(dir: string): string[];
+export type ResolveTargetFilesResult = {
+    success: true;
+    targetFiles?: string[];
+} | {
+    success: false;
+    failure: ContractVerificationResult;
+};
+/**
+ * Validates requested file paths against path traversal and file existence (SEC-001, REV-003).
+ */
+export declare function resolveTargetFiles(projectRoot: string, filePaths?: string[]): ResolveTargetFilesResult;
+/**
+ * Verifies TypeScript compilation contracts for the given project and files.
+ * Returns structured pre-emit diagnostics with line/character locations and visual code snippets.
+ */
+export declare function verifyTypeScriptContracts(projectRoot: string, filePaths?: string[]): ContractVerificationResult;
+/**
+ * Formats a ContractVerificationResult into a markdown report suitable for
+ * gate evaluation and thinker fix prompts.
+ */
+export declare function formatDiagnosticsReport(result: ContractVerificationResult): string;
+export declare const TypeValidator: {
+    check: typeof verifyTypeScriptContracts;
+    formatReport: typeof formatDiagnosticsReport;
+    DEFAULT_COMPILER_OPTIONS: ts.CompilerOptions;
+};
+//# sourceMappingURL=compiler.d.ts.map

package/dist/contracts/compiler.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compiler.d.ts","sourceRoot":"","sources":["../../src/contracts/compiler.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,MAAM,MAAM,sBAAsB,GAC9B,OAAO,GACP,SAAS,GACT,SAAS,GACT,YAAY,CAAC;AAEjB,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,MAAM,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,QAAQ,EAAE,sBAAsB,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,MAAM,WAAW,0BAA0B;IACzC,KAAK,EAAE,OAAO,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,mBAAmB,EAAE,CAAC;CACpC;AAED;;GAEG;AACH,eAAO,MAAM,wBAAwB,EAAE,EAAE,CAAC,eASzC,CAAC;AAkBF;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,KAAK,EAAE,MAAM,EACb,MAAM,GAAE,MAAU,GACjB,MAAM,CA+BR;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,EAAE,CAAC,UAAU,EACzB,WAAW,EAAE,MAAM,GAClB,mBAAmB,CAwCrB;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG;IACtD,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;IAC/B,OAAO,EAAE,EAAE,CAAC,eAAe,CAAC;IAC5B,SAAS,EAAE,MAAM,EAAE,CAAC;IACpB,MAAM,EAAE,EAAE,CAAC,UAAU,EAAE,CAAC;CACzB,CAuCA;AAED,eAAO,MAAM,gBAAgB,aAS3B,CAAC;AAEH;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CAsB1D;AAED,MAAM,MAAM,wBAAwB,GAChC;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,GACzC;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,OAAO,EAAE,0BAA0B,CAAA;CAAE,CAAC;AAE5D;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,WAAW,EAAE,MAAM,EACnB,SAAS,CAAC,EAAE,MAAM,EAAE,GACnB,wBAAwB,CAyD1B;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,WAAW,EAAE,MAAM,EACnB,SAAS,CAAC,EAAE,MAAM,EAAE,GACnB,0BAA0B,CAwI5B;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,0BAA0B,GACjC,MAAM,CAyBR;AAED,eAAO,MAAM,aAAa;;;;CAIzB,CAAC"}