glirastes 0.4.0 → 0.5.1

package/dist/codegen/tools/identity.js

@@ -0,0 +1,100 @@
+import { modelFacingToolName, TOOL_NAME_PATTERN } from '../../runtime/local-tool-bindings.js';
+import { compareCodeUnits, sha256Digest } from './canonical.js';
+import { toolFinding } from './findings.js';
+const OPERATIONS = {
+    GET: 'list',
+    HEAD: 'head',
+    POST: 'create',
+    PUT: 'update',
+    PATCH: 'update',
+    DELETE: 'delete',
+};
+function words(segment) {
+    return segment.split(/[^A-Za-z0-9]+/).filter(Boolean);
+}
+function camel(parts) {
+    return parts.map((part, index) => (index === 0
+        ? part.charAt(0).toLowerCase() + part.slice(1)
+        : part.charAt(0).toUpperCase() + part.slice(1))).join('');
+}
+function capitalize(value) {
+    return value.charAt(0).toUpperCase() + value.slice(1).toLowerCase();
+}
+/** `<resource>.list|get|head|check|create|update|delete` from method and path. */
+export function deriveDefinitionId(input) {
+    const segments = input.path.split('/').filter(Boolean);
+    const rest = segments[0] === 'api' ? segments.slice(1) : segments;
+    const statics = rest.filter((segment) => !segment.startsWith(':') && !segment.startsWith('*'));
+    let resource = camel(statics.flatMap(words)) || 'root';
+    if (!/^[a-z]/.test(resource)) {
+        resource = `api${resource.charAt(0).toUpperCase()}${resource.slice(1)}`;
+    }
+    const last = rest[rest.length - 1];
+    const item = last?.startsWith(':') === true;
+    const operation = item && input.method === 'GET' ? 'get'
+        : item && input.method === 'HEAD' ? 'check'
+            : OPERATIONS[input.method];
+    return `${resource}.${operation}`;
+}
+/** Contract id → previous inventory name → derived name, collision-free and order-independent. */
+export function assignDefinitionIds(entries, previousByKey) {
+    const ids = new Map();
+    const owners = new Map();
+    const findings = [];
+    const sorted = [...entries].sort((left, right) => compareCodeUnits(left.stableKey, right.stableKey));
+    const claim = (entry, id) => {
+        ids.set(entry.stableKey, id);
+        owners.set(id, entry.stableKey);
+    };
+    for (const entry of sorted) {
+        if (entry.explicitId === undefined)
+            continue;
+        if (!TOOL_NAME_PATTERN.test(entry.explicitId)) {
+            findings.push(toolFinding('definition-id-invalid', 'warning', entry.stableKey, `Contract id ${JSON.stringify(entry.explicitId)} is not a valid tool name; a derived name is used.`));
+            continue;
+        }
+        const owner = owners.get(entry.explicitId);
+        if (owner !== undefined) {
+            findings.push(toolFinding('definition-id-conflict', 'error', entry.stableKey, `Contract id ${entry.explicitId} is already used by ${owner}.`));
+            continue;
+        }
+        claim(entry, entry.explicitId);
+    }
+    for (const entry of sorted) {
+        if (ids.has(entry.stableKey))
+            continue;
+        const previous = previousByKey.get(entry.stableKey);
+        if (previous && TOOL_NAME_PATTERN.test(previous) && !owners.has(previous))
+            claim(entry, previous);
+    }
+    const groups = new Map();
+    for (const entry of sorted.filter((candidate) => !ids.has(candidate.stableKey))) {
+        const base = deriveDefinitionId(entry);
+        groups.set(base, [...groups.get(base) ?? [], entry]);
+    }
+    for (const base of [...groups.keys()].sort(compareCodeUnits)) {
+        const group = groups.get(base);
+        if (group.length === 1 && !owners.has(base)) {
+            claim(group[0], base);
+            continue;
+        }
+        for (const entry of group) {
+            const withMethod = `${base}${capitalize(entry.method)}`;
+            const suffix = sha256Digest(entry.stableKey).slice(7, 15).replace(/[^A-Za-z0-9]/g, 'x');
+            claim(entry, owners.has(withMethod) ? `${withMethod}${suffix}` : withMethod);
+        }
+    }
+    const modelOwners = new Map();
+    for (const [stableKey, id] of [...ids].sort(([left], [right]) => compareCodeUnits(left, right))) {
+        const modelName = modelFacingToolName(id);
+        const owner = modelOwners.get(modelName);
+        if (owner !== undefined) {
+            findings.push(toolFinding('definition-id-conflict', 'error', stableKey, `${id} collides with the tool of ${owner} after model-safe encoding.`));
+        }
+        else {
+            modelOwners.set(modelName, stableKey);
+        }
+    }
+    return { ids, findings };
+}
+//# sourceMappingURL=identity.js.map

package/dist/codegen/tools/identity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"identity.js","sourceRoot":"","sources":["../../../src/codegen/tools/identity.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAE9F,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAChE,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAG5C,MAAM,UAAU,GAA6C;IAC3D,GAAG,EAAE,MAAM;IACX,IAAI,EAAE,MAAM;IACZ,IAAI,EAAE,QAAQ;IACd,GAAG,EAAE,QAAQ;IACb,KAAK,EAAE,QAAQ;IACf,MAAM,EAAE,QAAQ;CACjB,CAAC;AAEF,SAAS,KAAK,CAAC,OAAe;IAC5B,OAAO,OAAO,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;AACxD,CAAC;AAED,SAAS,KAAK,CAAC,KAA4B;IACzC,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAChC,KAAK,KAAK,CAAC;QACT,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9C,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CACjD,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC;AAED,SAAS,UAAU,CAAC,KAAa;IAC/B,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;AACtE,CAAC;AAED,kFAAkF;AAClF,MAAM,UAAU,kBAAkB,CAAC,KAA+C;IAChF,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;IACvD,MAAM,IAAI,GAAG,QAAQ,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC;IAClE,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/F,IAAI,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC;IACvD,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7B,QAAQ,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC1E,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACnC,MAAM,IAAI,GAAG,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC;IAC5C,MAAM,SAAS,GAAG,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK;QACtD,CAAC,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,OAAO;YACzC,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC/B,OAAO,GAAG,QAAQ,IAAI,SAAS,EAAE,CAAC;AACpC,CAAC;AASD,kGAAkG;AAClG,MAAM,UAAU,mBAAmB,CACjC,OAA2C,EAC3C,aAA0C;IAE1C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAkB,CAAC;IACzC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,MAAM,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;IACrG,MAAM,KAAK,GAAG,CAAC,KAA0B,EAAE,EAAU,EAAE,EAAE;QACvD,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;QAC7B,MAAM,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IAClC,CAAC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS;YAAE,SAAS;QAC7C,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;YAC9C,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,uBAAuB,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAC3E,eAAe,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,oDAAoD,CAAC,CAAC,CAAC;YACxG,SAAS;QACX,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;QAC3C,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,wBAAwB,EAAE,OAAO,EAAE,KAAK,CAAC,SAAS,EAC1E,eAAe,KAAK,CAAC,UAAU,uBAAuB,KAAK,GAAG,CAAC,CAAC,CAAC;YACnE,SAAS;QACX,CAAC;QACD,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACjC,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC;YAAE,SAAS;QACvC,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QACpD,IAAI,QAAQ,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;YAAE,KAAK,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IACpG,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,GAAG,EAAiC,CAAC;IACxD,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QAChF,MAAM,IAAI,GAAG,kBAAkB,CAAC,KAAK,CAAC,CAAC;QACvC,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;IACvD,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;QAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;QAChC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,KAAK,CAAC,CAAC,CAAE,EAAE,IAAI,CAAC,CAAC;YACvB,SAAS;QACX,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;YAC1B,MAAM,UAAU,GAAG,GAAG,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;YACxD,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC,CAAC;YACxF,KAAK,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,UAAU,GAAG,MAAM,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;QAC/E,CAAC;IACH,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC9C,KAAK,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QAChG,MAAM,SAAS,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,KAAK,GAAG,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,wBAAwB,EAAE,OAAO,EAAE,SAAS,EACpE,GAAG,EAAE,8BAA8B,KAAK,6BAA6B,CAAC,CAAC,CAAC;QAC5E,CAAC;aAAM,CAAC;YACN,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;AAC3B,CAAC"}

package/dist/codegen/tools/input-roles.d.ts

@@ -0,0 +1,32 @@
+import ts from 'typescript';
+import { type HandlerFunction, type LocatedHandler } from './handler-locator.js';
+export type InputRole = 'body' | 'query' | 'path';
+export type LocalBinding = {
+    kind: 'init';
+    expression: ts.Expression;
+} | {
+    kind: 'destructured';
+    from: ts.Expression;
+    property: string;
+};
+export interface RoleContext {
+    readonly requestName?: string;
+    readonly contextName?: string;
+    readonly paramsName?: string;
+    readonly declarations: ReadonlyMap<string, LocalBinding>;
+    isBodyReaderCall(call: ts.CallExpression): boolean;
+}
+export declare function createRoleContext(handler: LocatedHandler, isBodyReaderCall: (call: ts.CallExpression) => boolean): RoleContext;
+export declare function isRequestBodyRead(node: ts.Expression, ctx: RoleContext): boolean;
+export declare function isSearchParamsExpression(node: ts.Expression, ctx: RoleContext, depth?: number): boolean;
+/** Data flow inside one handler: where does the value a schema parses come from? */
+export declare function classifyInputExpression(node: ts.Expression, ctx: RoleContext, depth?: number): InputRole | 'unclear';
+export declare function collectQueryKeys(scope: ts.Node, ctx: RoleContext): {
+    keys: string[];
+    repeated: string[];
+};
+/** Body keys from closed destructuring and literal property reads; anything else is opaque. */
+export declare function collectBodyKeys(fn: HandlerFunction | undefined, ctx: RoleContext, checker: ts.TypeChecker): {
+    readsBody: boolean;
+    keys: string[] | 'opaque';
+};

package/dist/codegen/tools/input-roles.js

@@ -0,0 +1,283 @@
+import ts from 'typescript';
+import { compareCodeUnits } from './canonical.js';
+import { bindingKey, unwrapExpression, } from './handler-locator.js';
+const MAX_DEPTH = 6;
+export function createRoleContext(handler, isBodyReaderCall) {
+    const declarations = new Map();
+    const visit = (node) => {
+        if (ts.isVariableDeclaration(node) && node.initializer) {
+            if (ts.isIdentifier(node.name)) {
+                if (!declarations.has(node.name.text)) {
+                    declarations.set(node.name.text, { kind: 'init', expression: node.initializer });
+                }
+            }
+            else if (ts.isObjectBindingPattern(node.name)) {
+                for (const element of node.name.elements) {
+                    const property = bindingKey(element);
+                    if (!element.dotDotDotToken && property && ts.isIdentifier(element.name)
+                        && !declarations.has(element.name.text)) {
+                        declarations.set(element.name.text, { kind: 'destructured', from: node.initializer, property });
+                    }
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    if (handler.fn?.body)
+        visit(handler.fn.body);
+    return {
+        requestName: handler.requestName,
+        contextName: handler.contextName,
+        paramsName: handler.paramsName,
+        declarations,
+        isBodyReaderCall,
+    };
+}
+function isRequestExpression(node, ctx, depth = 0) {
+    if (depth > MAX_DEPTH)
+        return false;
+    const target = unwrapExpression(node);
+    if (ts.isIdentifier(target)) {
+        if (ctx.requestName && target.text === ctx.requestName)
+            return true;
+        const binding = ctx.declarations.get(target.text);
+        return binding?.kind === 'init' && isRequestExpression(binding.expression, ctx, depth + 1);
+    }
+    if (ts.isCallExpression(target) && ts.isPropertyAccessExpression(target.expression)
+        && target.expression.name.text === 'clone') {
+        return isRequestExpression(target.expression.expression, ctx, depth + 1);
+    }
+    return false;
+}
+export function isRequestBodyRead(node, ctx) {
+    const target = unwrapExpression(node);
+    if (!ts.isCallExpression(target))
+        return false;
+    if (ctx.isBodyReaderCall(target))
+        return true;
+    return ts.isPropertyAccessExpression(target.expression)
+        && target.expression.name.text === 'json'
+        && isRequestExpression(target.expression.expression, ctx);
+}
+function isUrlExpression(node, ctx, depth) {
+    if (depth > MAX_DEPTH)
+        return false;
+    const target = unwrapExpression(node);
+    if (ts.isNewExpression(target) && ts.isIdentifier(target.expression) && target.expression.text === 'URL') {
+        const first = target.arguments?.[0];
+        const value = first ? unwrapExpression(first) : undefined;
+        return Boolean(value && ts.isPropertyAccessExpression(value) && value.name.text === 'url'
+            && isRequestExpression(value.expression, ctx, depth + 1));
+    }
+    if (ts.isPropertyAccessExpression(target) && target.name.text === 'nextUrl') {
+        return isRequestExpression(target.expression, ctx, depth + 1);
+    }
+    if (ts.isIdentifier(target)) {
+        const binding = ctx.declarations.get(target.text);
+        return binding?.kind === 'init' && isUrlExpression(binding.expression, ctx, depth + 1);
+    }
+    return false;
+}
+export function isSearchParamsExpression(node, ctx, depth = 0) {
+    if (depth > MAX_DEPTH)
+        return false;
+    const target = unwrapExpression(node);
+    if (ts.isPropertyAccessExpression(target) && target.name.text === 'searchParams') {
+        return isUrlExpression(target.expression, ctx, depth + 1);
+    }
+    if (ts.isIdentifier(target)) {
+        const binding = ctx.declarations.get(target.text);
+        if (binding?.kind === 'init')
+            return isSearchParamsExpression(binding.expression, ctx, depth + 1);
+        if (binding?.kind === 'destructured') {
+            return binding.property === 'searchParams' && isUrlExpression(binding.from, ctx, depth + 1);
+        }
+    }
+    return false;
+}
+function isSearchParamsLike(node, ctx, depth) {
+    const target = unwrapExpression(node);
+    if (isSearchParamsExpression(target, ctx, depth + 1))
+        return true;
+    return (ts.isIdentifier(target) && target.text === 'searchParams')
+        || (ts.isPropertyAccessExpression(target) && target.name.text === 'searchParams');
+}
+function searchParamRead(node, ctx, depth) {
+    let target = unwrapExpression(node);
+    if (ts.isBinaryExpression(target) && (target.operatorToken.kind === ts.SyntaxKind.QuestionQuestionToken
+        || target.operatorToken.kind === ts.SyntaxKind.BarBarToken)) {
+        target = unwrapExpression(target.left);
+    }
+    if (!ts.isCallExpression(target) || !ts.isPropertyAccessExpression(target.expression))
+        return undefined;
+    const method = target.expression.name.text;
+    if (method !== 'get' && method !== 'getAll')
+        return undefined;
+    const key = target.arguments[0];
+    if (!key || !ts.isStringLiteralLike(key))
+        return undefined;
+    if (!isSearchParamsLike(target.expression.expression, ctx, depth))
+        return undefined;
+    return { key: key.text, repeated: method === 'getAll' };
+}
+function isSearchParamsObject(node, ctx, depth) {
+    const target = unwrapExpression(node);
+    if (ts.isCallExpression(target) && ts.isPropertyAccessExpression(target.expression)
+        && ts.isIdentifier(target.expression.expression) && target.expression.expression.text === 'Object'
+        && target.expression.name.text === 'fromEntries') {
+        const argument = target.arguments[0];
+        if (!argument)
+            return false;
+        const inner = unwrapExpression(argument);
+        if (isSearchParamsExpression(inner, ctx, depth + 1))
+            return true;
+        return ts.isCallExpression(inner) && ts.isPropertyAccessExpression(inner.expression)
+            && inner.expression.name.text === 'entries'
+            && isSearchParamsExpression(inner.expression.expression, ctx, depth + 1);
+    }
+    if (ts.isObjectLiteralExpression(target) && target.properties.length > 0) {
+        return target.properties.every((property) => (ts.isPropertyAssignment(property) && searchParamRead(property.initializer, ctx, depth) !== undefined));
+    }
+    return false;
+}
+function isContextExpression(node, ctx) {
+    const target = unwrapExpression(node);
+    return Boolean(ctx.contextName) && ts.isIdentifier(target) && target.text === ctx.contextName;
+}
+function isParamsExpression(node, ctx, depth) {
+    if (depth > MAX_DEPTH)
+        return false;
+    const target = unwrapExpression(node);
+    if (ts.isIdentifier(target)) {
+        if (ctx.paramsName && target.text === ctx.paramsName)
+            return true;
+        const binding = ctx.declarations.get(target.text);
+        if (binding?.kind === 'init')
+            return isParamsExpression(binding.expression, ctx, depth + 1);
+        if (binding?.kind === 'destructured') {
+            return binding.property === 'params' && isContextExpression(binding.from, ctx);
+        }
+        return false;
+    }
+    return ts.isPropertyAccessExpression(target) && target.name.text === 'params'
+        && isContextExpression(target.expression, ctx);
+}
+/** Data flow inside one handler: where does the value a schema parses come from? */
+export function classifyInputExpression(node, ctx, depth = 0) {
+    if (depth > MAX_DEPTH)
+        return 'unclear';
+    const target = unwrapExpression(node);
+    if (isRequestBodyRead(target, ctx))
+        return 'body';
+    if (isSearchParamsObject(target, ctx, depth))
+        return 'query';
+    if (isParamsExpression(target, ctx, depth))
+        return 'path';
+    if (ts.isIdentifier(target)) {
+        const binding = ctx.declarations.get(target.text);
+        if (binding?.kind === 'init')
+            return classifyInputExpression(binding.expression, ctx, depth + 1);
+    }
+    return 'unclear';
+}
+export function collectQueryKeys(scope, ctx) {
+    const keys = new Set();
+    const repeated = new Set();
+    const visit = (node) => {
+        if (ts.isCallExpression(node)) {
+            const read = searchParamRead(node, ctx, 0);
+            if (read) {
+                keys.add(read.key);
+                if (read.repeated)
+                    repeated.add(read.key);
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(scope);
+    return {
+        keys: [...keys].sort(compareCodeUnits),
+        repeated: [...repeated].sort(compareCodeUnits),
+    };
+}
+/** Body keys from closed destructuring and literal property reads; anything else is opaque. */
+export function collectBodyKeys(fn, ctx, checker) {
+    let readsBody = false;
+    let opaque = false;
+    const keys = new Set();
+    const body = fn?.body;
+    if (!body)
+        return { readsBody, keys: [] };
+    const addPattern = (pattern) => {
+        for (const element of pattern.elements) {
+            const key = bindingKey(element);
+            if (element.dotDotDotToken || key === undefined) {
+                opaque = true;
+                continue;
+            }
+            keys.add(key);
+        }
+    };
+    const followVariable = (name) => {
+        const symbol = checker.getSymbolAtLocation(name);
+        if (!symbol) {
+            opaque = true;
+            return;
+        }
+        // A shorthand property name resolves to the property symbol; the variable it reads is another lookup.
+        const referencedSymbol = (node) => (ts.isShorthandPropertyAssignment(node.parent) && node.parent.name === node
+            ? checker.getShorthandAssignmentValueSymbol(node.parent)
+            : checker.getSymbolAtLocation(node));
+        const visitReferences = (node) => {
+            if (ts.isIdentifier(node) && node !== name && referencedSymbol(node) === symbol) {
+                const parent = node.parent;
+                if (ts.isPropertyAccessExpression(parent) && parent.expression === node) {
+                    keys.add(parent.name.text);
+                }
+                else if (ts.isElementAccessExpression(parent) && parent.expression === node
+                    && ts.isStringLiteralLike(parent.argumentExpression)) {
+                    keys.add(parent.argumentExpression.text);
+                }
+                else if (ts.isVariableDeclaration(parent) && parent.initializer === node
+                    && ts.isObjectBindingPattern(parent.name)) {
+                    addPattern(parent.name);
+                }
+                else {
+                    opaque = true;
+                }
+            }
+            ts.forEachChild(node, visitReferences);
+        };
+        visitReferences(body);
+    };
+    const consume = (read) => {
+        let consumer = read;
+        while (consumer.parent && (ts.isAwaitExpression(consumer.parent) || ts.isParenthesizedExpression(consumer.parent)
+            || ts.isAsExpression(consumer.parent) || ts.isNonNullExpression(consumer.parent)
+            || ts.isSatisfiesExpression(consumer.parent))) {
+            consumer = consumer.parent;
+        }
+        const parent = consumer.parent;
+        if (parent && ts.isVariableDeclaration(parent) && parent.initializer === consumer) {
+            if (ts.isObjectBindingPattern(parent.name)) {
+                addPattern(parent.name);
+                return;
+            }
+            if (ts.isIdentifier(parent.name)) {
+                followVariable(parent.name);
+                return;
+            }
+        }
+        opaque = true;
+    };
+    const visit = (node) => {
+        if (ts.isCallExpression(node) && isRequestBodyRead(node, ctx)) {
+            readsBody = true;
+            consume(node);
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(body);
+    return { readsBody, keys: opaque ? 'opaque' : [...keys].sort(compareCodeUnits) };
+}
+//# sourceMappingURL=input-roles.js.map

package/dist/codegen/tools/input-roles.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"input-roles.js","sourceRoot":"","sources":["../../../src/codegen/tools/input-roles.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EACL,UAAU,EACV,gBAAgB,GAGjB,MAAM,sBAAsB,CAAC;AAgB9B,MAAM,SAAS,GAAG,CAAC,CAAC;AAEpB,MAAM,UAAU,iBAAiB,CAC/B,OAAuB,EACvB,gBAAsD;IAEtD,MAAM,YAAY,GAAG,IAAI,GAAG,EAAwB,CAAC;IACrD,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACvD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,WAAW,EAAE,CAAC,CAAC;gBACnF,CAAC;YACH,CAAC;iBAAM,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACzC,MAAM,QAAQ,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;oBACrC,IAAI,CAAC,OAAO,CAAC,cAAc,IAAI,QAAQ,IAAI,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;2BACnE,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC1C,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,IAAI,CAAC,WAAW,EAAE,QAAQ,EAAE,CAAC,CAAC;oBAClG,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,IAAI,OAAO,CAAC,EAAE,EAAE,IAAI;QAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC7C,OAAO;QACL,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,UAAU,EAAE,OAAO,CAAC,UAAU;QAC9B,YAAY;QACZ,gBAAgB;KACjB,CAAC;AACJ,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAmB,EAAE,GAAgB,EAAE,KAAK,GAAG,CAAC;IAC3E,IAAI,KAAK,GAAG,SAAS;QAAE,OAAO,KAAK,CAAC;IACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,IAAI,GAAG,CAAC,WAAW,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC;QACpE,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClD,OAAO,OAAO,EAAE,IAAI,KAAK,MAAM,IAAI,mBAAmB,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC7F,CAAC;IACD,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC;WAC9E,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC7C,OAAO,mBAAmB,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAmB,EAAE,GAAgB;IACrE,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/C,IAAI,GAAG,CAAC,gBAAgB,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAC;IAC9C,OAAO,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC;WAClD,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM;WACtC,mBAAmB,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;AAC9D,CAAC;AAED,SAAS,eAAe,CAAC,IAAmB,EAAE,GAAgB,EAAE,KAAa;IAC3E,IAAI,KAAK,GAAG,SAAS;QAAE,OAAO,KAAK,CAAC;IACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACzG,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC1D,OAAO,OAAO,CAAC,KAAK,IAAI,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK;eACpF,mBAAmB,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5E,OAAO,mBAAmB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClD,OAAO,OAAO,EAAE,IAAI,KAAK,MAAM,IAAI,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACzF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,IAAmB,EAAE,GAAgB,EAAE,KAAK,GAAG,CAAC;IACvF,IAAI,KAAK,GAAG,SAAS;QAAE,OAAO,KAAK,CAAC;IACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QACjF,OAAO,eAAe,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,OAAO,EAAE,IAAI,KAAK,MAAM;YAAE,OAAO,wBAAwB,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAClG,IAAI,OAAO,EAAE,IAAI,KAAK,cAAc,EAAE,CAAC;YACrC,OAAO,OAAO,CAAC,QAAQ,KAAK,cAAc,IAAI,eAAe,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAmB,EAAE,GAAgB,EAAE,KAAa;IAC9E,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,wBAAwB,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC;QAAE,OAAO,IAAI,CAAC;IAClE,OAAO,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,cAAc,CAAC;WAC7D,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,cAAc,CAAC,CAAC;AACtF,CAAC;AAED,SAAS,eAAe,CACtB,IAAmB,EACnB,GAAgB,EAChB,KAAa;IAEb,IAAI,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,CACnC,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,qBAAqB;WAC9D,MAAM,CAAC,aAAa,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW,CAC3D,EAAE,CAAC;QACF,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACzC,CAAC;IACD,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC;QAAE,OAAO,SAAS,CAAC;IACxG,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;IAC3C,IAAI,MAAM,KAAK,KAAK,IAAI,MAAM,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC9D,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAChC,IAAI,CAAC,GAAG,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,GAAG,CAAC;QAAE,OAAO,SAAS,CAAC;IAC3D,IAAI,CAAC,kBAAkB,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACpF,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,QAAQ,EAAE,MAAM,KAAK,QAAQ,EAAE,CAAC;AAC1D,CAAC;AAED,SAAS,oBAAoB,CAAC,IAAmB,EAAE,GAAgB,EAAE,KAAa;IAChF,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,IACE,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,UAAU,CAAC;WAC5E,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ;WAC/F,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,aAAa,EAChD,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;QACrC,IAAI,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC5B,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QACzC,IAAI,wBAAwB,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACjE,OAAO,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,0BAA0B,CAAC,KAAK,CAAC,UAAU,CAAC;eAC/E,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS;eACxC,wBAAwB,CAAC,KAAK,CAAC,UAAU,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzE,OAAO,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAC3C,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,IAAI,eAAe,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,SAAS,CACrG,CAAC,CAAC;IACL,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,mBAAmB,CAAC,IAAmB,EAAE,GAAgB;IAChE,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,OAAO,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,WAAW,CAAC;AAChG,CAAC;AAED,SAAS,kBAAkB,CAAC,IAAmB,EAAE,GAAgB,EAAE,KAAa;IAC9E,IAAI,KAAK,GAAG,SAAS;QAAE,OAAO,KAAK,CAAC;IACpC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,IAAI,GAAG,CAAC,UAAU,IAAI,MAAM,CAAC,IAAI,KAAK,GAAG,CAAC,UAAU;YAAE,OAAO,IAAI,CAAC;QAClE,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,OAAO,EAAE,IAAI,KAAK,MAAM;YAAE,OAAO,kBAAkB,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;QAC5F,IAAI,OAAO,EAAE,IAAI,KAAK,cAAc,EAAE,CAAC;YACrC,OAAO,OAAO,CAAC,QAAQ,KAAK,QAAQ,IAAI,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACjF,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ;WACxE,mBAAmB,CAAC,MAAM,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;AACnD,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,uBAAuB,CACrC,IAAmB,EACnB,GAAgB,EAChB,KAAK,GAAG,CAAC;IAET,IAAI,KAAK,GAAG,SAAS;QAAE,OAAO,SAAS,CAAC;IACxC,MAAM,MAAM,GAAG,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACtC,IAAI,iBAAiB,CAAC,MAAM,EAAE,GAAG,CAAC;QAAE,OAAO,MAAM,CAAC;IAClD,IAAI,oBAAoB,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IAC7D,IAAI,kBAAkB,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC;QAAE,OAAO,MAAM,CAAC;IAC1D,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,GAAG,CAAC,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,OAAO,EAAE,IAAI,KAAK,MAAM;YAAE,OAAO,uBAAuB,CAAC,OAAO,CAAC,UAAU,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,KAAc,EACd,GAAgB;IAEhB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;YAC3C,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACnB,IAAI,IAAI,CAAC,QAAQ;oBAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC5C,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,KAAK,CAAC,CAAC;IACb,OAAO;QACL,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;QACtC,QAAQ,EAAE,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;KAC/C,CAAC;AACJ,CAAC;AAED,+FAA+F;AAC/F,MAAM,UAAU,eAAe,CAC7B,EAA+B,EAC/B,GAAgB,EAChB,OAAuB;IAEvB,IAAI,SAAS,GAAG,KAAK,CAAC;IACtB,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,IAAI,GAAG,EAAE,EAAE,IAAI,CAAC;IACtB,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;IAE1C,MAAM,UAAU,GAAG,CAAC,OAAgC,EAAQ,EAAE;QAC5D,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACvC,MAAM,GAAG,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;YAChC,IAAI,OAAO,CAAC,cAAc,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBAChD,MAAM,GAAG,IAAI,CAAC;gBACd,SAAS;YACX,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChB,CAAC;IACH,CAAC,CAAC;IACF,MAAM,cAAc,GAAG,CAAC,IAAmB,EAAQ,EAAE;QACnD,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC;QACjD,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,MAAM,GAAG,IAAI,CAAC;YACd,OAAO;QACT,CAAC;QACD,sGAAsG;QACtG,MAAM,gBAAgB,GAAG,CAAC,IAAmB,EAAyB,EAAE,CAAC,CACvE,EAAE,CAAC,6BAA6B,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI;YACxE,CAAC,CAAC,OAAO,CAAC,iCAAiC,CAAC,IAAI,CAAC,MAAM,CAAC;YACxD,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CACtC,CAAC;QACF,MAAM,eAAe,GAAG,CAAC,IAAa,EAAQ,EAAE;YAC9C,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,IAAI,IAAI,gBAAgB,CAAC,IAAI,CAAC,KAAK,MAAM,EAAE,CAAC;gBAChF,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBAC3B,IAAI,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;oBACxE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC7B,CAAC;qBAAM,IAAI,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;uBACxE,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC,kBAAkB,CAAC,EAAE,CAAC;oBACvD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;gBAC3C,CAAC;qBAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,KAAK,IAAI;uBACrE,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC5C,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC1B,CAAC;qBAAM,CAAC;oBACN,MAAM,GAAG,IAAI,CAAC;gBAChB,CAAC;YACH,CAAC;YACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,eAAe,CAAC,CAAC;QACzC,CAAC,CAAC;QACF,eAAe,CAAC,IAAI,CAAC,CAAC;IACxB,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,QAAQ,GAAG,IAAI,CAAC;QACpB,OAAO,QAAQ,CAAC,MAAM,IAAI,CACxB,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,yBAAyB,CAAC,QAAQ,CAAC,MAAM,CAAC;eACnF,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,MAAM,CAAC;eAC7E,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,MAAM,CAAC,CAC7C,EAAE,CAAC;YACF,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC7B,CAAC;QACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;QAC/B,IAAI,MAAM,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,WAAW,KAAK,QAAQ,EAAE,CAAC;YAClF,IAAI,EAAE,CAAC,sBAAsB,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC3C,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBACxB,OAAO;YACT,CAAC;YACD,IAAI,EAAE,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;gBACjC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;gBAC5B,OAAO;YACT,CAAC;QACH,CAAC;QACD,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC,CAAC;IACF,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC;YAC9D,SAAS,GAAG,IAAI,CAAC;YACjB,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IACZ,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;AACnF,CAAC"}

package/dist/codegen/tools/inputs.d.ts

@@ -0,0 +1,33 @@
+import { type LocalPromptBundle } from '../../cli/commands/validate-build.js';
+import { type ToolPolicyFile } from '../../contracts/tool-policy.js';
+import { type ToolsConfig } from './config.js';
+import { type ToolSemantics } from './prose.js';
+import { type ToolResolutions } from './resolutions.js';
+import type { McpToolName, ToolFinding } from './types.js';
+export interface PromptBundleInput {
+    raw: string;
+    bundle: LocalPromptBundle;
+}
+export interface ToolInputs {
+    policy: ToolPolicyFile;
+    resolutions: ToolResolutions;
+    semantics: ToolSemantics;
+    promptBundle?: PromptBundleInput;
+    /** MCP names per stable key from `.glirastes/mcp-tool-names.json`; empty without the file. */
+    mcpNames?: ReadonlyMap<string, McpToolName[]>;
+}
+/** Reads `.glirastes/mcp-tool-names.json`; an invalid file is ignored with a warning. */
+export declare function readMcpToolNames(root: string): Promise<{
+    names: ReadonlyMap<string, McpToolName[]>;
+    findings: ToolFinding[];
+}>;
+export declare function emptyToolPolicy(): ToolPolicyFile;
+export declare function readPromptBundle(root: string, config: ToolsConfig): Promise<{
+    promptBundle?: PromptBundleInput;
+    findings: ToolFinding[];
+}>;
+/** Reads the developer-owned inputs; the pipeline never writes any of them. */
+export declare function readToolInputs(root: string, config: ToolsConfig): Promise<{
+    inputs: ToolInputs;
+    findings: ToolFinding[];
+}>;

package/dist/codegen/tools/inputs.js

@@ -0,0 +1,101 @@
+import { readFile } from 'node:fs/promises';
+import { resolve } from 'node:path';
+import { LocalPromptBundleSchema } from '../../cli/commands/validate-build.js';
+import { ToolPolicyFileSchema } from '../../contracts/tool-policy.js';
+import { TOOLS_PATHS } from './config.js';
+import { McpToolNamesFileSchema } from './files.js';
+import { toolFinding } from './findings.js';
+import { loadToolSemantics } from './prose.js';
+import { loadToolResolutions } from './resolutions.js';
+/** Reads `.glirastes/mcp-tool-names.json`; an invalid file is ignored with a warning. */
+export async function readMcpToolNames(root) {
+    const raw = await readOptional(root, TOOLS_PATHS.mcpToolNames);
+    if (raw === undefined)
+        return { names: new Map(), findings: [] };
+    let parsed;
+    try {
+        parsed = McpToolNamesFileSchema.safeParse(JSON.parse(raw));
+    }
+    catch {
+        parsed = undefined;
+    }
+    if (!parsed?.success) {
+        return {
+            names: new Map(),
+            findings: [toolFinding('mcp-tool-names-invalid', 'warning', TOOLS_PATHS.mcpToolNames, 'mcp-tool-names.json is invalid and is ignored; MCP clients see the generated names.')],
+        };
+    }
+    return { names: new Map(Object.entries(parsed.data.tools)), findings: [] };
+}
+async function readOptional(root, path) {
+    try {
+        return await readFile(resolve(root, path), 'utf8');
+    }
+    catch (error) {
+        if (error.code === 'ENOENT')
+            return undefined;
+        throw error;
+    }
+}
+export function emptyToolPolicy() {
+    return ToolPolicyFileSchema.parse({ schemaVersion: 1, tools: {}, exclude: [], acceptedRisk: {} });
+}
+export async function readPromptBundle(root, config) {
+    const raw = await readOptional(root, TOOLS_PATHS.promptBundle);
+    if (raw === undefined) {
+        return { findings: [toolFinding('prompt-bundle-missing', 'error', TOOLS_PATHS.promptBundle, 'The app has no local prompt bundle.')] };
+    }
+    const invalid = { findings: [toolFinding('prompt-bundle-invalid', 'error', TOOLS_PATHS.promptBundle, 'The prompt bundle is invalid or belongs to a different app.')] };
+    let json;
+    try {
+        json = JSON.parse(raw);
+    }
+    catch {
+        return invalid;
+    }
+    const parsed = LocalPromptBundleSchema.safeParse(json);
+    if (!parsed.success || parsed.data.appId !== config.appId)
+        return invalid;
+    return { promptBundle: { raw, bundle: parsed.data }, findings: [] };
+}
+/** Reads the developer-owned inputs; the pipeline never writes any of them. */
+export async function readToolInputs(root, config) {
+    const findings = [];
+    let policy = emptyToolPolicy();
+    const policyRaw = await readOptional(root, TOOLS_PATHS.policy);
+    if (policyRaw !== undefined) {
+        let parsed;
+        try {
+            parsed = ToolPolicyFileSchema.safeParse(JSON.parse(policyRaw));
+        }
+        catch {
+            parsed = undefined;
+        }
+        if (parsed?.success) {
+            policy = parsed.data;
+        }
+        else {
+            // Same code as P02's parseToolPolicyFile, so CLI, doctor and Platform agree.
+            findings.push(toolFinding('E-POLICY-001', 'error', TOOLS_PATHS.policy, 'tool-policy.json is not valid; nothing is written until it is fixed.'));
+        }
+    }
+    const resolutions = loadToolResolutions(root);
+    findings.push(...resolutions.findings);
+    const semantics = loadToolSemantics(root);
+    findings.push(...semantics.findings);
+    const prompt = await readPromptBundle(root, config);
+    findings.push(...prompt.findings);
+    const mcp = await readMcpToolNames(root);
+    findings.push(...mcp.findings);
+    return {
+        inputs: {
+            policy,
+            resolutions: resolutions.resolutions,
+            semantics: semantics.semantics,
+            ...(prompt.promptBundle ? { promptBundle: prompt.promptBundle } : {}),
+            mcpNames: mcp.names,
+        },
+        findings,
+    };
+}
+//# sourceMappingURL=inputs.js.map

package/dist/codegen/tools/inputs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inputs.js","sourceRoot":"","sources":["../../../src/codegen/tools/inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,uBAAuB,EAA0B,MAAM,sCAAsC,CAAC;AACvG,OAAO,EAAE,oBAAoB,EAAuB,MAAM,gCAAgC,CAAC;AAC3F,OAAO,EAAE,WAAW,EAAoB,MAAM,aAAa,CAAC;AAC5D,OAAO,EAAE,sBAAsB,EAAE,MAAM,YAAY,CAAC;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAC5C,OAAO,EAAE,iBAAiB,EAAsB,MAAM,YAAY,CAAC;AACnE,OAAO,EAAE,mBAAmB,EAAwB,MAAM,kBAAkB,CAAC;AAiB7E,yFAAyF;AACzF,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,IAAY;IAEZ,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;IAC/D,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,GAAG,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACjE,IAAI,MAAuE,CAAC;IAC5E,IAAI,CAAC;QACH,MAAM,GAAG,sBAAsB,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IAC7D,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,GAAG,SAAS,CAAC;IACrB,CAAC;IACD,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,CAAC;QACrB,OAAO;YACL,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,QAAQ,EAAE,CAAC,WAAW,CAAC,wBAAwB,EAAE,SAAS,EAAE,WAAW,CAAC,YAAY,EAClF,qFAAqF,CAAC,CAAC;SAC1F,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AAC7E,CAAC;AAED,KAAK,UAAU,YAAY,CAAC,IAAY,EAAE,IAAY;IACpD,IAAI,CAAC;QACH,OAAO,MAAM,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IACrD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QACzE,MAAM,KAAK,CAAC;IACd,CAAC;AACH,CAAC;AAED,MAAM,UAAU,eAAe;IAC7B,OAAO,oBAAoB,CAAC,KAAK,CAAC,EAAE,aAAa,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC,CAAC;AACpG,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CACpC,IAAY,EACZ,MAAmB;IAEnB,MAAM,GAAG,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,YAAY,CAAC,CAAC;IAC/D,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;QACtB,OAAO,EAAE,QAAQ,EAAE,CAAC,WAAW,CAAC,uBAAuB,EAAE,OAAO,EAAE,WAAW,CAAC,YAAY,EAAE,qCAAqC,CAAC,CAAC,EAAE,CAAC;IACxI,CAAC;IACD,MAAM,OAAO,GAAG,EAAE,QAAQ,EAAE,CAAC,WAAW,CAAC,uBAAuB,EAAE,OAAO,EAAE,WAAW,CAAC,YAAY,EAAE,6DAA6D,CAAC,CAAC,EAAE,CAAC;IACvK,IAAI,IAAa,CAAC;IAClB,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,OAAO,CAAC;IACjB,CAAC;IACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,KAAK,MAAM,CAAC,KAAK;QAAE,OAAO,OAAO,CAAC;IAC1E,OAAO,EAAE,YAAY,EAAE,EAAE,GAAG,EAAE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;AACtE,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,cAAc,CAClC,IAAY,EACZ,MAAmB;IAEnB,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,IAAI,MAAM,GAAG,eAAe,EAAE,CAAC;IAC/B,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC/D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,IAAI,MAAqE,CAAC;QAC1E,IAAI,CAAC;YACH,MAAM,GAAG,oBAAoB,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC;QACjE,CAAC;QAAC,MAAM,CAAC;YACP,MAAM,GAAG,SAAS,CAAC;QACrB,CAAC;QACD,IAAI,MAAM,EAAE,OAAO,EAAE,CAAC;YACpB,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC;QACvB,CAAC;aAAM,CAAC;YACN,6EAA6E;YAC7E,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,cAAc,EAAE,OAAO,EAAE,WAAW,CAAC,MAAM,EACnE,sEAAsE,CAAC,CAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,MAAM,WAAW,GAAG,mBAAmB,CAAC,IAAI,CAAC,CAAC;IAC9C,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC;IACvC,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;IAC1C,QAAQ,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,MAAM,GAAG,MAAM,gBAAgB,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpD,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;IAClC,MAAM,GAAG,GAAG,MAAM,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACzC,QAAQ,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC/B,OAAO;QACL,MAAM,EAAE;YACN,MAAM;YACN,WAAW,EAAE,WAAW,CAAC,WAAW;YACpC,SAAS,EAAE,SAAS,CAAC,SAAS;YAC9B,GAAG,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACrE,QAAQ,EAAE,GAAG,CAAC,KAAK;SACpB;QACD,QAAQ;KACT,CAAC;AACJ,CAAC"}

package/dist/codegen/tools/interface-digest.d.ts

@@ -0,0 +1,14 @@
+/**
+ * Binds descriptive contracts to the code-visible interface. The handler text
+ * is only a fallback for handlers without structured evidence and is
+ * whitespace-normalized here; callers pass comment-free printer output.
+ */
+export declare function computeInterfaceDigest(input: {
+    method?: string;
+    path?: string;
+    pathParams: string[];
+    queryParams: string[];
+    schemaBindings: string[];
+    bodyKeys: string[] | 'opaque';
+    handlerText?: string;
+}): string;

package/dist/codegen/tools/interface-digest.js

@@ -0,0 +1,24 @@
+import { compareCodeUnits, sha256Digest } from './canonical.js';
+function uniqueSorted(values) {
+    return [...new Set(values)].sort(compareCodeUnits);
+}
+/**
+ * Binds descriptive contracts to the code-visible interface. The handler text
+ * is only a fallback for handlers without structured evidence and is
+ * whitespace-normalized here; callers pass comment-free printer output.
+ */
+export function computeInterfaceDigest(input) {
+    return sha256Digest(JSON.stringify({
+        version: 1,
+        method: input.method ?? null,
+        path: input.path ?? null,
+        pathParams: uniqueSorted(input.pathParams),
+        queryParams: uniqueSorted(input.queryParams),
+        schemaBindings: uniqueSorted(input.schemaBindings),
+        bodyKeys: input.bodyKeys === 'opaque' ? 'opaque' : uniqueSorted(input.bodyKeys),
+        handlerText: input.handlerText === undefined
+            ? null
+            : input.handlerText.replace(/\s+/g, ' ').trim(),
+    }));
+}
+//# sourceMappingURL=interface-digest.js.map

package/dist/codegen/tools/interface-digest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"interface-digest.js","sourceRoot":"","sources":["../../../src/codegen/tools/interface-digest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,gBAAgB,CAAC;AAEhE,SAAS,YAAY,CAAC,MAA6B;IACjD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;AACrD,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,sBAAsB,CAAC,KAQtC;IACC,OAAO,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC;QACjC,OAAO,EAAE,CAAC;QACV,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,IAAI;QAC5B,IAAI,EAAE,KAAK,CAAC,IAAI,IAAI,IAAI;QACxB,UAAU,EAAE,YAAY,CAAC,KAAK,CAAC,UAAU,CAAC;QAC1C,WAAW,EAAE,YAAY,CAAC,KAAK,CAAC,WAAW,CAAC;QAC5C,cAAc,EAAE,YAAY,CAAC,KAAK,CAAC,cAAc,CAAC;QAClD,QAAQ,EAAE,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC;QAC/E,WAAW,EAAE,KAAK,CAAC,WAAW,KAAK,SAAS;YAC1C,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE;KAClD,CAAC,CAAC,CAAC;AACN,CAAC"}