@plazmodium/odin 0.3.2-beta

package/dist/adapters/formal-verification/tla-precheck.js

@@ -0,0 +1,270 @@
+/**
+ * TLA+ PreCheck Adapter
+ * Version: 0.1.0
+ */
+import { access } from 'node:fs/promises';
+import { constants as fsConstants } from 'node:fs';
+import { spawn } from 'node:child_process';
+import { writeFile, mkdir } from 'node:fs/promises';
+import { join, relative, resolve, sep } from 'node:path';
+import { tmpdir } from 'node:os';
+function runCommand(command, args, cwd, timeout_ms) {
+    return new Promise((resolve_promise, reject) => {
+        const child = spawn(command, args, {
+            cwd,
+            stdio: ['ignore', 'pipe', 'pipe'],
+            timeout: timeout_ms,
+        });
+        let stdout = '';
+        let stderr = '';
+        child.stdout.on('data', (chunk) => {
+            stdout += String(chunk);
+        });
+        child.stderr.on('data', (chunk) => {
+            stderr += String(chunk);
+        });
+        child.on('error', reject);
+        child.on('close', (code) => resolve_promise({ code, stdout, stderr }));
+    });
+}
+function isWithinProjectRoot(project_root, candidate_path) {
+    const relative_path = relative(project_root, candidate_path);
+    return relative_path !== '..' && !relative_path.startsWith(`..${sep}`) && relative_path !== '';
+}
+function truncateTrace(trace, max_length) {
+    if (trace.length <= max_length)
+        return trace;
+    return trace.slice(0, max_length - 3) + '...';
+}
+/**
+ * tla-precheck `check` writes two JSON blobs to stdout separated by a text line.
+ * Extract the last valid JSON object (the verification result).
+ */
+export function extractLastJson(stdout) {
+    const blocks = [];
+    let depth = 0;
+    let start = -1;
+    for (let i = 0; i < stdout.length; i++) {
+        if (stdout[i] === '{') {
+            if (depth === 0)
+                start = i;
+            depth++;
+        }
+        else if (stdout[i] === '}') {
+            depth--;
+            if (depth === 0 && start >= 0) {
+                blocks.push(stdout.slice(start, i + 1));
+                start = -1;
+            }
+        }
+    }
+    return blocks.at(-1) ?? null;
+}
+export function parseCliOutput(stdout, machine_path) {
+    const json_block = extractLastJson(stdout);
+    if (json_block == null) {
+        throw new Error('No JSON object found in tla-precheck output');
+    }
+    const raw = JSON.parse(json_block);
+    // The last JSON block can be either:
+    // 1. A TlaPreCheckVerifyOutput with { estimate, certificate, generated }
+    // 2. A raw TlaPreCheckEstimate (when budget check fails, only the estimate is emitted)
+    const is_verify_output = 'certificate' in raw || ('estimate' in raw && 'generated' in raw);
+    const parsed = (is_verify_output ? raw : { estimate: raw });
+    const cert = parsed.certificate;
+    const estimate = parsed.estimate;
+    if (cert == null && estimate != null && estimate.withinBudget === false) {
+        const violation_names = (estimate.budgetViolations ?? [])
+            .map((v) => v.name ?? 'unknown')
+            .join(', ');
+        return {
+            machine_name: machine_path,
+            status: 'VIOLATION',
+            proof_passed: false,
+            equivalent: null,
+            states_checked: 0,
+            invariant_violations: [{
+                    invariant_name: 'budget',
+                    description: `State space exceeds budget. Violations: ${violation_names}`,
+                }],
+            error: 'Estimate failed: state space exceeds budget.',
+            duration_ms: 0,
+        };
+    }
+    if (cert == null) {
+        throw new Error('No certificate found in tla-precheck output');
+    }
+    const machine_name = cert.machine ?? machine_path;
+    const proof_passed = cert.proofPassed === true;
+    let status;
+    if (proof_passed && (cert.equivalent === true || cert.equivalent == null)) {
+        status = 'VERIFIED';
+    }
+    else {
+        status = 'VIOLATION';
+    }
+    const violations = [];
+    if (!proof_passed && cert.proofOutput != null) {
+        violations.push({
+            invariant_name: 'proof',
+            description: 'TLC proof failed',
+            counter_example_summary: truncateTrace(cert.proofOutput, 500),
+        });
+    }
+    return {
+        machine_name,
+        status,
+        proof_passed,
+        equivalent: cert.equivalent ?? null,
+        states_checked: cert.tlcStateCount ?? 0,
+        invariant_violations: violations,
+        duration_ms: 0,
+    };
+}
+export class TlaPreCheckAdapter {
+    project_root;
+    timeout_ms;
+    trace_dir;
+    constructor(project_root, timeout_seconds = 120) {
+        this.project_root = project_root;
+        this.timeout_ms = timeout_seconds * 1000;
+        this.trace_dir = join(tmpdir(), 'odin-tla-traces');
+    }
+    async isAvailable() {
+        const binary_path = this.resolveBinaryPath();
+        try {
+            await access(binary_path, fsConstants.X_OK);
+        }
+        catch {
+            return false;
+        }
+        try {
+            const result = await runCommand('java', ['-version'], this.project_root, 10_000);
+            if (result.code !== 0)
+                return false;
+            const version_output = result.stderr + result.stdout;
+            const match = version_output.match(/version "(\d+)/);
+            const version_str = match?.[1];
+            if (version_str == null)
+                return false;
+            return parseInt(version_str, 10) >= 17;
+        }
+        catch {
+            return false;
+        }
+    }
+    async verifyDesign(request) {
+        const absolute_path = resolve(this.project_root, request.machine_path);
+        if (!isWithinProjectRoot(this.project_root, absolute_path)) {
+            return {
+                machine_name: request.machine_path,
+                status: 'INTERNAL_ERROR',
+                proof_passed: false,
+                equivalent: null,
+                states_checked: 0,
+                invariant_violations: [],
+                error: `Path traversal rejected: ${request.machine_path} is outside the project root.`,
+                duration_ms: 0,
+            };
+        }
+        try {
+            await access(absolute_path, fsConstants.R_OK);
+        }
+        catch {
+            return {
+                machine_name: request.machine_path,
+                status: 'INVALID_MODEL',
+                proof_passed: false,
+                equivalent: null,
+                states_checked: 0,
+                invariant_violations: [],
+                error: `Machine file not found: ${request.machine_path}`,
+                duration_ms: 0,
+            };
+        }
+        const binary_path = this.resolveBinaryPath();
+        const start = Date.now();
+        let result;
+        try {
+            result = await runCommand(binary_path, ['check', absolute_path, '--json'], this.project_root, this.timeout_ms);
+        }
+        catch (error) {
+            const elapsed = Date.now() - start;
+            const message = error instanceof Error ? error.message : String(error);
+            if (message.includes('TIMEOUT') || message.includes('timed out')) {
+                return {
+                    machine_name: request.machine_path,
+                    status: 'TIMEOUT',
+                    proof_passed: false,
+                    equivalent: null,
+                    states_checked: 0,
+                    invariant_violations: [],
+                    error: `TLC exceeded time budget (${this.timeout_ms / 1000}s).`,
+                    duration_ms: elapsed,
+                };
+            }
+            return {
+                machine_name: request.machine_path,
+                status: 'INTERNAL_ERROR',
+                proof_passed: false,
+                equivalent: null,
+                states_checked: 0,
+                invariant_violations: [],
+                error: `tla-precheck execution failed: ${message}`,
+                duration_ms: elapsed,
+            };
+        }
+        const elapsed = Date.now() - start;
+        if (result.stdout.trim().length === 0) {
+            return {
+                machine_name: request.machine_path,
+                status: 'INTERNAL_ERROR',
+                proof_passed: false,
+                equivalent: null,
+                states_checked: 0,
+                invariant_violations: [],
+                error: `tla-precheck produced no output. stderr: ${result.stderr}`,
+                duration_ms: elapsed,
+            };
+        }
+        let verification;
+        try {
+            verification = parseCliOutput(result.stdout, request.machine_path);
+        }
+        catch {
+            return {
+                machine_name: request.machine_path,
+                status: 'INVALID_MODEL',
+                proof_passed: false,
+                equivalent: null,
+                states_checked: 0,
+                invariant_violations: [],
+                error: `Failed to parse tla-precheck output. Raw: ${result.stdout.slice(0, 300)}`,
+                duration_ms: elapsed,
+            };
+        }
+        verification.duration_ms = elapsed;
+        if (result.stderr.trim().length > 0 && verification.status === 'VIOLATION') {
+            const date_stamp = new Date().toISOString().slice(0, 10);
+            await this.writeTraceLogs(verification.machine_name, result.stderr);
+            for (const violation of verification.invariant_violations) {
+                violation.trace_path = join(this.trace_dir, `${verification.machine_name}-${date_stamp}.log`);
+            }
+        }
+        return verification;
+    }
+    resolveBinaryPath() {
+        return join(this.project_root, 'node_modules', '.bin', 'tla-precheck');
+    }
+    async writeTraceLogs(machine_name, trace) {
+        try {
+            await mkdir(this.trace_dir, { recursive: true });
+            const filename = `${machine_name}-${new Date().toISOString().slice(0, 10)}.log`;
+            await writeFile(join(this.trace_dir, filename), trace, 'utf8');
+        }
+        catch {
+            console.error(`[Odin Runtime] Failed to write trace log for ${machine_name}`);
+        }
+    }
+}
+//# sourceMappingURL=tla-precheck.js.map

package/dist/adapters/formal-verification/tla-precheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tla-precheck.js","sourceRoot":"","sources":["../../../src/adapters/formal-verification/tla-precheck.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,SAAS,IAAI,WAAW,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AAejC,SAAS,UAAU,CACjB,OAAe,EACf,IAAc,EACd,GAAW,EACX,UAAkB;IAElB,OAAO,IAAI,OAAO,CAAC,CAAC,eAAe,EAAE,MAAM,EAAE,EAAE;QAC7C,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE;YACjC,GAAG;YACH,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;YACjC,OAAO,EAAE,UAAU;SACpB,CAAC,CAAC;QAEH,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,MAAM,GAAG,EAAE,CAAC;QAEhB,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;YAChC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;YAChC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1B,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,mBAAmB,CAAC,YAAoB,EAAE,cAAsB;IACvE,MAAM,aAAa,GAAG,QAAQ,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IAC7D,OAAO,aAAa,KAAK,IAAI,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,IAAI,aAAa,KAAK,EAAE,CAAC;AACjG,CAAC;AAED,SAAS,aAAa,CAAC,KAAa,EAAE,UAAkB;IACtD,IAAI,KAAK,CAAC,MAAM,IAAI,UAAU;QAAE,OAAO,KAAK,CAAC;IAC7C,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,UAAU,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC;AAChD,CAAC;AA0BD;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc;IAC5C,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC;IAEf,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACvC,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YACtB,IAAI,KAAK,KAAK,CAAC;gBAAE,KAAK,GAAG,CAAC,CAAC;YAC3B,KAAK,EAAE,CAAC;QACV,CAAC;aAAM,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC7B,KAAK,EAAE,CAAC;YACR,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACxC,KAAK,GAAG,CAAC,CAAC,CAAC;YACb,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC/B,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,MAAc,EAAE,YAAoB;IACjE,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,UAAU,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAA4B,CAAC;IAE9D,qCAAqC;IACrC,yEAAyE;IACzE,uFAAuF;IACvF,MAAM,gBAAgB,GAAG,aAAa,IAAI,GAAG,IAAI,CAAC,UAAU,IAAI,GAAG,IAAI,WAAW,IAAI,GAAG,CAAC,CAAC;IAC3F,MAAM,MAAM,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,CAA4B,CAAC;IACvF,MAAM,IAAI,GAAG,MAAM,CAAC,WAAW,CAAC;IAChC,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IAEjC,IAAI,IAAI,IAAI,IAAI,IAAI,QAAQ,IAAI,IAAI,IAAI,QAAQ,CAAC,YAAY,KAAK,KAAK,EAAE,CAAC;QACxE,MAAM,eAAe,GAAG,CAAC,QAAQ,CAAC,gBAAgB,IAAI,EAAE,CAAC;aACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,SAAS,CAAC;aAC/B,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO;YACL,YAAY,EAAE,YAAY;YAC1B,MAAM,EAAE,WAAW;YACnB,YAAY,EAAE,KAAK;YACnB,UAAU,EAAE,IAAI;YAChB,cAAc,EAAE,CAAC;YACjB,oBAAoB,EAAE,CAAC;oBACrB,cAAc,EAAE,QAAQ;oBACxB,WAAW,EAAE,2CAA2C,eAAe,EAAE;iBAC1E,CAAC;YACF,KAAK,EAAE,8CAA8C;YACrD,WAAW,EAAE,CAAC;SACf,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;QACjB,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,IAAI,YAAY,CAAC;IAClD,MAAM,YAAY,GAAG,IAAI,CAAC,WAAW,KAAK,IAAI,CAAC;IAE/C,IAAI,MAA2C,CAAC;IAChD,IAAI,YAAY,IAAI,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,EAAE,CAAC;QAC1E,MAAM,GAAG,UAAU,CAAC;IACtB,CAAC;SAAM,CAAC;QACN,MAAM,GAAG,WAAW,CAAC;IACvB,CAAC;IAED,MAAM,UAAU,GAAyB,EAAE,CAAC;IAC5C,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,EAAE,CAAC;QAC9C,UAAU,CAAC,IAAI,CAAC;YACd,cAAc,EAAE,OAAO;YACvB,WAAW,EAAE,kBAAkB;YAC/B,uBAAuB,EAAE,aAAa,CAAC,IAAI,CAAC,WAAW,EAAE,GAAG,CAAC;SAC9D,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,YAAY;QACZ,MAAM;QACN,YAAY;QACZ,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,IAAI;QACnC,cAAc,EAAE,IAAI,CAAC,aAAa,IAAI,CAAC;QACvC,oBAAoB,EAAE,UAAU;QAChC,WAAW,EAAE,CAAC;KACf,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,kBAAkB;IACZ,YAAY,CAAS;IACrB,UAAU,CAAS;IACnB,SAAS,CAAS;IAEnC,YAAY,YAAoB,EAAE,kBAA0B,GAAG;QAC7D,IAAI,CAAC,YAAY,GAAG,YAAY,CAAC;QACjC,IAAI,CAAC,UAAU,GAAG,eAAe,GAAG,IAAI,CAAC;QACzC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,MAAM,EAAE,EAAE,iBAAiB,CAAC,CAAC;IACrD,CAAC;IAED,KAAK,CAAC,WAAW;QACf,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC7C,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAC9C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;QAED,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,MAAM,EAAE,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;YACjF,IAAI,MAAM,CAAC,IAAI,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC;YAEpC,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;YACrD,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;YACrD,MAAM,WAAW,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;YAC/B,IAAI,WAAW,IAAI,IAAI;gBAAE,OAAO,KAAK,CAAC;YACtC,OAAO,QAAQ,CAAC,WAAW,EAAE,EAAE,CAAC,IAAI,EAAE,CAAC;QACzC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IAED,KAAK,CAAC,YAAY,CAAC,OAA4B;QAC7C,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;QACvE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,YAAY,EAAE,aAAa,CAAC,EAAE,CAAC;YAC3D,OAAO;gBACL,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,MAAM,EAAE,gBAAgB;gBACxB,YAAY,EAAE,KAAK;gBACnB,UAAU,EAAE,IAAI;gBAChB,cAAc,EAAE,CAAC;gBACjB,oBAAoB,EAAE,EAAE;gBACxB,KAAK,EAAE,4BAA4B,OAAO,CAAC,YAAY,+BAA+B;gBACtF,WAAW,EAAE,CAAC;aACf,CAAC;QACJ,CAAC;QAED,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAChD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;gBACL,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,MAAM,EAAE,eAAe;gBACvB,YAAY,EAAE,KAAK;gBACnB,UAAU,EAAE,IAAI;gBAChB,cAAc,EAAE,CAAC;gBACjB,oBAAoB,EAAE,EAAE;gBACxB,KAAK,EAAE,2BAA2B,OAAO,CAAC,YAAY,EAAE;gBACxD,WAAW,EAAE,CAAC;aACf,CAAC;QACJ,CAAC;QAED,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,EAAE,CAAC;QAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEzB,IAAI,MAAqB,CAAC;QAC1B,IAAI,CAAC;YACH,MAAM,GAAG,MAAM,UAAU,CACvB,WAAW,EACX,CAAC,OAAO,EAAE,aAAa,EAAE,QAAQ,CAAC,EAClC,IAAI,CAAC,YAAY,EACjB,IAAI,CAAC,UAAU,CAChB,CAAC;QACJ,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;YACnC,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAEvE,IAAI,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;gBACjE,OAAO;oBACL,YAAY,EAAE,OAAO,CAAC,YAAY;oBAClC,MAAM,EAAE,SAAS;oBACjB,YAAY,EAAE,KAAK;oBACnB,UAAU,EAAE,IAAI;oBAChB,cAAc,EAAE,CAAC;oBACjB,oBAAoB,EAAE,EAAE;oBACxB,KAAK,EAAE,6BAA6B,IAAI,CAAC,UAAU,GAAG,IAAI,KAAK;oBAC/D,WAAW,EAAE,OAAO;iBACrB,CAAC;YACJ,CAAC;YAED,OAAO;gBACL,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,MAAM,EAAE,gBAAgB;gBACxB,YAAY,EAAE,KAAK;gBACnB,UAAU,EAAE,IAAI;gBAChB,cAAc,EAAE,CAAC;gBACjB,oBAAoB,EAAE,EAAE;gBACxB,KAAK,EAAE,kCAAkC,OAAO,EAAE;gBAClD,WAAW,EAAE,OAAO;aACrB,CAAC;QACJ,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;QAEnC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtC,OAAO;gBACL,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,MAAM,EAAE,gBAAgB;gBACxB,YAAY,EAAE,KAAK;gBACnB,UAAU,EAAE,IAAI;gBAChB,cAAc,EAAE,CAAC;gBACjB,oBAAoB,EAAE,EAAE;gBACxB,KAAK,EAAE,4CAA4C,MAAM,CAAC,MAAM,EAAE;gBAClE,WAAW,EAAE,OAAO;aACrB,CAAC;QACJ,CAAC;QAED,IAAI,YAAuC,CAAC;QAC5C,IAAI,CAAC;YACH,YAAY,GAAG,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;QACrE,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;gBACL,YAAY,EAAE,OAAO,CAAC,YAAY;gBAClC,MAAM,EAAE,eAAe;gBACvB,YAAY,EAAE,KAAK;gBACnB,UAAU,EAAE,IAAI;gBAChB,cAAc,EAAE,CAAC;gBACjB,oBAAoB,EAAE,EAAE;gBACxB,KAAK,EAAE,6CAA6C,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE;gBACjF,WAAW,EAAE,OAAO;aACrB,CAAC;QACJ,CAAC;QAED,YAAY,CAAC,WAAW,GAAG,OAAO,CAAC;QAEnC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,IAAI,YAAY,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;YAC3E,MAAM,UAAU,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACzD,MAAM,IAAI,CAAC,cAAc,CAAC,YAAY,CAAC,YAAY,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC;YACpE,KAAK,MAAM,SAAS,IAAI,YAAY,CAAC,oBAAoB,EAAE,CAAC;gBAC1D,SAAS,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC,YAAY,IAAI,UAAU,MAAM,CAAC,CAAC;YAChG,CAAC;QACH,CAAC;QAED,OAAO,YAAY,CAAC;IACtB,CAAC;IAEO,iBAAiB;QACvB,OAAO,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,cAAc,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC;IACzE,CAAC;IAEO,KAAK,CAAC,cAAc,CAAC,YAAoB,EAAE,KAAa;QAC9D,IAAI,CAAC;YACH,MAAM,KAAK,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;YACjD,MAAM,QAAQ,GAAG,GAAG,YAAY,IAAI,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC;YAChF,MAAM,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,QAAQ,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;QACjE,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,CAAC,KAAK,CAAC,gDAAgD,YAAY,EAAE,CAAC,CAAC;QAChF,CAAC;IACH,CAAC;CACF"}

package/dist/adapters/formal-verification/types.d.ts

@@ -0,0 +1,37 @@
+/**
+ * Formal Verification Adapter Types
+ * Version: 0.1.0
+ */
+export type VerificationStatus = 'VERIFIED' | 'VIOLATION' | 'INVALID_MODEL' | 'TIMEOUT' | 'UNAVAILABLE' | 'NOT_CONFIGURED' | 'INTERNAL_ERROR';
+export interface InvariantViolation {
+    invariant_name: string;
+    description: string;
+    counter_example_summary?: string;
+    trace_path?: string;
+}
+export interface MachineVerificationResult {
+    machine_name: string;
+    status: VerificationStatus;
+    proof_passed: boolean;
+    equivalent: boolean | null;
+    states_checked: number;
+    invariant_violations: InvariantViolation[];
+    error?: string;
+    duration_ms: number;
+}
+export interface DesignVerificationResult {
+    feature_id: string;
+    overall_status: VerificationStatus;
+    machines: MachineVerificationResult[];
+    total_states_checked: number;
+    total_duration_ms: number;
+}
+export interface VerifyDesignRequest {
+    feature_id: string;
+    machine_path: string;
+}
+export interface FormalVerificationAdapter {
+    verifyDesign(request: VerifyDesignRequest): Promise<MachineVerificationResult>;
+    isAvailable(): Promise<boolean>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/adapters/formal-verification/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/adapters/formal-verification/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,MAAM,MAAM,kBAAkB,GAC1B,UAAU,GACV,WAAW,GACX,eAAe,GACf,SAAS,GACT,aAAa,GACb,gBAAgB,GAChB,gBAAgB,CAAC;AAErB,MAAM,WAAW,kBAAkB;IACjC,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,UAAU,CAAC,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,yBAAyB;IACxC,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,kBAAkB,CAAC;IAC3B,YAAY,EAAE,OAAO,CAAC;IACtB,UAAU,EAAE,OAAO,GAAG,IAAI,CAAC;IAC3B,cAAc,EAAE,MAAM,CAAC;IACvB,oBAAoB,EAAE,kBAAkB,EAAE,CAAC;IAC3C,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,MAAM,WAAW,wBAAwB;IACvC,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,kBAAkB,CAAC;IACnC,QAAQ,EAAE,yBAAyB,EAAE,CAAC;IACtC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,iBAAiB,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,mBAAmB;IAClC,UAAU,EAAE,MAAM,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,yBAAyB;IACxC,YAAY,CAAC,OAAO,EAAE,mBAAmB,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;IAC/E,WAAW,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;CACjC"}

package/dist/adapters/formal-verification/types.js

@@ -0,0 +1,6 @@
+/**
+ * Formal Verification Adapter Types
+ * Version: 0.1.0
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/adapters/formal-verification/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/adapters/formal-verification/types.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/adapters/review/semgrep.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Semgrep Review Adapter
+ * Version: 0.1.0
+ */
+import type { ReviewExecutionResult } from '../../types.js';
+import type { ReviewAdapter, RunReviewRequest } from './types.js';
+export declare class SemgrepReviewAdapter implements ReviewAdapter {
+    private readonly projectRoot;
+    constructor(projectRoot: string);
+    runChecks(request: RunReviewRequest): Promise<ReviewExecutionResult>;
+}
+//# sourceMappingURL=semgrep.d.ts.map

package/dist/adapters/review/semgrep.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semgrep.d.ts","sourceRoot":"","sources":["../../../src/adapters/review/semgrep.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAOH,OAAO,KAAK,EAAE,qBAAqB,EAAiB,MAAM,gBAAgB,CAAC;AAC3E,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AA8HlE,qBAAa,oBAAqB,YAAW,aAAa;IAC5C,OAAO,CAAC,QAAQ,CAAC,WAAW;gBAAX,WAAW,EAAE,MAAM;IAE1C,SAAS,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,qBAAqB,CAAC;CA2F3E"}

package/dist/adapters/review/semgrep.js

@@ -0,0 +1,175 @@
+/**
+ * Semgrep Review Adapter
+ * Version: 0.1.0
+ */
+import { access } from 'node:fs/promises';
+import { constants as fsConstants } from 'node:fs';
+import { spawn } from 'node:child_process';
+import { relative, resolve, sep } from 'node:path';
+function runCommand(command, args, cwd) {
+    return new Promise((resolve, reject) => {
+        const child = spawn(command, args, {
+            cwd,
+            stdio: ['ignore', 'pipe', 'pipe'],
+        });
+        let stdout = '';
+        let stderr = '';
+        child.stdout.on('data', (chunk) => {
+            stdout += String(chunk);
+        });
+        child.stderr.on('data', (chunk) => {
+            stderr += String(chunk);
+        });
+        child.on('error', reject);
+        child.on('close', (code) => resolve({ code, stdout, stderr }));
+    });
+}
+function summarizeFindings(findings) {
+    if (findings.length === 0) {
+        return 'Semgrep completed with 0 findings.';
+    }
+    const severityCounts = findings.reduce((counts, finding) => {
+        counts[finding.severity] = (counts[finding.severity] ?? 0) + 1;
+        return counts;
+    }, {});
+    const orderedSeverities = ['CRITICAL', 'HIGH', 'MEDIUM', 'LOW', 'INFO'];
+    const parts = orderedSeverities
+        .filter((severity) => severityCounts[severity] != null)
+        .map((severity) => `${severity}: ${severityCounts[severity]}`);
+    return `Semgrep found ${findings.length} issue(s) (${parts.join(', ')}).`;
+}
+function parseSemgrepJson(stdout, changed_files) {
+    const parsed = JSON.parse(stdout);
+    const findings = (parsed.results ?? []).map((result) => ({
+        severity: (result.extra?.severity ?? 'INFO').toUpperCase(),
+        rule_id: result.check_id ?? null,
+        file_path: result.path ?? null,
+        line_number: result.start?.line ?? null,
+        message: result.extra?.message ?? 'Semgrep finding',
+    }));
+    const hasBlocking = findings.some((finding) => finding.severity === 'HIGH' || finding.severity === 'CRITICAL');
+    const summary = summarizeFindings(findings);
+    if ((parsed.errors ?? []).length > 0) {
+        const errorMessages = parsed.errors
+            ?.map((error) => error.message)
+            .filter((message) => message != null && message.length > 0);
+        return {
+            tool: 'semgrep',
+            status: 'failed',
+            summary: errorMessages != null && errorMessages.length > 0
+                ? `Semgrep returned errors: ${errorMessages.join(' | ')}`
+                : 'Semgrep returned errors.',
+            changed_files,
+            findings,
+        };
+    }
+    return {
+        tool: 'semgrep',
+        status: hasBlocking ? 'failed' : 'passed',
+        summary,
+        changed_files,
+        findings,
+    };
+}
+async function semgrepExists() {
+    try {
+        const result = await runCommand('semgrep', ['--version'], process.cwd());
+        return result.code === 0;
+    }
+    catch {
+        return false;
+    }
+}
+async function dockerExists() {
+    try {
+        const result = await runCommand('docker', ['--version'], process.cwd());
+        return result.code === 0;
+    }
+    catch {
+        return false;
+    }
+}
+function isWithinProjectRoot(projectRoot, candidatePath) {
+    const relativePath = relative(projectRoot, candidatePath);
+    return relativePath !== '..' && !relativePath.startsWith(`..${sep}`) && relativePath !== '';
+}
+export class SemgrepReviewAdapter {
+    projectRoot;
+    constructor(projectRoot) {
+        this.projectRoot = projectRoot;
+    }
+    async runChecks(request) {
+        const target_paths = request.changed_files.length > 0 ? request.changed_files : ['.'];
+        const existing_paths = [];
+        for (const relative_path of target_paths) {
+            const absolute_path = resolve(this.projectRoot, relative_path);
+            if (!isWithinProjectRoot(this.projectRoot, absolute_path)) {
+                continue;
+            }
+            try {
+                await access(absolute_path, fsConstants.F_OK);
+                existing_paths.push(relative(this.projectRoot, absolute_path) || '.');
+            }
+            catch {
+                // Ignore missing paths. The review result will still explain what was scanned.
+            }
+        }
+        const scan_targets = existing_paths.length > 0 ? existing_paths : ['.'];
+        if (await semgrepExists()) {
+            const result = await runCommand('semgrep', ['scan', '--config=auto', '--json', ...scan_targets], this.projectRoot);
+            if (result.code == null) {
+                return {
+                    tool: 'semgrep',
+                    status: 'failed',
+                    summary: 'Semgrep terminated unexpectedly.',
+                    changed_files: request.changed_files,
+                    findings: [],
+                };
+            }
+            if (result.stdout.trim().length === 0) {
+                return {
+                    tool: 'semgrep',
+                    status: 'failed',
+                    summary: `Semgrep produced no JSON output. stderr: ${result.stderr}`,
+                    changed_files: request.changed_files,
+                    findings: [],
+                };
+            }
+            return parseSemgrepJson(result.stdout, request.changed_files);
+        }
+        if (await dockerExists()) {
+            const result = await runCommand('docker', [
+                'run',
+                '--rm',
+                '-v',
+                `${this.projectRoot}:/src`,
+                '-w',
+                '/src',
+                'returntocorp/semgrep',
+                'semgrep',
+                'scan',
+                '--config=auto',
+                '--json',
+                ...scan_targets,
+            ], this.projectRoot);
+            if (result.code == null || result.stdout.trim().length === 0) {
+                return {
+                    tool: 'semgrep',
+                    status: 'failed',
+                    summary: `Docker-backed Semgrep failed. stderr: ${result.stderr}`,
+                    changed_files: request.changed_files,
+                    findings: [],
+                };
+            }
+            return parseSemgrepJson(result.stdout, request.changed_files);
+        }
+        return {
+            tool: 'semgrep',
+            status: 'queued',
+            summary: 'Semgrep is not available locally and Docker is unavailable. Review checks were not executed.',
+            changed_files: request.changed_files,
+            findings: [],
+        };
+    }
+}
+//# sourceMappingURL=semgrep.js.map

package/dist/adapters/review/semgrep.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"semgrep.js","sourceRoot":"","sources":["../../../src/adapters/review/semgrep.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAC1C,OAAO,EAAE,SAAS,IAAI,WAAW,EAAE,MAAM,SAAS,CAAC;AACnD,OAAO,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAWnD,SAAS,UAAU,CAAC,OAAe,EAAE,IAAc,EAAE,GAAW;IAC9D,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;QACrC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,EAAE,IAAI,EAAE;YACjC,GAAG;YACH,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,CAAC;SAClC,CAAC,CAAC;QAEH,IAAI,MAAM,GAAG,EAAE,CAAC;QAChB,IAAI,MAAM,GAAG,EAAE,CAAC;QAEhB,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;YAChC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE;YAChC,MAAM,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,CAAC,CAAC,CAAC;QAEH,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;QAC1B,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAyB;IAClD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,oCAAoC,CAAC;IAC9C,CAAC;IAED,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAyB,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE;QACjF,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC/D,OAAO,MAAM,CAAC;IAChB,CAAC,EAAE,EAAE,CAAC,CAAC;IAEP,MAAM,iBAAiB,GAAG,CAAC,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,iBAAiB;SAC5B,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;SACtD,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,GAAG,QAAQ,KAAK,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAEjE,OAAO,iBAAiB,QAAQ,CAAC,MAAM,cAAc,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;AAC5E,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAc,EAAE,aAAuB;IAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAW/B,CAAC;IAEF,MAAM,QAAQ,GAAoB,CAAC,MAAM,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACxE,QAAQ,EAAG,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,IAAI,MAAM,CAAC,CAAC,WAAW,EAAgC;QACzF,OAAO,EAAE,MAAM,CAAC,QAAQ,IAAI,IAAI;QAChC,SAAS,EAAE,MAAM,CAAC,IAAI,IAAI,IAAI;QAC9B,WAAW,EAAE,MAAM,CAAC,KAAK,EAAE,IAAI,IAAI,IAAI;QACvC,OAAO,EAAE,MAAM,CAAC,KAAK,EAAE,OAAO,IAAI,iBAAiB;KACpD,CAAC,CAAC,CAAC;IAEJ,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAC/B,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,KAAK,MAAM,IAAI,OAAO,CAAC,QAAQ,KAAK,UAAU,CAC5E,CAAC;IAEF,MAAM,OAAO,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAE5C,IAAI,CAAC,MAAM,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM;YACjC,EAAE,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC;aAC9B,MAAM,CAAC,CAAC,OAAO,EAAqB,EAAE,CAAC,OAAO,IAAI,IAAI,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAEjF,OAAO;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ;YAChB,OAAO,EACL,aAAa,IAAI,IAAI,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC;gBAC/C,CAAC,CAAC,4BAA4B,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE;gBACzD,CAAC,CAAC,0BAA0B;YAChC,aAAa;YACb,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,OAAO;QACL,IAAI,EAAE,SAAS;QACf,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ;QACzC,OAAO;QACP,aAAa;QACb,QAAQ;KACT,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,aAAa;IAC1B,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,SAAS,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QACzE,OAAO,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,KAAK,UAAU,YAAY;IACzB,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,QAAQ,EAAE,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC;QACxE,OAAO,MAAM,CAAC,IAAI,KAAK,CAAC,CAAC;IAC3B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAAC,WAAmB,EAAE,aAAqB;IACrE,MAAM,YAAY,GAAG,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IAC1D,OAAO,YAAY,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,CAAC,IAAI,YAAY,KAAK,EAAE,CAAC;AAC9F,CAAC;AAED,MAAM,OAAO,oBAAoB;IACF;IAA7B,YAA6B,WAAmB;QAAnB,gBAAW,GAAX,WAAW,CAAQ;IAAG,CAAC;IAEpD,KAAK,CAAC,SAAS,CAAC,OAAyB;QACvC,MAAM,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAEtF,MAAM,cAAc,GAAa,EAAE,CAAC;QACpC,KAAK,MAAM,aAAa,IAAI,YAAY,EAAE,CAAC;YACzC,MAAM,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;YAC/D,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,EAAE,CAAC;gBAC1D,SAAS;YACX,CAAC;YAED,IAAI,CAAC;gBACH,MAAM,MAAM,CAAC,aAAa,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;gBAC9C,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,WAAW,EAAE,aAAa,CAAC,IAAI,GAAG,CAAC,CAAC;YACxE,CAAC;YAAC,MAAM,CAAC;gBACP,+EAA+E;YACjF,CAAC;QACH,CAAC;QAED,MAAM,YAAY,GAAG,cAAc,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QAExE,IAAI,MAAM,aAAa,EAAE,EAAE,CAAC;YAC1B,MAAM,MAAM,GAAG,MAAM,UAAU,CAC7B,SAAS,EACT,CAAC,MAAM,EAAE,eAAe,EAAE,QAAQ,EAAE,GAAG,YAAY,CAAC,EACpD,IAAI,CAAC,WAAW,CACjB,CAAC;YAEF,IAAI,MAAM,CAAC,IAAI,IAAI,IAAI,EAAE,CAAC;gBACxB,OAAO;oBACL,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,QAAQ;oBAChB,OAAO,EAAE,kCAAkC;oBAC3C,aAAa,EAAE,OAAO,CAAC,aAAa;oBACpC,QAAQ,EAAE,EAAE;iBACb,CAAC;YACJ,CAAC;YAED,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBACtC,OAAO;oBACL,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,QAAQ;oBAChB,OAAO,EAAE,4CAA4C,MAAM,CAAC,MAAM,EAAE;oBACpE,aAAa,EAAE,OAAO,CAAC,aAAa;oBACpC,QAAQ,EAAE,EAAE;iBACb,CAAC;YACJ,CAAC;YAED,OAAO,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;QAChE,CAAC;QAED,IAAI,MAAM,YAAY,EAAE,EAAE,CAAC;YACzB,MAAM,MAAM,GAAG,MAAM,UAAU,CAC7B,QAAQ,EACR;gBACE,KAAK;gBACL,MAAM;gBACN,IAAI;gBACJ,GAAG,IAAI,CAAC,WAAW,OAAO;gBAC1B,IAAI;gBACJ,MAAM;gBACN,sBAAsB;gBACtB,SAAS;gBACT,MAAM;gBACN,eAAe;gBACf,QAAQ;gBACR,GAAG,YAAY;aAChB,EACD,IAAI,CAAC,WAAW,CACjB,CAAC;YAEF,IAAI,MAAM,CAAC,IAAI,IAAI,IAAI,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC7D,OAAO;oBACL,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,QAAQ;oBAChB,OAAO,EAAE,yCAAyC,MAAM,CAAC,MAAM,EAAE;oBACjE,aAAa,EAAE,OAAO,CAAC,aAAa;oBACpC,QAAQ,EAAE,EAAE;iBACb,CAAC;YACJ,CAAC;YAED,OAAO,gBAAgB,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;QAChE,CAAC;QAED,OAAO;YACL,IAAI,EAAE,SAAS;YACf,MAAM,EAAE,QAAQ;YAChB,OAAO,EAAE,8FAA8F;YACvG,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,QAAQ,EAAE,EAAE;SACb,CAAC;IACJ,CAAC;CACF"}

package/dist/adapters/review/types.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Review Adapter Types
+ * Version: 0.1.0
+ */
+import type { ReviewExecutionResult, ReviewTool } from '../../types.js';
+export interface RunReviewRequest {
+    feature_id: string;
+    tool: ReviewTool;
+    changed_files: string[];
+}
+export interface ReviewAdapter {
+    runChecks(request: RunReviewRequest): Promise<ReviewExecutionResult>;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/adapters/review/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/adapters/review/types.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,qBAAqB,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAExE,MAAM,WAAW,gBAAgB;IAC/B,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,UAAU,CAAC;IACjB,aAAa,EAAE,MAAM,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,aAAa;IAC5B,SAAS,CAAC,OAAO,EAAE,gBAAgB,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;CACtE"}

package/dist/adapters/review/types.js

@@ -0,0 +1,6 @@
+/**
+ * Review Adapter Types
+ * Version: 0.1.0
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/adapters/review/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/adapters/review/types.ts"],"names":[],"mappings":"AAAA;;;GAGG"}

package/dist/adapters/skills/filesystem.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Filesystem Skill Adapter
+ * Version: 0.1.0
+ */
+import type { RuntimeConfig } from '../../config.js';
+import type { KnowledgeDomain } from '../../types.js';
+import type { ResolveSkillsInput, ResolveSkillsResult, SkillAdapter } from './types.js';
+export declare class FilesystemSkillAdapter implements SkillAdapter {
+    private readonly projectRoot;
+    private readonly config;
+    private merged_cache;
+    private domains_cache;
+    constructor(projectRoot: string, config: RuntimeConfig);
+    private getMergedSkillDefinitions;
+    listKnowledgeDomains(): Promise<KnowledgeDomain[]>;
+    resolveSkills(input: ResolveSkillsInput): Promise<ResolveSkillsResult>;
+}
+//# sourceMappingURL=filesystem.d.ts.map

package/dist/adapters/skills/filesystem.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"filesystem.d.ts","sourceRoot":"","sources":["../../../src/adapters/skills/filesystem.ts"],"names":[],"mappings":"AAAA;;;GAGG;AASH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AACrD,OAAO,KAAK,EAAiB,eAAe,EAAyC,MAAM,gBAAgB,CAAC;AAC5G,OAAO,KAAK,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAyXxF,qBAAa,sBAAuB,YAAW,YAAY;IAKvD,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM;IALzB,OAAO,CAAC,YAAY,CAA6C;IACjE,OAAO,CAAC,aAAa,CAAkC;gBAGpC,WAAW,EAAE,MAAM,EACnB,MAAM,EAAE,aAAa;YAG1B,yBAAyB;IA8BjC,oBAAoB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;IAkBlD,aAAa,CAAC,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC,mBAAmB,CAAC;CA+C7E"}