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

package/dist/rules/valid-describe-refs.js

@@ -1,29 +1,145 @@
+import { extractStringOrTemplateLiteral, offsetToLine, parse, walk, } from './ast.js';
 import { isTestFile } from './scan.js';
-import { collectTrailIds, parseStringLiteral } from './specs.js';
-import { captureBalanced, lineNumberAt } from './structure.js';
-const DESCRIBE_PATTERN = /\.describe\s*\(/g;
+import { collectTrailIds } from './specs.js';
 const SEE_PATTERN = /@see\s+([A-Za-z0-9_.-]+)/g;
-const describeTextAt = (sourceCode, matchIndex) => {
-    const openParen = sourceCode.indexOf('(', matchIndex);
-    if (openParen === -1) {
+const STRING_LITERAL_ARG_TYPES = new Set([
+    'Literal',
+    'StringLiteral',
+    'TemplateLiteral',
+]);
+const MEMBER_CALLEE_TYPES = new Set([
+    'MemberExpression',
+    'StaticMemberExpression',
+]);
+const isDescribeMemberCallee = (callee) => {
+    if (!callee || !MEMBER_CALLEE_TYPES.has(callee.type)) {
+        return false;
+    }
+    const prop = callee.property;
+    return (prop?.type === 'Identifier' &&
+        prop.name === 'describe');
+};
+const hasStringLiteralFirstArg = (node) => {
+    const args = node['arguments'];
+    const firstArg = args?.[0];
+    return !!firstArg && STRING_LITERAL_ARG_TYPES.has(firstArg.type);
+};
+const isDescribeCall = (node) => {
+    if (node.type !== 'CallExpression') {
+        return false;
+    }
+    if (!isDescribeMemberCallee(node['callee'])) {
+        return false;
+    }
+    // Narrow to calls whose first argument is a string/template literal.
+    // Filters out RxJS-style `.describe(fn)` and other custom APIs whose
+    // `.describe()` overloads take non-string arguments. Zod's shape always
+    // passes a string literal here.
+    return hasStringLiteralFirstArg(node);
+};
+/**
+ * Extract scannable text from a template literal, even when it contains
+ * `${...}` expressions. Concatenates the cooked quasi chunks with a NUL
+ * sentinel between them — interpolated values are runtime-only and cannot
+ * contribute static `@see` tokens, but the surrounding quasi text can. The
+ * sentinel prevents phantom tokens that would otherwise appear when a quasi
+ * boundary splits the `@see` marker itself (e.g. `\`@s${x}ee missing\``
+ * would naively join to `"@seemissing"` and match `@see`).
+ *
+ * This is intentionally describe-local: the shared
+ * {@link extractStringOrTemplateLiteral} helper preserves "plain template
+ * literal only" semantics for other rules (e.g. resolving trail/signal IDs)
+ * that require a single clean string value. Here we only need to scan for
+ * `@see` tokens, so concatenating quasi cooked text is sound.
+ *
+ * @remarks
+ * A quasi's `cooked` value can be `null` in tagged-template positions where
+ * the literal contains escape sequences the parser can't decode. `.describe`
+ * is a plain method call, not a tagged template, so in practice its quasis
+ * always have a `cooked` string today. The `raw` fallback is defensive: if a
+ * future refactor wraps `describe(\`...\`)` in a tagged template, we still
+ * scan the raw source rather than silently dropping the quasi text and
+ * missing an `@see` token.
+ */
+const extractQuasiText = (quasi) => {
+    const { value } = quasi;
+    if (typeof value?.cooked === 'string') {
+        return value.cooked;
+    }
+    if (typeof value?.raw === 'string') {
+        return value.raw;
+    }
+    return null;
+};
+const extractTemplateLiteralQuasiText = (node) => {
+    if (node.type !== 'TemplateLiteral') {
         return null;
     }
-    return captureBalanced(sourceCode, openParen)?.text.slice(1, -1) ?? null;
+    const quasis = node['quasis'] ?? [];
+    const parts = [];
+    for (const quasi of quasis) {
+        const text = extractQuasiText(quasi);
+        if (text !== null) {
+            parts.push(text);
+        }
+    }
+    // Use a NUL sentinel (not a letter / ref character) so interpolation
+    // boundaries cannot silently fuse neighbouring quasis into a phantom
+    // `@see <ident>` match. `\u0000` cannot appear inside a valid trail ID,
+    // so it safely terminates any partial token on either side.
+    return parts.join('\u0000');
+};
+const extractDescribeDescription = (node) => {
+    const args = node['arguments'];
+    const [firstArg] = args ?? [];
+    if (!firstArg) {
+        return null;
+    }
+    return (extractStringOrTemplateLiteral(firstArg) ??
+        extractTemplateLiteralQuasiText(firstArg));
 };
-const refsInDescription = (description, line) => [...description.matchAll(SEE_PATTERN)].flatMap((see) => see[1] ? [{ line, ref: see[1] }] : []);
-const refsForDescribe = (sourceCode, matchIndex) => {
-    const args = describeTextAt(sourceCode, matchIndex);
-    const description = args ? parseStringLiteral(args) : null;
-    return description === null
-        ? []
-        : refsInDescription(description, lineNumberAt(sourceCode, matchIndex));
+/**
+ * Anchor the diagnostic on the string argument that actually contains the
+ * `@see` token, not on the call-expression start. For multi-line schema
+ * chains, the call-expression start can be many lines above the describe
+ * argument, which confuses editor tooling.
+ */
+const describeAnchorOffset = (node) => {
+    const args = node['arguments'];
+    return args?.[0]?.start ?? node.start;
+};
+const collectRefsFromDescription = (description, line, out) => {
+    for (const match of description.matchAll(SEE_PATTERN)) {
+        const [, ref] = match;
+        if (ref) {
+            out.push({ line, ref });
+        }
+    }
+};
+const collectDescribeRefs = (ast, sourceCode) => {
+    const refs = [];
+    walk(ast, (node) => {
+        if (!isDescribeCall(node)) {
+            return;
+        }
+        const description = extractDescribeDescription(node);
+        if (description === null) {
+            return;
+        }
+        const line = offsetToLine(sourceCode, describeAnchorOffset(node));
+        collectRefsFromDescription(description, line, refs);
+    });
+    return refs;
 };
-const collectDescribeRefs = (sourceCode) => [...sourceCode.matchAll(DESCRIBE_PATTERN)].flatMap((match) => match.index === undefined ? [] : refsForDescribe(sourceCode, match.index));
 const checkDescribeRefs = (sourceCode, filePath, knownTrailIds) => {
     if (isTestFile(filePath)) {
         return [];
     }
-    return collectDescribeRefs(sourceCode)
+    const ast = parse(filePath, sourceCode);
+    if (!ast) {
+        return [];
+    }
+    return collectDescribeRefs(ast, sourceCode)
         .filter(({ ref }) => !knownTrailIds.has(ref))
         .map(({ line, ref }) => ({
         filePath,

package/dist/rules/valid-describe-refs.js.map

@@ -1 +1 @@
-{"version":3,"file":"valid-describe-refs.js","sourceRoot":"","sources":["../../src/rules/valid-describe-refs.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAE/D,MAAM,gBAAgB,GAAG,kBAAkB,CAAC;AAE5C,MAAM,WAAW,GAAG,2BAA2B,CAAC;AAOhD,MAAM,cAAc,GAAG,CACrB,UAAkB,EAClB,UAAkB,EACH,EAAE;IACjB,MAAM,SAAS,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;IACtD,IAAI,SAAS,KAAK,CAAC,CAAC,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,eAAe,CAAC,UAAU,EAAE,SAAS,CAAC,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,WAAmB,EACnB,IAAY,EACY,EAAE,CAC1B,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,EAAE,CACrD,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CACtC,CAAC;AAEJ,MAAM,eAAe,GAAG,CACtB,UAAkB,EAClB,UAAkB,EACM,EAAE;IAC1B,MAAM,IAAI,GAAG,cAAc,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;IACpD,MAAM,WAAW,GAAG,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IAC3D,OAAO,WAAW,KAAK,IAAI;QACzB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,iBAAiB,CAAC,WAAW,EAAE,YAAY,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,UAAkB,EAA0B,EAAE,CACzE,CAAC,GAAG,UAAU,CAAC,QAAQ,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3D,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,CAC1E,CAAC;AAEJ,MAAM,iBAAiB,GAAG,CACxB,UAAkB,EAClB,QAAgB,EAChB,aAAkC,EACL,EAAE;IAC/B,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACzB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,OAAO,mBAAmB,CAAC,UAAU,CAAC;SACnC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SAC5C,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;QACvB,QAAQ;QACR,IAAI;QACJ,OAAO,EAAE,mBAAmB,GAAG,wCAAwC;QACvE,IAAI,EAAE,qBAAqB;QAC3B,QAAQ,EAAE,MAAe;KAC1B,CAAC,CAAC,CAAC;AACR,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA2B;IACvD,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,OAAO,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9E,CAAC;IACD,gBAAgB,CACd,UAAkB,EAClB,QAAgB,EAChB,OAAuB;QAEvB,OAAO,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACxE,CAAC;IACD,WAAW,EACT,8EAA8E;IAChF,IAAI,EAAE,qBAAqB;IAC3B,QAAQ,EAAE,MAAM;CACjB,CAAC"}
+{"version":3,"file":"valid-describe-refs.js","sourceRoot":"","sources":["../../src/rules/valid-describe-refs.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,8BAA8B,EAC9B,YAAY,EACZ,KAAK,EACL,IAAI,GACL,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAO7C,MAAM,WAAW,GAAG,2BAA2B,CAAC;AAOhD,MAAM,wBAAwB,GAAwB,IAAI,GAAG,CAAC;IAC5D,SAAS;IACT,eAAe;IACf,iBAAiB;CAClB,CAAC,CAAC;AAEH,MAAM,mBAAmB,GAAwB,IAAI,GAAG,CAAC;IACvD,kBAAkB;IAClB,wBAAwB;CACzB,CAAC,CAAC;AAEH,MAAM,sBAAsB,GAAG,CAAC,MAA2B,EAAW,EAAE;IACtE,IAAI,CAAC,MAAM,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,MAAM,IAAI,GAAI,MAA4C,CAAC,QAAQ,CAAC;IACpE,OAAO,CACL,IAAI,EAAE,IAAI,KAAK,YAAY;QAC1B,IAAqC,CAAC,IAAI,KAAK,UAAU,CAC3D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAAC,IAAa,EAAW,EAAE;IAC1D,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAmC,CAAC;IACjE,MAAM,QAAQ,GAAG,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IAC3B,OAAO,CAAC,CAAC,QAAQ,IAAI,wBAAwB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AACnE,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,IAAa,EAAW,EAAE;IAChD,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,QAAQ,CAAwB,CAAC,EAAE,CAAC;QACnE,OAAO,KAAK,CAAC;IACf,CAAC;IACD,qEAAqE;IACrE,qEAAqE;IACrE,wEAAwE;IACxE,gCAAgC;IAChC,OAAO,wBAAwB,CAAC,IAAI,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAAiB,EAAE;IACzD,MAAM,EAAE,KAAK,EAAE,GAAG,KAEjB,CAAC;IACF,IAAI,OAAO,KAAK,EAAE,MAAM,KAAK,QAAQ,EAAE,CAAC;QACtC,OAAO,KAAK,CAAC,MAAM,CAAC;IACtB,CAAC;IACD,IAAI,OAAO,KAAK,EAAE,GAAG,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO,KAAK,CAAC,GAAG,CAAC;IACnB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,+BAA+B,GAAG,CAAC,IAAa,EAAiB,EAAE;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QACpC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,MAAM,GAAI,IAAI,CAAC,QAAQ,CAAoC,IAAI,EAAE,CAAC;IACxE,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,qEAAqE;IACrE,qEAAqE;IACrE,wEAAwE;IACxE,4DAA4D;IAC5D,OAAO,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CAAC,IAAa,EAAiB,EAAE;IAClE,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAmC,CAAC;IACjE,MAAM,CAAC,QAAQ,CAAC,GAAG,IAAI,IAAI,EAAE,CAAC;IAC9B,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,CACL,8BAA8B,CAAC,QAAQ,CAAC;QACxC,+BAA+B,CAAC,QAAQ,CAAC,CAC1C,CAAC;AACJ,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,oBAAoB,GAAG,CAAC,IAAa,EAAU,EAAE;IACrD,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAmC,CAAC;IACjE,OAAO,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC;AACxC,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,WAAmB,EACnB,IAAY,EACZ,GAAkB,EACZ,EAAE;IACR,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QACtD,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,KAAK,CAAC;QACtB,IAAI,GAAG,EAAE,CAAC;YACR,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAC1B,GAAY,EACZ,UAAkB,EACM,EAAE;IAC1B,MAAM,IAAI,GAAkB,EAAE,CAAC;IAE/B,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,EAAE,EAAE;QACjB,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,MAAM,WAAW,GAAG,0BAA0B,CAAC,IAAI,CAAC,CAAC;QACrD,IAAI,WAAW,KAAK,IAAI,EAAE,CAAC;YACzB,OAAO;QACT,CAAC;QACD,MAAM,IAAI,GAAG,YAAY,CAAC,UAAU,EAAE,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;QAClE,0BAA0B,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CACxB,UAAkB,EAClB,QAAgB,EAChB,aAAkC,EACL,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,OAAO,mBAAmB,CAAC,GAAG,EAAE,UAAU,CAAC;SACxC,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;SAC5C,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;QACvB,QAAQ;QACR,IAAI;QACJ,OAAO,EAAE,mBAAmB,GAAG,wCAAwC;QACvE,IAAI,EAAE,qBAAqB;QAC3B,QAAQ,EAAE,MAAe;KAC1B,CAAC,CAAC,CAAC;AACR,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAA2B;IACvD,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,OAAO,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;IAC9E,CAAC;IACD,gBAAgB,CACd,UAAkB,EAClB,QAAgB,EAChB,OAAuB;QAEvB,OAAO,iBAAiB,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACxE,CAAC;IACD,WAAW,EACT,8EAA8E;IAChF,IAAI,EAAE,qBAAqB;IAC3B,QAAQ,EAAE,MAAM;CACjB,CAAC"}

package/dist/rules/valid-detour-contract.d.ts

@@ -0,0 +1,3 @@
+import type { TopoAwareWardenRule } from './types.js';
+export declare const validDetourContract: TopoAwareWardenRule;
+//# sourceMappingURL=valid-detour-contract.d.ts.map

package/dist/rules/valid-detour-contract.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"valid-detour-contract.d.ts","sourceRoot":"","sources":["../../src/rules/valid-detour-contract.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,mBAAmB,EAAoB,MAAM,YAAY,CAAC;AAmExE,eAAO,MAAM,mBAAmB,EAAE,mBAQjC,CAAC"}

package/dist/rules/valid-detour-contract.js

@@ -0,0 +1,47 @@
+const isErrorConstructor = (value) => {
+    if (typeof value !== 'function') {
+        return false;
+    }
+    const { prototype } = value;
+    return prototype instanceof Error;
+};
+const describeOnValue = (value) => {
+    if (typeof value === 'function') {
+        const { name } = value;
+        return typeof name === 'string' && name.length > 0
+            ? name
+            : '<anonymous constructor>';
+    }
+    return String(value);
+};
+const buildDiagnostic = (message, rule) => ({
+    filePath: '<topo>',
+    line: 1,
+    message,
+    rule,
+    severity: 'error',
+});
+const collectTrailDiagnostics = (topo) => {
+    const diagnostics = [];
+    for (const trail of topo.trails.values()) {
+        for (const [index, detour] of trail.detours.entries()) {
+            const candidate = detour;
+            if (!isErrorConstructor(candidate.on)) {
+                diagnostics.push(buildDiagnostic(`Trail "${trail.id}" detour[${index}] must declare an error constructor in on:. Received ${describeOnValue(candidate.on)}.`, 'valid-detour-contract'));
+            }
+            if (typeof candidate.recover !== 'function') {
+                diagnostics.push(buildDiagnostic(`Trail "${trail.id}" detour[${index}] must declare a callable recover function.`, 'valid-detour-contract'));
+            }
+        }
+    }
+    return diagnostics;
+};
+export const validDetourContract = {
+    checkTopo(topo) {
+        return collectTrailDiagnostics(topo);
+    },
+    description: 'Ensure detours use real error constructors and callable recover functions.',
+    name: 'valid-detour-contract',
+    severity: 'error',
+};
+//# sourceMappingURL=valid-detour-contract.js.map

package/dist/rules/valid-detour-contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"valid-detour-contract.js","sourceRoot":"","sources":["../../src/rules/valid-detour-contract.ts"],"names":[],"mappings":"AASA,MAAM,kBAAkB,GAAG,CACzB,KAAc,EACqC,EAAE;IACrD,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,EAAE,SAAS,EAAE,GAAG,KAAgC,CAAC;IACvD,OAAO,SAAS,YAAY,KAAK,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,KAAc,EAAU,EAAE;IACjD,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,EAAE,IAAI,EAAE,GAAG,KAA2B,CAAC;QAC7C,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;YAChD,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,yBAAyB,CAAC;IAChC,CAAC;IAED,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,OAAe,EAAE,IAAY,EAAoB,EAAE,CAAC,CAAC;IAC5E,QAAQ,EAAE,QAAQ;IAClB,IAAI,EAAE,CAAC;IACP,OAAO;IACP,IAAI;IACJ,QAAQ,EAAE,OAAO;CAClB,CAAC,CAAC;AAEH,MAAM,uBAAuB,GAAG,CAAC,IAAU,EAA+B,EAAE;IAC1E,MAAM,WAAW,GAAuB,EAAE,CAAC;IAE3C,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC;QACzC,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;YACtD,MAAM,SAAS,GAAG,MAAoB,CAAC;YAEvC,IAAI,CAAC,kBAAkB,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;gBACtC,WAAW,CAAC,IAAI,CACd,eAAe,CACb,UAAU,KAAK,CAAC,EAAE,YAAY,KAAK,wDAAwD,eAAe,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,EAC3H,uBAAuB,CACxB,CACF,CAAC;YACJ,CAAC;YAED,IAAI,OAAO,SAAS,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;gBAC5C,WAAW,CAAC,IAAI,CACd,eAAe,CACb,UAAU,KAAK,CAAC,EAAE,YAAY,KAAK,6CAA6C,EAChF,uBAAuB,CACxB,CACF,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAwB;IACtD,SAAS,CAAC,IAAU;QAClB,OAAO,uBAAuB,CAAC,IAAI,CAAC,CAAC;IACvC,CAAC;IACD,WAAW,EACT,4EAA4E;IAC9E,IAAI,EAAE,uBAAuB;IAC7B,QAAQ,EAAE,OAAO;CAClB,CAAC"}

package/dist/rules/valid-detour-refs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"valid-detour-refs.d.ts","sourceRoot":"","sources":["../../src/rules/valid-detour-refs.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,sBAAsB,EAGvB,MAAM,YAAY,CAAC;AAoKpB;;GAEG;AACH,eAAO,MAAM,eAAe,EAAE,sBAc7B,CAAC"}
+{"version":3,"file":"valid-detour-refs.d.ts","sourceRoot":"","sources":["../../src/rules/valid-detour-refs.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EACV,sBAAsB,EAGvB,MAAM,YAAY,CAAC;AA8HpB;;GAEG;AACH,eAAO,MAAM,eAAe,EAAE,sBAc7B,CAAC"}

package/dist/rules/valid-detour-refs.js

@@ -1,103 +1,94 @@
+import { isDraftId } from '@ontrails/core';
+import { extractStringOrTemplateLiteral, findConfigProperty, findTrailDefinitions, offsetToLine, parse, } from './ast.js';
 import { collectTrailIds } from './specs.js';
-const trackBraces = (line, state) => {
-    for (const ch of line) {
-        if (ch === '{') {
-            state.depth += 1;
-            state.found = true;
-        }
-        if (ch === '}') {
-            state.depth -= 1;
-        }
+/**
+ * Node types that wrap an expression without changing its runtime value.
+ * These can legally surround a `detours: [...]` array or a `target: "..."`
+ * literal and must be peeled before we inspect the shape.
+ */
+const TRANSPARENT_WRAPPER_TYPES = new Set([
+    'ParenthesizedExpression',
+    'TSAsExpression',
+    'TSSatisfiesExpression',
+    'TSNonNullExpression',
+    'TSTypeAssertion',
+]);
+const unwrapExpression = (node) => {
+    let current = node;
+    while (current && TRANSPARENT_WRAPPER_TYPES.has(current.type)) {
+        current = current['expression'];
     }
+    return current;
 };
-const collectArrayText = (lines, start) => {
-    let text = '';
-    for (let k = start; k < lines.length && k < start + 20; k += 1) {
-        const line = lines[k];
-        if (!line) {
-            continue;
-        }
-        text += `${line}\n`;
-        if (text.includes(']')) {
-            break;
-        }
+const getDetourElements = (config) => {
+    const detoursProp = findConfigProperty(config, 'detours');
+    if (!detoursProp) {
+        return [];
     }
-    return text;
-};
-const findMissingDetourTargets = (text, knownIds) => {
-    const missing = [];
-    for (const m of text.matchAll(/target\s*:\s*["'`]([^"'`]+)["'`]/g)) {
-        const [, id] = m;
-        if (id && !knownIds.has(id)) {
-            missing.push(id);
-        }
+    const detoursValue = unwrapExpression(detoursProp.value);
+    if (!detoursValue || detoursValue.type !== 'ArrayExpression') {
+        return [];
     }
-    return missing;
+    const elements = detoursValue['elements'];
+    return elements ?? [];
 };
-const findMissingPlainDetours = (text, knownIds) => {
-    const missing = [];
-    const cleaned = text.replaceAll(/target\s*:\s*["'`][^"'`]+["'`]/g, '');
-    for (const m of cleaned.matchAll(/["'`]([^"'`]+)["'`]/g)) {
-        const [, id] = m;
-        if (id && id.includes('.') && !knownIds.has(id)) {
-            missing.push(id);
-        }
+const extractDetourTargetId = (node) => extractStringOrTemplateLiteral(node);
+const extractObjectTargetRef = (element) => {
+    if (element.type !== 'ObjectExpression') {
+        return null;
     }
-    return missing;
+    const targetProp = findConfigProperty(element, 'target');
+    const rawTargetNode = targetProp?.value;
+    const targetNode = unwrapExpression(rawTargetNode);
+    const targetId = extractDetourTargetId(targetNode);
+    return targetId !== null && targetNode
+        ? { id: targetId, start: targetNode.start }
+        : null;
 };
-const findAllMissingDetours = (text, knownIds) => [
-    ...findMissingDetourTargets(text, knownIds),
-    ...findMissingPlainDetours(text, knownIds),
-];
-const addMissingDetourDiagnostics = (specLine, j, lines, trailId, lineNum, filePath, knownIds, diagnostics) => {
-    if (!/\bdetours\s*:/.test(specLine)) {
-        return;
+const extractDetourElementRef = (element) => {
+    if (!element) {
+        return null;
     }
-    for (const targetId of findAllMissingDetours(collectArrayText(lines, j), knownIds)) {
-        diagnostics.push({
-            filePath,
-            line: lineNum,
-            message: `Trail "${trailId}" has detour targeting "${targetId}" which is not defined.`,
-            rule: 'valid-detour-refs',
-            severity: 'error',
-        });
+    const unwrapped = unwrapExpression(element) ?? element;
+    // String-literal or backtick-literal detour:
+    //   detours: ["entity.fallback"] or detours: [`entity.fallback`]
+    const literalId = extractDetourTargetId(unwrapped);
+    if (literalId !== null) {
+        return { id: literalId, start: unwrapped.start };
     }
+    return extractObjectTargetRef(unwrapped);
 };
-const scanTrailDetours = (lines, startIndex, trailId, filePath, knownIds, diagnostics) => {
-    const braceState = { depth: 0, found: false };
-    for (let j = startIndex; j < lines.length && j < startIndex + 200; j += 1) {
-        const specLine = lines[j];
-        if (!specLine) {
+const extractDetourTargets = (config) => getDetourElements(config).flatMap((element) => {
+    const ref = extractDetourElementRef(element);
+    return ref ? [ref] : [];
+});
+const buildDiagnostics = (ast, sourceCode, filePath, knownIds) => {
+    const diagnostics = [];
+    for (const definition of findTrailDefinitions(ast)) {
+        if (definition.kind !== 'trail') {
             continue;
         }
-        trackBraces(specLine, braceState);
-        addMissingDetourDiagnostics(specLine, j, lines, trailId, startIndex + 1, filePath, knownIds, diagnostics);
-        if (braceState.found && braceState.depth <= 0) {
-            break;
+        for (const ref of extractDetourTargets(definition.config)) {
+            if (knownIds.has(ref.id) || isDraftId(ref.id)) {
+                continue;
+            }
+            diagnostics.push({
+                filePath,
+                line: offsetToLine(sourceCode, ref.start),
+                message: `Trail "${definition.id}" has detour targeting "${ref.id}" which is not defined.`,
+                rule: 'valid-detour-refs',
+                severity: 'error',
+            });
         }
     }
-};
-const processLine = (line, i, lines, filePath, knownIds, diagnostics) => {
-    const trailMatch = line.match(/\btrail\s*\(\s*["'`]([^"'`]+)["'`]/);
-    if (!trailMatch) {
-        return;
-    }
-    const [, trailId] = trailMatch;
-    if (!trailId) {
-        return;
-    }
-    scanTrailDetours(lines, i, trailId, filePath, knownIds, diagnostics);
+    return diagnostics;
 };
 const checkDetourRefs = (sourceCode, filePath, knownIds) => {
-    const diagnostics = [];
-    const lines = sourceCode.split('\n');
-    for (let i = 0; i < lines.length; i += 1) {
-        const line = lines[i];
-        if (line) {
-            processLine(line, i, lines, filePath, knownIds, diagnostics);
-        }
+    const ast = parse(filePath, sourceCode);
+    if (!ast) {
+        return [];
     }
-    return diagnostics;
+    return buildDiagnostics(ast, sourceCode, filePath, knownIds);
 };
 /**
  * Checks that all trail IDs referenced in `detours` declarations exist.

package/dist/rules/valid-detour-refs.js.map

@@ -1 +1 @@
-{"version":3,"file":"valid-detour-refs.js","sourceRoot":"","sources":["../../src/rules/valid-detour-refs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAY7C,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAiB,EAAQ,EAAE;IAC5D,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACtB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;YACjB,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;QACrB,CAAC;QACD,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;YACf,KAAK,CAAC,KAAK,IAAI,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,KAAwB,EAAE,KAAa,EAAU,EAAE;IAC3E,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,KAAK,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,CAAC,IAAI,EAAE,CAAC;YACV,SAAS;QACX,CAAC;QACD,IAAI,IAAI,GAAG,IAAI,IAAI,CAAC;QACpB,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YACvB,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,CAC/B,IAAY,EACZ,QAA6B,EACnB,EAAE;IACZ,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,mCAAmC,CAAC,EAAE,CAAC;QACnE,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5B,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAC9B,IAAY,EACZ,QAA6B,EACnB,EAAE;IACZ,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,UAAU,CAAC,iCAAiC,EAAE,EAAE,CAAC,CAAC;IACvE,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,sBAAsB,CAAC,EAAE,CAAC;QACzD,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;QACjB,IAAI,EAAE,IAAI,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;YAChD,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAY,EACZ,QAA6B,EACnB,EAAE,CAAC;IACb,GAAG,wBAAwB,CAAC,IAAI,EAAE,QAAQ,CAAC;IAC3C,GAAG,uBAAuB,CAAC,IAAI,EAAE,QAAQ,CAAC;CAC3C,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,QAAgB,EAChB,CAAS,EACT,KAAwB,EACxB,OAAe,EACf,OAAe,EACf,QAAgB,EAChB,QAA6B,EAC7B,WAA+B,EACzB,EAAE;IACR,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACpC,OAAO;IACT,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,qBAAqB,CAC1C,gBAAgB,CAAC,KAAK,EAAE,CAAC,CAAC,EAC1B,QAAQ,CACT,EAAE,CAAC;QACF,WAAW,CAAC,IAAI,CAAC;YACf,QAAQ;YACR,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,UAAU,OAAO,2BAA2B,QAAQ,yBAAyB;YACtF,IAAI,EAAE,mBAAmB;YACzB,QAAQ,EAAE,OAAO;SAClB,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,KAAwB,EACxB,UAAkB,EAClB,OAAe,EACf,QAAgB,EAChB,QAA6B,EAC7B,WAA+B,EACzB,EAAE;IACR,MAAM,UAAU,GAAe,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC1D,KAAK,IAAI,CAAC,GAAG,UAAU,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,UAAU,GAAG,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1E,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1B,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,SAAS;QACX,CAAC;QACD,WAAW,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;QAClC,2BAA2B,CACzB,QAAQ,EACR,CAAC,EACD,KAAK,EACL,OAAO,EACP,UAAU,GAAG,CAAC,EACd,QAAQ,EACR,QAAQ,EACR,WAAW,CACZ,CAAC;QACF,IAAI,UAAU,CAAC,KAAK,IAAI,UAAU,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC;YAC9C,MAAM;QACR,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,IAAY,EACZ,CAAS,EACT,KAAwB,EACxB,QAAgB,EAChB,QAA6B,EAC7B,WAA+B,EACzB,EAAE;IACR,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;IACpE,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO;IACT,CAAC;IACD,MAAM,CAAC,EAAE,OAAO,CAAC,GAAG,UAAU,CAAC;IAC/B,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO;IACT,CAAC;IACD,gBAAgB,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,UAAkB,EAClB,QAAgB,EAChB,QAA6B,EACA,EAAE;IAC/B,MAAM,WAAW,GAAuB,EAAE,CAAC;IAC3C,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACrC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,IAAI,EAAE,CAAC;YACT,WAAW,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;QAC/D,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAA2B;IACrD,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,OAAO,eAAe,CAAC,UAAU,EAAE,QAAQ,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,gBAAgB,CACd,UAAkB,EAClB,QAAgB,EAChB,OAAuB;QAEvB,OAAO,eAAe,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACtE,CAAC;IACD,WAAW,EAAE,8DAA8D;IAC3E,IAAI,EAAE,mBAAmB;IACzB,QAAQ,EAAE,OAAO;CAClB,CAAC"}
+{"version":3,"file":"valid-detour-refs.js","sourceRoot":"","sources":["../../src/rules/valid-detour-refs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE3C,OAAO,EACL,8BAA8B,EAC9B,kBAAkB,EAClB,oBAAoB,EACpB,YAAY,EACZ,KAAK,GACN,MAAM,UAAU,CAAC;AAElB,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAO7C;;;;GAIG;AACH,MAAM,yBAAyB,GAAG,IAAI,GAAG,CAAC;IACxC,yBAAyB;IACzB,gBAAgB;IAChB,uBAAuB;IACvB,qBAAqB;IACrB,iBAAiB;CAClB,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAG,CAAC,IAAyB,EAAuB,EAAE;IAC1E,IAAI,OAAO,GAAG,IAAI,CAAC;IACnB,OAAO,OAAO,IAAI,yBAAyB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9D,OAAO,GAAI,OAAmB,CAAC,YAAY,CAAwB,CAAC;IACtE,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,MAAe,EAA+B,EAAE;IACzE,MAAM,WAAW,GAAG,kBAAkB,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAC1D,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,YAAY,GAAG,gBAAgB,CACnC,WAAW,CAAC,KAA4B,CACzC,CAAC;IACF,IAAI,CAAC,YAAY,IAAI,YAAY,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;QAC7D,OAAO,EAAE,CAAC;IACZ,CAAC;IAED,MAAM,QAAQ,GAAI,YAAwB,CAAC,UAAU,CAExC,CAAC;IACd,OAAO,QAAQ,IAAI,EAAE,CAAC;AACxB,CAAC,CAAC;AAOF,MAAM,qBAAqB,GAAG,CAAC,IAAyB,EAAiB,EAAE,CACzE,8BAA8B,CAAC,IAAI,CAAC,CAAC;AAEvC,MAAM,sBAAsB,GAAG,CAAC,OAAgB,EAAoB,EAAE;IACpE,IAAI,OAAO,CAAC,IAAI,KAAK,kBAAkB,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,UAAU,GAAG,kBAAkB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACzD,MAAM,aAAa,GAAG,UAAU,EAAE,KAA4B,CAAC;IAC/D,MAAM,UAAU,GAAG,gBAAgB,CAAC,aAAa,CAAC,CAAC;IACnD,MAAM,QAAQ,GAAG,qBAAqB,CAAC,UAAU,CAAC,CAAC;IACnD,OAAO,QAAQ,KAAK,IAAI,IAAI,UAAU;QACpC,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE;QAC3C,CAAC,CAAC,IAAI,CAAC;AACX,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,OAAuB,EAAoB,EAAE;IAC5E,IAAI,CAAC,OAAO,EAAE,CAAC;QACb,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC;IACvD,6CAA6C;IAC7C,iEAAiE;IACjE,MAAM,SAAS,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;IACnD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,CAAC;IACnD,CAAC;IACD,OAAO,sBAAsB,CAAC,SAAS,CAAC,CAAC;AAC3C,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAAC,MAAe,EAAwB,EAAE,CACrE,iBAAiB,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;IAC5C,MAAM,GAAG,GAAG,uBAAuB,CAAC,OAAO,CAAC,CAAC;IAC7C,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC1B,CAAC,CAAC,CAAC;AAEL,MAAM,gBAAgB,GAAG,CACvB,GAAY,EACZ,UAAkB,EAClB,QAAgB,EAChB,QAA6B,EACA,EAAE;IAC/B,MAAM,WAAW,GAAuB,EAAE,CAAC;IAE3C,KAAK,MAAM,UAAU,IAAI,oBAAoB,CAAC,GAAG,CAAC,EAAE,CAAC;QACnD,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAChC,SAAS;QACX,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,oBAAoB,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC1D,IAAI,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC9C,SAAS;YACX,CAAC;YAED,WAAW,CAAC,IAAI,CAAC;gBACf,QAAQ;gBACR,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,GAAG,CAAC,KAAK,CAAC;gBACzC,OAAO,EAAE,UAAU,UAAU,CAAC,EAAE,2BAA2B,GAAG,CAAC,EAAE,yBAAyB;gBAC1F,IAAI,EAAE,mBAAmB;gBACzB,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,WAAW,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,UAAkB,EAClB,QAAgB,EAChB,QAA6B,EACA,EAAE;IAC/B,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IACxC,IAAI,CAAC,GAAG,EAAE,CAAC;QACT,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,gBAAgB,CAAC,GAAG,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAC/D,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAA2B;IACrD,KAAK,CAAC,UAAkB,EAAE,QAAgB;QACxC,OAAO,eAAe,CAAC,UAAU,EAAE,QAAQ,EAAE,eAAe,CAAC,UAAU,CAAC,CAAC,CAAC;IAC5E,CAAC;IACD,gBAAgB,CACd,UAAkB,EAClB,QAAgB,EAChB,OAAuB;QAEvB,OAAO,eAAe,CAAC,UAAU,EAAE,QAAQ,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IACtE,CAAC;IACD,WAAW,EAAE,8DAA8D;IAC3E,IAAI,EAAE,mBAAmB;IACzB,QAAQ,EAAE,OAAO;CAClB,CAAC"}

package/dist/rules/warden-export-symmetry.d.ts

@@ -0,0 +1,7 @@
+import type { WardenRule } from './types.js';
+/**
+ * Warden rule enforcing ADR-0036 registry ↔ trail export symmetry on the
+ * `@ontrails/warden` public barrel.
+ */
+export declare const wardenExportSymmetry: WardenRule;
+//# sourceMappingURL=warden-export-symmetry.d.ts.map

package/dist/rules/warden-export-symmetry.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"warden-export-symmetry.d.ts","sourceRoot":"","sources":["../../src/rules/warden-export-symmetry.ts"],"names":[],"mappings":"AAqBA,OAAO,KAAK,EAAoB,UAAU,EAAE,MAAM,YAAY,CAAC;AA4e/D;;;GAGG;AACH,eAAO,MAAM,oBAAoB,EAAE,UAelC,CAAC"}