@nifrajs/cli 4.0.2 → 5.1.0

package/dist/rules/comment-markers.js.map

@@ -1 +1 @@
-{"version":3,"file":"comment-markers.js","sourceRoot":"","sources":["../../src/rules/comment-markers.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,wFAAwF;AACxF,mDAAmD;AACnD,MAAM,YAAY,GAAG,kCAAkC,CAAA;AAEvD,MAAM,UAAU,qBAAqB,CACnC,KAAwB,EACxB,IAAY,EACZ,MAAc;IAEd,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAA;IACzD,KAAK,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;QAC3B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAA;QAC1C,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAA;IACxC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAwB,EACxB,IAAY,EACZ,MAAc;IAEd,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAsB,EAAE;QACpD,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QAC/B,IAAI,EAAE,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QAC5B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,CAAA;QAC3C,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;QAC/B,IAAI,KAAK,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QAC/B,2DAA2D;QAC3D,MAAM,MAAM,GAAG,IAAI;aAChB,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;aAChB,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;aACvB,IAAI,EAAE,CAAA;QACT,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IAC/C,CAAC,CAAA;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;IAC9C,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,MAAM,CAAA;IACvC,KAAK,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;QAC3B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,SAAS,CAAA;QAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAA;QAC7B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAA;IACzC,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC"}
+{"version":3,"file":"comment-markers.js","sourceRoot":"","sources":["../../src/rules/comment-markers.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,wFAAwF;AACxF,mDAAmD;AACnD,MAAM,YAAY,GAAG,kCAAkC,CAAA;AAEvD;kFACkF;AAClF,SAAS,eAAe,CAAC,IAAY;IACnC,IAAI,KAAyB,CAAA;IAC7B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;QACpB,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,IAAI,IAAI,KAAK,IAAI;gBAAE,CAAC,EAAE,CAAA;iBACjB,IAAI,IAAI,KAAK,KAAK;gBAAE,KAAK,GAAG,SAAS,CAAA;QAC5C,CAAC;aAAM,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG;YAAE,KAAK,GAAG,IAAI,CAAA;aAChE,IAAI,IAAI,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC7F,CAAC;IACD,OAAO,EAAE,CAAA;AACX,CAAC;AAED,MAAM,UAAU,qBAAqB,CACnC,KAAwB,EACxB,IAAY,EACZ,MAAc;IAEd,IAAI,eAAe,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAA;IACxE,KAAK,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;QAC3B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAA;QAC1C,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,IAAI,CAAA;IACxC,CAAC;IACD,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,KAAwB,EAAE,IAAY;IACjE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAAE,OAAO,IAAI,CAAA;IAC1D,KAAK,IAAI,CAAC,GAAG,IAAI,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;QAC3B,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAQ;QACrC,OAAO,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC;AAED,qGAAqG;AACrG,MAAM,CAAC,MAAM,0BAA0B,GACrC,4FAA4F,CAAA;AAE9F;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAwB,EACxB,IAAY,EACZ,KAAwB;IAExB,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC,CAAA;IAChF,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,sBAAsB,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAA;IACpF,IAAI,KAAK,GAAG,KAAK,CAAA;IACjB,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAsB,EAAE;QACpD,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChC,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,SAAS,CAAA;QACpC,KAAK,GAAG,IAAI,CAAA;QACZ,MAAM,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,SAAS,EAAE,CAAA;QACzC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QAC3C,2DAA2D;QAC3D,MAAM,MAAM,GAAG,IAAI;aAChB,KAAK,CAAC,CAAC,CAAC;aACR,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC;aACvB,IAAI,EAAE,CAAA;QACT,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IAC/C,CAAC,CAAA;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,eAAe,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAC/D,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAA;IACnD,KAAK,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QACnC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;QAC3B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,MAAK;QACnC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAA;QAC7B,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,MAAM,EAAE,CAAA;IAC7C,CAAC;IACD,OAAO,KAAK,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,SAAS,CAAA;AAClD,CAAC"}

package/dist/rules/contract-visibility.d.ts

@@ -0,0 +1,3 @@
+import type { CheckRule } from "./index.js";
+export declare const contractVisibilityRule: CheckRule;
+//# sourceMappingURL=contract-visibility.d.ts.map

package/dist/rules/contract-visibility.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-visibility.d.ts","sourceRoot":"","sources":["../../src/rules/contract-visibility.ts"],"names":[],"mappings":"AAeA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAyJ3C,eAAO,MAAM,sBAAsB,EAAE,SAsNpC,CAAA"}

package/dist/rules/contract-visibility.js

@@ -0,0 +1,337 @@
+/**
+ * NF-C039: contract operations the source implements but `backend/app.ts` does not serve. The contract
+ * lock, the typed client checks and `nifra routes` read the backend that file exports, so an
+ * `implement(contract, handlers)` app built anywhere else is invisible to every one of them.
+ *
+ * The served routes come from the backend the contract-lock check already loaded; this rule runs no
+ * project code of its own. Without a lock the backend is not loaded and the comparison is skipped.
+ */
+import { existsSync, readFileSync, realpathSync } from "node:fs";
+import { join, relative } from "node:path";
+import { BACKEND_APP_FILE } from "../app-files.js";
+import { diagnostic } from "../diagnostics.js";
+import { createSpecifierResolver } from "../internal/project-specifiers.js";
+import { scriptKindOf } from "../internal/script-kind.js";
+import { loadRuleTypeScript } from "./typescript.js";
+const CONTRACT_MODULE = "@nifrajs/core/contract";
+const CODE_FILE = /\.[cm]?[jt]sx?$/;
+// `export { implement } from "@nifrajs/core/contract"` or `export * from ...`: a project module that
+// passes the contract API through.
+const PASSES_THROUGH = (name) => new RegExp(`export\\s*(?:\\*|\\{[^}]*\\b${name}\\b[^}]*\\})\\s*from\\s*["']${CONTRACT_MODULE}["']`);
+const LISTED = 6;
+function unwrap(ts, node) {
+    let current = node;
+    while (ts.isAsExpression(current) ||
+        ts.isSatisfiesExpression(current) ||
+        ts.isParenthesizedExpression(current))
+        current = current.expression;
+    return current;
+}
+function bindings(ts, tree, file, root, resolve) {
+    const named = new Map();
+    const namespaces = new Set();
+    const imported = new Map();
+    for (const statement of tree.statements) {
+        if (!ts.isImportDeclaration(statement) || !ts.isStringLiteral(statement.moduleSpecifier))
+            continue;
+        const specifier = statement.moduleSpecifier.text;
+        const clause = statement.importClause;
+        if (clause === undefined || clause.isTypeOnly)
+            continue;
+        const bound = clause.namedBindings;
+        if (bound !== undefined && ts.isNamespaceImport(bound)) {
+            if (specifier === CONTRACT_MODULE)
+                namespaces.add(bound.name.text);
+            continue;
+        }
+        if (bound === undefined)
+            continue;
+        // A project module may pass the API through; one hop is followed.
+        let passesThrough;
+        if (specifier !== CONTRACT_MODULE) {
+            const target = resolve(join(root, file), specifier);
+            const text = target === undefined ? undefined : readText(target);
+            passesThrough =
+                text === undefined ? () => false : (name) => PASSES_THROUGH(name).test(text);
+        }
+        for (const element of bound.elements) {
+            if (element.isTypeOnly)
+                continue;
+            const name = (element.propertyName ?? element.name).text;
+            if (name === "implement" || name === "defineContract") {
+                if (passesThrough === undefined || passesThrough(name))
+                    named.set(element.name.text, name);
+            }
+            else if (passesThrough !== undefined)
+                imported.set(element.name.text, { specifier, name });
+        }
+    }
+    return { named, namespaces, imported };
+}
+function readText(path) {
+    try {
+        return readFileSync(path, "utf8");
+    }
+    catch {
+        return undefined;
+    }
+}
+/** Whether `callee` names the contract API's `api` function under these bindings. */
+function calls(ts, callee, bound, api) {
+    if (ts.isIdentifier(callee))
+        return bound.named.get(callee.text) === api;
+    return (ts.isPropertyAccessExpression(callee) &&
+        ts.isIdentifier(callee.expression) &&
+        bound.namespaces.has(callee.expression.text) &&
+        callee.name.text === api);
+}
+/** The operations an object literal of a contract declares, and what could not be read. */
+function operationsOf(ts, literal) {
+    const operations = [];
+    const unreadable = [];
+    for (const property of literal.properties) {
+        if (!ts.isPropertyAssignment(property)) {
+            unreadable.push("an operation spread or written as a method");
+            continue;
+        }
+        const name = property.name.getText().replace(/^["']|["']$/g, "");
+        const op = unwrap(ts, property.initializer);
+        if (!ts.isObjectLiteralExpression(op)) {
+            unreadable.push(`operation "${name}" is not an object literal`);
+            continue;
+        }
+        const field = (key) => {
+            for (const member of op.properties) {
+                if (!ts.isPropertyAssignment(member) || member.name.getText() !== key)
+                    continue;
+                const value = unwrap(ts, member.initializer);
+                return ts.isStringLiteralLike(value) ? value.text : undefined;
+            }
+            return undefined;
+        };
+        const method = field("method");
+        const path = field("path");
+        if (method === undefined || path === undefined)
+            unreadable.push(`operation "${name}" has a method or path that is not a string literal`);
+        else
+            operations.push({ name, method: method.toUpperCase(), path });
+    }
+    return { operations, unreadable };
+}
+export const contractVisibilityRule = {
+    code: "NF-C039",
+    title: "Implemented contract operation the backend does not serve",
+    async scan(ctx) {
+        // The backend compared against is this package's, so a file in a nested package is not read.
+        const ownPackage = new Map();
+        const inOwnPackage = (dir) => {
+            if (dir === "")
+                return true;
+            const cached = ownPackage.get(dir);
+            if (cached !== undefined)
+                return cached;
+            const own = !existsSync(join(ctx.root, dir, "package.json")) &&
+                inOwnPackage(dir.slice(0, Math.max(dir.lastIndexOf("/"), 0)));
+            ownPackage.set(dir, own);
+            return own;
+        };
+        const candidates = ctx.sources.files.filter((file) => {
+            if (!CODE_FILE.test(file) || file.endsWith(".d.ts"))
+                return false;
+            if (!inOwnPackage(file.slice(0, Math.max(file.lastIndexOf("/"), 0))))
+                return false;
+            const text = ctx.sources.read(file);
+            return text?.includes("implement") === true;
+        });
+        if (candidates.length === 0)
+            return [];
+        const loaded = await loadRuleTypeScript(ctx);
+        const ts = loaded.compiler;
+        if (ts === undefined)
+            return [];
+        const resolve = createSpecifierResolver();
+        // The resolver answers with real paths, so the root is read as one to name files project-relative.
+        const realRoot = (() => {
+            try {
+                return realpathSync(ctx.root);
+            }
+            catch {
+                return ctx.root;
+            }
+        })();
+        const parsedCache = new Map();
+        /** A project file, by its project-relative name, parsed with its contract bindings. */
+        const parse = (file, text) => {
+            if (parsedCache.has(file))
+                return parsedCache.get(file);
+            const tree = text === undefined
+                ? undefined
+                : ts.createSourceFile(file, text, ts.ScriptTarget.Latest, true, scriptKindOf(ts, file));
+            const parsed = tree === undefined
+                ? undefined
+                : { tree, bound: bindings(ts, tree, file, ctx.root, resolve) };
+            parsedCache.set(file, parsed);
+            return parsed;
+        };
+        /** The object literal `defineContract({...})` gives the const `name` in `file`, followed one hop
+         * into a project module it is imported from. */
+        const contractLiteral = (file, parsed, name, hops = 0) => {
+            for (const statement of parsed.tree.statements) {
+                if (!ts.isVariableStatement(statement))
+                    continue;
+                for (const declaration of statement.declarationList.declarations) {
+                    if (!ts.isIdentifier(declaration.name) || declaration.name.text !== name)
+                        continue;
+                    if (declaration.initializer === undefined)
+                        return undefined;
+                    const init = unwrap(ts, declaration.initializer);
+                    if (ts.isObjectLiteralExpression(init))
+                        return init;
+                    if (!ts.isCallExpression(init) ||
+                        !calls(ts, init.expression, parsed.bound, "defineContract"))
+                        return undefined;
+                    const arg = init.arguments[0];
+                    const literal = arg === undefined ? undefined : unwrap(ts, arg);
+                    return literal !== undefined && ts.isObjectLiteralExpression(literal)
+                        ? literal
+                        : undefined;
+                }
+            }
+            const from = parsed.bound.imported.get(name);
+            if (from === undefined || hops > 0)
+                return undefined;
+            const target = resolve(join(ctx.root, file), from.specifier);
+            if (target === undefined)
+                return undefined;
+            const rel = relative(realRoot, target).replaceAll("\\", "/");
+            const next = parse(rel, readText(target));
+            return next === undefined ? undefined : contractLiteral(rel, next, from.name, hops + 1);
+        };
+        const implementations = [];
+        for (const file of candidates) {
+            const parsed = parse(file, ctx.sources.read(file));
+            if (parsed === undefined ||
+                (parsed.bound.named.size === 0 && parsed.bound.namespaces.size === 0))
+                continue;
+            const visit = (node) => {
+                if (ts.isCallExpression(node) && calls(ts, node.expression, parsed.bound, "implement")) {
+                    const line = parsed.tree.getLineAndCharacterOfPosition(node.getStart()).line + 1;
+                    const arg = node.arguments[0] === undefined ? undefined : unwrap(ts, node.arguments[0]);
+                    let literal;
+                    let contract = arg?.getText() ?? "(none)";
+                    if (arg !== undefined && ts.isIdentifier(arg))
+                        literal = contractLiteral(file, parsed, arg.text);
+                    else if (arg !== undefined && ts.isObjectLiteralExpression(arg)) {
+                        literal = arg;
+                        contract = "an inline contract";
+                    }
+                    else if (arg !== undefined &&
+                        ts.isCallExpression(arg) &&
+                        calls(ts, arg.expression, parsed.bound, "defineContract")) {
+                        const inner = arg.arguments[0] === undefined ? undefined : unwrap(ts, arg.arguments[0]);
+                        if (inner !== undefined && ts.isObjectLiteralExpression(inner))
+                            literal = inner;
+                        contract = "an inline contract";
+                    }
+                    if (literal === undefined) {
+                        implementations.push({
+                            file,
+                            line,
+                            contract,
+                            operations: [],
+                            unreadable: [
+                                `the contract ${contract} is not a defineContract({...}) the scan can read`,
+                            ],
+                        });
+                    }
+                    else
+                        implementations.push({ file, line, contract, ...operationsOf(ts, literal) });
+                }
+                ts.forEachChild(node, visit);
+            };
+            visit(parsed.tree);
+        }
+        if (implementations.length === 0)
+            return [];
+        const findings = [];
+        for (const { file, line, contract, unreadable } of implementations) {
+            if (unreadable.length === 0)
+                continue;
+            findings.push(diagnostic({
+                code: "NF-C039",
+                severity: "warn",
+                file,
+                line,
+                message: `implement(${contract}): the static scan cannot read every operation (${unreadable.join("; ")}), so NF-C039 cannot tell whether backend/app.ts serves them. Write each operation's method and path as string literals in a defineContract({...}) const`,
+                verify: "nifra check --lints-only",
+            }));
+        }
+        if (!existsSync(join(ctx.root, BACKEND_APP_FILE))) {
+            const count = implementations.reduce((sum, item) => sum + item.operations.length, 0);
+            const first = implementations[0];
+            if (count > 0 && first !== undefined) {
+                findings.push(diagnostic({
+                    code: "NF-C039",
+                    severity: "warn",
+                    file: first.file,
+                    line: first.line,
+                    message: `${count} contract operation(s) are implemented in source, but there is no ${BACKEND_APP_FILE}, so the contract lock, the typed client checks and nifra routes see none of them. Export the implementing app from ${BACKEND_APP_FILE} as \`backend\`, built with stub dependencies if it needs any`,
+                    verify: "nifra check --lints-only",
+                }));
+            }
+            return findings;
+        }
+        const served = ctx.project.check.contracts.served;
+        if (served === undefined)
+            return findings;
+        const routes = served.map((key) => {
+            const at = key.indexOf(" ");
+            return { method: key.slice(0, at), path: key.slice(at + 1) };
+        });
+        const servedKeys = new Set(served);
+        const servedAt = (prefix, op) => op.path === "/"
+            ? servedKeys.has(`${op.method} ${prefix === "" ? "/" : prefix}`) ||
+                servedKeys.has(`${op.method} ${prefix}/`)
+            : servedKeys.has(`${op.method} ${prefix}${op.path}`);
+        // A mount or group prefix serves every operation of the app under it, so one prefix must serve
+        // them all. Matching each operation on its own lets `/` match any route and `/:id` any `.../:id`.
+        const unserved = (operations) => {
+            const prefixes = new Set([""]);
+            for (const op of operations) {
+                for (const route of routes) {
+                    if (route.method !== op.method)
+                        continue;
+                    if (op.path === "/")
+                        prefixes.add(route.path.replace(/\/$/, ""));
+                    else if (route.path.endsWith(op.path))
+                        prefixes.add(route.path.slice(0, -op.path.length));
+                }
+            }
+            let fewest = operations;
+            for (const prefix of prefixes) {
+                const missing = operations.filter((op) => !servedAt(prefix, op));
+                if (missing.length < fewest.length)
+                    fewest = missing;
+            }
+            return fewest;
+        };
+        for (const { file, line, contract, operations } of implementations) {
+            const missing = unserved(operations);
+            if (missing.length === 0)
+                continue;
+            const listed = missing.slice(0, LISTED).map((op) => `${op.method} ${op.path}`);
+            const more = missing.length > LISTED ? ` and ${missing.length - LISTED} more` : "";
+            findings.push(diagnostic({
+                code: "NF-C039",
+                severity: "warn",
+                file,
+                line,
+                message: `implement(${contract}) serves ${missing.length} operation(s) that ${BACKEND_APP_FILE} does not: ${listed.join(", ")}${more}. The contract lock, the typed client checks and nifra routes read only the backend that file exports, so they cannot see these. Mount this app in ${BACKEND_APP_FILE}, built with stub dependencies if it needs any`,
+                evidence: missing.map((op) => `${op.name}: ${op.method} ${op.path}`),
+                verify: "nifra check",
+            }));
+        }
+        return findings;
+    },
+};
+//# sourceMappingURL=contract-visibility.js.map

package/dist/rules/contract-visibility.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract-visibility.js","sourceRoot":"","sources":["../../src/rules/contract-visibility.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAChE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAA;AAE1C,OAAO,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAA;AAClD,OAAO,EAAmB,UAAU,EAAE,MAAM,mBAAmB,CAAA;AAC/D,OAAO,EAAE,uBAAuB,EAA0B,MAAM,mCAAmC,CAAA;AACnG,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAA;AAEzD,OAAO,EAAE,kBAAkB,EAAE,MAAM,iBAAiB,CAAA;AAEpD,MAAM,eAAe,GAAG,wBAAwB,CAAA;AAChD,MAAM,SAAS,GAAG,iBAAiB,CAAA;AACnC,qGAAqG;AACrG,mCAAmC;AACnC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAU,EAAE,CAC9C,IAAI,MAAM,CACR,+BAA+B,IAAI,+BAA+B,eAAe,MAAM,CACxF,CAAA;AACH,MAAM,MAAM,GAAG,CAAC,CAAA;AA0BhB,SAAS,MAAM,CAAC,EAAgB,EAAE,IAAsB;IACtD,IAAI,OAAO,GAAG,IAAI,CAAA;IAClB,OACE,EAAE,CAAC,cAAc,CAAC,OAAO,CAAC;QAC1B,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;QACjC,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;QAErC,OAAO,GAAG,OAAO,CAAC,UAAU,CAAA;IAC9B,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,SAAS,QAAQ,CACf,EAAgB,EAChB,IAAsB,EACtB,IAAY,EACZ,IAAY,EACZ,OAA0B;IAE1B,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0C,CAAA;IAC/D,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAA;IACpC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA+C,CAAA;IACvE,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACxC,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC;YACtF,SAAQ;QACV,MAAM,SAAS,GAAG,SAAS,CAAC,eAAe,CAAC,IAAI,CAAA;QAChD,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAA;QACrC,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,UAAU;YAAE,SAAQ;QACvD,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAA;QAClC,IAAI,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;YACvD,IAAI,SAAS,KAAK,eAAe;gBAAE,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YAClE,SAAQ;QACV,CAAC;QACD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAQ;QACjC,kEAAkE;QAClE,IAAI,aAAsD,CAAA;QAC1D,IAAI,SAAS,KAAK,eAAe,EAAE,CAAC;YAClC,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,SAAS,CAAC,CAAA;YACnD,MAAM,IAAI,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;YAChE,aAAa;gBACX,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACxF,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACrC,IAAI,OAAO,CAAC,UAAU;gBAAE,SAAQ;YAChC,MAAM,IAAI,GAAG,CAAC,OAAO,CAAC,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAA;YACxD,IAAI,IAAI,KAAK,WAAW,IAAI,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACtD,IAAI,aAAa,KAAK,SAAS,IAAI,aAAa,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YAC5F,CAAC;iBAAM,IAAI,aAAa,KAAK,SAAS;gBAAE,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;QAC9F,CAAC;IACH,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAA;AACxC,CAAC;AAED,SAAS,QAAQ,CAAC,IAAY;IAC5B,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;IACnC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAA;IAClB,CAAC;AACH,CAAC;AAED,qFAAqF;AACrF,SAAS,KAAK,CACZ,EAAgB,EAChB,MAAwB,EACxB,KAAe,EACf,GAAmC;IAEnC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAA;IACxE,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACrC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC;QAClC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,GAAG,CACzB,CAAA;AACH,CAAC;AAED,2FAA2F;AAC3F,SAAS,YAAY,CACnB,EAAgB,EAChB,OAAsC;IAEtC,MAAM,UAAU,GAAgB,EAAE,CAAA;IAClC,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC;QAC1C,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;YACvC,UAAU,CAAC,IAAI,CAAC,4CAA4C,CAAC,CAAA;YAC7D,SAAQ;QACV,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAA;QAChE,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,EAAE,QAAQ,CAAC,WAAW,CAAC,CAAA;QAC3C,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,EAAE,CAAC,EAAE,CAAC;YACtC,UAAU,CAAC,IAAI,CAAC,cAAc,IAAI,4BAA4B,CAAC,CAAA;YAC/D,SAAQ;QACV,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,GAAW,EAAsB,EAAE;YAChD,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,UAAU,EAAE,CAAC;gBACnC,IAAI,CAAC,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,GAAG;oBAAE,SAAQ;gBAC/E,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,WAAW,CAAC,CAAA;gBAC5C,OAAO,EAAE,CAAC,mBAAmB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAA;YAC/D,CAAC;YACD,OAAO,SAAS,CAAA;QAClB,CAAC,CAAA;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAA;QAC9B,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAA;QAC1B,IAAI,MAAM,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS;YAC5C,UAAU,CAAC,IAAI,CAAC,cAAc,IAAI,qDAAqD,CAAC,CAAA;;YACrF,UAAU,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,CAAC,CAAA;IACpE,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,CAAA;AACnC,CAAC;AAOD,MAAM,CAAC,MAAM,sBAAsB,GAAc;IAC/C,IAAI,EAAE,SAAS;IACf,KAAK,EAAE,2DAA2D;IAClE,KAAK,CAAC,IAAI,CAAC,GAAG;QACZ,6FAA6F;QAC7F,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAA;QAC7C,MAAM,YAAY,GAAG,CAAC,GAAW,EAAW,EAAE;YAC5C,IAAI,GAAG,KAAK,EAAE;gBAAE,OAAO,IAAI,CAAA;YAC3B,MAAM,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YAClC,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,MAAM,CAAA;YACvC,MAAM,GAAG,GACP,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,EAAE,cAAc,CAAC,CAAC;gBAChD,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAA;YAC/D,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;YACxB,OAAO,GAAG,CAAA;QACZ,CAAC,CAAA;QACD,MAAM,UAAU,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE;YACnD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;gBAAE,OAAO,KAAK,CAAA;YACjE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAA;YAClF,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACnC,OAAO,IAAI,EAAE,QAAQ,CAAC,WAAW,CAAC,KAAK,IAAI,CAAA;QAC7C,CAAC,CAAC,CAAA;QACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAA;QACtC,MAAM,MAAM,GAAG,MAAM,kBAAkB,CAAC,GAAG,CAAC,CAAA;QAC5C,MAAM,EAAE,GAAG,MAAM,CAAC,QAAQ,CAAA;QAC1B,IAAI,EAAE,KAAK,SAAS;YAAE,OAAO,EAAE,CAAA;QAC/B,MAAM,OAAO,GAAG,uBAAuB,EAAE,CAAA;QACzC,mGAAmG;QACnG,MAAM,QAAQ,GAAG,CAAC,GAAG,EAAE;YACrB,IAAI,CAAC;gBACH,OAAO,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAC/B,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,GAAG,CAAC,IAAI,CAAA;YACjB,CAAC;QACH,CAAC,CAAC,EAAE,CAAA;QACJ,MAAM,WAAW,GAAG,IAAI,GAAG,EAA8B,CAAA;QACzD,uFAAuF;QACvF,MAAM,KAAK,GAAG,CAAC,IAAY,EAAE,IAAwB,EAAsB,EAAE;YAC3E,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACvD,MAAM,IAAI,GACR,IAAI,KAAK,SAAS;gBAChB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,YAAY,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAA;YAC3F,MAAM,MAAM,GACV,IAAI,KAAK,SAAS;gBAChB,CAAC,CAAC,SAAS;gBACX,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAA;YAClE,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;YAC7B,OAAO,MAAM,CAAA;QACf,CAAC,CAAA;QACD;wDACgD;QAChD,MAAM,eAAe,GAAG,CACtB,IAAY,EACZ,MAAc,EACd,IAAY,EACZ,IAAI,GAAG,CAAC,EACmC,EAAE;YAC7C,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,EAAE,CAAC;gBAC/C,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,SAAS,CAAC;oBAAE,SAAQ;gBAChD,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;oBACjE,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI;wBAAE,SAAQ;oBAClF,IAAI,WAAW,CAAC,WAAW,KAAK,SAAS;wBAAE,OAAO,SAAS,CAAA;oBAC3D,MAAM,IAAI,GAAG,MAAM,CAAC,EAAE,EAAE,WAAW,CAAC,WAAW,CAAC,CAAA;oBAChD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC;wBAAE,OAAO,IAAI,CAAA;oBACnD,IACE,CAAC,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;wBAC1B,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC;wBAE3D,OAAO,SAAS,CAAA;oBAClB,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;oBAC7B,MAAM,OAAO,GAAG,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,CAAA;oBAC/D,OAAO,OAAO,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,OAAO,CAAC;wBACnE,CAAC,CAAC,OAAO;wBACT,CAAC,CAAC,SAAS,CAAA;gBACf,CAAC;YACH,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YAC5C,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAA;YACpD,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,CAAC,SAAS,CAAC,CAAA;YAC5D,IAAI,MAAM,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAA;YAC1C,MAAM,GAAG,GAAG,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;YAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAA;YACzC,OAAO,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,CAAA;QACzF,CAAC,CAAA;QAED,MAAM,eAAe,GAAqB,EAAE,CAAA;QAC5C,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC9B,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAA;YAClD,IACE,MAAM,KAAK,SAAS;gBACpB,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,CAAC,CAAC;gBAErE,SAAQ;YACV,MAAM,KAAK,GAAG,CAAC,IAAgB,EAAQ,EAAE;gBACvC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC;oBACvF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,GAAG,CAAC,CAAA;oBAChF,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;oBACvF,IAAI,OAAkD,CAAA;oBACtD,IAAI,QAAQ,GAAG,GAAG,EAAE,OAAO,EAAE,IAAI,QAAQ,CAAA;oBACzC,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC;wBAC3C,OAAO,GAAG,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,IAAI,CAAC,CAAA;yBAC9C,IAAI,GAAG,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,GAAG,CAAC,EAAE,CAAC;wBAChE,OAAO,GAAG,GAAG,CAAA;wBACb,QAAQ,GAAG,oBAAoB,CAAA;oBACjC,CAAC;yBAAM,IACL,GAAG,KAAK,SAAS;wBACjB,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC;wBACxB,KAAK,CAAC,EAAE,EAAE,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,EAAE,gBAAgB,CAAC,EACzD,CAAC;wBACD,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;wBACvF,IAAI,KAAK,KAAK,SAAS,IAAI,EAAE,CAAC,yBAAyB,CAAC,KAAK,CAAC;4BAAE,OAAO,GAAG,KAAK,CAAA;wBAC/E,QAAQ,GAAG,oBAAoB,CAAA;oBACjC,CAAC;oBACD,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;wBAC1B,eAAe,CAAC,IAAI,CAAC;4BACnB,IAAI;4BACJ,IAAI;4BACJ,QAAQ;4BACR,UAAU,EAAE,EAAE;4BACd,UAAU,EAAE;gCACV,gBAAgB,QAAQ,mDAAmD;6BAC5E;yBACF,CAAC,CAAA;oBACJ,CAAC;;wBAAM,eAAe,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,YAAY,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAA;gBACrF,CAAC;gBACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YAC9B,CAAC,CAAA;YACD,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;QACpB,CAAC;QACD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,CAAA;QAE3C,MAAM,QAAQ,GAAiB,EAAE,CAAA;QACjC,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,eAAe,EAAE,CAAC;YACnE,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YACrC,QAAQ,CAAC,IAAI,CACX,UAAU,CAAC;gBACT,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,MAAM;gBAChB,IAAI;gBACJ,IAAI;gBACJ,OAAO,EAAE,aAAa,QAAQ,mDAAmD,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,0JAA0J;gBAChQ,MAAM,EAAE,0BAA0B;aACnC,CAAC,CACH,CAAA;QACH,CAAC;QAED,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,EAAE,CAAC;YAClD,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE,CAAC,GAAG,GAAG,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC,CAAC,CAAA;YACpF,MAAM,KAAK,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;YAChC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACrC,QAAQ,CAAC,IAAI,CACX,UAAU,CAAC;oBACT,IAAI,EAAE,SAAS;oBACf,QAAQ,EAAE,MAAM;oBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,IAAI,EAAE,KAAK,CAAC,IAAI;oBAChB,OAAO,EAAE,GAAG,KAAK,qEAAqE,gBAAgB,uHAAuH,gBAAgB,+DAA+D;oBAC5S,MAAM,EAAE,0BAA0B;iBACnC,CAAC,CACH,CAAA;YACH,CAAC;YACD,OAAO,QAAQ,CAAA;QACjB,CAAC;QAED,MAAM,MAAM,GAAG,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAA;QACjD,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAA;QACzC,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YAChC,MAAM,EAAE,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAA;YAC3B,OAAO,EAAE,MAAM,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,EAAE,CAAA;QAC9D,CAAC,CAAC,CAAA;QACF,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAA;QAClC,MAAM,QAAQ,GAAG,CAAC,MAAc,EAAE,EAAa,EAAW,EAAE,CAC1D,EAAE,CAAC,IAAI,KAAK,GAAG;YACb,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,IAAI,MAAM,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;gBAC9D,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,IAAI,MAAM,GAAG,CAAC;YAC3C,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,IAAI,MAAM,GAAG,EAAE,CAAC,IAAI,EAAE,CAAC,CAAA;QACxD,+FAA+F;QAC/F,kGAAkG;QAClG,MAAM,QAAQ,GAAG,CAAC,UAAgC,EAAwB,EAAE;YAC1E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAC9B,KAAK,MAAM,EAAE,IAAI,UAAU,EAAE,CAAC;gBAC5B,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,IAAI,KAAK,CAAC,MAAM,KAAK,EAAE,CAAC,MAAM;wBAAE,SAAQ;oBACxC,IAAI,EAAE,CAAC,IAAI,KAAK,GAAG;wBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAA;yBAC3D,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC;wBAAE,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAA;gBAC3F,CAAC;YACH,CAAC;YACD,IAAI,MAAM,GAAG,UAAU,CAAA;YACvB,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;gBAC9B,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAA;gBAChE,IAAI,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM;oBAAE,MAAM,GAAG,OAAO,CAAA;YACtD,CAAC;YACD,OAAO,MAAM,CAAA;QACf,CAAC,CAAA;QACD,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,eAAe,EAAE,CAAC;YACnE,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAA;YACpC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAQ;YAClC,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,CAAA;YAC9E,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,QAAQ,OAAO,CAAC,MAAM,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,EAAE,CAAA;YAClF,QAAQ,CAAC,IAAI,CACX,UAAU,CAAC;gBACT,IAAI,EAAE,SAAS;gBACf,QAAQ,EAAE,MAAM;gBAChB,IAAI;gBACJ,IAAI;gBACJ,OAAO,EAAE,aAAa,QAAQ,YAAY,OAAO,CAAC,MAAM,sBAAsB,gBAAgB,cAAc,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,sJAAsJ,gBAAgB,gDAAgD;gBAC1V,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;gBACpE,MAAM,EAAE,aAAa;aACtB,CAAC,CACH,CAAA;QACH,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC;CACF,CAAA"}

package/dist/rules/data-guard.d.ts

@@ -1,12 +1,25 @@
 import type { CheckRule } from "./index.js";
+/** The export statement of `name` in a code-position mask: a declaration or an `export { }` list. */
+export declare const exported: (mask: string, name: string) => RegExpExecArray | null;
+/** Where an expression starting at `start` ends: a `,`, `;` or closer at its own depth. */
+export declare function expressionEnd(mask: string, start: number): number;
 export interface MissingOutputSchema {
     readonly name: "loader" | "action";
     readonly schema: "loaderOutput" | "actionOutput";
     readonly line: number;
+    /** Its own body returns a data literal, so every request that reaches that return fails. */
+    readonly proven: boolean;
 }
 /** The loader and action a route's backend half exports, may return data from, and gives no schema. */
 export declare function missingOutputSchemas(content: string): MissingOutputSchema[];
+/** Where a generated output schema (the export under a `nifra:generated` line) admits any value: the
+ * note `nifra schemas` writes beside a `t.json()` drafted from `any` or `unknown`. */
+export declare function openDraftLines(content: string): Array<{
+    line: number;
+    type: string;
+}>;
 export declare const missingOutputRule: CheckRule;
 export declare const sensitiveOutputRule: CheckRule;
+export declare const staleGeneratedOutputRule: CheckRule;
 export declare const dataGuardRules: readonly CheckRule[];
 //# sourceMappingURL=data-guard.d.ts.map

package/dist/rules/data-guard.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"data-guard.d.ts","sourceRoot":"","sources":["../../src/rules/data-guard.ts"],"names":[],"mappings":"AAYA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAyH3C,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,cAAc,CAAA;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACtB;AAID,uGAAuG;AACvG,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB,EAAE,CAmB3E;AAED,eAAO,MAAM,iBAAiB,EAAE,SAyB/B,CAAA;AAKD,eAAO,MAAM,mBAAmB,EAAE,SAkCjC,CAAA;AAED,eAAO,MAAM,cAAc,sBAA0D,CAAA"}
+{"version":3,"file":"data-guard.d.ts","sourceRoot":"","sources":["../../src/rules/data-guard.ts"],"names":[],"mappings":"AAiBA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAQ3C,qGAAqG;AACrG,eAAO,MAAM,QAAQ,GAAI,MAAM,MAAM,EAAE,MAAM,MAAM,KAAG,eAAe,GAAG,IAG1D,CAAA;AA4Id,2FAA2F;AAC3F,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAsBjE;AAuCD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,CAAA;IAClC,QAAQ,CAAC,MAAM,EAAE,cAAc,GAAG,cAAc,CAAA;IAChD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,4FAA4F;IAC5F,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;CACzB;AAID,uGAAuG;AACvG,wBAAgB,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB,EAAE,CAsB3E;AAKD;sFACsF;AACtF,wBAAgB,cAAc,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,CAAC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC,CAmBrF;AAED,eAAO,MAAM,iBAAiB,EAAE,SA8C/B,CAAA;AA+GD,eAAO,MAAM,mBAAmB,EAAE,SA+DjC,CAAA;AAED,eAAO,MAAM,wBAAwB,EAAE,SA0DtC,CAAA;AAED,eAAO,MAAM,cAAc,sBAIzB,CAAA"}