glirastes 0.4.0 → 0.5.1

package/dist/codegen/tools/mcp-names.d.ts

@@ -0,0 +1,23 @@
+import type { McpToolName, ToolFinding } from './types.js';
+/** An enabled endpoint tool as `createMcpEndpointCatalog()` lists it. */
+export interface McpNameSubject {
+    stableKey: string;
+    /** The contract id; every catalog entry of the tool carries it as `definitionId`. */
+    definitionId: string;
+    /** The generated model name; with the contract id it is the default `{ id, name }`. */
+    modelName: string;
+    /** What `.glirastes/mcp-tool-names.json` keeps for the tool; without it the tool is listed under its defaults. */
+    kept?: ReadonlyArray<McpToolName>;
+}
+/**
+ * The catalog's one rule, applied before it is rendered: across the enabled
+ * endpoint tools every MCP grant id and every MCP name is used once, kept
+ * names and generated defaults together (the names file only guarantees that
+ * for itself). A tool whose kept names collide with another tool's is reported
+ * and listed under its generated names; that is checked again, because the
+ * generated names it returns to can collide in turn.
+ */
+export declare function checkMcpNames(tools: ReadonlyArray<McpNameSubject>): {
+    findings: ToolFinding[];
+    fallback: ReadonlySet<string>;
+};

package/dist/codegen/tools/mcp-names.js

@@ -0,0 +1,59 @@
+import { compareCodeUnits } from './canonical.js';
+import { toolFinding } from './findings.js';
+const FIELDS = ['id', 'name'];
+function claimsOf(tools, fallback) {
+    const claims = { id: new Map(), name: new Map() };
+    const claim = (field, value, stableKey, kept) => {
+        const users = claims[field].get(value) ?? new Map();
+        users.set(stableKey, (users.get(stableKey) ?? false) || kept);
+        claims[field].set(value, users);
+    };
+    for (const tool of tools) {
+        const kept = fallback.has(tool.stableKey) ? undefined : tool.kept;
+        // A grant by contract id must still name one tool, so the contract id is claimed even where the tool keeps other ids.
+        claim('id', tool.definitionId, tool.stableKey, false);
+        for (const entry of kept ?? [{ id: tool.definitionId, name: tool.modelName }]) {
+            claim('id', entry.id, tool.stableKey, kept !== undefined);
+            claim('name', entry.name, tool.stableKey, kept !== undefined);
+        }
+    }
+    return claims;
+}
+/**
+ * The catalog's one rule, applied before it is rendered: across the enabled
+ * endpoint tools every MCP grant id and every MCP name is used once, kept
+ * names and generated defaults together (the names file only guarantees that
+ * for itself). A tool whose kept names collide with another tool's is reported
+ * and listed under its generated names; that is checked again, because the
+ * generated names it returns to can collide in turn.
+ */
+export function checkMcpNames(tools) {
+    const fallback = new Set();
+    const findings = [];
+    for (;;) {
+        const claims = claimsOf(tools, fallback);
+        const problems = new Map();
+        for (const field of FIELDS) {
+            for (const [value, users] of [...claims[field]].sort(([left], [right]) => compareCodeUnits(left, right))) {
+                if (users.size < 2)
+                    continue;
+                for (const [stableKey, kept] of users) {
+                    if (!kept)
+                        continue;
+                    const others = [...users.keys()].filter((other) => other !== stableKey).sort(compareCodeUnits);
+                    problems.set(stableKey, [
+                        ...problems.get(stableKey) ?? [],
+                        `MCP ${field} ${value} kept for ${stableKey} is also used by ${others.join(', ')}`,
+                    ]);
+                }
+            }
+        }
+        if (problems.size === 0)
+            return { findings, fallback };
+        for (const stableKey of [...problems.keys()].sort(compareCodeUnits)) {
+            fallback.add(stableKey);
+            findings.push(toolFinding('mcp-tool-names-invalid', 'warning', stableKey, `The ${problems.get(stableKey).join('; the ')}; ${stableKey} keeps its generated MCP names meanwhile.`));
+        }
+    }
+}
+//# sourceMappingURL=mcp-names.js.map

package/dist/codegen/tools/mcp-names.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"mcp-names.js","sourceRoot":"","sources":["../../../src/codegen/tools/mcp-names.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAc5C,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,MAAM,CAAU,CAAC;AAOvC,SAAS,QAAQ,CAAC,KAAoC,EAAE,QAA6B;IACnF,MAAM,MAAM,GAAW,EAAE,EAAE,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,CAAC;IAC1D,MAAM,KAAK,GAAG,CAAC,KAAmB,EAAE,KAAa,EAAE,SAAiB,EAAE,IAAa,EAAE,EAAE;QACrF,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,IAAI,GAAG,EAAmB,CAAC;QACrE,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC;QAC9D,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC,CAAC;IACF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAClE,sHAAsH;QACtH,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACtD,KAAK,MAAM,KAAK,IAAI,IAAI,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC;YAC9E,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC;YAC1D,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,SAAS,EAAE,IAAI,KAAK,SAAS,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,aAAa,CAC3B,KAAoC;IAEpC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,SAAS,CAAC;QACR,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACzC,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAoB,CAAC;QAC7C,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBACzG,IAAI,KAAK,CAAC,IAAI,GAAG,CAAC;oBAAE,SAAS;gBAC7B,KAAK,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;oBACtC,IAAI,CAAC,IAAI;wBAAE,SAAS;oBACpB,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;oBAC/F,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE;wBACtB,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,EAAE;wBAChC,OAAO,KAAK,IAAI,KAAK,aAAa,SAAS,oBAAoB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;qBACnF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC;YAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;QACvD,KAAK,MAAM,SAAS,IAAI,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACpE,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,wBAAwB,EAAE,SAAS,EAAE,SAAS,EACtE,OAAO,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,SAAS,2CAA2C,CAAC,CAAC,CAAC;QAC9G,CAAC;IACH,CAAC;AACH,CAAC"}

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

@@ -0,0 +1,7 @@
+export type ToolsMode = 'write' | 'frozen' | 'integrity';
+export declare function isToolsMode(value: string): value is ToolsMode;
+/** Flag → GLIRASTES_TOOLS_MODE → CI set ⇒ frozen → write. */
+export declare function resolveToolsMode(input: {
+    flag?: ToolsMode;
+    env: NodeJS.ProcessEnv;
+}): ToolsMode;

package/dist/codegen/tools/mode.js

@@ -0,0 +1,27 @@
+import { FoundationDiagnosticError } from '../../diagnostics/index.js';
+const MODES = new Set(['write', 'frozen', 'integrity']);
+export function isToolsMode(value) {
+    return MODES.has(value);
+}
+/** Flag → GLIRASTES_TOOLS_MODE → CI set ⇒ frozen → write. */
+export function resolveToolsMode(input) {
+    if (input.flag)
+        return input.flag;
+    const configured = input.env.GLIRASTES_TOOLS_MODE?.trim();
+    if (configured) {
+        if (!isToolsMode(configured)) {
+            throw new FoundationDiagnosticError({
+                code: 'E-TOOLS-003',
+                operation: 'tools.mode',
+                message: 'GLIRASTES_TOOLS_MODE must be write, frozen or integrity.',
+                remediation: 'set-valid-tools-mode',
+            });
+        }
+        return configured;
+    }
+    const ci = input.env.CI?.trim().toLowerCase();
+    if (ci && ci !== '0' && ci !== 'false')
+        return 'frozen';
+    return 'write';
+}
+//# sourceMappingURL=mode.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"mode.js","sourceRoot":"","sources":["../../../src/codegen/tools/mode.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,yBAAyB,EAAE,MAAM,4BAA4B,CAAC;AAIvE,MAAM,KAAK,GAAwB,IAAI,GAAG,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC,CAAC;AAE7E,MAAM,UAAU,WAAW,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,gBAAgB,CAAC,KAGhC;IACC,IAAI,KAAK,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC,IAAI,CAAC;IAClC,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,oBAAoB,EAAE,IAAI,EAAE,CAAC;IAC1D,IAAI,UAAU,EAAE,CAAC;QACf,IAAI,CAAC,WAAW,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,yBAAyB,CAAC;gBAClC,IAAI,EAAE,aAAa;gBACnB,SAAS,EAAE,YAAY;gBACvB,OAAO,EAAE,0DAA0D;gBACnE,WAAW,EAAE,sBAAsB;aACpC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,UAAU,CAAC;IACpB,CAAC;IACD,MAAM,EAAE,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC9C,IAAI,EAAE,IAAI,EAAE,KAAK,GAAG,IAAI,EAAE,KAAK,OAAO;QAAE,OAAO,QAAQ,CAAC;IACxD,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/codegen/tools/output-inference.d.ts

@@ -0,0 +1,6 @@
+import ts from 'typescript';
+import type { JsonSchemaLike } from './types.js';
+export declare const MAX_OUTPUT_DEPTH = 6;
+/** Bounded checker-type → JSON Schema; anything not provable becomes `{}`. */
+export declare function typeToJsonSchema(checker: ts.TypeChecker, type: ts.Type, location: ts.Node, depth?: number, seen?: ReadonlySet<ts.Type>): JsonSchemaLike;
+export declare function inferResponseSchema(checker: ts.TypeChecker, expressions: ReadonlyArray<ts.Expression>): JsonSchemaLike | undefined;

package/dist/codegen/tools/output-inference.js

@@ -0,0 +1,99 @@
+import ts from 'typescript';
+import { canonicalJson, compareCodeUnits } from './canonical.js';
+export const MAX_OUTPUT_DEPTH = 6;
+const MAX_PROPERTIES = 200;
+function isOpaque(schema) {
+    return Object.keys(schema).length === 0;
+}
+function dedupe(schemas) {
+    const byText = new Map();
+    for (const schema of schemas)
+        byText.set(canonicalJson(schema), schema);
+    return [...byText.entries()]
+        .sort(([left], [right]) => compareCodeUnits(left, right))
+        .map(([, schema]) => schema);
+}
+/** Bounded checker-type → JSON Schema; anything not provable becomes `{}`. */
+export function typeToJsonSchema(checker, type, location, depth = 0, seen = new Set()) {
+    if (depth > MAX_OUTPUT_DEPTH)
+        return {};
+    const flags = type.flags;
+    if (flags & (ts.TypeFlags.Any | ts.TypeFlags.Unknown | ts.TypeFlags.Never))
+        return {};
+    if (flags & ts.TypeFlags.StringLiteral)
+        return { type: 'string', enum: [type.value] };
+    if (flags & ts.TypeFlags.NumberLiteral)
+        return { type: 'number', enum: [type.value] };
+    if (flags & ts.TypeFlags.BooleanLiteral)
+        return { type: 'boolean' };
+    if (flags & ts.TypeFlags.StringLike)
+        return { type: 'string' };
+    if (flags & ts.TypeFlags.NumberLike)
+        return { type: 'number' };
+    if (flags & ts.TypeFlags.BooleanLike)
+        return { type: 'boolean' };
+    if (flags & ts.TypeFlags.Null)
+        return { type: 'null' };
+    if (type.isUnion()) {
+        const members = type.types.filter((member) => !(member.flags & (ts.TypeFlags.Undefined | ts.TypeFlags.Void)));
+        if (members.length > 0 && members.every((member) => member.flags & ts.TypeFlags.StringLiteral)) {
+            return {
+                type: 'string',
+                enum: members.map((member) => member.value).sort(compareCodeUnits),
+            };
+        }
+        if (members.length > 0 && members.every((member) => member.flags & ts.TypeFlags.BooleanLiteral)) {
+            return { type: 'boolean' };
+        }
+        const parts = dedupe(members.map((member) => typeToJsonSchema(checker, member, location, depth + 1, seen)));
+        if (parts.length === 0 || parts.some(isOpaque))
+            return {};
+        return parts.length === 1 ? parts[0] : { anyOf: parts };
+    }
+    if (seen.has(type))
+        return {};
+    if (checker.isArrayType(type)) {
+        const [element] = checker.getTypeArguments(type);
+        return { type: 'array', items: element ? typeToJsonSchema(checker, element, location, depth + 1, seen) : {} };
+    }
+    if (checker.isTupleType(type))
+        return { type: 'array' };
+    if (type.symbol?.name === 'Date')
+        return { type: 'string', format: 'date-time' };
+    if (flags & ts.TypeFlags.Object) {
+        if (type.getCallSignatures().length > 0)
+            return {};
+        if (checker.getIndexInfosOfType(type).length > 0)
+            return { type: 'object' };
+        const properties = checker.getPropertiesOfType(type)
+            .filter((property) => !(property.flags & ts.SymbolFlags.Method));
+        if (properties.length > MAX_PROPERTIES)
+            return { type: 'object' };
+        const next = new Set(seen).add(type);
+        const entries = properties
+            .map((property) => [
+            property.name,
+            typeToJsonSchema(checker, checker.getTypeOfSymbolAtLocation(property, location), location, depth + 1, next),
+        ])
+            .sort(([left], [right]) => compareCodeUnits(left, right));
+        const required = properties
+            .filter((property) => !(property.flags & ts.SymbolFlags.Optional))
+            .map((property) => property.name)
+            .sort(compareCodeUnits);
+        return {
+            type: 'object',
+            properties: Object.fromEntries(entries),
+            ...(required.length ? { required } : {}),
+        };
+    }
+    return {};
+}
+export function inferResponseSchema(checker, expressions) {
+    if (expressions.length === 0)
+        return undefined;
+    const schemas = dedupe(expressions.map((expression) => (typeToJsonSchema(checker, checker.getTypeAtLocation(expression), expression))));
+    if (schemas.some(isOpaque))
+        return undefined;
+    return schemas.length === 1 ? schemas[0] : { anyOf: schemas };
+}
+//# sourceMappingURL=output-inference.js.map

package/dist/codegen/tools/output-inference.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"output-inference.js","sourceRoot":"","sources":["../../../src/codegen/tools/output-inference.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,YAAY,CAAC;AAC5B,OAAO,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAGjE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAClC,MAAM,cAAc,GAAG,GAAG,CAAC;AAE3B,SAAS,QAAQ,CAAC,MAAsB;IACtC,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC;AAC1C,CAAC;AAED,SAAS,MAAM,CAAC,OAAsC;IACpD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA0B,CAAC;IACjD,KAAK,MAAM,MAAM,IAAI,OAAO;QAAE,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC;IACxE,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SACzB,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;SACxD,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,gBAAgB,CAC9B,OAAuB,EACvB,IAAa,EACb,QAAiB,EACjB,KAAK,GAAG,CAAC,EACT,OAA6B,IAAI,GAAG,EAAE;IAEtC,IAAI,KAAK,GAAG,gBAAgB;QAAE,OAAO,EAAE,CAAC;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC;IACzB,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,GAAG,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO,GAAG,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACtF,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAE,IAA6B,CAAC,KAAK,CAAC,EAAE,CAAC;IAChH,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAE,IAA6B,CAAC,KAAK,CAAC,EAAE,CAAC;IAChH,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,cAAc;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACpE,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC/D,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,UAAU;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IAC/D,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,WAAW;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IACjE,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC;IACvD,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACnB,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAC9G,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,aAAa,CAAC,EAAE,CAAC;YAC/F,OAAO;gBACL,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAE,MAA+B,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC;aAC7F,CAAC;QACJ,CAAC;QACD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;YAChG,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;QAC7B,CAAC;QACD,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC5G,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC;YAAE,OAAO,EAAE,CAAC;QAC1D,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,CAAC;IAC9B,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,gBAAgB,CAAC,IAAwB,CAAC,CAAC;QACrE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAChH,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC;QAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;IACxD,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,KAAK,MAAM;QAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,CAAC;IACjF,IAAI,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC;QAChC,IAAI,IAAI,CAAC,iBAAiB,EAAE,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,CAAC;QACnD,IAAI,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAC5E,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC;aACjD,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;QACnE,IAAI,UAAU,CAAC,MAAM,GAAG,cAAc;YAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;QAClE,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACrC,MAAM,OAAO,GAAG,UAAU;aACvB,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC;YACjB,QAAQ,CAAC,IAAI;YACb,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,yBAAyB,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,QAAQ,EAAE,KAAK,GAAG,CAAC,EAAE,IAAI,CAAC;SACnG,CAAC;aACV,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;QAC5D,MAAM,QAAQ,GAAG,UAAU;aACxB,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;aACjE,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC;aAChC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAC1B,OAAO;YACL,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC;YACvC,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SACzC,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,OAAuB,EACvB,WAAyC;IAEzC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CACrD,gBAAgB,CAAC,OAAO,EAAE,OAAO,CAAC,iBAAiB,CAAC,UAAU,CAAC,EAAE,UAAU,CAAC,CAC7E,CAAC,CAAC,CAAC;IACJ,IAAI,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAChE,CAAC"}

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

@@ -0,0 +1,85 @@
+import { type ToolRiskClass } from '../../contracts/index.js';
+import { type ToolPolicyDefaults } from '../../contracts/tool-policy.js';
+import { FoundationDiagnosticError } from '../../diagnostics/index.js';
+import { type SchemaQuality } from './artifact.js';
+import { type ToolsConfig } from './config.js';
+import type { ToolsMode } from './mode.js';
+import { type DescriptionOrigin } from './prose.js';
+import { type SchemaProbe } from './schema-probe.js';
+import { type SemanticsFacts } from './semantics.js';
+import type { ToolContract, ToolFinding, ToolSource } from './types.js';
+/**
+ * What the generator knows about one tool, in memory only: the work lists of
+ * `tools resolve --print` and `tools describe --print` are built from it.
+ */
+export interface ToolsPipelineTool {
+    toolId: string;
+    stableKey: string;
+    definitionId: string;
+    modelName: string;
+    executionKind: 'endpoint' | 'ui';
+    /** `POST /api/tasks` or `UI tasks.highlight`. */
+    route: string;
+    files: string[];
+    contract: ToolContract | null;
+    interfaceDigest: string | null;
+    params: ToolContract['params'] | null;
+    defaults: ToolPolicyDefaults;
+    enabled: boolean;
+    riskClass: ToolRiskClass;
+    requiresApproval: boolean;
+    /** `.glirastes/tool-policy.json` has an entry for this tool. */
+    localPolicy: boolean;
+    module: string;
+    description: string;
+    descriptionOrigin: DescriptionOrigin;
+    schemaQuality: SchemaQuality;
+    semantics: SemanticsFacts & {
+        stale: boolean;
+        rejected: boolean;
+    };
+    findings: ToolFinding[];
+}
+export interface ToolsPipelineResult {
+    mode: ToolsMode;
+    changes: {
+        added: string[];
+        changed: string[];
+        removed: string[];
+        unchanged: string[];
+    };
+    findings: ToolFinding[];
+    excluded: Array<{
+        stableKey: string;
+        reason: string;
+        origin: string;
+    }>;
+    outputs: Record<string, string>;
+    driftPaths: string[];
+    wrote: boolean;
+    /** Every tool of the refreshed inventory; empty when the refresh stopped early or verified integrity. */
+    tools?: ToolsPipelineTool[];
+}
+export interface ToolsPipelineOptions {
+    root: string;
+    mode: ToolsMode;
+    keepGoing?: boolean;
+    adoptInventoryPath?: string;
+}
+export interface ToolsPipelineDependencies {
+    probe?: SchemaProbe;
+    now?: () => Date;
+    sources?: ReadonlyArray<ToolSource>;
+}
+export declare class ToolsPipelineFailure extends FoundationDiagnosticError {
+    readonly result: ToolsPipelineResult;
+    constructor(result: ToolsPipelineResult);
+}
+/**
+ * One source per configured entry of `tools.json` `sources`. URL filters read
+ * the same page tree as navigation, so they inherit its folder options.
+ */
+export declare function createConfiguredSources(config: ToolsConfig): ToolSource[];
+export declare function runToolsPipelineWith(options: ToolsPipelineOptions, dependencies: ToolsPipelineDependencies): Promise<ToolsPipelineResult>;
+/** Derives the app's tools from code: write, frozen (check) or integrity (deploy) mode. */
+export declare function runToolsPipeline(options: ToolsPipelineOptions): Promise<ToolsPipelineResult>;