geopilot 0.0.0-stage → 0.0.1-bootstrap.0

package/dist/frameworks/ast.d.ts

@@ -0,0 +1,84 @@
+import type * as t from '@babel/types';
+export type StaticValue = {
+    readonly kind: 'string';
+    readonly value: string;
+    readonly node: t.Node;
+} | {
+    readonly kind: 'number';
+    readonly value: number;
+    readonly node: t.Node;
+} | {
+    readonly kind: 'boolean';
+    readonly value: boolean;
+    readonly node: t.Node;
+} | {
+    readonly kind: 'null';
+    readonly node: t.Node;
+} | {
+    readonly kind: 'object';
+    readonly props: ReadonlyMap<string, StaticProp>;
+    readonly dynamicKeys: boolean;
+    readonly node: t.ObjectExpression;
+} | {
+    readonly kind: 'array';
+    readonly items: readonly StaticValue[];
+    readonly node: t.Node;
+} | {
+    readonly kind: 'dynamic';
+    readonly reason: string;
+    readonly node: t.Node;
+};
+export interface StaticProp {
+    readonly key: string;
+    readonly value: StaticValue;
+    readonly node: t.ObjectProperty | t.ObjectMethod;
+}
+export interface ParsedModule {
+    readonly file: string;
+    readonly source: string;
+    readonly ast: t.File;
+}
+export declare function parseModule(file: string, source: string): ParsedModule | {
+    error: string;
+};
+/** Strip TS wrappers that do not change the runtime value: `x as T`, `x satisfies T`, `x!`, `(x)`. */
+export declare function unwrap(node: t.Node): t.Node;
+export declare function staticValue(input: t.Node): StaticValue;
+export interface ExportInfo {
+    readonly name: string;
+    readonly kind: 'const' | 'function' | 'reexport';
+    readonly init: t.Node | null;
+    readonly node: t.Node;
+    readonly from?: string;
+}
+/** Top-level named exports: `export const x = …`, `export function x`, `export { x } from`, `export { x }`. */
+export declare function exportsOf(mod: ParsedModule): Map<string, ExportInfo>;
+/** Map of local binding name → import source, for following in-repo imports. */
+export declare function importsOf(mod: ParsedModule): Map<string, {
+    from: string;
+    imported: string;
+}>;
+export declare function hasDirective(mod: ParsedModule, directive: string): boolean;
+export declare function lineCol(node: t.Node): {
+    line: number;
+    column: number;
+};
+/** Depth-first walk over every AST node. */
+export declare function walk(node: t.Node, visit: (n: t.Node) => void): void;
+export interface JsxHtml {
+    readonly node: t.JSXOpeningElement;
+    readonly lang: {
+        readonly kind: 'literal';
+        readonly value: string;
+        readonly node: t.Node;
+    } | {
+        readonly kind: 'expression';
+        readonly node: t.Node;
+    } | null;
+    readonly hasSpread: boolean;
+    readonly count: number;
+}
+/** The `<html>` JSX opening element(s) in a module, as root layouts render them. */
+export declare function findJsxHtml(mod: ParsedModule): JsxHtml | null;
+/** Whether a source text contains an ObjectProperty key with one of these names, by AST. */
+export declare function hasObjectKey(mod: ParsedModule, names: ReadonlySet<string>): string[];

package/dist/frameworks/ast.js

@@ -0,0 +1,231 @@
+import { parse } from '@babel/parser';
+export function parseModule(file, source) {
+    const plugins = ['jsx'];
+    if (/\.(ts|tsx|mts|cts)$/.test(file))
+        plugins.push('typescript');
+    try {
+        const ast = parse(source, { sourceType: 'module', plugins, errorRecovery: false });
+        return { file, source, ast };
+    }
+    catch (e) {
+        return { error: e.message };
+    }
+}
+/** Strip TS wrappers that do not change the runtime value: `x as T`, `x satisfies T`, `x!`, `(x)`. */
+export function unwrap(node) {
+    let n = node;
+    for (;;) {
+        if (n.type === 'TSAsExpression' || n.type === 'TSSatisfiesExpression' || n.type === 'TSNonNullExpression' || n.type === 'TSTypeAssertion') {
+            n = n.expression;
+        }
+        else if (n.type === 'ParenthesizedExpression') {
+            n = n.expression;
+        }
+        else {
+            return n;
+        }
+    }
+}
+function keyName(prop) {
+    if (prop.computed)
+        return prop.key.type === 'StringLiteral' ? prop.key.value : null;
+    if (prop.key.type === 'Identifier')
+        return prop.key.name;
+    if (prop.key.type === 'StringLiteral')
+        return prop.key.value;
+    if (prop.key.type === 'NumericLiteral')
+        return String(prop.key.value);
+    return null;
+}
+export function staticValue(input) {
+    const node = unwrap(input);
+    switch (node.type) {
+        case 'StringLiteral':
+            return { kind: 'string', value: node.value, node };
+        case 'TemplateLiteral':
+            if (node.expressions.length === 0)
+                return { kind: 'string', value: node.quasis.map((q) => q.value.cooked ?? q.value.raw).join(''), node };
+            return { kind: 'dynamic', reason: 'template literal with expressions', node };
+        case 'NumericLiteral':
+            return { kind: 'number', value: node.value, node };
+        case 'BooleanLiteral':
+            return { kind: 'boolean', value: node.value, node };
+        case 'NullLiteral':
+            return { kind: 'null', node };
+        case 'ArrayExpression': {
+            const items = [];
+            for (const el of node.elements) {
+                if (!el || el.type === 'SpreadElement')
+                    return { kind: 'dynamic', reason: 'array spread or hole', node };
+                items.push(staticValue(el));
+            }
+            return { kind: 'array', items, node };
+        }
+        case 'ObjectExpression': {
+            const props = new Map();
+            let dynamicKeys = false;
+            for (const p of node.properties) {
+                if (p.type === 'SpreadElement') {
+                    dynamicKeys = true;
+                    continue;
+                }
+                const key = keyName(p);
+                if (key === null) {
+                    dynamicKeys = true;
+                    continue;
+                }
+                const value = p.type === 'ObjectMethod' ? { kind: 'dynamic', reason: 'method', node: p } : staticValue(p.value);
+                props.set(key, { key, value, node: p });
+            }
+            return { kind: 'object', props, dynamicKeys, node };
+        }
+        case 'NewExpression': {
+            // `new URL('https://…')` is how metadataBase is written; with one literal
+            // argument its value is that literal.
+            const arg = node.arguments[0];
+            if (node.callee.type === 'Identifier' && node.callee.name === 'URL' && node.arguments.length === 1 && arg && arg.type !== 'SpreadElement' && arg.type !== 'ArgumentPlaceholder') {
+                const inner = staticValue(arg);
+                if (inner.kind === 'string')
+                    return { kind: 'string', value: inner.value, node };
+            }
+            return { kind: 'dynamic', reason: 'constructor call', node };
+        }
+        case 'Identifier':
+            if (node.name === 'undefined')
+                return { kind: 'null', node };
+            return { kind: 'dynamic', reason: `identifier ${node.name}`, node };
+        default:
+            return { kind: 'dynamic', reason: node.type, node };
+    }
+}
+/** Top-level named exports: `export const x = …`, `export function x`, `export { x } from`, `export { x }`. */
+export function exportsOf(mod) {
+    const out = new Map();
+    const locals = new Map();
+    for (const stmt of mod.ast.program.body) {
+        const decl = stmt.type === 'ExportNamedDeclaration' ? stmt.declaration : stmt;
+        if (decl && decl.type === 'VariableDeclaration') {
+            for (const d of decl.declarations) {
+                if (d.id.type === 'Identifier')
+                    locals.set(d.id.name, { init: d.init ?? null, node: d, kind: 'const' });
+            }
+        }
+        else if (decl && decl.type === 'FunctionDeclaration' && decl.id) {
+            locals.set(decl.id.name, { init: decl, node: decl, kind: 'function' });
+        }
+    }
+    for (const stmt of mod.ast.program.body) {
+        if (stmt.type !== 'ExportNamedDeclaration')
+            continue;
+        if (stmt.declaration) {
+            const decl = stmt.declaration;
+            if (decl.type === 'VariableDeclaration') {
+                for (const d of decl.declarations) {
+                    if (d.id.type === 'Identifier')
+                        out.set(d.id.name, { name: d.id.name, kind: 'const', init: d.init ?? null, node: d });
+                }
+            }
+            else if (decl.type === 'FunctionDeclaration' && decl.id) {
+                out.set(decl.id.name, { name: decl.id.name, kind: 'function', init: decl, node: decl });
+            }
+            continue;
+        }
+        for (const spec of stmt.specifiers) {
+            if (spec.type !== 'ExportSpecifier')
+                continue;
+            const exported = spec.exported.type === 'Identifier' ? spec.exported.name : spec.exported.value;
+            if (stmt.source) {
+                out.set(exported, { name: exported, kind: 'reexport', init: null, node: spec, from: stmt.source.value });
+            }
+            else {
+                const local = locals.get(spec.local.type === 'Identifier' ? spec.local.name : spec.local.value);
+                if (local)
+                    out.set(exported, { name: exported, kind: local.kind, init: local.init, node: local.node });
+            }
+        }
+    }
+    return out;
+}
+/** Map of local binding name → import source, for following in-repo imports. */
+export function importsOf(mod) {
+    const out = new Map();
+    for (const stmt of mod.ast.program.body) {
+        if (stmt.type !== 'ImportDeclaration')
+            continue;
+        for (const spec of stmt.specifiers) {
+            if (spec.type === 'ImportSpecifier') {
+                out.set(spec.local.name, { from: stmt.source.value, imported: spec.imported.type === 'Identifier' ? spec.imported.name : spec.imported.value });
+            }
+            else if (spec.type === 'ImportDefaultSpecifier') {
+                out.set(spec.local.name, { from: stmt.source.value, imported: 'default' });
+            }
+        }
+    }
+    return out;
+}
+export function hasDirective(mod, directive) {
+    return mod.ast.program.directives.some((d) => d.value.value === directive);
+}
+export function lineCol(node) {
+    return { line: node.loc?.start.line ?? 1, column: (node.loc?.start.column ?? 0) + 1 };
+}
+/** Depth-first walk over every AST node. */
+export function walk(node, visit) {
+    visit(node);
+    for (const key of Object.keys(node)) {
+        if (key === 'loc' || key === 'leadingComments' || key === 'trailingComments' || key === 'innerComments')
+            continue;
+        const value = node[key];
+        if (Array.isArray(value)) {
+            for (const v of value)
+                if (v && typeof v === 'object' && typeof v.type === 'string')
+                    walk(v, visit);
+        }
+        else if (value && typeof value === 'object' && typeof value.type === 'string') {
+            walk(value, visit);
+        }
+    }
+}
+/** The `<html>` JSX opening element(s) in a module, as root layouts render them. */
+export function findJsxHtml(mod) {
+    const found = [];
+    walk(mod.ast, (n) => {
+        if (n.type === 'JSXOpeningElement' && n.name.type === 'JSXIdentifier' && n.name.name === 'html')
+            found.push(n);
+    });
+    const first = found[0];
+    if (!first)
+        return null;
+    let lang = null;
+    let hasSpread = false;
+    for (const attr of first.attributes) {
+        if (attr.type === 'JSXSpreadAttribute') {
+            hasSpread = true;
+            continue;
+        }
+        if (attr.name.type === 'JSXIdentifier' && attr.name.name === 'lang') {
+            if (attr.value?.type === 'StringLiteral')
+                lang = { kind: 'literal', value: attr.value.value, node: attr };
+            else if (attr.value?.type === 'JSXExpressionContainer') {
+                const sv = attr.value.expression.type === 'JSXEmptyExpression' ? null : staticValue(attr.value.expression);
+                lang = sv && sv.kind === 'string' ? { kind: 'literal', value: sv.value, node: attr } : { kind: 'expression', node: attr };
+            }
+            else
+                lang = { kind: 'expression', node: attr };
+        }
+    }
+    return { node: first, lang, hasSpread, count: found.length };
+}
+/** Whether a source text contains an ObjectProperty key with one of these names, by AST. */
+export function hasObjectKey(mod, names) {
+    const hits = new Set();
+    walk(mod.ast, (n) => {
+        if ((n.type === 'ObjectProperty' || n.type === 'ObjectMethod') && !n.computed) {
+            const k = n.key.type === 'Identifier' ? n.key.name : n.key.type === 'StringLiteral' ? n.key.value : null;
+            if (k && names.has(k))
+                hits.add(k);
+        }
+    });
+    return [...hits].sort();
+}
+//# sourceMappingURL=ast.js.map

package/dist/frameworks/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../../src/frameworks/ast.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAqB,MAAM,eAAe,CAAC;AA4BzD,MAAM,UAAU,WAAW,CAAC,IAAY,EAAE,MAAc;IACtD,MAAM,OAAO,GAAmB,CAAC,KAAK,CAAC,CAAC;IACxC,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACjE,IAAI,CAAC;QACH,MAAM,GAAG,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,aAAa,EAAE,KAAK,EAAE,CAAsB,CAAC;QACxG,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;IAC/B,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,KAAK,EAAG,CAAW,CAAC,OAAO,EAAE,CAAC;IACzC,CAAC;AACH,CAAC;AAED,sGAAsG;AACtG,MAAM,UAAU,MAAM,CAAC,IAAY;IACjC,IAAI,CAAC,GAAG,IAAI,CAAC;IACb,SAAS,CAAC;QACR,IAAI,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,IAAI,KAAK,uBAAuB,IAAI,CAAC,CAAC,IAAI,KAAK,qBAAqB,IAAI,CAAC,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;YAC1I,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACnB,CAAC;aAAM,IAAI,CAAC,CAAC,IAAI,KAAK,yBAAyB,EAAE,CAAC;YAChD,CAAC,GAAG,CAAC,CAAC,UAAU,CAAC;QACnB,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,CAAC;QACX,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,OAAO,CAAC,IAAuC;IACtD,IAAI,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IACpF,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;IACzD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,eAAe;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;IAC7D,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,gBAAgB;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACtE,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,WAAW,CAAC,KAAa;IACvC,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,eAAe;YAClB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;QACrD,KAAK,iBAAiB;YACpB,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;YAC1I,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,mCAAmC,EAAE,IAAI,EAAE,CAAC;QAChF,KAAK,gBAAgB;YACnB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;QACrD,KAAK,gBAAgB;YACnB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;QACtD,KAAK,aAAa;YAChB,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QAChC,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,KAAK,GAAkB,EAAE,CAAC;YAChC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;gBAC/B,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,eAAe;oBAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,sBAAsB,EAAE,IAAI,EAAE,CAAC;gBACzG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9B,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;QACxC,CAAC;QACD,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAsB,CAAC;YAC5C,IAAI,WAAW,GAAG,KAAK,CAAC;YACxB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAChC,IAAI,CAAC,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;oBAC/B,WAAW,GAAG,IAAI,CAAC;oBACnB,SAAS;gBACX,CAAC;gBACD,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBACvB,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;oBACjB,WAAW,GAAG,IAAI,CAAC;oBACnB,SAAS;gBACX,CAAC;gBACD,MAAM,KAAK,GAAgB,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;gBAC7H,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YAC1C,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,WAAW,EAAE,IAAI,EAAE,CAAC;QACtD,CAAC;QACD,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,0EAA0E;YAC1E,sCAAsC;YACtC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;YAC9B,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,KAAK,eAAe,IAAI,GAAG,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAChL,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;gBAC/B,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ;oBAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC;YACnF,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,kBAAkB,EAAE,IAAI,EAAE,CAAC;QAC/D,CAAC;QACD,KAAK,YAAY;YACf,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;gBAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;YAC7D,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,cAAc,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC;QACtE;YACE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;IACxD,CAAC;AACH,CAAC;AAUD,+GAA+G;AAC/G,MAAM,UAAU,SAAS,CAAC,GAAiB;IACzC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAsB,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6E,CAAC;IACpG,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;QAC9E,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;YAChD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;oBAAE,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAC1G,CAAC;QACH,CAAC;aAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;YAClE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;QACzE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,IAAI,KAAK,wBAAwB;YAAE,SAAS;QACrD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,MAAM,IAAI,GAAG,IAAI,CAAC,WAAW,CAAC;YAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBACxC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;oBAClC,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY;wBAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;gBACxH,CAAC;YACH,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,IAAI,IAAI,CAAC,EAAE,EAAE,CAAC;gBAC1D,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1F,CAAC;YACD,SAAS;QACX,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB;gBAAE,SAAS;YAC9C,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;YAChG,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;gBAChB,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;YAC3G,CAAC;iBAAM,CAAC;gBACN,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAE,IAAI,CAAC,KAAyB,CAAC,KAAK,CAAC,CAAC;gBACrH,IAAI,KAAK;oBAAE,GAAG,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC;YACzG,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,SAAS,CAAC,GAAiB;IACzC,MAAM,GAAG,GAAG,IAAI,GAAG,EAA8C,CAAC;IAClE,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC;QACxC,IAAI,IAAI,CAAC,IAAI,KAAK,mBAAmB;YAAE,SAAS;QAChD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YACnC,IAAI,IAAI,CAAC,IAAI,KAAK,iBAAiB,EAAE,CAAC;gBACpC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAE,IAAI,CAAC,QAA4B,CAAC,KAAK,EAAE,CAAC,CAAC;YACvK,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;gBAClD,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;YAC7E,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,GAAiB,EAAE,SAAiB;IAC/D,OAAO,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,IAAY;IAClC,OAAO,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;AACxF,CAAC;AAED,4CAA4C;AAC5C,MAAM,UAAU,IAAI,CAAC,IAAY,EAAE,KAA0B;IAC3D,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAqB,EAAE,CAAC;QACxD,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,iBAAiB,IAAI,GAAG,KAAK,kBAAkB,IAAI,GAAG,KAAK,eAAe;YAAE,SAAS;QAClH,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAY,CAAC;QACnC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,CAAC,IAAI,KAAK;gBAAE,IAAI,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAQ,CAAY,CAAC,IAAI,KAAK,QAAQ;oBAAE,IAAI,CAAC,CAAW,EAAE,KAAK,CAAC,CAAC;QAC5H,CAAC;aAAM,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAQ,KAAgB,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5F,IAAI,CAAC,KAAe,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;IACH,CAAC;AACH,CAAC;AASD,oFAAoF;AACpF,MAAM,UAAU,WAAW,CAAC,GAAiB;IAC3C,MAAM,KAAK,GAA0B,EAAE,CAAC;IACxC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,CAAC,CAAC,IAAI,KAAK,mBAAmB,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;YAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACjH,CAAC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,IAAI,IAAI,GAAoB,IAAI,CAAC;IACjC,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;QACpC,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;YACvC,SAAS,GAAG,IAAI,CAAC;YACjB,SAAS;QACX,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,eAAe,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;YACpE,IAAI,IAAI,CAAC,KAAK,EAAE,IAAI,KAAK,eAAe;gBAAE,IAAI,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;iBACrG,IAAI,IAAI,CAAC,KAAK,EAAE,IAAI,KAAK,wBAAwB,EAAE,CAAC;gBACvD,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,oBAAoB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;gBAC3G,IAAI,GAAG,EAAE,IAAI,EAAE,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAC5H,CAAC;;gBAAM,IAAI,GAAG,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACnD,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC;AAC/D,CAAC;AAED,4FAA4F;AAC5F,MAAM,UAAU,YAAY,CAAC,GAAiB,EAAE,KAA0B;IACxE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE;QAClB,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,gBAAgB,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;YAC9E,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;YACzG,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;gBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACrC,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;AAC1B,CAAC"}

package/dist/frameworks/nextjs-app/analyze.d.ts

@@ -0,0 +1,92 @@
+import type * as t from '@babel/types';
+import type { RepoReader } from '../../repo/reader.ts';
+import type { ProvenanceLevel, SourceLocation } from '../../types.ts';
+import { type JsxHtml, type ParsedModule, type StaticValue } from '../ast.ts';
+export declare const SUPPORTED_NEXT_MAJORS: readonly number[];
+export interface NextRoute {
+    readonly route: string;
+    readonly pageFile: string;
+    /** Root layout first. */
+    readonly layoutFiles: readonly string[];
+    readonly dynamic: boolean;
+    readonly uncertain: readonly string[];
+    readonly clientPage: boolean;
+}
+export type MetaSource = {
+    readonly kind: 'literal';
+    readonly file: string;
+    readonly value: Extract<StaticValue, {
+        kind: 'object';
+    }>;
+    readonly declaredIn: string;
+} | {
+    readonly kind: 'generate';
+    readonly file: string;
+    readonly line: number;
+} | {
+    readonly kind: 'opaque';
+    readonly file: string;
+    readonly line: number;
+    readonly reason: string;
+} | {
+    readonly kind: 'none';
+    readonly file: string;
+} | {
+    readonly kind: 'parse_error';
+    readonly file: string;
+    readonly reason: string;
+};
+export interface NextAnalysis {
+    readonly appDir: string;
+    readonly routes: readonly NextRoute[];
+    readonly meta: ReadonlyMap<string, MetaSource>;
+    readonly modules: ReadonlyMap<string, ParsedModule>;
+    readonly rootLayout: string | null;
+    readonly html: JsxHtml | null;
+    readonly robots: {
+        readonly publicTxt: string | null;
+        readonly appTxt: string | null;
+        readonly appCode: string | null;
+    };
+    readonly sitemap: {
+        readonly publicXml: readonly string[];
+        readonly appXml: string | null;
+        readonly appCode: readonly string[];
+    };
+    readonly middleware: string | null;
+    readonly nextConfig: {
+        readonly file: string;
+        readonly keys: readonly string[];
+    } | null;
+    readonly i18n: readonly string[];
+    readonly nextMajor: number | null;
+    readonly supportedMajor: boolean;
+    readonly parseErrors: readonly {
+        readonly file: string;
+        readonly reason: string;
+    }[];
+}
+export declare function findAppDir(repo: RepoReader): string | null;
+export declare function nextMajorOf(repo: RepoReader): number | null;
+export declare function analyzeNextApp(repo: RepoReader): NextAnalysis | null;
+export interface ResolvedKey {
+    readonly level: ProvenanceLevel;
+    readonly value: StaticValue | null;
+    readonly locations: readonly SourceLocation[];
+    readonly reason: string;
+    /** True when no segment defines the key: the value is proven missing even if the insertion point is not. */
+    readonly missing?: boolean;
+    /** The file whose metadata object holds the key, when it is a literal. */
+    readonly literalFile: string | null;
+    readonly prop: t.ObjectProperty | t.ObjectMethod | null;
+}
+/**
+ * Resolve one top-level metadata key for a route by Next's shallow per-key
+ * precedence: the nearest segment that defines the key wins outright.
+ */
+export declare function resolveMetaKey(a: NextAnalysis, route: NextRoute, key: string): ResolvedKey;
+/** Global and per-route conditions that cap provenance below exact (spec 11). */
+export declare function provenanceCaps(a: NextAnalysis, route: NextRoute | null, concern: 'html' | 'headers' | 'files'): string[];
+export declare function capLevel(level: ProvenanceLevel, caps: readonly string[]): ProvenanceLevel;
+/** Match a URL path to the most specific route (static segments beat dynamic). */
+export declare function matchRoute(routes: readonly NextRoute[], pathname: string): NextRoute | null;