@ontrails/warden 1.0.0-beta.13 → 1.0.0-beta.15

package/dist/rules/incomplete-crud.js

@@ -0,0 +1,368 @@
+import { collectNamedContourIds, collectNamedStoreTableIds, getStringValue, identifierName, isNamedCall, isStringLiteral, offsetToLine, parse, deriveStoreTableId, walk, } from './ast.js';
+import { isTestFile } from './scan.js';
+const CRUD_OPERATIONS = ['create', 'read', 'update', 'delete', 'list'];
+const CRUD_OPERATION_SET = new Set(CRUD_OPERATIONS);
+/** Sentinel entity id prefix for contours imported from another module. */
+const IMPORTED_CONTOUR_PREFIX = 'imported:';
+const IMPORTED_CONTOUR_SOURCE_SEPARATOR = '#';
+const CONTOUR_BINDING_SUFFIX = 'Contour';
+const getImportSource = (node) => {
+    const sourceNode = node.source;
+    return sourceNode && isStringLiteral(sourceNode)
+        ? getStringValue(sourceNode)
+        : null;
+};
+const extractImportAliasResolution = (specifier, source) => {
+    if (specifier.type !== 'ImportSpecifier') {
+        return null;
+    }
+    const { imported } = specifier;
+    const { local } = specifier;
+    const localName = identifierName(local);
+    if (!localName) {
+        return null;
+    }
+    const importedName = imported
+        ? (identifierName(imported) ??
+            (isStringLiteral(imported) ? getStringValue(imported) : null))
+        : null;
+    return {
+        localName,
+        resolution: {
+            importedName: importedName ?? localName,
+            source,
+        },
+    };
+};
+const collectImportDeclarationAliases = (node, aliases) => {
+    const source = getImportSource(node);
+    if (!source) {
+        return;
+    }
+    const specifiers = (node
+        .specifiers ?? []);
+    for (const specifier of specifiers) {
+        const alias = extractImportAliasResolution(specifier, source);
+        if (!alias) {
+            continue;
+        }
+        aliases.set(alias.localName, alias.resolution);
+    }
+};
+const extractInlineContourId = (node) => {
+    if (!isNamedCall(node, 'contour')) {
+        return null;
+    }
+    const [nameArg] = (node
+        .arguments ?? []);
+    return nameArg && isStringLiteral(nameArg) ? getStringValue(nameArg) : null;
+};
+const collectImportAliasResolutions = (ast) => {
+    const aliases = new Map();
+    walk(ast, (node) => {
+        if (node.type !== 'ImportDeclaration') {
+            return;
+        }
+        collectImportDeclarationAliases(node, aliases);
+    });
+    return aliases;
+};
+const buildImportedContourId = (source, importedName) => `${IMPORTED_CONTOUR_PREFIX}${source}${IMPORTED_CONTOUR_SOURCE_SEPARATOR}${importedName}`;
+const parseImportedContourId = (entityId) => {
+    if (!entityId.startsWith(IMPORTED_CONTOUR_PREFIX)) {
+        return null;
+    }
+    const remainder = entityId.slice(IMPORTED_CONTOUR_PREFIX.length);
+    const separator = remainder.lastIndexOf(IMPORTED_CONTOUR_SOURCE_SEPARATOR);
+    if (separator === -1) {
+        return { bindingName: remainder };
+    }
+    return {
+        bindingName: remainder.slice(separator + 1),
+        source: remainder.slice(0, separator),
+    };
+};
+/**
+ * Resolve an identifier reference (bound contour or imported alias) to a
+ * stable entity id. Imported identifiers return a `pending-resolution`
+ * sentinel so coverage is still tracked instead of silently dropped.
+ */
+const resolveContourIdentifier = (name, namedContourIds, importAliases) => {
+    const local = namedContourIds.get(name);
+    if (local) {
+        return local;
+    }
+    const imported = importAliases.get(name);
+    if (imported) {
+        return buildImportedContourId(imported.source, imported.importedName);
+    }
+    return null;
+};
+const stripContourBindingSuffix = (entityId) => entityId.endsWith(CONTOUR_BINDING_SUFFIX)
+    ? entityId.slice(0, -CONTOUR_BINDING_SUFFIX.length)
+    : entityId;
+const normalizeProjectEntityId = (entityId, projectEntityIds) => {
+    const imported = parseImportedContourId(entityId);
+    if (!imported) {
+        return entityId;
+    }
+    const localId = imported.bindingName;
+    if (projectEntityIds.has(localId)) {
+        return localId;
+    }
+    const strippedId = stripContourBindingSuffix(localId);
+    if (strippedId !== localId &&
+        (projectEntityIds.has(strippedId) ||
+            projectEntityIds.has(`${IMPORTED_CONTOUR_PREFIX}${strippedId}`))) {
+        return strippedId;
+    }
+    return entityId;
+};
+const normalizeProjectCoverage = (projectCoverage, projectEntityIds) => {
+    const normalized = new Map();
+    for (const [entityId, operations] of projectCoverage) {
+        const normalizedId = normalizeProjectEntityId(entityId, projectEntityIds);
+        const bucket = normalized.get(normalizedId) ?? new Set();
+        for (const operation of operations) {
+            bucket.add(operation);
+        }
+        normalized.set(normalizedId, bucket);
+    }
+    return normalized;
+};
+/**
+ * Resolve a `deriveTrail` contour argument to a stable entity id.
+ *
+ * Resolution order:
+ *   1. Inline `contour('name', …)` call — use the authored name.
+ *   2. Local identifier bound to `contour('name', …)` via `namedContourIds`.
+ *   3. Identifier imported from another module — mark as a pending
+ *      `imported:<local>` coverage observation so the rule still tracks the
+ *      entity across the file instead of silently dropping it. The prefix is
+ *      stripped from diagnostic output for readability.
+ */
+const resolveContourId = (node, namedContourIds, importAliases) => {
+    if (!node) {
+        return null;
+    }
+    if (node.type === 'Identifier') {
+        const name = identifierName(node);
+        return name
+            ? resolveContourIdentifier(name, namedContourIds, importAliases)
+            : null;
+    }
+    return extractInlineContourId(node);
+};
+const ensureCoverage = (coverageByEntityId, entityId, line) => {
+    const existing = coverageByEntityId.get(entityId);
+    if (existing) {
+        return existing;
+    }
+    const coverage = {
+        entityId,
+        line,
+        operations: new Set(),
+    };
+    coverageByEntityId.set(entityId, coverage);
+    return coverage;
+};
+const extractCrudOperation = (node) => {
+    if (!node || !isStringLiteral(node)) {
+        return null;
+    }
+    const operation = getStringValue(node);
+    return operation && CRUD_OPERATION_SET.has(operation) ? operation : null;
+};
+const extractDerivedCrudEntry = (node, namedContourIds, importAliases) => {
+    if (!isNamedCall(node, 'deriveTrail')) {
+        return null;
+    }
+    const [contourArg, operationArg] = (node.arguments ?? []);
+    const operation = extractCrudOperation(operationArg);
+    const entityId = resolveContourId(contourArg, namedContourIds, importAliases);
+    return operation && entityId ? { entityId, operation } : null;
+};
+const collectDerivedCrudCoverage = (ast, sourceCode) => {
+    const coverageByEntityId = new Map();
+    const namedContourIds = collectNamedContourIds(ast);
+    const importAliases = collectImportAliasResolutions(ast);
+    walk(ast, (node) => {
+        const entry = extractDerivedCrudEntry(node, namedContourIds, importAliases);
+        if (!entry) {
+            return;
+        }
+        ensureCoverage(coverageByEntityId, entry.entityId, offsetToLine(sourceCode, node.start)).operations.add(entry.operation);
+    });
+    return coverageByEntityId;
+};
+const collectTupleOperations = (elements) => 
+// Array-pattern elisions are represented as null by OXC today; the truthy
+// check below intentionally treats those the same as out-of-bounds slots.
+// If OXC ever switches to a non-null placeholder node, update this to an
+// explicit null check so elisions still count as absent.
+CRUD_OPERATIONS.flatMap((operation, index) => elements[index] ? [operation] : []);
+const extractCrudTuplePattern = (node, namedStoreTableIds) => {
+    if (node.type !== 'VariableDeclarator') {
+        return null;
+    }
+    const { id, init } = node;
+    if (!id || id.type !== 'ArrayPattern' || !isNamedCall(init, 'crud')) {
+        return null;
+    }
+    const [tableArg] = (init
+        .arguments ?? []);
+    const entityId = deriveStoreTableId(tableArg, namedStoreTableIds);
+    const { elements } = id;
+    return entityId && elements ? { elements, entityId } : null;
+};
+const extractCrudTupleEntry = (node, namedStoreTableIds) => {
+    const pattern = extractCrudTuplePattern(node, namedStoreTableIds);
+    if (!pattern) {
+        return null;
+    }
+    return {
+        entityId: pattern.entityId,
+        operations: collectTupleOperations(pattern.elements),
+    };
+};
+const collectCrudTupleCoverage = (ast, sourceCode) => {
+    const coverageByEntityId = new Map();
+    const namedStoreTableIds = collectNamedStoreTableIds(ast);
+    walk(ast, (node) => {
+        const entry = extractCrudTupleEntry(node, namedStoreTableIds);
+        if (!entry) {
+            return;
+        }
+        const coverage = ensureCoverage(coverageByEntityId, entry.entityId, offsetToLine(sourceCode, node.start));
+        for (const operation of entry.operations) {
+            coverage.operations.add(operation);
+        }
+    });
+    return coverageByEntityId;
+};
+const collectFileCoverage = (ast, sourceCode) => ({
+    derived: collectDerivedCrudCoverage(ast, sourceCode),
+    tuple: collectCrudTupleCoverage(ast, sourceCode),
+});
+/**
+ * Public AST helper: collect per-entity CRUD operation coverage for a single
+ * file. Used by the CLI to aggregate coverage across the project before the
+ * rule runs, so one-file-per-operation layouts are evaluated correctly.
+ */
+export const collectFileCrudCoverage = (ast, sourceCode) => {
+    const { derived, tuple } = collectFileCoverage(ast, sourceCode);
+    const merged = new Map();
+    const merge = (source) => {
+        for (const [entityId, coverage] of source) {
+            const bucket = merged.get(entityId) ?? new Set();
+            for (const operation of coverage.operations) {
+                bucket.add(operation);
+            }
+            merged.set(entityId, bucket);
+        }
+    };
+    merge(derived);
+    merge(tuple);
+    return merged;
+};
+const seedCombinedCoverage = (fileCoverage) => {
+    const combined = new Map();
+    for (const [entityId, coverage] of fileCoverage) {
+        combined.set(entityId, new Set(coverage.operations));
+    }
+    return combined;
+};
+const applyProjectOperations = (combined, fileCoverage, projectCoverage) => {
+    const projectEntityIds = new Set(projectCoverage.keys());
+    const normalizedProjectCoverage = normalizeProjectCoverage(projectCoverage, projectEntityIds);
+    for (const entityId of fileCoverage.keys()) {
+        const bucket = combined.get(entityId) ?? new Set();
+        const operations = normalizedProjectCoverage.get(normalizeProjectEntityId(entityId, projectEntityIds));
+        if (operations) {
+            for (const operation of operations) {
+                bucket.add(operation);
+            }
+        }
+        combined.set(entityId, bucket);
+    }
+};
+const mergeProjectOperations = (fileCoverage, projectCoverage) => {
+    const combined = seedCombinedCoverage(fileCoverage);
+    if (projectCoverage) {
+        applyProjectOperations(combined, fileCoverage, projectCoverage);
+    }
+    return combined;
+};
+const collectIncompleteEntities = (fileCoverage, projectCoverage) => {
+    const combinedOperations = mergeProjectOperations(fileCoverage, projectCoverage);
+    return [...fileCoverage.values()].flatMap((coverage) => {
+        const combined = combinedOperations.get(coverage.entityId);
+        if (!combined || combined.size === 0) {
+            return [];
+        }
+        if (combined.size >= CRUD_OPERATIONS.length) {
+            return [];
+        }
+        return [
+            {
+                entityId: coverage.entityId,
+                line: coverage.line,
+                operations: combined,
+            },
+        ];
+    });
+};
+const formatEntityLabel = (entityId) => {
+    const imported = parseImportedContourId(entityId);
+    return imported
+        ? `${imported.bindingName} (imported, pending-resolution)`
+        : entityId;
+};
+const buildIncompleteCrudDiagnostic = (coverage, filePath) => {
+    const present = CRUD_OPERATIONS.filter((operation) => coverage.operations.has(operation));
+    const missing = CRUD_OPERATIONS.filter((operation) => !coverage.operations.has(operation));
+    return {
+        filePath,
+        line: coverage.line,
+        message: `Factory coverage for "${formatEntityLabel(coverage.entityId)}" is incomplete: found ${present.join(', ')} but missing ${missing.join(', ')}. Prefer the full CRUD set or document the intentional omission.`,
+        rule: 'incomplete-crud',
+        severity: 'warn',
+    };
+};
+const evaluateFile = (sourceCode, filePath, projectCoverage) => {
+    if (isTestFile(filePath)) {
+        return [];
+    }
+    const ast = parse(filePath, sourceCode);
+    if (!ast) {
+        return [];
+    }
+    const { derived, tuple } = collectFileCoverage(ast, sourceCode);
+    return [
+        ...collectIncompleteEntities(derived, projectCoverage),
+        ...collectIncompleteEntities(tuple, projectCoverage),
+    ].map((coverage) => buildIncompleteCrudDiagnostic(coverage, filePath));
+};
+/**
+ * Warn when factory-style CRUD authoring covers only part of the standard
+ * create/read/update/delete/list set.
+ *
+ * Project-aware: when a `ProjectContext` is available, operations observed in
+ * sibling files (e.g. one-file-per-operation layouts such as `create.ts`,
+ * `read.ts`, `update.ts`, `delete.ts`, `list.ts`) are merged with the local
+ * file's coverage before completeness is evaluated, so split layouts do not
+ * produce false positives. The fallback `check` entry point stays file-scoped
+ * for direct invocations that lack project context.
+ */
+export const incompleteCrud = {
+    check(sourceCode, filePath) {
+        return evaluateFile(sourceCode, filePath);
+    },
+    checkWithContext(sourceCode, filePath, context) {
+        return evaluateFile(sourceCode, filePath, context.crudCoverageByEntity);
+    },
+    description: 'Warn when factory-style CRUD authoring covers only part of the standard create/read/update/delete/list set. Coverage is aggregated across the project so one-file-per-operation layouts are evaluated on the full CRUD set.',
+    name: 'incomplete-crud',
+    severity: 'warn',
+};
+//# sourceMappingURL=incomplete-crud.js.map

package/dist/rules/incomplete-crud.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"incomplete-crud.js","sourceRoot":"","sources":["../../src/rules/incomplete-crud.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,sBAAsB,EACtB,yBAAyB,EACzB,cAAc,EACd,cAAc,EACd,WAAW,EACX,eAAe,EACf,YAAY,EACZ,KAAK,EACL,kBAAkB,EAClB,IAAI,GACL,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAOvC,MAAM,eAAe,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,CAAU,CAAC;AAChF,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAS,eAAe,CAAC,CAAC;AAE5D,2EAA2E;AAC3E,MAAM,uBAAuB,GAAG,WAAW,CAAC;AAC5C,MAAM,iCAAiC,GAAG,GAAG,CAAC;AAC9C,MAAM,sBAAsB,GAAG,SAAS,CAAC;AAazC,MAAM,eAAe,GAAG,CAAC,IAAa,EAAiB,EAAE;IACvD,MAAM,UAAU,GAAI,IAAwC,CAAC,MAAM,CAAC;IACpE,OAAO,UAAU,IAAI,eAAe,CAAC,UAAU,CAAC;QAC9C,CAAC,CAAC,cAAc,CAAC,UAAU,CAAC;QAC5B,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,4BAA4B,GAAG,CACnC,SAAkB,EAClB,MAAc,EAIP,EAAE;IACT,IAAI,SAAS,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,EAAE,QAAQ,EAAE,GAAG,SAA8C,CAAC;IACpE,MAAM,EAAE,KAAK,EAAE,GAAG,SAA2C,CAAC;IAC9D,MAAM,SAAS,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,CAAC,SAAS,EAAE,CAAC;QACf,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,YAAY,GAAG,QAAQ;QAC3B,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC;YACzB,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAChE,CAAC,CAAC,IAAI,CAAC;IACT,OAAO;QACL,SAAS;QACT,UAAU,EAAE;YACV,YAAY,EAAE,YAAY,IAAI,SAAS;YACvC,MAAM;SACP;KACF,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CACtC,IAAa,EACb,OAA2C,EACrC,EAAE;IACR,MAAM,MAAM,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IACrC,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO;IACT,CAAC;IAED,MAAM,UAAU,GAAG,CAAE,IAAuD;SACzE,UAAU,IAAI,EAAE,CAAuB,CAAC;IAC3C,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,MAAM,KAAK,GAAG,4BAA4B,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QAC9D,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,SAAS;QACX,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACjD,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,IAAyB,EAAiB,EAAE;IAC1E,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,SAAS,CAAC,EAAE,CAAC;QAClC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,GAAG,CAAE,IAAsD;SACvE,SAAS,IAAI,EAAE,CAAuB,CAAC;IAC1C,OAAO,OAAO,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9E,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,GAAY,EACgC,EAAE;IAC9C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAiC,CAAC;IAEzD,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB,EAAE,CAAC;YACtC,OAAO;QACT,CAAC;QACD,+BAA+B,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAAC,MAAc,EAAE,YAAoB,EAAU,EAAE,CAC9E,GAAG,uBAAuB,GAAG,MAAM,GAAG,iCAAiC,GAAG,YAAY,EAAE,CAAC;AAE3F,MAAM,sBAAsB,GAAG,CAC7B,QAAgB,EACmD,EAAE;IACrE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,uBAAuB,CAAC,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,QAAQ,CAAC,KAAK,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,SAAS,GAAG,SAAS,CAAC,WAAW,CAAC,iCAAiC,CAAC,CAAC;IAC3E,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC;IACpC,CAAC;IAED,OAAO;QACL,WAAW,EAAE,SAAS,CAAC,KAAK,CAAC,SAAS,GAAG,CAAC,CAAC;QAC3C,MAAM,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC;KACtC,CAAC;AACJ,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,wBAAwB,GAAG,CAC/B,IAAY,EACZ,eAA4C,EAC5C,aAAyD,EAC1C,EAAE;IACjB,MAAM,KAAK,GAAG,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACxC,IAAI,KAAK,EAAE,CAAC;QACV,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,sBAAsB,CAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC,CAAC;IACxE,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAAC,QAAgB,EAAU,EAAE,CAC7D,QAAQ,CAAC,QAAQ,CAAC,sBAAsB,CAAC;IACvC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC;IACnD,CAAC,CAAC,QAAQ,CAAC;AAEf,MAAM,wBAAwB,GAAG,CAC/B,QAAgB,EAChB,gBAAqC,EAC7B,EAAE;IACV,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,OAAO,GAAG,QAAQ,CAAC,WAAW,CAAC;IACrC,IAAI,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QAClC,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,UAAU,GAAG,yBAAyB,CAAC,OAAO,CAAC,CAAC;IACtD,IACE,UAAU,KAAK,OAAO;QACtB,CAAC,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC;YAC/B,gBAAgB,CAAC,GAAG,CAAC,GAAG,uBAAuB,GAAG,UAAU,EAAE,CAAC,CAAC,EAClE,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,eAAyD,EACzD,gBAAqC,EACK,EAAE;IAC5C,MAAM,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAC;IAClD,KAAK,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,IAAI,eAAe,EAAE,CAAC;QACrD,MAAM,YAAY,GAAG,wBAAwB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,YAAY,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QACjE,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;YACnC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACxB,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,gBAAgB,GAAG,CACvB,IAAyB,EACzB,eAA4C,EAC5C,aAAyD,EAC1C,EAAE;IACjB,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,IAAI;YACT,CAAC,CAAC,wBAAwB,CAAC,IAAI,EAAE,eAAe,EAAE,aAAa,CAAC;YAChE,CAAC,CAAC,IAAI,CAAC;IACX,CAAC;IAED,OAAO,sBAAsB,CAAC,IAAI,CAAC,CAAC;AACtC,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,kBAA6C,EAC7C,QAAgB,EAChB,IAAY,EACE,EAAE;IAChB,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAClD,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,QAAQ,GAAiB;QAC7B,QAAQ;QACR,IAAI;QACJ,UAAU,EAAE,IAAI,GAAG,EAAU;KAC9B,CAAC;IACF,kBAAkB,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC3C,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,IAAyB,EAAiB,EAAE;IACxE,IAAI,CAAC,IAAI,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,SAAS,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,SAAS,IAAI,kBAAkB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,IAAa,EACb,eAA4C,EAC5C,aAAyD,EACS,EAAE;IACpE,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;QACtC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,UAAU,EAAE,YAAY,CAAC,GAAG,CACjC,IAGD,CAAC,SAAS,IAAI,EAAE,CAAuB,CAAC;IACzC,MAAM,SAAS,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,gBAAgB,CAAC,UAAU,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC;IAC9E,OAAO,SAAS,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAChE,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,GAAY,EACZ,UAAkB,EACiB,EAAE;IACrC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC3D,MAAM,eAAe,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;IACpD,MAAM,aAAa,GAAG,6BAA6B,CAAC,GAAG,CAAC,CAAC;IAEzD,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,MAAM,KAAK,GAAG,uBAAuB,CAAC,IAAI,EAAE,eAAe,EAAE,aAAa,CAAC,CAAC;QAC5E,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;QACT,CAAC;QAED,cAAc,CACZ,kBAAkB,EAClB,KAAK,CAAC,QAAQ,EACd,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CACrC,CAAC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACpC,CAAC,CAAC,CAAC;IAEH,OAAO,kBAAkB,CAAC;AAC5B,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,QAA4B,EACT,EAAE;AACrB,0EAA0E;AAC1E,0EAA0E;AAC1E,yEAAyE;AACzE,yDAAyD;AACzD,eAAe,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE,CAC3C,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CACnC,CAAC;AAEJ,MAAM,uBAAuB,GAAG,CAC9B,IAAa,EACb,kBAA+C,EAIxC,EAAE;IACT,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;QACvC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,GAAG,IAGpB,CAAC;IACF,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,CAAC;QACpE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAE,IAAsD;SACxE,SAAS,IAAI,EAAE,CAAuB,CAAC;IAC1C,MAAM,QAAQ,GAAG,kBAAkB,CAAC,QAAQ,EAAE,kBAAkB,CAAC,CAAC;IAClE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAkD,CAAC;IACxE,OAAO,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAa,EACb,kBAA+C,EAIxC,EAAE;IACT,MAAM,OAAO,GAAG,uBAAuB,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;IAClE,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,UAAU,EAAE,sBAAsB,CAAC,OAAO,CAAC,QAAQ,CAAC;KACrD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,GAAY,EACZ,UAAkB,EACiB,EAAE;IACrC,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC3D,MAAM,kBAAkB,GAAG,yBAAyB,CAAC,GAAG,CAAC,CAAC;IAE1D,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,MAAM,KAAK,GAAG,qBAAqB,CAAC,IAAI,EAAE,kBAAkB,CAAC,CAAC;QAC9D,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,OAAO;QACT,CAAC;QAED,MAAM,QAAQ,GAAG,cAAc,CAC7B,kBAAkB,EAClB,KAAK,CAAC,QAAQ,EACd,YAAY,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,CACrC,CAAC;QAEF,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YACzC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,kBAAkB,CAAC;AAC5B,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,GAAY,EACZ,UAAkB,EAIlB,EAAE,CAAC,CAAC;IACJ,OAAO,EAAE,0BAA0B,CAAC,GAAG,EAAE,UAAU,CAAC;IACpD,KAAK,EAAE,wBAAwB,CAAC,GAAG,EAAE,UAAU,CAAC;CACjD,CAAC,CAAC;AAEH;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,GAAY,EACZ,UAAkB,EACwB,EAAE;IAC5C,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,mBAAmB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAChE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC9C,MAAM,KAAK,GAAG,CAAC,MAAyC,EAAQ,EAAE;QAChE,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,MAAM,EAAE,CAAC;YAC1C,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YACzD,KAAK,MAAM,SAAS,IAAI,QAAQ,CAAC,UAAU,EAAE,CAAC;gBAC5C,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACxB,CAAC;YACD,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,OAAO,CAAC,CAAC;IACf,KAAK,CAAC,KAAK,CAAC,CAAC;IACb,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,YAA+C,EACrB,EAAE;IAC5B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,KAAK,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,IAAI,YAAY,EAAE,CAAC;QAChD,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,QAAkC,EAClC,YAA+C,EAC/C,eAAyD,EACnD,EAAE;IACR,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;IACzD,MAAM,yBAAyB,GAAG,wBAAwB,CACxD,eAAe,EACf,gBAAgB,CACjB,CAAC;IACF,KAAK,MAAM,QAAQ,IAAI,YAAY,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;QAC3D,MAAM,UAAU,GAAG,yBAAyB,CAAC,GAAG,CAC9C,wBAAwB,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CACrD,CAAC;QACF,IAAI,UAAU,EAAE,CAAC;YACf,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;gBACnC,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACxB,CAAC;QACH,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IACjC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,sBAAsB,GAAG,CAC7B,YAA+C,EAC/C,eAA0D,EAChC,EAAE;IAC5B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC;IACpD,IAAI,eAAe,EAAE,CAAC;QACpB,sBAAsB,CAAC,QAAQ,EAAE,YAAY,EAAE,eAAe,CAAC,CAAC;IAClE,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,yBAAyB,GAAG,CAChC,YAA+C,EAC/C,eAA0D,EACjC,EAAE;IAC3B,MAAM,kBAAkB,GAAG,sBAAsB,CAC/C,YAAY,EACZ,eAAe,CAChB,CAAC;IAEF,OAAO,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,QAAQ,EAAE,EAAE;QACrD,MAAM,QAAQ,GAAG,kBAAkB,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC3D,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACrC,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,IAAI,eAAe,CAAC,MAAM,EAAE,CAAC;YAC5C,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO;YACL;gBACE,QAAQ,EAAE,QAAQ,CAAC,QAAQ;gBAC3B,IAAI,EAAE,QAAQ,CAAC,IAAI;gBACnB,UAAU,EAAE,QAAQ;aACrB;SACF,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,QAAgB,EAAU,EAAE;IACrD,MAAM,QAAQ,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IAClD,OAAO,QAAQ;QACb,CAAC,CAAC,GAAG,QAAQ,CAAC,WAAW,iCAAiC;QAC1D,CAAC,CAAC,QAAQ,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,6BAA6B,GAAG,CACpC,QAAsB,EACtB,QAAgB,EACE,EAAE;IACpB,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CACnD,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CACnC,CAAC;IACF,MAAM,OAAO,GAAG,eAAe,CAAC,MAAM,CACpC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CACnD,CAAC;IAEF,OAAO;QACL,QAAQ;QACR,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,OAAO,EAAE,yBAAyB,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,0BAA0B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,kEAAkE;QACtN,IAAI,EAAE,iBAAiB;QACvB,QAAQ,EAAE,MAAM;KACjB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,UAAkB,EAClB,QAAgB,EAChB,eAA0D,EAC7B,EAAE;IAC/B,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,mBAAmB,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IAEhE,OAAO;QACL,GAAG,yBAAyB,CAAC,OAAO,EAAE,eAAe,CAAC;QACtD,GAAG,yBAAyB,CAAC,KAAK,EAAE,eAAe,CAAC;KACrD,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,6BAA6B,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC,CAAC;AACzE,CAAC,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,CAAC,MAAM,cAAc,GAA2B;IACpD,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,OAAO,YAAY,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;IAC5C,CAAC;IACD,gBAAgB,CACd,UAAkB,EAClB,QAAgB,EAChB,OAAuB;QAEvB,OAAO,YAAY,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAC1E,CAAC;IACD,WAAW,EACT,6NAA6N;IAC/N,IAAI,EAAE,iBAAiB;IACvB,QAAQ,EAAE,MAAM;CACjB,CAAC"}

package/dist/rules/index.d.ts

@@ -1,18 +1,51 @@
-import type { WardenRule } from './types.js';
-export type { ProjectAwareWardenRule, ProjectContext, WardenDiagnostic, WardenRule, WardenSeverity, } from './types.js';
+import type { TopoAwareWardenRule, WardenRule } from './types.js';
+export type { ProjectAwareWardenRule, ProjectContext, TopoAwareWardenRule, WardenDiagnostic, WardenRule, WardenSeverity, } from './types.js';
 export { noThrowInImplementation } from './no-throw-in-implementation.js';
-export { contextNoTrailheadTypes } from './context-no-trailhead-types.js';
+export { circularRefs } from './circular-refs.js';
+export { contourExists } from './contour-exists.js';
+export { contextNoSurfaceTypes } from './context-no-surface-types.js';
 export { crossDeclarations } from './cross-declarations.js';
-export { validDetourRefs } from './valid-detour-refs.js';
+export { deadInternalTrail } from './dead-internal-trail.js';
+export { draftFileMarking } from './draft-file-marking.js';
+export { draftVisibleDebt } from './draft-visible-debt.js';
+export { errorMappingCompleteness } from './error-mapping-completeness.js';
+export { exampleValid } from './example-valid.js';
+export { firesDeclarations } from './fires-declarations.js';
+export { incompleteAccessorForStandardOp } from './incomplete-accessor-for-standard-op.js';
+export { incompleteCrud } from './incomplete-crud.js';
+export { intentPropagation } from './intent-propagation.js';
+export { missingVisibility } from './missing-visibility.js';
+export { missingReconcile } from './missing-reconcile.js';
+export { onReferencesExist } from './on-references-exist.js';
 export { noDirectImplInRoute } from './no-direct-impl-in-route.js';
 export { noDirectImplementationCall } from './no-direct-implementation-call.js';
 export { noSyncResultAssumption } from './no-sync-result-assumption.js';
 export { implementationReturnsResult } from './implementation-returns-result.js';
-export { noThrowInDetourTarget } from './no-throw-in-detour-target.js';
+export { noThrowInDetourRecover } from './no-throw-in-detour-recover.js';
+export { orphanedSignal } from './orphaned-signal.js';
+export { permitGovernance } from './permit-governance.js';
 export { preferSchemaInference } from './prefer-schema-inference.js';
-export { provisionDeclarations } from './provision-declarations.js';
-export { provisionExists } from './provision-exists.js';
+export { referenceExists } from './reference-exists.js';
+export { resourceDeclarations } from './resource-declarations.js';
+export { resourceExists } from './resource-exists.js';
+export { resourceIdGrammar } from './resource-id-grammar.js';
+export { unreachableDetourShadowing } from './unreachable-detour-shadowing.js';
+export { validDetourContract } from './valid-detour-contract.js';
 export { validDescribeRefs } from './valid-describe-refs.js';
 /** All built-in warden rules, keyed by rule name. */
 export declare const wardenRules: ReadonlyMap<string, WardenRule>;
+/**
+ * Built-in topo-aware warden rules, keyed by rule name.
+ *
+ * These rules inspect the compiled runtime trail graph once per topo,
+ * rather than scanning source files. Kept in a separate registry because
+ * their dispatch shape differs from `WardenRule` / `ProjectAwareWardenRule`.
+ *
+ * @remarks
+ * Topo-aware rules only fire when the warden runtime is invoked with a
+ * resolved `Topo` (see `WardenOptions.topo`). Runs without a topo — e.g.
+ * pure source-directory lints — silently skip this registry. Rules
+ * registered here must tolerate non-execution when no topo is available.
+ */
+export declare const wardenTopoRules: ReadonlyMap<string, TopoAwareWardenRule>;
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAI7C,YAAY,EACV,sBAAsB,EACtB,cAAc,EACd,gBAAgB,EAChB,UAAU,EACV,cAAc,GACf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,qDAAqD;AACrD,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAiBtD,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,mBAAmB,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAOlE,YAAY,EACV,sBAAsB,EACtB,cAAc,EACd,mBAAmB,EACnB,gBAAgB,EAChB,UAAU,EACV,cAAc,GACf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,qDAAqD;AACrD,eAAO,MAAM,WAAW,EAAE,WAAW,CAAC,MAAM,EAAE,UAAU,CAmCtD,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,mBAAmB,CAKjE,CAAC"}

package/dist/rules/index.js

@@ -1,43 +1,119 @@
-import { contextNoTrailheadTypes } from './context-no-trailhead-types.js';
+import { circularRefs } from './circular-refs.js';
+import { contourExists } from './contour-exists.js';
+import { contextNoSurfaceTypes } from './context-no-surface-types.js';
 import { crossDeclarations } from './cross-declarations.js';
+import { deadInternalTrail } from './dead-internal-trail.js';
+import { draftFileMarking } from './draft-file-marking.js';
+import { draftVisibleDebt } from './draft-visible-debt.js';
+import { errorMappingCompleteness } from './error-mapping-completeness.js';
+import { exampleValid } from './example-valid.js';
+import { firesDeclarations } from './fires-declarations.js';
 import { implementationReturnsResult } from './implementation-returns-result.js';
+import { incompleteAccessorForStandardOp } from './incomplete-accessor-for-standard-op.js';
+import { incompleteCrud } from './incomplete-crud.js';
+import { intentPropagation } from './intent-propagation.js';
+import { missingVisibility } from './missing-visibility.js';
+import { missingReconcile } from './missing-reconcile.js';
 import { noDirectImplInRoute } from './no-direct-impl-in-route.js';
 import { noDirectImplementationCall } from './no-direct-implementation-call.js';
 import { noSyncResultAssumption } from './no-sync-result-assumption.js';
-import { noThrowInDetourTarget } from './no-throw-in-detour-target.js';
+import { noThrowInDetourRecover } from './no-throw-in-detour-recover.js';
 import { noThrowInImplementation } from './no-throw-in-implementation.js';
+import { onReferencesExist } from './on-references-exist.js';
+import { orphanedSignal } from './orphaned-signal.js';
+import { permitGovernance } from './permit-governance.js';
 import { preferSchemaInference } from './prefer-schema-inference.js';
-import { provisionDeclarations } from './provision-declarations.js';
-import { provisionExists } from './provision-exists.js';
+import { referenceExists } from './reference-exists.js';
+import { resourceDeclarations } from './resource-declarations.js';
+import { resourceExists } from './resource-exists.js';
+import { resourceIdGrammar } from './resource-id-grammar.js';
+import { unreachableDetourShadowing } from './unreachable-detour-shadowing.js';
+import { validDetourContract } from './valid-detour-contract.js';
 import { validDescribeRefs } from './valid-describe-refs.js';
-import { validDetourRefs } from './valid-detour-refs.js';
+import { wardenExportSymmetry } from './warden-export-symmetry.js';
+import { wardenRulesUseAst } from './warden-rules-use-ast.js';
 export { noThrowInImplementation } from './no-throw-in-implementation.js';
-export { contextNoTrailheadTypes } from './context-no-trailhead-types.js';
+export { circularRefs } from './circular-refs.js';
+export { contourExists } from './contour-exists.js';
+export { contextNoSurfaceTypes } from './context-no-surface-types.js';
 export { crossDeclarations } from './cross-declarations.js';
-export { validDetourRefs } from './valid-detour-refs.js';
+export { deadInternalTrail } from './dead-internal-trail.js';
+export { draftFileMarking } from './draft-file-marking.js';
+export { draftVisibleDebt } from './draft-visible-debt.js';
+export { errorMappingCompleteness } from './error-mapping-completeness.js';
+export { exampleValid } from './example-valid.js';
+export { firesDeclarations } from './fires-declarations.js';
+export { incompleteAccessorForStandardOp } from './incomplete-accessor-for-standard-op.js';
+export { incompleteCrud } from './incomplete-crud.js';
+export { intentPropagation } from './intent-propagation.js';
+export { missingVisibility } from './missing-visibility.js';
+export { missingReconcile } from './missing-reconcile.js';
+export { onReferencesExist } from './on-references-exist.js';
 export { noDirectImplInRoute } from './no-direct-impl-in-route.js';
 export { noDirectImplementationCall } from './no-direct-implementation-call.js';
 export { noSyncResultAssumption } from './no-sync-result-assumption.js';
 export { implementationReturnsResult } from './implementation-returns-result.js';
-export { noThrowInDetourTarget } from './no-throw-in-detour-target.js';
+export { noThrowInDetourRecover } from './no-throw-in-detour-recover.js';
+export { orphanedSignal } from './orphaned-signal.js';
+export { permitGovernance } from './permit-governance.js';
 export { preferSchemaInference } from './prefer-schema-inference.js';
-export { provisionDeclarations } from './provision-declarations.js';
-export { provisionExists } from './provision-exists.js';
+export { referenceExists } from './reference-exists.js';
+export { resourceDeclarations } from './resource-declarations.js';
+export { resourceExists } from './resource-exists.js';
+export { resourceIdGrammar } from './resource-id-grammar.js';
+export { unreachableDetourShadowing } from './unreachable-detour-shadowing.js';
+export { validDetourContract } from './valid-detour-contract.js';
 export { validDescribeRefs } from './valid-describe-refs.js';
 /** All built-in warden rules, keyed by rule name. */
 export const wardenRules = new Map([
     [noThrowInImplementation.name, noThrowInImplementation],
-    [contextNoTrailheadTypes.name, contextNoTrailheadTypes],
+    [circularRefs.name, circularRefs],
+    [contourExists.name, contourExists],
+    [contextNoSurfaceTypes.name, contextNoSurfaceTypes],
     [crossDeclarations.name, crossDeclarations],
-    [provisionDeclarations.name, provisionDeclarations],
-    [provisionExists.name, provisionExists],
+    [deadInternalTrail.name, deadInternalTrail],
+    [draftFileMarking.name, draftFileMarking],
+    [draftVisibleDebt.name, draftVisibleDebt],
+    [errorMappingCompleteness.name, errorMappingCompleteness],
+    [exampleValid.name, exampleValid],
+    [firesDeclarations.name, firesDeclarations],
+    [incompleteCrud.name, incompleteCrud],
+    [intentPropagation.name, intentPropagation],
+    [missingVisibility.name, missingVisibility],
+    [missingReconcile.name, missingReconcile],
+    [onReferencesExist.name, onReferencesExist],
+    [orphanedSignal.name, orphanedSignal],
+    [resourceDeclarations.name, resourceDeclarations],
+    [referenceExists.name, referenceExists],
+    [resourceIdGrammar.name, resourceIdGrammar],
+    [resourceExists.name, resourceExists],
     [preferSchemaInference.name, preferSchemaInference],
     [validDescribeRefs.name, validDescribeRefs],
-    [validDetourRefs.name, validDetourRefs],
     [noDirectImplementationCall.name, noDirectImplementationCall],
     [noSyncResultAssumption.name, noSyncResultAssumption],
     [implementationReturnsResult.name, implementationReturnsResult],
-    [noThrowInDetourTarget.name, noThrowInDetourTarget],
+    [noThrowInDetourRecover.name, noThrowInDetourRecover],
     [noDirectImplInRoute.name, noDirectImplInRoute],
+    [unreachableDetourShadowing.name, unreachableDetourShadowing],
+    [wardenExportSymmetry.name, wardenExportSymmetry],
+    [wardenRulesUseAst.name, wardenRulesUseAst],
+]);
+/**
+ * Built-in topo-aware warden rules, keyed by rule name.
+ *
+ * These rules inspect the compiled runtime trail graph once per topo,
+ * rather than scanning source files. Kept in a separate registry because
+ * their dispatch shape differs from `WardenRule` / `ProjectAwareWardenRule`.
+ *
+ * @remarks
+ * Topo-aware rules only fire when the warden runtime is invoked with a
+ * resolved `Topo` (see `WardenOptions.topo`). Runs without a topo — e.g.
+ * pure source-directory lints — silently skip this registry. Rules
+ * registered here must tolerate non-execution when no topo is available.
+ */
+export const wardenTopoRules = new Map([
+    [incompleteAccessorForStandardOp.name, incompleteAccessorForStandardOp],
+    [permitGovernance.name, permitGovernance],
+    [validDetourContract.name, validDetourContract],
 ]);
 //# sourceMappingURL=index.js.map

package/dist/rules/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AAExD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAUzD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,qBAAqB,EAAE,MAAM,gCAAgC,CAAC;AACvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,qBAAqB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,qDAAqD;AACrD,MAAM,CAAC,MAAM,WAAW,GAAoC,IAAI,GAAG,CAGjE;IACA,CAAC,uBAAuB,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvD,CAAC,uBAAuB,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvD,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAC3C,CAAC,qBAAqB,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACnD,CAAC,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC;IACvC,CAAC,qBAAqB,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACnD,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAC3C,CAAC,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC;IACvC,CAAC,0BAA0B,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAC7D,CAAC,sBAAsB,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACrD,CAAC,2BAA2B,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC/D,CAAC,qBAAqB,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACnD,CAAC,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,CAAC;CAChD,CAAC,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/rules/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AAW9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAC1E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAC;AAC3D,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,+BAA+B,EAAE,MAAM,0CAA0C,CAAC;AAC3F,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oCAAoC,CAAC;AAChF,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AACxE,OAAO,EAAE,2BAA2B,EAAE,MAAM,oCAAoC,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AACzE,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,EAAE,oBAAoB,EAAE,MAAM,4BAA4B,CAAC;AAClE,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,0BAA0B,EAAE,MAAM,mCAAmC,CAAC;AAC/E,OAAO,EAAE,mBAAmB,EAAE,MAAM,4BAA4B,CAAC;AACjE,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D,qDAAqD;AACrD,MAAM,CAAC,MAAM,WAAW,GAAoC,IAAI,GAAG,CAGjE;IACA,CAAC,uBAAuB,CAAC,IAAI,EAAE,uBAAuB,CAAC;IACvD,CAAC,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC;IACjC,CAAC,aAAa,CAAC,IAAI,EAAE,aAAa,CAAC;IACnC,CAAC,qBAAqB,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACnD,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAC3C,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAC3C,CAAC,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,CAAC;IACzC,CAAC,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,CAAC;IACzC,CAAC,wBAAwB,CAAC,IAAI,EAAE,wBAAwB,CAAC;IACzD,CAAC,YAAY,CAAC,IAAI,EAAE,YAAY,CAAC;IACjC,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAC3C,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC;IACrC,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAC3C,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAC3C,CAAC,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,CAAC;IACzC,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAC3C,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC;IACrC,CAAC,oBAAoB,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACjD,CAAC,eAAe,CAAC,IAAI,EAAE,eAAe,CAAC;IACvC,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAC3C,CAAC,cAAc,CAAC,IAAI,EAAE,cAAc,CAAC;IACrC,CAAC,qBAAqB,CAAC,IAAI,EAAE,qBAAqB,CAAC;IACnD,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAC3C,CAAC,0BAA0B,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAC7D,CAAC,sBAAsB,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACrD,CAAC,2BAA2B,CAAC,IAAI,EAAE,2BAA2B,CAAC;IAC/D,CAAC,sBAAsB,CAAC,IAAI,EAAE,sBAAsB,CAAC;IACrD,CAAC,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,CAAC;IAC/C,CAAC,0BAA0B,CAAC,IAAI,EAAE,0BAA0B,CAAC;IAC7D,CAAC,oBAAoB,CAAC,IAAI,EAAE,oBAAoB,CAAC;IACjD,CAAC,iBAAiB,CAAC,IAAI,EAAE,iBAAiB,CAAC;CAC5C,CAAC,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,eAAe,GAC1B,IAAI,GAAG,CAA8B;IACnC,CAAC,+BAA+B,CAAC,IAAI,EAAE,+BAA+B,CAAC;IACvE,CAAC,gBAAgB,CAAC,IAAI,EAAE,gBAAgB,CAAC;IACzC,CAAC,mBAAmB,CAAC,IAAI,EAAE,mBAAmB,CAAC;CAChD,CAAC,CAAC"}

package/dist/rules/intent-propagation.d.ts

@@ -0,0 +1,3 @@
+import type { ProjectAwareWardenRule } from './types.js';
+export declare const intentPropagation: ProjectAwareWardenRule;
+//# sourceMappingURL=intent-propagation.d.ts.map

package/dist/rules/intent-propagation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"intent-propagation.d.ts","sourceRoot":"","sources":["../../src/rules/intent-propagation.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EACV,sBAAsB,EAGvB,MAAM,YAAY,CAAC;AA6FpB,eAAO,MAAM,iBAAiB,EAAE,sBA8B/B,CAAC"}