@aid-framework/generator-ts-vercel 0.0.0 → 0.1.48

package/dist/placeholders.d.ts

@@ -0,0 +1,48 @@
+/**
+ * The IR's `{{ name }}` placeholder mini-language, and its conversion to the
+ * `str.format` fields the runtime renders with.
+ *
+ * One scanner, two consumers: `checkPlan` rejects templates the runtime cannot render,
+ * and the prompt emitter stores the runtime-syntax template. Two independent scanners
+ * would be free to disagree, and the disagreement would only show up at request time.
+ *
+ * The two conventions are not the same language. The IR interpolates mustache
+ * placeholders, so `{{ name }}` is a substitution site and a lone brace is literal
+ * text; the runtime's `PromptTemplate` parses with `str.format`, where `{{ name }}` is
+ * an *escaped* literal and `{name}` is the substitution site. Emitting the IR's text
+ * unchanged therefore produces a template with no variables at all -- exactly the
+ * defect this module exists to prevent.
+ */
+export type TemplatePart = {
+    readonly kind: 'text';
+    readonly value: string;
+} | {
+    readonly kind: 'placeholder';
+    readonly name: string;
+};
+/**
+ * Whether `spec` is a dotted identifier -- the only shape a placeholder may take.
+ *
+ * `a:>4`, `a-b` and `a[0]` are not nameable, and the runtime supplies values as
+ * keywords, so accepting one would either drop the format spec or fail at render time.
+ */
+export declare function isNameLike(spec: string): boolean;
+/**
+ * Split a template into literal text and placeholders.
+ *
+ * A placeholder is `{{` a dotted identifier `}}`; everything else is literal text,
+ * including a single brace or a run that never closes. That is the IR's convention,
+ * and it differs from what the runtime renders with -- {@link runtimeTemplate} is the
+ * single place the conversion happens.
+ */
+export declare function scanTemplate(template: string): TemplatePart[];
+/** Every placeholder name in first-seen order. */
+export declare function templatePlaceholders(template: string): string[];
+/**
+ * The IR's template as the `str.format` body the runtime renders.
+ *
+ * `{{ name }}` becomes `{name}` and every literal brace is doubled, so the model sees
+ * the text the spec asked for and the runtime sees the fields it can bind.
+ */
+export declare function runtimeTemplate(template: string): string;
+//# sourceMappingURL=placeholders.d.ts.map

package/dist/placeholders.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"placeholders.d.ts","sourceRoot":"","sources":["../src/placeholders.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAEH,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5D;;;;;GAKG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAqBhD;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,QAAQ,EAAE,MAAM,GAAG,YAAY,EAAE,CA4B7D;AAED,kDAAkD;AAClD,wBAAgB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE,CAM/D;AAWD;;;;;GAKG;AACH,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAMxD"}

package/dist/placeholders.js

@@ -0,0 +1,114 @@
+/**
+ * The IR's `{{ name }}` placeholder mini-language, and its conversion to the
+ * `str.format` fields the runtime renders with.
+ *
+ * One scanner, two consumers: `checkPlan` rejects templates the runtime cannot render,
+ * and the prompt emitter stores the runtime-syntax template. Two independent scanners
+ * would be free to disagree, and the disagreement would only show up at request time.
+ *
+ * The two conventions are not the same language. The IR interpolates mustache
+ * placeholders, so `{{ name }}` is a substitution site and a lone brace is literal
+ * text; the runtime's `PromptTemplate` parses with `str.format`, where `{{ name }}` is
+ * an *escaped* literal and `{name}` is the substitution site. Emitting the IR's text
+ * unchanged therefore produces a template with no variables at all -- exactly the
+ * defect this module exists to prevent.
+ */
+/**
+ * Whether `spec` is a dotted identifier -- the only shape a placeholder may take.
+ *
+ * `a:>4`, `a-b` and `a[0]` are not nameable, and the runtime supplies values as
+ * keywords, so accepting one would either drop the format spec or fail at render time.
+ */
+export function isNameLike(spec) {
+    if (spec.length === 0)
+        return false;
+    let atSegmentStart = true;
+    for (const character of spec) {
+        if (character === '.') {
+            if (atSegmentStart)
+                return false;
+            atSegmentStart = true;
+            continue;
+        }
+        const isLetter = (character >= 'a' && character <= 'z') || (character >= 'A' && character <= 'Z');
+        const isDigit = character >= '0' && character <= '9';
+        const isUnderscore = character === '_';
+        if (atSegmentStart) {
+            if (!isLetter && !isUnderscore)
+                return false;
+        }
+        else if (!isLetter && !isDigit && !isUnderscore) {
+            return false;
+        }
+        atSegmentStart = false;
+    }
+    return !atSegmentStart;
+}
+/**
+ * Split a template into literal text and placeholders.
+ *
+ * A placeholder is `{{` a dotted identifier `}}`; everything else is literal text,
+ * including a single brace or a run that never closes. That is the IR's convention,
+ * and it differs from what the runtime renders with -- {@link runtimeTemplate} is the
+ * single place the conversion happens.
+ */
+export function scanTemplate(template) {
+    const parts = [];
+    let text = '';
+    let index = 0;
+    const flush = () => {
+        if (text.length > 0) {
+            parts.push({ kind: 'text', value: text });
+            text = '';
+        }
+    };
+    while (index < template.length) {
+        if (template[index] === '{' && template[index + 1] === '{') {
+            const close = template.indexOf('}}', index + 2);
+            if (close !== -1) {
+                const name = template.slice(index + 2, close).trim();
+                if (isNameLike(name)) {
+                    flush();
+                    parts.push({ kind: 'placeholder', name });
+                    index = close + 2;
+                    continue;
+                }
+            }
+        }
+        text += template[index] ?? '';
+        index += 1;
+    }
+    flush();
+    return parts;
+}
+/** Every placeholder name in first-seen order. */
+export function templatePlaceholders(template) {
+    const names = [];
+    for (const part of scanTemplate(template)) {
+        if (part.kind === 'placeholder' && !names.includes(part.name))
+            names.push(part.name);
+    }
+    return names;
+}
+/** Literal braces doubled, so a text part cannot introduce a field. */
+function escapeBraces(text) {
+    let result = '';
+    for (const character of text) {
+        result += character === '{' || character === '}' ? character + character : character;
+    }
+    return result;
+}
+/**
+ * The IR's template as the `str.format` body the runtime renders.
+ *
+ * `{{ name }}` becomes `{name}` and every literal brace is doubled, so the model sees
+ * the text the spec asked for and the runtime sees the fields it can bind.
+ */
+export function runtimeTemplate(template) {
+    let body = '';
+    for (const part of scanTemplate(template)) {
+        body += part.kind === 'text' ? escapeBraces(part.value) : `{${part.name}}`;
+    }
+    return body;
+}
+//# sourceMappingURL=placeholders.js.map

package/dist/placeholders.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"placeholders.js","sourceRoot":"","sources":["../src/placeholders.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AAMH;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,cAAc,GAAG,IAAI,CAAC;IAC1B,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC7B,IAAI,SAAS,KAAK,GAAG,EAAE,CAAC;YACtB,IAAI,cAAc;gBAAE,OAAO,KAAK,CAAC;YACjC,cAAc,GAAG,IAAI,CAAC;YACtB,SAAS;QACX,CAAC;QACD,MAAM,QAAQ,GACZ,CAAC,SAAS,IAAI,GAAG,IAAI,SAAS,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,SAAS,IAAI,GAAG,CAAC,CAAC;QACnF,MAAM,OAAO,GAAG,SAAS,IAAI,GAAG,IAAI,SAAS,IAAI,GAAG,CAAC;QACrD,MAAM,YAAY,GAAG,SAAS,KAAK,GAAG,CAAC;QACvC,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,CAAC,QAAQ,IAAI,CAAC,YAAY;gBAAE,OAAO,KAAK,CAAC;QAC/C,CAAC;aAAM,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO,IAAI,CAAC,YAAY,EAAE,CAAC;YAClD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,cAAc,GAAG,KAAK,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,cAAc,CAAC;AACzB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,QAAgB;IAC3C,MAAM,KAAK,GAAmB,EAAE,CAAC;IACjC,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAC1C,IAAI,GAAG,EAAE,CAAC;QACZ,CAAC;IACH,CAAC,CAAC;IACF,OAAO,KAAK,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAI,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,IAAI,QAAQ,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC3D,MAAM,KAAK,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YAChD,IAAI,KAAK,KAAK,CAAC,CAAC,EAAE,CAAC;gBACjB,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;gBACrD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrB,KAAK,EAAE,CAAC;oBACR,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;oBAC1C,KAAK,GAAG,KAAK,GAAG,CAAC,CAAC;oBAClB,SAAS;gBACX,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC;QAC9B,KAAK,IAAI,CAAC,CAAC;IACb,CAAC;IACD,KAAK,EAAE,CAAC;IACR,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kDAAkD;AAClD,MAAM,UAAU,oBAAoB,CAAC,QAAgB;IACnD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1C,IAAI,IAAI,CAAC,IAAI,KAAK,aAAa,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,uEAAuE;AACvE,SAAS,YAAY,CAAC,IAAY;IAChC,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,MAAM,SAAS,IAAI,IAAI,EAAE,CAAC;QAC7B,MAAM,IAAI,SAAS,KAAK,GAAG,IAAI,SAAS,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC;IACvF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,QAAgB;IAC9C,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1C,IAAI,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,IAAI,GAAG,CAAC;IAC7E,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/plan.d.ts

@@ -0,0 +1,18 @@
+/**
+ * The plan: IR in, bytes out.
+ *
+ * `planTsVercel` is a pure function of the IR. It does not read the spec, the
+ * filesystem, the clock or the environment, which is what makes "generate twice and
+ * diff" a meaningful test rather than a smoke test. Anything the IR cannot express is
+ * reported as a `PlanProblem` and refused, never approximated: a generated app that
+ * silently drops a declared capability is worse than one that will not generate.
+ */
+import type { GeneratedFile, Plan } from '@aid-framework/generator-sdk';
+import type { IR } from '@aid-framework/ir';
+/** The plan's files, sorted by path so two runs cannot differ by traversal order. */
+export declare function filesFor(ir: IR): GeneratedFile[];
+/** The plan, or a `TsVercelPlanError` naming every reason it cannot be emitted. */
+export declare function planTsVercel(ir: IR): Plan;
+/** The plan as a path-to-bytes map, for callers that only want the tree. */
+export declare function fileMap(plan: Plan): Map<string, string>;
+//# sourceMappingURL=plan.d.ts.map

package/dist/plan.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.d.ts","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,IAAI,EAAE,MAAM,8BAA8B,CAAC;AAExE,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,mBAAmB,CAAC;AA+F5C,qFAAqF;AACrF,wBAAgB,QAAQ,CAAC,EAAE,EAAE,EAAE,GAAG,aAAa,EAAE,CAEhD;AAED,mFAAmF;AACnF,wBAAgB,YAAY,CAAC,EAAE,EAAE,EAAE,GAAG,IAAI,CAIzC;AAED,4EAA4E;AAC5E,wBAAgB,OAAO,CAAC,IAAI,EAAE,IAAI,GAAG,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAEvD"}

package/dist/plan.js

@@ -0,0 +1,81 @@
+/**
+ * The plan: IR in, bytes out.
+ *
+ * `planTsVercel` is a pure function of the IR. It does not read the spec, the
+ * filesystem, the clock or the environment, which is what makes "generate twice and
+ * diff" a meaningful test rather than a smoke test. Anything the IR cannot express is
+ * reported as a `PlanProblem` and refused, never approximated: a generated app that
+ * silently drops a declared capability is worse than one that will not generate.
+ */
+import { sortByPath } from '@aid-framework/generator-sdk';
+import { emitAgents } from './emit/agents.js';
+import { emitBusinessIndex, emitBusinessPromptsIndex, emitBusinessToolSeeds, emitBusinessToolsIndex, emitEvalModules, emitEvalsIndex, emitGeneratedIndex, } from './emit/business.js';
+import { emitControl } from './emit/control.js';
+import { emitGuardrails } from './emit/guardrails.js';
+import { emitDeps, emitGatewayIndex, emitGatewayModels, emitObservability, } from './emit/infrastructure.js';
+import { emitPipelineModule, emitPipelinesIndex, emitRouteModule, emitRoutesIndex, } from './emit/pipelines.js';
+import { emitPromptModules, emitPromptsIndex } from './emit/prompts.js';
+import { emitRetrievalBindings, emitRetrievalIndex, emitRetrievalIngestIndex, emitRetrievalIngestModules, } from './emit/retrieval.js';
+import { emitRequests, emitSchemas } from './emit/schemas.js';
+import { emitContractModule, emitContractsIndex, emitToolAdapter, emitToolsIndex, } from './emit/tools.js';
+import { TsVercelPlanError } from './errors.js';
+import { checkPlan } from './validate.js';
+/** Every file the IR implies, in a fixed order, unsorted. */
+function collect(ir) {
+    const files = [];
+    files.push(emitSchemas(ir));
+    const requests = emitRequests(ir);
+    if (requests !== undefined)
+        files.push(requests);
+    files.push(emitObservability(ir));
+    files.push(emitDeps(ir));
+    files.push(emitControl(ir));
+    files.push(emitGuardrails(ir));
+    const agents = emitAgents(ir);
+    if (agents !== undefined)
+        files.push(agents);
+    files.push(emitGatewayModels(ir));
+    files.push(emitGatewayIndex(ir));
+    files.push(emitContractsIndex(ir));
+    for (const tool of ir.tools) {
+        files.push(emitContractModule(ir, tool));
+        files.push(emitToolAdapter(ir, tool));
+    }
+    files.push(emitToolsIndex(ir));
+    files.push(...emitPromptModules(ir));
+    files.push(emitPromptsIndex(ir));
+    for (const pipeline of ir.pipelines) {
+        files.push(emitPipelineModule(ir, pipeline));
+        files.push(emitRouteModule(ir, pipeline));
+    }
+    files.push(emitPipelinesIndex(ir));
+    files.push(emitRoutesIndex(ir));
+    files.push(emitRetrievalBindings(ir));
+    files.push(emitRetrievalIndex(ir));
+    files.push(...emitRetrievalIngestModules(ir));
+    files.push(emitRetrievalIngestIndex(ir));
+    files.push(...emitEvalModules(ir));
+    files.push(emitEvalsIndex(ir));
+    files.push(...emitBusinessToolSeeds(ir));
+    files.push(emitBusinessToolsIndex(ir));
+    files.push(emitBusinessPromptsIndex(ir));
+    files.push(emitBusinessIndex(ir));
+    files.push(emitGeneratedIndex(ir));
+    return files;
+}
+/** The plan's files, sorted by path so two runs cannot differ by traversal order. */
+export function filesFor(ir) {
+    return sortByPath(collect(ir));
+}
+/** The plan, or a `TsVercelPlanError` naming every reason it cannot be emitted. */
+export function planTsVercel(ir) {
+    const problems = checkPlan(ir);
+    if (problems.length > 0)
+        throw new TsVercelPlanError(problems);
+    return { files: filesFor(ir) };
+}
+/** The plan as a path-to-bytes map, for callers that only want the tree. */
+export function fileMap(plan) {
+    return new Map(plan.files.map((file) => [file.path, file.content]));
+}
+//# sourceMappingURL=plan.js.map

package/dist/plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.js","sourceRoot":"","sources":["../src/plan.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAC;AAE1D,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,OAAO,EACL,iBAAiB,EACjB,wBAAwB,EACxB,qBAAqB,EACrB,sBAAsB,EACtB,eAAe,EACf,cAAc,EACd,kBAAkB,GACnB,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAEhD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,EACL,QAAQ,EACR,gBAAgB,EAChB,iBAAiB,EACjB,iBAAiB,GAClB,MAAM,0BAA0B,CAAC;AAClC,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,eAAe,GAChB,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,iBAAiB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EACL,qBAAqB,EACrB,kBAAkB,EAClB,wBAAwB,EACxB,0BAA0B,GAC3B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC9D,OAAO,EACL,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EACf,cAAc,GACf,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAAE,iBAAiB,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAE1C,6DAA6D;AAC7D,SAAS,OAAO,CAAC,EAAM;IACrB,MAAM,KAAK,GAAkB,EAAE,CAAC;IAEhC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,MAAM,QAAQ,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IAClC,IAAI,QAAQ,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAEjD,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;IAClC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IACzB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC;IAC9B,IAAI,MAAM,KAAK,SAAS;QAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;IAClC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC;IAEjC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC;QAC5B,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QACzC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IACxC,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;IAE/B,KAAK,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC;IAEjC,KAAK,MAAM,QAAQ,IAAI,EAAE,CAAC,SAAS,EAAE,CAAC;QACpC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;IAEhC,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC,CAAC;IACtC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,GAAG,0BAA0B,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9C,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,EAAE,CAAC,CAAC,CAAC;IAEzC,KAAK,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;IAE/B,KAAK,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,EAAE,CAAC,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC;IACvC,KAAK,CAAC,IAAI,CAAC,wBAAwB,CAAC,EAAE,CAAC,CAAC,CAAC;IACzC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,CAAC;IAElC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC,CAAC;IAEnC,OAAO,KAAK,CAAC;AACf,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,QAAQ,CAAC,EAAM;IAC7B,OAAO,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;AACjC,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,YAAY,CAAC,EAAM;IACjC,MAAM,QAAQ,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAC/B,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,CAAC,CAAC;IAC/D,OAAO,EAAE,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;AACjC,CAAC;AAED,4EAA4E;AAC5E,MAAM,UAAU,OAAO,CAAC,IAAU;IAChC,OAAO,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;AACtE,CAAC"}

package/dist/validate.d.ts

@@ -0,0 +1,88 @@
+/**
+ * What this target refuses to emit, and why.
+ *
+ * The generator consumes the IR and nothing else: no spec re-reading, no reach into
+ * `packages/spec`. Everything it needs to decide feasibility is already in the IR, so
+ * these checks are total over the IR and run before a single byte is rendered.
+ *
+ * The rule is fail-closed. A construct with no emitter is a problem, not a comment in
+ * the output: a generated app that boots while silently skipping a step is worse than
+ * one that was never written.
+ */
+import { type IR, type ModelCapability } from '@aid-framework/ir';
+import { type Capability } from './names.js';
+export type PlanProblemCode = 'ir-version-unsupported' | 'target-unsupported' | 'collection-unsupported' | 'observability-redact-unsupported' | 'runtime-unsupported' | 'type-unsupported' | 'named-type-unresolved' | 'field-unsupported' | 'model-provider-unsupported' | 'model-capability-unsupported' | 'model-missing-capability' | 'prompt-output-unsupported' | 'prompt-variable-unsupported' | 'prompt-model-unresolved' | 'unsupported-placeholder' | 'tool-handler-unsupported' | 'tool-auth-unsupported' | 'tool-confirmation-unsupported' | 'step-unsupported' | 'step-invalid' | 'guardrail-unsupported' | 'agent-unsupported' | 'memory-unsupported' | 'reference-unresolved' | 'trigger-unsupported' | 'retriever-store-unsupported' | 'retriever-source-unsupported' | 'retriever-embedding-unresolved' | 'retriever-filters-unsupported' | 'eval-target-unresolved' | 'eval-metric-unsupported' | 'eval-dataset-unsupported' | 'deployment-unsupported';
+export interface PlanProblem {
+    readonly code: PlanProblemCode;
+    readonly path: string;
+    readonly message: string;
+}
+/** Names a pipeline step may not bind, because the runtime already owns them. */
+export declare const RESERVED_BINDINGS: readonly ['context', 'deps', 'event', 'response', 'steps'];
+export declare function problem(code: PlanProblemCode, path: string, message: string): PlanProblem;
+export declare function checkIrVersion(ir: IR): PlanProblem[];
+export declare function checkTarget(ir: IR): PlanProblem[];
+/**
+ * `deployments`: only the concurrency cap is emitted, and only what the host can honour.
+ *
+ * The route handler this target emits answers with one buffered body, so a deployment
+ * asking for streaming is refused rather than emitted as something that only looks
+ * streamed. `secrets` needs no check: the adapters read a declared secret by name from
+ * the environment, so the declaration is documentation, not an artifact to emit.
+ */
+export declare function checkDeployments(ir: IR): PlanProblem[];
+export declare function checkObservability(ir: IR): PlanProblem[];
+export declare function checkRuntime(ir: IR): PlanProblem[];
+export declare function checkTypes(ir: IR): PlanProblem[];
+export declare function checkModels(ir: IR): PlanProblem[];
+export declare function checkPrompts(ir: IR): PlanProblem[];
+export declare function checkTools(ir: IR): PlanProblem[];
+export declare function checkRetrievers(ir: IR): PlanProblem[];
+export declare function checkPipelines(ir: IR): PlanProblem[];
+/**
+ * One reason for every kind this target cannot emit, so the gap is named in one place.
+ *
+ * Exported because the emitter raises the identical diagnostic when it is reached without
+ * the validator having run -- see D-4. The message names the target rather than a layer,
+ * so a CLI can print it without the reader knowing the roadmap.
+ */
+export declare function stepUnsupported(kind: string, at: string): PlanProblem;
+export declare function checkEvals(ir: IR): PlanProblem[];
+/**
+ * The guardrail declarations this target cannot honour.
+ *
+ * The IR layer has already refused an unknown policy, an empty stage list and a `tools`
+ * entry that names nothing, so what is left is the part only a *target* knows: which
+ * policies its engine can evaluate, which actions its routes can carry out, and which
+ * fields its stages actually see.
+ */
+export declare function checkGuardrails(ir: IR): PlanProblem[];
+/**
+ * The agent declarations this target cannot honour.
+ *
+ * The emitted `agents.ts` turns the whole collection into one `AgentRuntime` document, so
+ * every agent a pipeline step can name has to be one the runtime can build. Most of these
+ * are the runtime's own `fromIr` refusals moved to plan time; the rest are the two things
+ * an emitted app cannot offer an agent -- a pause a route could resume, and a harness
+ * dependency it does not install.
+ */
+export declare function checkAgents(ir: IR): PlanProblem[];
+/**
+ * The memory declarations this target cannot honour, refused rather than approximated.
+ *
+ * This mirrors the runtime's `checkMemorySupported` plus the two fields its
+ * `memoryDefinition` and `#storeFor` refuse. The runtime raises on all of them, so a plan
+ * that emitted one would produce an app that fails on the first request; catching them here
+ * turns that into a generation failure that names the declaration.
+ */
+export declare function checkMemory(ir: IR): PlanProblem[];
+/** Every check, in a fixed order so a failing run reports the same problems twice. */
+export declare function checkPlan(ir: IR): PlanProblem[];
+/**
+ * The capabilities the IR actually requires, by name. Kept here because the generator
+ * is the side that knows what it will honour; the CLI's gate is fed the manifest's
+ * declaration and the two are compared in a test.
+ */
+export declare function declaredCapabilities(): readonly string[];
+export type { Capability, ModelCapability };
+//# sourceMappingURL=validate.d.ts.map

package/dist/validate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../src/validate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AACH,OAAO,EAQL,KAAK,EAAE,EAKP,KAAK,eAAe,EAarB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,KAAK,UAAU,EAA0C,MAAM,YAAY,CAAC;AAGrF,MAAM,MAAM,eAAe,GACvB,wBAAwB,GACxB,oBAAoB,GACpB,wBAAwB,GACxB,kCAAkC,GAClC,qBAAqB,GACrB,kBAAkB,GAClB,uBAAuB,GACvB,mBAAmB,GACnB,4BAA4B,GAC5B,8BAA8B,GAC9B,0BAA0B,GAC1B,2BAA2B,GAC3B,6BAA6B,GAC7B,yBAAyB,GACzB,yBAAyB,GACzB,0BAA0B,GAC1B,uBAAuB,GACvB,+BAA+B,GAC/B,kBAAkB,GAClB,cAAc,GACd,uBAAuB,GACvB,mBAAmB,GACnB,oBAAoB,GACpB,sBAAsB,GACtB,qBAAqB,GACrB,6BAA6B,GAC7B,8BAA8B,GAC9B,gCAAgC,GAChC,+BAA+B,GAC/B,wBAAwB,GACxB,yBAAyB,GACzB,0BAA0B,GAC1B,wBAAwB,CAAC;AAE7B,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;CAC1B;AAyBD,iFAAiF;AACjF,eAAO,MAAM,iBAAiB,YAAI,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,CAAU,CAAC;AAyB5F,wBAAgB,OAAO,CAAC,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,WAAW,CAEzF;AAQD,wBAAgB,cAAc,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CAWpD;AAED,wBAAgB,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CASjD;AAED;;;;;;;GAOG;AACH,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CAwBtD;AAED,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CASxD;AAED,wBAAgB,YAAY,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CASlD;AAED,wBAAgB,UAAU,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CAOhD;AAuCD,wBAAgB,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CA+CjD;AAED,wBAAgB,YAAY,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CAQlD;AA+ED,wBAAgB,UAAU,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CAOhD;AAiDD,wBAAgB,eAAe,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CA8DrD;AAED,wBAAgB,cAAc,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CAapD;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,GAAG,WAAW,CAMrE;AA6VD,wBAAgB,UAAU,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CA2ChD;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CA4DrD;AAED;;;;;;;;GAQG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CA+HjD;AAqBD;;;;;;;GAOG;AACH,wBAAgB,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CAqEjD;AAED,sFAAsF;AACtF,wBAAgB,SAAS,CAAC,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,CAkB/C;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,IAAI,SAAS,MAAM,EAAE,CAExD;AAED,YAAY,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC"}