glirastes 0.4.0 → 0.5.1

package/dist/codegen/tools/config.js

@@ -0,0 +1,172 @@
+import { readFileSync } from 'node:fs';
+import { resolve } from 'node:path';
+import { z } from 'zod';
+import { findSensitiveStringPath } from '../../contracts/content-boundary.js';
+import { FoundationDiagnosticError } from '../../diagnostics/index.js';
+/** Every file the tools generator reads (inputs) or owns (outputs), app-relative. */
+export const TOOLS_PATHS = {
+    config: '.glirastes/tools.json',
+    policy: '.glirastes/tool-policy.json',
+    resolutions: '.glirastes/tool-resolutions.json',
+    semantics: '.glirastes/tool-semantics.json',
+    promptBundle: '.glirastes/prompt-bundle.json',
+    /** MCP only: the names and grant ids an app's MCP server keeps (spec 5.2). */
+    mcpToolNames: '.glirastes/mcp-tool-names.json',
+    inventory: '.glirastes/foundation-execution-inventory.json',
+    tombstones: '.glirastes/tool-tombstones.json',
+    contracts: '.glirastes/tool-contracts.json',
+    report: '.glirastes/tool-report.json',
+    setupArtifact: '.glirastes/setup-artifact.json',
+    previousSetupArtifact: '.glirastes/previous-setup-artifact.json',
+    runtimeManifest: '.glirastes/build/runtime-manifest.json',
+    promptManifest: '.glirastes/build/prompt-manifest.json',
+    receipt: '.glirastes/setup-receipt.json',
+};
+export const DEFAULT_GENERATED_MODULE = 'src/generated/glirastes/tools.generated.ts';
+function insideApp(value) {
+    return !value.startsWith('/') && !/^[A-Za-z]:/.test(value)
+        && !value.split(/[\\/]/).includes('..');
+}
+const appPath = z.string().trim().min(1).max(512)
+    .refine(insideApp, 'Path must stay inside the app');
+const modulePath = z.string().trim().min(1).max(512)
+    .regex(/\.(?:ts|js|mjs)$/, 'The generated module must end in .ts, .js or .mjs')
+    .refine(insideApp, 'Path must stay inside the app');
+export const ToolSourceKindSchema = z.enum([
+    'next-app', 'nest', 'openapi', 'next-pages', 'react-router', 'vue-router', 'url-filters', 'react-actions',
+]);
+/** A folder name such as `[locale]`, never a path. */
+const folderName = z.string().trim().min(1).max(200)
+    .refine((value) => !/[\\/]/.test(value), 'A folder name, not a path');
+const SourceSchema = z.union([
+    ToolSourceKindSchema,
+    z.object({ kind: z.literal('next-app'), apiDir: appPath.optional() }).strict(),
+    z.object({ kind: z.literal('nest'), srcDir: appPath.optional() }).strict(),
+    z.object({
+        kind: z.literal('openapi'),
+        /** The exported OpenAPI 3.1 document, app-relative; `openapi.json` by default. */
+        document: appPath.regex(/\.json$/, 'The OpenAPI document must be a .json export').optional(),
+        /** The folder of the FastAPI code; its routes are counted against the export. */
+        fastapi: appPath.optional(),
+    }).strict(),
+    z.object({
+        kind: z.literal('next-pages'),
+        appDir: appPath.optional(),
+        srcDir: appPath.optional(),
+        stripSegments: z.array(folderName).max(20).optional(),
+    }).strict(),
+    z.object({
+        kind: z.literal('url-filters'),
+        appDir: appPath.optional(),
+        srcDir: appPath.optional(),
+        stripSegments: z.array(folderName).max(20).optional(),
+    }).strict(),
+    z.object({ kind: z.literal('react-router'), srcDir: appPath.optional() }).strict(),
+    z.object({ kind: z.literal('vue-router'), srcDir: appPath.optional() }).strict(),
+    z.object({ kind: z.literal('react-actions'), srcDir: appPath.optional() }).strict(),
+]);
+/** Sources that each produce app-wide UI tools; a second copy would duplicate them. */
+const SINGLETON_SOURCES = ['next-pages', 'react-router', 'vue-router', 'url-filters', 'react-actions'];
+/** Page sources each own the one `ui.navigate` tool and the pages URL filters attach to. */
+const PAGE_SOURCES = ['next-pages', 'react-router', 'vue-router'];
+export const ToolsConfigSchema = z.object({
+    schemaVersion: z.literal(1),
+    appId: z.uuid(),
+    targetAppKey: z.string().trim().min(1).max(200),
+    locale: z.string().trim().min(2).max(35)
+        .regex(/^[A-Za-z0-9]+(?:-[A-Za-z0-9]+)*$/),
+    sources: z.array(SourceSchema).min(1).max(20),
+    emit: z.object({
+        module: modulePath.optional(),
+        /** Also emit `createMcpEndpointCatalog()` for the app's MCP server (names from mcp-tool-names.json). */
+        mcpCatalog: z.boolean().optional(),
+        /**
+         * How the app resolves the imports of a generated `.ts` module: `bundler`
+         * (the default) leaves the extension off, `nodenext` writes the runtime
+         * extension (`./schemas.js` for `schemas.ts`), as TypeScript's
+         * `moduleResolution: NodeNext` and Node's ESM loader require.
+         */
+        moduleResolution: z.enum(['bundler', 'nodenext']).optional(),
+    }).strict().default({}),
+    /** Accepted now; consumed by the agentic plans P05 and P10. */
+    enrich: z.object({
+        managed: z.boolean().optional(),
+        model: z.string().trim().min(1).max(200).optional(),
+        writeContracts: z.boolean().optional(),
+    }).strict().default({}),
+    ci: z.object({
+        strict: z.boolean().optional(),
+        /** `tools check` fails while an enabled tool has only a template description or field names. */
+        requireEnrichment: z.boolean().optional(),
+    }).strict().default({}),
+}).strict().superRefine((config, context) => {
+    const kinds = config.sources.map((source) => (typeof source === 'string' ? source : source.kind));
+    for (const kind of SINGLETON_SOURCES) {
+        if (kinds.filter((candidate) => candidate === kind).length > 1) {
+            context.addIssue({ code: 'custom', path: ['sources'], message: `The ${kind} source may appear only once` });
+        }
+    }
+    if (PAGE_SOURCES.filter((kind) => kinds.includes(kind)).length > 1) {
+        context.addIssue({ code: 'custom', path: ['sources'], message: `Use one page source: ${PAGE_SOURCES.join(' or ')}` });
+    }
+    if (config.emit.moduleResolution === 'nodenext' && !(config.emit.module ?? DEFAULT_GENERATED_MODULE).endsWith('.ts')) {
+        context.addIssue({
+            code: 'custom',
+            path: ['emit', 'moduleResolution'],
+            message: 'emit.moduleResolution applies to a .ts module; a JavaScript module keeps its import extensions',
+        });
+    }
+    const sensitive = findSensitiveStringPath(config);
+    if (sensitive) {
+        context.addIssue({
+            code: 'custom',
+            path: sensitive,
+            message: 'tools.json must never contain a key or secret',
+        });
+    }
+});
+function invalidConfig() {
+    return new FoundationDiagnosticError({
+        code: 'E-TOOLS-002',
+        operation: 'tools.config',
+        message: 'The Glirastes tools configuration is invalid.',
+        remediation: 'repair-tools-config',
+        path: TOOLS_PATHS.config,
+    });
+}
+export function loadToolsConfig(root) {
+    let raw;
+    try {
+        raw = readFileSync(resolve(root, TOOLS_PATHS.config), 'utf8');
+    }
+    catch (error) {
+        if (error.code === 'ENOENT') {
+            throw new FoundationDiagnosticError({
+                code: 'E-TOOLS-001',
+                operation: 'tools.config',
+                message: 'Glirastes tools are not configured for this app.',
+                remediation: 'create-tools-config',
+                path: TOOLS_PATHS.config,
+            });
+        }
+        throw error;
+    }
+    let json;
+    try {
+        json = JSON.parse(raw);
+    }
+    catch {
+        throw invalidConfig();
+    }
+    const parsed = ToolsConfigSchema.safeParse(json);
+    if (!parsed.success)
+        throw invalidConfig();
+    return parsed.data;
+}
+export function normalizeSources(config) {
+    return config.sources.map((source) => (typeof source === 'string' ? { kind: source } : { ...source }));
+}
+export function generatedModulePath(config) {
+    return config.emit.module ?? DEFAULT_GENERATED_MODULE;
+}
+//# sourceMappingURL=config.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"config.js","sourceRoot":"","sources":["../../../src/codegen/tools/config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,qCAAqC,CAAC;AAC9E,OAAO,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAEvE,qFAAqF;AACrF,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,MAAM,EAAE,uBAAuB;IAC/B,MAAM,EAAE,6BAA6B;IACrC,WAAW,EAAE,kCAAkC;IAC/C,SAAS,EAAE,gCAAgC;IAC3C,YAAY,EAAE,+BAA+B;IAC7C,8EAA8E;IAC9E,YAAY,EAAE,gCAAgC;IAC9C,SAAS,EAAE,gDAAgD;IAC3D,UAAU,EAAE,iCAAiC;IAC7C,SAAS,EAAE,gCAAgC;IAC3C,MAAM,EAAE,6BAA6B;IACrC,aAAa,EAAE,gCAAgC;IAC/C,qBAAqB,EAAE,yCAAyC;IAChE,eAAe,EAAE,wCAAwC;IACzD,cAAc,EAAE,uCAAuC;IACvD,OAAO,EAAE,+BAA+B;CAChC,CAAC;AAEX,MAAM,CAAC,MAAM,wBAAwB,GAAG,4CAA4C,CAAC;AAErF,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC;WACrD,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;KAC9C,MAAM,CAAC,SAAS,EAAE,+BAA+B,CAAC,CAAC;AACtD,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;KACjD,KAAK,CAAC,kBAAkB,EAAE,mDAAmD,CAAC;KAC9E,MAAM,CAAC,SAAS,EAAE,+BAA+B,CAAC,CAAC;AAEtD,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAC,IAAI,CAAC;IACzC,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe;CAC1G,CAAC,CAAC;AAEH,sDAAsD;AACtD,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;KACjD,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,2BAA2B,CAAC,CAAC;AAExE,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC;IAC3B,oBAAoB;IACpB,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IAC9E,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IAC1E,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QAC1B,kFAAkF;QAClF,QAAQ,EAAE,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,6CAA6C,CAAC,CAAC,QAAQ,EAAE;QAC5F,iFAAiF;QACjF,OAAO,EAAE,OAAO,CAAC,QAAQ,EAAE;KAC5B,CAAC,CAAC,MAAM,EAAE;IACX,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC;QAC7B,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE;QAC1B,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE;QAC1B,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE;KACtD,CAAC,CAAC,MAAM,EAAE;IACX,CAAC,CAAC,MAAM,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;QAC9B,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE;QAC1B,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE;QAC1B,aAAa,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,QAAQ,EAAE;KACtD,CAAC,CAAC,MAAM,EAAE;IACX,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IAClF,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IAChF,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,eAAe,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;CACpF,CAAC,CAAC;AAEH,uFAAuF;AACvF,MAAM,iBAAiB,GAA0B,CAAC,YAAY,EAAE,cAAc,EAAE,YAAY,EAAE,aAAa,EAAE,eAAe,CAAC,CAAC;AAC9H,4FAA4F;AAC5F,MAAM,YAAY,GAA0B,CAAC,YAAY,EAAE,cAAc,EAAE,YAAY,CAAC,CAAC;AAEzF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC,aAAa,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC3B,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE;IACf,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAC/C,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;SACrC,KAAK,CAAC,kCAAkC,CAAC;IAC5C,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IAC7C,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;QACb,MAAM,EAAE,UAAU,CAAC,QAAQ,EAAE;QAC7B,wGAAwG;QACxG,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;QAClC;;;;;WAKG;QACH,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,QAAQ,EAAE;KAC7D,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;IACvB,+DAA+D;IAC/D,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;QAC/B,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE;QACnD,cAAc,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;KACvC,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;IACvB,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC;QACX,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;QAC9B,gGAAgG;QAChG,iBAAiB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;KAC1C,CAAC,CAAC,MAAM,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;CACxB,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE;IAC1C,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAClG,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACrC,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC/D,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,OAAO,IAAI,8BAA8B,EAAE,CAAC,CAAC;QAC9G,CAAC;IACH,CAAC;IACD,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAE,KAA+B,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9F,OAAO,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,wBAAwB,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;IACxH,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,gBAAgB,KAAK,UAAU,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,wBAAwB,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrH,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,MAAM,EAAE,kBAAkB,CAAC;YAClC,OAAO,EAAE,gGAAgG;SAC1G,CAAC,CAAC;IACL,CAAC;IACD,MAAM,SAAS,GAAG,uBAAuB,CAAC,MAAM,CAAC,CAAC;IAClD,IAAI,SAAS,EAAE,CAAC;QACd,OAAO,CAAC,QAAQ,CAAC;YACf,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,+CAA+C;SACzD,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAUH,SAAS,aAAa;IACpB,OAAO,IAAI,yBAAyB,CAAC;QACnC,IAAI,EAAE,aAAa;QACnB,SAAS,EAAE,cAAc;QACzB,OAAO,EAAE,+CAA+C;QACxD,WAAW,EAAE,qBAAqB;QAClC,IAAI,EAAE,WAAW,CAAC,MAAM;KACzB,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IAChE,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,IAAK,KAA+B,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACvD,MAAM,IAAI,yBAAyB,CAAC;gBAClC,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,cAAc;gBACzB,OAAO,EAAE,kDAAkD;gBAC3D,WAAW,EAAE,qBAAqB;gBAClC,IAAI,EAAE,WAAW,CAAC,MAAM;aACzB,CAAC,CAAC;QACL,CAAC;QACD,MAAM,KAAK,CAAC;IACd,CAAC;IACD,IAAI,IAAa,CAAC;IAClB,IAAI,CAAC;QACH,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACzB,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,aAAa,EAAE,CAAC;IACxB,CAAC;IACD,MAAM,MAAM,GAAG,iBAAiB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,CAAC,MAAM,CAAC,OAAO;QAAE,MAAM,aAAa,EAAE,CAAC;IAC3C,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,MAAmB;IAClD,OAAO,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CACpC,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAC9D,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,MAAmB;IACrD,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,wBAAwB,CAAC;AACxD,CAAC"}

package/dist/codegen/tools/contract-tiers.d.ts

@@ -0,0 +1,64 @@
+import type { DeclaredEffect } from '../../contracts/tool-policy.js';
+import type { EndpointMethod } from '../../types.js';
+import type { SchemaUse } from './handler-analysis.js';
+import type { InputRole } from './input-roles.js';
+import { type ResolutionEntry } from './resolutions.js';
+import type { SchemaProbeItem, SchemaProbeResult } from './schema-probe.js';
+import type { JsonSchemaLike, SchemaBindingRef, ToolContract, ToolFinding, ToolProseHints } from './types.js';
+export interface EndpointEvidence {
+    schemaUses: ReadonlyArray<SchemaUse>;
+    queryKeys: ReadonlyArray<string>;
+    repeatedQueryKeys: ReadonlyArray<string>;
+    bodyKeys: ReadonlyArray<string> | 'opaque';
+    readsBody: boolean;
+    normalizedText?: string;
+}
+export interface ContractModuleCandidate {
+    module: string;
+    loadBearing: boolean;
+    result: SchemaProbeResult;
+}
+export interface ResolveEndpointContractInput {
+    stableKey: string;
+    method: EndpointMethod;
+    path: string;
+    pathParams: ReadonlyArray<string>;
+    evidence: EndpointEvidence;
+    inferredOutput?: JsonSchemaLike;
+    probes: ReadonlyMap<string, SchemaProbeResult>;
+    contractModule?: ContractModuleCandidate;
+    resolution?: ResolutionEntry;
+    previousContract?: ToolContract;
+    /**
+     * An exported OpenAPI 3.1 operation (FastAPI): the dereferenced parameter
+     * and body schemas the server validates. Read after native schemas and
+     * before a sibling contract module.
+     */
+    openapi?: OpenapiOperationInput;
+}
+export interface OpenapiOperationInput {
+    parts: ReadonlyArray<{
+        role: InputRole;
+        json: JsonSchemaLike;
+        label: string;
+    }>;
+    /** `x-glirastes-effect` of the operation, when it names a known effect. */
+    effect?: DeclaredEffect;
+}
+export interface ResolvedEndpointContract {
+    contract?: ToolContract;
+    interfaceDigest: string;
+    inputSchemaDigest: string;
+    outputSchemaDigest: string;
+    findings: ToolFinding[];
+    prose: ToolProseHints;
+    explicitId?: string;
+    declaredEffect?: DeclaredEffect;
+}
+export declare const OPAQUE_SCHEMA_DIGEST: string;
+export declare function probeItemFor(binding: SchemaBindingRef, io: 'input' | 'output'): SchemaProbeItem;
+export declare function contractEntryItem(module: string, method: EndpointMethod): SchemaProbeItem;
+export declare function probeKey(item: SchemaProbeItem): string;
+export declare function bindingLabel(role: string, binding: SchemaBindingRef): string;
+/** Tiers: 1 native, 2 contract module, 4 tool-resolutions.json, 5 derived, 6 unresolved. */
+export declare function resolveEndpointContract(input: ResolveEndpointContractInput): ResolvedEndpointContract;