@astrale-os/sdk 0.5.0-beta.13 → 0.5.0-beta.130

package/dist/linter/implementations/source/workflows.js

@@ -1,308 +0,0 @@
-import ts from 'typescript';
-import { importedSymbol, propertyChain, resolveProjectImport, unwrap, visit, } from '../../adapters/typescript/index.js';
-import { ambiguity, callback, definitionOriginAmbiguity, definitionObjects, isForeignDomain, production, staticId, violation, } from './shared.js';
-const STEP_METHODS = new Set(['run', 'pages', 'emit', 'waitForEvent']);
-export const workflowRules = [
-    {
-        id: 'WFL-CAP-TYPES',
-        ruleRevision: 'cba510300c40f06d3a7a032823dc611cca07ff29acd0eb7c141abd023544aea9',
-        evaluate(project) {
-            const evidence = [];
-            for (const file of production(project, 'workflows')) {
-                for (const statement of file.source.statements) {
-                    if (ts.isInterfaceDeclaration(statement) &&
-                        statement.name.text.endsWith('Capabilities')) {
-                        evidence.push(violation(file, statement, `Workflow ${statement.name.text} manually redeclares Capability clients; derive a Pick from CapabilityClients.`));
-                    }
-                }
-            }
-            return evidence;
-        },
-    },
-    {
-        id: 'WFL-STEP-IDS',
-        ruleRevision: '4f079d31de09852c7f5a8afcd5ca77959c905e76d6a771e0105f26d4bec5bc47',
-        evaluate(project) {
-            const evidence = [];
-            for (const file of production(project, 'workflows')) {
-                for (const definition of definitionObjects(file, 'defineWorkflow')) {
-                    const uncertain = definitionOriginAmbiguity(file, definition, 'Workflow definition');
-                    if (uncertain) {
-                        evidence.push(uncertain);
-                        continue;
-                    }
-                    const { call, object } = definition;
-                    if (!object) {
-                        evidence.push(ambiguity(file, call, 'Workflow definition is not a static object literal.'));
-                        continue;
-                    }
-                    const run = callback(object, 'run');
-                    if (!run)
-                        continue;
-                    const roots = stepRoots(run);
-                    if (roots.length === 0) {
-                        evidence.push(ambiguity(file, run, 'Workflow step binding cannot be identified from its context parameter.'));
-                        continue;
-                    }
-                    const ids = new Set();
-                    visitOwnBody(run, (node) => {
-                        if (!ts.isCallExpression(node))
-                            return;
-                        const method = stepMethod(node, roots);
-                        if (!method)
-                            return;
-                        const id = staticId(node.arguments[0]);
-                        if (!id || !/^[a-z][a-z0-9]*(?:-[a-z0-9]+)*$/.test(id)) {
-                            evidence.push(violation(file, node.arguments[0] ?? node, `Workflow ${method} step ID is not a non-empty kebab-case literal.`));
-                        }
-                        else if (ids.has(id)) {
-                            evidence.push(violation(file, node.arguments[0], `Workflow duplicates step ID ${id}.`));
-                        }
-                        else
-                            ids.add(id);
-                    });
-                }
-            }
-            return evidence;
-        },
-    },
-    {
-        id: 'WFL-XDOM-CAP',
-        ruleRevision: '2101ea68d5bfb600247fc307612f98e8672196452e77db8c5f8a902b8fdf5d2e',
-        evaluate(project) {
-            const evidence = [];
-            for (const file of production(project, 'workflows')) {
-                for (const sourceImport of file.imports) {
-                    if (isForeignDomain(sourceImport.specifier)) {
-                        evidence.push(violation(file, sourceImport.node, `Workflow imports foreign Domain ${sourceImport.specifier}; use a Capability.`));
-                    }
-                }
-                for (const definition of definitionObjects(file, 'defineWorkflow')) {
-                    const uncertain = definitionOriginAmbiguity(file, definition, 'Workflow definition');
-                    if (uncertain) {
-                        evidence.push(uncertain);
-                        continue;
-                    }
-                    const { object } = definition;
-                    const run = object && callback(object, 'run');
-                    if (!run)
-                        continue;
-                    visitOwnBody(run, (node) => {
-                        if (!ts.isCallExpression(node))
-                            return;
-                        const symbol = importedSymbol(file, node.expression);
-                        if (symbol && isForeignDomain(symbol.module)) {
-                            evidence.push(violation(file, node, `Workflow invokes foreign callable ${symbol.name} directly.`));
-                        }
-                    });
-                }
-            }
-            return evidence;
-        },
-    },
-    {
-        id: 'WFL-EVT-CONTRACT',
-        ruleRevision: '3c23c0198b9722d35f5f7b3013fab8a6efe20393ac8e10c8d2076a3785904e62',
-        evaluate(project) {
-            const evidence = [];
-            for (const file of production(project, 'workflows')) {
-                for (const definition of definitionObjects(file, 'defineWorkflow')) {
-                    const uncertain = definitionOriginAmbiguity(file, definition, 'Workflow definition');
-                    if (uncertain) {
-                        evidence.push(uncertain);
-                        continue;
-                    }
-                    const { object } = definition;
-                    const run = object && callback(object, 'run');
-                    if (!run)
-                        continue;
-                    const roots = stepRoots(run);
-                    visitOwnBody(run, (node) => {
-                        if (!ts.isCallExpression(node))
-                            return;
-                        const method = stepMethod(node, roots);
-                        if (method !== 'emit' && method !== 'waitForEvent')
-                            return;
-                        const contract = node.arguments[1];
-                        if (!contract) {
-                            evidence.push(violation(file, node, `Workflow step.${method} omits its Schema event contract.`));
-                            return;
-                        }
-                        if (ts.isStringLiteral(unwrap(contract))) {
-                            evidence.push(violation(file, contract, `Workflow step.${method} uses a string topic instead of a Schema event contract.`));
-                            return;
-                        }
-                        const symbol = importedSymbol(file, unwrap(contract));
-                        if (!symbol) {
-                            evidence.push(violation(file, contract, `Workflow step.${method} event contract is locally defined or opaque.`));
-                            return;
-                        }
-                        const sourceImport = file.imports.find(({ specifier }) => specifier === symbol.module);
-                        const target = sourceImport && resolveProjectImport(project, file, sourceImport.specifier);
-                        if (target?.layer !== 'schema') {
-                            evidence.push(violation(file, contract, `Workflow step.${method} contract does not come from Schema.`));
-                        }
-                    });
-                }
-            }
-            return evidence;
-        },
-    },
-    {
-        id: 'WFL-NO-NEST',
-        ruleRevision: '121af1ed6374a60f761cc5cd10fb569d63d31fa3f89e9f71718ce56a6e2f8c29',
-        evaluate(project) {
-            const evidence = [];
-            for (const file of production(project, 'workflows')) {
-                const helpers = localFunctions(file.source);
-                for (const definition of definitionObjects(file, 'defineWorkflow')) {
-                    const uncertain = definitionOriginAmbiguity(file, definition, 'Workflow definition');
-                    if (uncertain) {
-                        evidence.push(uncertain);
-                        continue;
-                    }
-                    const { object } = definition;
-                    const run = object && callback(object, 'run');
-                    if (!run)
-                        continue;
-                    const roots = stepRoots(run);
-                    visitOwnBody(run, (node) => {
-                        if (!ts.isCallExpression(node) || stepMethod(node, roots) !== 'run')
-                            return;
-                        const callbackValue = node.arguments[1] && unwrap(node.arguments[1]);
-                        if (!callbackValue) {
-                            evidence.push(ambiguity(file, node, 'step.run callback is absent.'));
-                            return;
-                        }
-                        if (ts.isArrowFunction(callbackValue) || ts.isFunctionExpression(callbackValue)) {
-                            traceNestedSteps(file, callbackValue, run, roots, helpers, evidence, new Set());
-                            return;
-                        }
-                        if (ts.isIdentifier(callbackValue)) {
-                            const candidates = helpers.get(callbackValue.text) ?? [];
-                            if (candidates.length !== 1) {
-                                evidence.push(ambiguity(file, callbackValue, `step.run callback ${callbackValue.text} does not resolve to one local function.`));
-                                return;
-                            }
-                            traceNestedSteps(file, candidates[0], run, [], helpers, evidence, new Set());
-                            return;
-                        }
-                        evidence.push(ambiguity(file, callbackValue, 'step.run callback is not statically callable.'));
-                    });
-                }
-            }
-            return evidence;
-        },
-    },
-];
-function stepRoots(run) {
-    const parameter = run.parameters[0]?.name;
-    if (!parameter)
-        return [];
-    if (ts.isIdentifier(parameter))
-        return [[parameter.text, 'step']];
-    if (!ts.isObjectBindingPattern(parameter))
-        return [];
-    return parameter.elements.flatMap((element) => {
-        const property = element.propertyName;
-        const sourceName = property && ts.isIdentifier(property)
-            ? property.text
-            : ts.isIdentifier(element.name)
-                ? element.name.text
-                : undefined;
-        return sourceName === 'step' && ts.isIdentifier(element.name) ? [[element.name.text]] : [];
-    });
-}
-function stepMethod(call, roots) {
-    const chain = propertyChain(call.expression);
-    if (!chain || !STEP_METHODS.has(chain.at(-1) ?? ''))
-        return undefined;
-    return roots.some((root) => root.every((part, index) => chain[index] === part) && chain.length === root.length + 1)
-        ? chain.at(-1)
-        : undefined;
-}
-function visitOwnBody(fn, callback) {
-    if (!fn.body)
-        return;
-    const walk = (node) => {
-        callback(node);
-        if (node !== fn.body && ts.isFunctionLike(node))
-            return;
-        node.forEachChild(walk);
-    };
-    walk(fn.body);
-}
-function localFunctions(source) {
-    const result = new Map();
-    const add = (name, fn) => {
-        result.set(name, [...(result.get(name) ?? []), fn]);
-    };
-    visit(source, (node) => {
-        if (ts.isFunctionDeclaration(node) && node.name)
-            add(node.name.text, node);
-        if (ts.isVariableDeclaration(node) &&
-            ts.isIdentifier(node.name) &&
-            node.initializer &&
-            (ts.isArrowFunction(unwrap(node.initializer)) ||
-                ts.isFunctionExpression(unwrap(node.initializer)))) {
-            add(node.name.text, unwrap(node.initializer));
-        }
-    });
-    return result;
-}
-function traceNestedSteps(file, fn, workflowRun, roots, helpers, evidence, active) {
-    if (!fn.body || active.has(fn))
-        return;
-    active.add(fn);
-    const walk = (node) => {
-        if (node !== fn.body && ts.isFunctionLike(node))
-            return;
-        if (ts.isCallExpression(node)) {
-            const nested = stepMethod(node, roots);
-            if (nested === 'run' || nested === 'emit' || nested === 'waitForEvent') {
-                evidence.push(violation(file, node, `step.run callback reaches nested step.${nested}.`));
-                return;
-            }
-            const target = unwrap(node.expression);
-            if (ts.isIdentifier(target)) {
-                const candidates = helpers.get(target.text) ?? [];
-                const mapped = mappedStepRoots(node.arguments, candidates[0]?.parameters ?? [], roots);
-                if (candidates.length === 1) {
-                    const closedRoots = functionNestedInside(candidates[0], workflowRun) ? roots : [];
-                    traceNestedSteps(file, candidates[0], workflowRun, [...closedRoots, ...mapped], helpers, evidence, active);
-                }
-                else if (mapped.length > 0) {
-                    evidence.push(ambiguity(file, node, `Helper ${target.text} receives the step binding but does not resolve to one local function.`));
-                }
-            }
-        }
-        node.forEachChild(walk);
-    };
-    walk(fn.body);
-    active.delete(fn);
-}
-function mappedStepRoots(arguments_, parameters, roots) {
-    const mapped = [];
-    for (let index = 0; index < arguments_.length; index += 1) {
-        const chain = propertyChain(arguments_[index]);
-        if (!chain || !roots.some((root) => sameChain(root, chain)))
-            continue;
-        const parameter = parameters[index]?.name;
-        if (parameter && ts.isIdentifier(parameter))
-            mapped.push([parameter.text]);
-    }
-    return mapped;
-}
-function sameChain(left, right) {
-    return left.length === right.length && left.every((part, index) => part === right[index]);
-}
-function functionNestedInside(candidate, owner) {
-    let current = candidate.parent;
-    while (current) {
-        if (current === owner)
-            return true;
-        current = current.parent;
-    }
-    return false;
-}
-//# sourceMappingURL=workflows.js.map

package/dist/linter/implementations/source/workflows.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"workflows.js","sourceRoot":"","sources":["../../../../src/linter/implementations/source/workflows.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAA;AAI3B,OAAO,EACL,cAAc,EACd,aAAa,EACb,oBAAoB,EACpB,MAAM,EACN,KAAK,GAEN,MAAM,oCAAoC,CAAA;AAC3C,OAAO,EACL,SAAS,EACT,QAAQ,EACR,yBAAyB,EACzB,iBAAiB,EACjB,eAAe,EACf,UAAU,EACV,QAAQ,EACR,SAAS,GACV,MAAM,aAAa,CAAA;AAEpB,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA;AAEtE,MAAM,CAAC,MAAM,aAAa,GAAkC;IAC1D;QACE,EAAE,EAAE,eAAe;QACnB,YAAY,EAAE,kEAAkE;QAChF,QAAQ,CAAC,OAAO;YACd,MAAM,QAAQ,GAAyB,EAAE,CAAA;YACzC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;gBACpD,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;oBAC/C,IACE,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC;wBACpC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,EAC5C,CAAC;wBACD,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,SAAS,EACT,YAAY,SAAS,CAAC,IAAI,CAAC,IAAI,gFAAgF,CAChH,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC;KACF;IACD;QACE,EAAE,EAAE,cAAc;QAClB,YAAY,EAAE,kEAAkE;QAChF,QAAQ,CAAC,OAAO;YACd,MAAM,QAAQ,GAAyB,EAAE,CAAA;YACzC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;gBACpD,KAAK,MAAM,UAAU,IAAI,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,CAAC;oBACnE,MAAM,SAAS,GAAG,yBAAyB,CAAC,IAAI,EAAE,UAAU,EAAE,qBAAqB,CAAC,CAAA;oBACpF,IAAI,SAAS,EAAE,CAAC;wBACd,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;wBACxB,SAAQ;oBACV,CAAC;oBACD,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;oBACnC,IAAI,CAAC,MAAM,EAAE,CAAC;wBACZ,QAAQ,CAAC,IAAI,CACX,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,qDAAqD,CAAC,CAC7E,CAAA;wBACD,SAAQ;oBACV,CAAC;oBACD,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;oBACnC,IAAI,CAAC,GAAG;wBAAE,SAAQ;oBAClB,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAA;oBAC5B,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACvB,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,GAAG,EACH,wEAAwE,CACzE,CACF,CAAA;wBACD,SAAQ;oBACV,CAAC;oBACD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAA;oBAC7B,YAAY,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;wBACzB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;4BAAE,OAAM;wBACtC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;wBACtC,IAAI,CAAC,MAAM;4BAAE,OAAM;wBACnB,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;wBACtC,IAAI,CAAC,EAAE,IAAI,CAAC,iCAAiC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;4BACvD,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,IAAI,EACzB,YAAY,MAAM,iDAAiD,CACpE,CACF,CAAA;wBACH,CAAC;6BAAM,IAAI,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;4BACvB,QAAQ,CAAC,IAAI,CACX,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,+BAA+B,EAAE,GAAG,CAAC,CACzE,CAAA;wBACH,CAAC;;4BAAM,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;oBACpB,CAAC,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC;KACF;IACD;QACE,EAAE,EAAE,cAAc;QAClB,YAAY,EAAE,kEAAkE;QAChF,QAAQ,CAAC,OAAO;YACd,MAAM,QAAQ,GAAyB,EAAE,CAAA;YACzC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;gBACpD,KAAK,MAAM,YAAY,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;oBACxC,IAAI,eAAe,CAAC,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC;wBAC5C,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,YAAY,CAAC,IAAI,EACjB,mCAAmC,YAAY,CAAC,SAAS,qBAAqB,CAC/E,CACF,CAAA;oBACH,CAAC;gBACH,CAAC;gBACD,KAAK,MAAM,UAAU,IAAI,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,CAAC;oBACnE,MAAM,SAAS,GAAG,yBAAyB,CAAC,IAAI,EAAE,UAAU,EAAE,qBAAqB,CAAC,CAAA;oBACpF,IAAI,SAAS,EAAE,CAAC;wBACd,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;wBACxB,SAAQ;oBACV,CAAC;oBACD,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;oBAC7B,MAAM,GAAG,GAAG,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;oBAC7C,IAAI,CAAC,GAAG;wBAAE,SAAQ;oBAClB,YAAY,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;wBACzB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;4BAAE,OAAM;wBACtC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,UAAU,CAAC,CAAA;wBACpD,IAAI,MAAM,IAAI,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;4BAC7C,QAAQ,CAAC,IAAI,CACX,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,qCAAqC,MAAM,CAAC,IAAI,YAAY,CAAC,CACpF,CAAA;wBACH,CAAC;oBACH,CAAC,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC;KACF;IACD;QACE,EAAE,EAAE,kBAAkB;QACtB,YAAY,EAAE,kEAAkE;QAChF,QAAQ,CAAC,OAAO;YACd,MAAM,QAAQ,GAAyB,EAAE,CAAA;YACzC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;gBACpD,KAAK,MAAM,UAAU,IAAI,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,CAAC;oBACnE,MAAM,SAAS,GAAG,yBAAyB,CAAC,IAAI,EAAE,UAAU,EAAE,qBAAqB,CAAC,CAAA;oBACpF,IAAI,SAAS,EAAE,CAAC;wBACd,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;wBACxB,SAAQ;oBACV,CAAC;oBACD,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;oBAC7B,MAAM,GAAG,GAAG,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;oBAC7C,IAAI,CAAC,GAAG;wBAAE,SAAQ;oBAClB,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAA;oBAC5B,YAAY,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;wBACzB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;4BAAE,OAAM;wBACtC,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;wBACtC,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,cAAc;4BAAE,OAAM;wBAC1D,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;wBAClC,IAAI,CAAC,QAAQ,EAAE,CAAC;4BACd,QAAQ,CAAC,IAAI,CACX,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,iBAAiB,MAAM,mCAAmC,CAAC,CAClF,CAAA;4BACD,OAAM;wBACR,CAAC;wBACD,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;4BACzC,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,QAAQ,EACR,iBAAiB,MAAM,0DAA0D,CAClF,CACF,CAAA;4BACD,OAAM;wBACR,CAAC;wBACD,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAA;wBACrD,IAAI,CAAC,MAAM,EAAE,CAAC;4BACZ,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,QAAQ,EACR,iBAAiB,MAAM,+CAA+C,CACvE,CACF,CAAA;4BACD,OAAM;wBACR,CAAC;wBACD,MAAM,YAAY,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,SAAS,KAAK,MAAM,CAAC,MAAM,CAAC,CAAA;wBACtF,MAAM,MAAM,GACV,YAAY,IAAI,oBAAoB,CAAC,OAAO,EAAE,IAAI,EAAE,YAAY,CAAC,SAAS,CAAC,CAAA;wBAC7E,IAAI,MAAM,EAAE,KAAK,KAAK,QAAQ,EAAE,CAAC;4BAC/B,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,QAAQ,EACR,iBAAiB,MAAM,sCAAsC,CAC9D,CACF,CAAA;wBACH,CAAC;oBACH,CAAC,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC;KACF;IACD;QACE,EAAE,EAAE,aAAa;QACjB,YAAY,EAAE,kEAAkE;QAChF,QAAQ,CAAC,OAAO;YACd,MAAM,QAAQ,GAAyB,EAAE,CAAA;YACzC,KAAK,MAAM,IAAI,IAAI,UAAU,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;gBACpD,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBAC3C,KAAK,MAAM,UAAU,IAAI,iBAAiB,CAAC,IAAI,EAAE,gBAAgB,CAAC,EAAE,CAAC;oBACnE,MAAM,SAAS,GAAG,yBAAyB,CAAC,IAAI,EAAE,UAAU,EAAE,qBAAqB,CAAC,CAAA;oBACpF,IAAI,SAAS,EAAE,CAAC;wBACd,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;wBACxB,SAAQ;oBACV,CAAC;oBACD,MAAM,EAAE,MAAM,EAAE,GAAG,UAAU,CAAA;oBAC7B,MAAM,GAAG,GAAG,MAAM,IAAI,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;oBAC7C,IAAI,CAAC,GAAG;wBAAE,SAAQ;oBAClB,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,CAAA;oBAC5B,YAAY,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;wBACzB,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,KAAK;4BAAE,OAAM;wBAC3E,MAAM,aAAa,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;wBACpE,IAAI,CAAC,aAAa,EAAE,CAAC;4BACnB,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,8BAA8B,CAAC,CAAC,CAAA;4BACpE,OAAM;wBACR,CAAC;wBACD,IAAI,EAAE,CAAC,eAAe,CAAC,aAAa,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,aAAa,CAAC,EAAE,CAAC;4BAChF,gBAAgB,CAAC,IAAI,EAAE,aAAa,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;4BAC/E,OAAM;wBACR,CAAC;wBACD,IAAI,EAAE,CAAC,YAAY,CAAC,aAAa,CAAC,EAAE,CAAC;4BACnC,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;4BACxD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gCAC5B,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,aAAa,EACb,qBAAqB,aAAa,CAAC,IAAI,0CAA0C,CAClF,CACF,CAAA;gCACD,OAAM;4BACR,CAAC;4BACD,gBAAgB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,CAAC,CAAA;4BAC5E,OAAM;wBACR,CAAC;wBACD,QAAQ,CAAC,IAAI,CACX,SAAS,CAAC,IAAI,EAAE,aAAa,EAAE,+CAA+C,CAAC,CAChF,CAAA;oBACH,CAAC,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC;KACF;CACF,CAAA;AAID,SAAS,SAAS,CAAC,GAA+B;IAChD,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAA;IACzC,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAA;IACzB,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC;QAAE,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAA;IACjE,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC;QAAE,OAAO,EAAE,CAAA;IACpD,OAAO,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;QAC5C,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,CAAA;QACrC,MAAM,UAAU,GACd,QAAQ,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC;YACnC,CAAC,CAAC,QAAQ,CAAC,IAAI;YACf,CAAC,CAAC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;gBAC7B,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI;gBACnB,CAAC,CAAC,SAAS,CAAA;QACjB,OAAO,UAAU,KAAK,MAAM,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;IAC5F,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAuB,EAAE,KAA0B;IACrE,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;IAC5C,IAAI,CAAC,KAAK,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAAE,OAAO,SAAS,CAAA;IACrE,OAAO,KAAK,CAAC,IAAI,CACf,CAAC,IAAI,EAAE,EAAE,CACP,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,GAAG,CAAC,CACzF;QACC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACd,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,SAAS,YAAY,CAAC,EAA8B,EAAE,QAAiC;IACrF,IAAI,CAAC,EAAE,CAAC,IAAI;QAAE,OAAM;IACpB,MAAM,IAAI,GAAG,CAAC,IAAa,EAAQ,EAAE;QACnC,QAAQ,CAAC,IAAI,CAAC,CAAA;QACd,IAAI,IAAI,KAAK,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YAAE,OAAM;QACvD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC,CAAA;IACD,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;AACf,CAAC;AAED,SAAS,cAAc,CAAC,MAAqB;IAC3C,MAAM,MAAM,GAAG,IAAI,GAAG,EAAwC,CAAA;IAC9D,MAAM,GAAG,GAAG,CAAC,IAAY,EAAE,EAA8B,EAAQ,EAAE;QACjE,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAA;IACrD,CAAC,CAAA;IACD,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;QACrB,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;QAC1E,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAC1B,IAAI,CAAC,WAAW;YAChB,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC3C,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,EACpD,CAAC;YACD,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,CAA+B,CAAC,CAAA;QAC7E,CAAC;IACH,CAAC,CAAC,CAAA;IACF,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAgB,EAChB,EAA8B,EAC9B,WAAuC,EACvC,KAA0B,EAC1B,OAAmE,EACnE,QAA8B,EAC9B,MAAuC;IAEvC,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QAAE,OAAM;IACtC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IACd,MAAM,IAAI,GAAG,CAAC,IAAa,EAAQ,EAAE;QACnC,IAAI,IAAI,KAAK,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YAAE,OAAM;QACvD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACtC,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,MAAM,IAAI,MAAM,KAAK,cAAc,EAAE,CAAC;gBACvE,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,yCAAyC,MAAM,GAAG,CAAC,CAAC,CAAA;gBACxF,OAAM;YACR,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YACtC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5B,MAAM,UAAU,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;gBACjD,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,IAAI,EAAE,EAAE,KAAK,CAAC,CAAA;gBACtF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBAC5B,MAAM,WAAW,GAAG,oBAAoB,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAA;oBACjF,gBAAgB,CACd,IAAI,EACJ,UAAU,CAAC,CAAC,CAAC,EACb,WAAW,EACX,CAAC,GAAG,WAAW,EAAE,GAAG,MAAM,CAAC,EAC3B,OAAO,EACP,QAAQ,EACR,MAAM,CACP,CAAA;gBACH,CAAC;qBAAM,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC7B,QAAQ,CAAC,IAAI,CACX,SAAS,CACP,IAAI,EACJ,IAAI,EACJ,UAAU,MAAM,CAAC,IAAI,wEAAwE,CAC9F,CACF,CAAA;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,CAAA;IACzB,CAAC,CAAA;IACD,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;IACb,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AACnB,CAAC;AAED,SAAS,eAAe,CACtB,UAAoC,EACpC,UAA8C,EAC9C,KAA0B;IAE1B,MAAM,MAAM,GAAe,EAAE,CAAA;IAC7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,KAAK,GAAG,aAAa,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAA;QAC9C,IAAI,CAAC,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAAE,SAAQ;QACrE,MAAM,SAAS,GAAG,UAAU,CAAC,KAAK,CAAC,EAAE,IAAI,CAAA;QACzC,IAAI,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,SAAS,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAA;IAC5E,CAAC;IACD,OAAO,MAAM,CAAA;AACf,CAAC;AAED,SAAS,SAAS,CAAC,IAAuB,EAAE,KAAwB;IAClE,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAA;AAC3F,CAAC;AAED,SAAS,oBAAoB,CAC3B,SAAqC,EACrC,KAAiC;IAEjC,IAAI,OAAO,GAAwB,SAAS,CAAC,MAAM,CAAA;IACnD,OAAO,OAAO,EAAE,CAAC;QACf,IAAI,OAAO,KAAK,KAAK;YAAE,OAAO,IAAI,CAAA;QAClC,OAAO,GAAG,OAAO,CAAC,MAAM,CAAA;IAC1B,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC"}

package/dist/linter/index.d.ts

@@ -1,10 +0,0 @@
-export { LinterToolError } from './diagnostics/index.js';
-export { lintDomain } from './lint.js';
-export { formatLintResult } from './report/index.js';
-export type { DiagnosticKind, DiagnosticAnalysisKind, DiagnosticLocation, DiagnosticSeverity, DiagnosticSource, AmbiguityReason, LintDiagnostic, LinterToolErrorCode, } from './diagnostics/index.js';
-export type { LintCoverage, RuleAvailability, RuleAvailabilityReason, RuleEvaluationOutcome, RuleEvaluationStatus, RuleImplementationIdentity, } from './evaluation/index.js';
-export type { LintDomainOptions, LintResult } from './lint.js';
-export type { DomainLintConfiguration, DomainLintLayerConfiguration } from './policy/index.js';
-export type { LintReportFormat } from './report/index.js';
-export type { SuppressedDiagnostic } from './suppression/index.js';
-//# sourceMappingURL=index.d.ts.map

package/dist/linter/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/linter/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AAEpD,YAAY,EACV,cAAc,EACd,sBAAsB,EACtB,kBAAkB,EAClB,kBAAkB,EAClB,gBAAgB,EAChB,eAAe,EACf,cAAc,EACd,mBAAmB,GACpB,MAAM,wBAAwB,CAAA;AAC/B,YAAY,EACV,YAAY,EACZ,gBAAgB,EAChB,sBAAsB,EACtB,qBAAqB,EACrB,oBAAoB,EACpB,0BAA0B,GAC3B,MAAM,uBAAuB,CAAA;AAC9B,YAAY,EAAE,iBAAiB,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AAC9D,YAAY,EAAE,uBAAuB,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AAC9F,YAAY,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA;AACzD,YAAY,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAA"}

package/dist/linter/index.js

@@ -1,4 +0,0 @@
-export { LinterToolError } from './diagnostics/index.js';
-export { lintDomain } from './lint.js';
-export { formatLintResult } from './report/index.js';
-//# sourceMappingURL=index.js.map

package/dist/linter/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/linter/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAA;AACtC,OAAO,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAA"}

package/dist/linter/lint.d.ts

@@ -1,24 +0,0 @@
-import { type LintDiagnostic } from './diagnostics/index.js';
-import { type LintCoverage, type RuleEvaluationOutcome } from './evaluation/index.js';
-import { type SuppressedDiagnostic } from './suppression/index.js';
-export interface LintDomainOptions {
-    readonly root?: string;
-    readonly signal?: AbortSignal;
-    readonly requiredRuleIds?: readonly string[];
-    readonly generic?: boolean;
-    readonly fix?: boolean;
-}
-export interface LintResult {
-    readonly root: string;
-    readonly policyDigest: string;
-    readonly sourceSnapshotDigest: string;
-    readonly diagnostics: readonly LintDiagnostic[];
-    readonly suppressed: readonly SuppressedDiagnostic[];
-    readonly coverage: LintCoverage;
-    readonly outcomes: readonly RuleEvaluationOutcome[];
-    readonly files: number;
-    readonly durationMs: number;
-    readonly exitCode: 0 | 1;
-}
-export declare function lintDomain(options?: LintDomainOptions): Promise<LintResult>;
-//# sourceMappingURL=lint.d.ts.map

package/dist/linter/lint.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"lint.d.ts","sourceRoot":"","sources":["../../src/linter/lint.ts"],"names":[],"mappings":"AASA,OAAO,EAAoC,KAAK,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAC9F,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,qBAAqB,EAC3B,MAAM,uBAAuB,CAAA;AAS9B,OAAO,EAAqB,KAAK,oBAAoB,EAAE,MAAM,wBAAwB,CAAA;AAErF,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAA;IAC7B,QAAQ,CAAC,eAAe,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IAC5C,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAA;CACvB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAA;IACrC,QAAQ,CAAC,WAAW,EAAE,SAAS,cAAc,EAAE,CAAA;IAC/C,QAAQ,CAAC,UAAU,EAAE,SAAS,oBAAoB,EAAE,CAAA;IACpD,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAA;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,qBAAqB,EAAE,CAAA;IACnD,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,CAAC,CAAA;CACzB;AAsDD,wBAAsB,UAAU,CAAC,OAAO,GAAE,iBAAsB,GAAG,OAAO,CAAC,UAAU,CAAC,CAkBrF"}

package/dist/linter/lint.js

@@ -1,70 +0,0 @@
-import { resolve } from 'node:path';
-import { performance } from 'node:perf_hooks';
-import { assertSingleTypeUniverse, collectSuppressionDirectives, discoverProject, sourceEvidenceAdmission, } from './adapters/typescript/index.js';
-import { LinterToolError, sortDiagnostics } from './diagnostics/index.js';
-import { bindEvaluation, } from './evaluation/index.js';
-import { sourceRuleImplementations } from './implementations/source/index.js';
-import { runOxlint } from './oxlint/index.js';
-import { domainRulePack } from './packs/index.js';
-import { compileDomainPolicy, compileProjectDomainPolicy, domainPolicySource, } from './policy/index.js';
-import { applySuppressions } from './suppression/index.js';
-const defaultPolicy = compileDomainPolicy(domainPolicySource);
-const evaluation = bindEvaluation(defaultPolicy.catalog, domainRulePack, Object.freeze({
-    available: sourceRuleImplementations,
-    unavailable: Object.freeze([]),
-    evidenceAdmission: sourceEvidenceAdmission,
-}));
-async function lintAstraleDomain(options) {
-    const started = performance.now();
-    const root = resolve(options.root ?? process.cwd());
-    ensureActive(options.signal);
-    evaluation.assertAvailable(options.requiredRuleIds ?? []);
-    const policy = await compileProjectDomainPolicy(root, options.signal);
-    await assertSingleTypeUniverse(root, options.signal);
-    const project = await discoverProject(root, policy, options.signal);
-    const evaluated = await evaluation.evaluate(project, options.signal);
-    const suppression = applySuppressions(collectSuppressionDirectives(project), evaluated.diagnostics);
-    const diagnostics = sortDiagnostics(suppression.diagnostics);
-    return {
-        root: project.root,
-        policyDigest: policy.digest,
-        sourceSnapshotDigest: project.sourceSnapshotDigest,
-        diagnostics,
-        suppressed: suppression.suppressed,
-        coverage: evaluation.coverage,
-        outcomes: evaluated.outcomes,
-        files: project.files.length,
-        durationMs: Math.max(0, Math.round(performance.now() - started)),
-        exitCode: diagnostics.some(({ severity }) => severity === 'error') ||
-            evaluated.outcomes.some(({ status }) => status === 'error')
-            ? 1
-            : 0,
-    };
-}
-function ensureActive(signal) {
-    if (signal?.aborted) {
-        throw new LinterToolError('Domain lint was cancelled.', {
-            code: 'LINTER_CANCELLED',
-            cause: signal.reason,
-        });
-    }
-}
-export async function lintDomain(options = {}) {
-    const started = performance.now();
-    const domain = await lintAstraleDomain(options);
-    if (options.generic === false)
-        return domain;
-    const generic = await runOxlint(domain.root, options.fix ?? false, { signal: options.signal });
-    const diagnostics = sortDiagnostics([...domain.diagnostics, ...generic.diagnostics]);
-    return {
-        ...domain,
-        diagnostics,
-        files: Math.max(domain.files, generic.files),
-        durationMs: Math.max(0, Math.round(performance.now() - started)),
-        exitCode: diagnostics.some(({ severity }) => severity === 'error') ||
-            domain.outcomes.some(({ status }) => status === 'error')
-            ? 1
-            : 0,
-    };
-}
-//# sourceMappingURL=lint.js.map

package/dist/linter/lint.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"lint.js","sourceRoot":"","sources":["../../src/linter/lint.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAE7C,OAAO,EACL,wBAAwB,EACxB,4BAA4B,EAC5B,eAAe,EACf,uBAAuB,GACxB,MAAM,gCAAgC,CAAA;AACvC,OAAO,EAAE,eAAe,EAAE,eAAe,EAAuB,MAAM,wBAAwB,CAAA;AAC9F,OAAO,EACL,cAAc,GAGf,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAA;AAC7E,OAAO,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAA;AAC7C,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAA;AACjD,OAAO,EACL,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,GACnB,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAAE,iBAAiB,EAA6B,MAAM,wBAAwB,CAAA;AAuBrF,MAAM,aAAa,GAAG,mBAAmB,CAAC,kBAAkB,CAAC,CAAA;AAC7D,MAAM,UAAU,GAAG,cAAc,CAC/B,aAAa,CAAC,OAAO,EACrB,cAAc,EACd,MAAM,CAAC,MAAM,CAAC;IACZ,SAAS,EAAE,yBAAyB;IACpC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;IAC9B,iBAAiB,EAAE,uBAAuB;CAC3C,CAAC,CACH,CAAA;AAED,KAAK,UAAU,iBAAiB,CAAC,OAA0B;IACzD,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,GAAG,EAAE,CAAC,CAAA;IACnD,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;IAC5B,UAAU,CAAC,eAAe,CAAC,OAAO,CAAC,eAAe,IAAI,EAAE,CAAC,CAAA;IACzD,MAAM,MAAM,GAAG,MAAM,0BAA0B,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACrE,MAAM,wBAAwB,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACpD,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACnE,MAAM,SAAS,GAAG,MAAM,UAAU,CAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;IACpE,MAAM,WAAW,GAAG,iBAAiB,CACnC,4BAA4B,CAAC,OAAO,CAAC,EACrC,SAAS,CAAC,WAAW,CACtB,CAAA;IACD,MAAM,WAAW,GAAG,eAAe,CAAC,WAAW,CAAC,WAAW,CAAC,CAAA;IAC5D,OAAO;QACL,IAAI,EAAE,OAAO,CAAC,IAAI;QAClB,YAAY,EAAE,MAAM,CAAC,MAAM;QAC3B,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;QAClD,WAAW;QACX,UAAU,EAAE,WAAW,CAAC,UAAU;QAClC,QAAQ,EAAE,UAAU,CAAC,QAAQ;QAC7B,QAAQ,EAAE,SAAS,CAAC,QAAQ;QAC5B,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,MAAM;QAC3B,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC;QAChE,QAAQ,EACN,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC;YACxD,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC;YACzD,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,CAAC;KACR,CAAA;AACH,CAAC;AAED,SAAS,YAAY,CAAC,MAA+B;IACnD,IAAI,MAAM,EAAE,OAAO,EAAE,CAAC;QACpB,MAAM,IAAI,eAAe,CAAC,4BAA4B,EAAE;YACtD,IAAI,EAAE,kBAAkB;YACxB,KAAK,EAAE,MAAM,CAAC,MAAM;SACrB,CAAC,CAAA;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,OAAO,GAAsB,EAAE;IAC9D,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE,CAAA;IACjC,MAAM,MAAM,GAAG,MAAM,iBAAiB,CAAC,OAAO,CAAC,CAAA;IAC/C,IAAI,OAAO,CAAC,OAAO,KAAK,KAAK;QAAE,OAAO,MAAM,CAAA;IAE5C,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,GAAG,IAAI,KAAK,EAAE,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IAC9F,MAAM,WAAW,GAAG,eAAe,CAAC,CAAC,GAAG,MAAM,CAAC,WAAW,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAA;IACpF,OAAO;QACL,GAAG,MAAM;QACT,WAAW;QACX,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC;QAC5C,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC;QAChE,QAAQ,EACN,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,KAAK,OAAO,CAAC;YACxD,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,KAAK,OAAO,CAAC;YACtD,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,CAAC;KACR,CAAA;AACH,CAAC"}

package/dist/linter/oxlint/index.d.ts

@@ -1,4 +0,0 @@
-export { runOxlint } from './run.js';
-export type { OxlintResult } from './run.js';
-export type { OxlintProcessOptions } from './process.js';
-//# sourceMappingURL=index.d.ts.map

package/dist/linter/oxlint/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/linter/oxlint/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AACpC,YAAY,EAAE,YAAY,EAAE,MAAM,UAAU,CAAA;AAC5C,YAAY,EAAE,oBAAoB,EAAE,MAAM,cAAc,CAAA"}

package/dist/linter/oxlint/index.js

@@ -1,2 +0,0 @@
-export { runOxlint } from './run.js';
-//# sourceMappingURL=index.js.map

package/dist/linter/oxlint/index.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/linter/oxlint/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA"}

package/dist/linter/oxlint/process.d.ts

@@ -1,19 +0,0 @@
-export interface OxlintProcessOptions {
-    readonly signal?: AbortSignal;
-    readonly timeoutMs?: number;
-    readonly outputLimitBytes?: number;
-    readonly terminationGraceMs?: number;
-}
-export type OxlintProcessResult = {
-    status: number | null;
-    signal: NodeJS.Signals | null;
-    stdout: string;
-    stderr: string;
-};
-/**
- * Run Oxlint under the runtime it declares, independent of the SDK CLI's
- * parent runtime. The published CLI intentionally runs under Bun, while
- * Oxlint's executable is a Node program.
- */
-export declare function runOxlintProcess(bin: string, args: readonly string[], cwd: string, options?: OxlintProcessOptions): Promise<OxlintProcessResult>;
-//# sourceMappingURL=process.d.ts.map

package/dist/linter/oxlint/process.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"process.d.ts","sourceRoot":"","sources":["../../../src/linter/oxlint/process.ts"],"names":[],"mappings":"AAQA,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAA;IAC7B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAA;IAClC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,MAAM,CAAA;CACrC;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;IACrB,MAAM,EAAE,MAAM,CAAC,OAAO,GAAG,IAAI,CAAA;IAC7B,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,CAAA;CACf,CAAA;AAOD;;;;GAIG;AACH,wBAAsB,gBAAgB,CACpC,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,GAAG,EAAE,MAAM,EACX,OAAO,GAAE,oBAAyB,GACjC,OAAO,CAAC,mBAAmB,CAAC,CA6H9B"}