@aid-framework/ir 0.0.0-stage → 0.1.39

package/dist/gates/index.js

@@ -0,0 +1,77 @@
+/**
+ * The build-time gates, run as one report.
+ *
+ * Error-severity diagnostics fail the build; warnings do not. Suppressed checks are
+ * merged alongside the diagnostics so a caller can always see what was *not* enforced.
+ *
+ * The nine gates Phase 2 L1 adds are named by the id the plan's P5 table gives them,
+ * because that id is what appears in mutation evidence and in a reviewer's search for
+ * "which gate stopped this". A gate whose name drifts from the plan is a gate nobody
+ * can find.
+ */
+import { hasErrors, sortDiagnostics } from '@aid-framework/spec';
+import { deriveRequiredCapabilities } from '../capabilities.js';
+import { phase0TargetCapabilities } from '../catalog/index.js';
+import { agentsBudgetDegradeGate, agentsBudgetGate, agentsHandoffGate, agentsRefsGate, } from './agents.js';
+import { capabilityGate } from './capability.js';
+import { costGate } from './cost.js';
+import { deployStreamingGate } from './deploy.js';
+import { evalCoverageGate } from './eval-coverage.js';
+import { guardrailCoverageGate, guardrailPolicyGate } from './guardrails.js';
+import { hitlSideEffectGate } from './hitl.js';
+import { memoryRefsGate } from './memory.js';
+import { normalizeGate } from './normalize.js';
+import { orchestrationDeepagentsGate } from './orchestration.js';
+import { referentialGate } from './referential.js';
+import { securityGate } from './security.js';
+export const GATES = {
+    referential: referentialGate,
+    normalize: normalizeGate,
+    capability: capabilityGate,
+    cost: costGate,
+    security: securityGate,
+    'eval-coverage': evalCoverageGate,
+    'agents/refs-resolve': agentsRefsGate,
+    'agents/handoff-cycles': agentsHandoffGate,
+    'agents/budgets': agentsBudgetGate,
+    'agents/budget-degrade': agentsBudgetDegradeGate,
+    'guardrails/coverage': guardrailCoverageGate,
+    'guardrails/policies': guardrailPolicyGate,
+    'hitl/side-effects': hitlSideEffectGate,
+    'memory/refs': memoryRefsGate,
+    'deploy/streaming': deployStreamingGate,
+    'orchestration/deepagents': orchestrationDeepagentsGate,
+};
+/**
+ * Runs every gate against the IR. The capability set the gates check is derived here
+ * from the IR's own content, so the value a generator consumes is the value that was
+ * checked rather than whatever the caller happened to pass in.
+ */
+export function runGates(ir, options = {}) {
+    const checked = { ...ir, requiredCapabilities: deriveRequiredCapabilities(ir) };
+    const resolved = {
+        targetCapabilities: options.targetCapabilities ?? phase0TargetCapabilities(),
+        file: options.file,
+    };
+    const byGate = {};
+    const diagnostics = [];
+    const suppressed = [];
+    for (const name of Object.keys(GATES)) {
+        const result = GATES[name](checked, resolved);
+        byGate[name] = result;
+        diagnostics.push(...result.diagnostics);
+        suppressed.push(...result.suppressed);
+    }
+    return {
+        ok: !hasErrors(diagnostics),
+        diagnostics: sortDiagnostics(diagnostics),
+        suppressed,
+        byGate,
+    };
+}
+export { reporter } from './contract.js';
+export { estimateEvalCost } from './cost.js';
+export { diffPaths, isNormalized, normalize } from './normalize.js';
+export { policyAuthenticates } from './security.js';
+export { agentsBudgetDegradeGate, agentsBudgetGate, agentsHandoffGate, agentsRefsGate, capabilityGate, costGate, deployStreamingGate, evalCoverageGate, GATES as GATE_REGISTRY, guardrailCoverageGate, guardrailPolicyGate, hitlSideEffectGate, memoryRefsGate, normalizeGate, orchestrationDeepagentsGate, referentialGate, securityGate, };
+//# sourceMappingURL=index.js.map

package/dist/gates/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/gates/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;GAUG;AAEH,OAAO,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,oBAAoB,CAAC;AAChE,OAAO,EAAE,wBAAwB,EAAE,MAAM,qBAAqB,CAAC;AAG/D,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,GACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEjD,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACtD,OAAO,EAAE,qBAAqB,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,WAAW,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAE7C,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,WAAW,EAAE,eAAe;IAC5B,SAAS,EAAE,aAAa;IACxB,UAAU,EAAE,cAAc;IAC1B,IAAI,EAAE,QAAQ;IACd,QAAQ,EAAE,YAAY;IACtB,eAAe,EAAE,gBAAgB;IACjC,qBAAqB,EAAE,cAAc;IACrC,uBAAuB,EAAE,iBAAiB;IAC1C,gBAAgB,EAAE,gBAAgB;IAClC,uBAAuB,EAAE,uBAAuB;IAChD,qBAAqB,EAAE,qBAAqB;IAC5C,qBAAqB,EAAE,mBAAmB;IAC1C,mBAAmB,EAAE,kBAAkB;IACvC,aAAa,EAAE,cAAc;IAC7B,kBAAkB,EAAE,mBAAmB;IACvC,0BAA0B,EAAE,2BAA2B;CAChB,CAAC;AAY1C;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,EAAM,EAAE,OAAO,GAAyB,EAAE;IACjE,MAAM,OAAO,GAAO,EAAE,GAAG,EAAE,EAAE,oBAAoB,EAAE,0BAA0B,CAAC,EAAE,CAAC,EAAE,CAAC;IACpF,MAAM,QAAQ,GAAgB;QAC5B,kBAAkB,EAAE,OAAO,CAAC,kBAAkB,IAAI,wBAAwB,EAAE;QAC5E,IAAI,EAAE,OAAO,CAAC,IAAI;KACnB,CAAC;IAEF,MAAM,MAAM,GAAG,EAAkC,CAAC;IAClD,MAAM,WAAW,GAAmB,EAAE,CAAC;IACvC,MAAM,UAAU,GAAsB,EAAE,CAAC;IAEzC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAe,EAAE,CAAC;QACpD,MAAM,MAAM,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC;QACtB,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;QACxC,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC;IACxC,CAAC;IAED,OAAO;QACL,EAAE,EAAE,CAAC,SAAS,CAAC,WAAW,CAAC;QAC3B,WAAW,EAAE,eAAe,CAAC,WAAW,CAAC;QACzC,UAAU;QACV,MAAM;KACP,CAAC;AACJ,CAAC;AAED,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEzC,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AACpE,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AAEpD,OAAO,EACL,uBAAuB,EACvB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,cAAc,EACd,QAAQ,EACR,mBAAmB,EACnB,gBAAgB,EAChB,KAAK,IAAI,aAAa,EACtB,qBAAqB,EACrB,mBAAmB,EACnB,kBAAkB,EAClB,cAAc,EACd,aAAa,EACb,2BAA2B,EAC3B,eAAe,EACf,YAAY,GACb,CAAC"}

package/dist/gates/memory.d.ts

@@ -0,0 +1,13 @@
+/**
+ * Memory — one gate.
+ *
+ * Every reference a memory tier makes must resolve, and each tier kind must name the
+ * thing that makes it work: a `summary` tier with no model has nothing to summarize
+ * with, and a `semantic`/`episodic`/`vector` tier with no store has nowhere to persist.
+ * Reporting that at build time is the difference between "declared" and "declared and
+ * possible"; the runtime is not asked to discover it on the first request.
+ */
+import type { IR } from '../shapes.js';
+import { type GateOptions, type GateResult } from './contract.js';
+export declare function memoryRefsGate(ir: IR, options: GateOptions): GateResult;
+//# sourceMappingURL=memory.d.ts.map

package/dist/gates/memory.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory.d.ts","sourceRoot":"","sources":["../../src/gates/memory.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,KAAK,EAAE,EAAE,EAAe,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,UAAU,EAA6B,MAAM,eAAe,CAAC;AAK7F,wBAAgB,cAAc,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,GAAG,UAAU,CAoEvE"}

package/dist/gates/memory.js

@@ -0,0 +1,67 @@
+/**
+ * Memory — one gate.
+ *
+ * Every reference a memory tier makes must resolve, and each tier kind must name the
+ * thing that makes it work: a `summary` tier with no model has nothing to summarize
+ * with, and a `semantic`/`episodic`/`vector` tier with no store has nowhere to persist.
+ * Reporting that at build time is the difference between "declared" and "declared and
+ * possible"; the runtime is not asked to discover it on the first request.
+ */
+import { IR_DIAGNOSTIC_CODES } from '../diagnostics.js';
+import { NO_SUPPRESSIONS, reporter } from './contract.js';
+/** The tier kinds that need somewhere to persist, as opposed to staying in the run. */
+const PERSISTENT_KINDS = ['semantic', 'episodic', 'vector'];
+export function memoryRefsGate(ir, options) {
+    const diagnostics = [];
+    const report = reporter(options);
+    const stores = new Set(ir.stores.map((store) => store.id));
+    const models = new Set(ir.models.map((model) => model.id));
+    for (const memory of ir.memory) {
+        if (memory.store !== undefined && !stores.has(memory.store)) {
+            diagnostics.push(report.error({
+                code: IR_DIAGNOSTIC_CODES.memoryRef,
+                message: `the memory gate rejected "${memory.id}": store names "${memory.store}", which is not a declared store`,
+                path: ['memory', memory.id, 'store'],
+                hint: `declared stores: ${[...stores].sort().join(', ') || 'none'}`,
+            }));
+        }
+        if (memory.backend !== undefined &&
+            memory.backend !== 'in-process' &&
+            !stores.has(memory.backend)) {
+            diagnostics.push(report.error({
+                code: IR_DIAGNOSTIC_CODES.memoryRef,
+                message: `the memory gate rejected "${memory.id}": backend names "${memory.backend}", which is neither a declared store nor "in-process"`,
+                path: ['memory', memory.id, 'backend'],
+                hint: `use "in-process" or one of: ${[...stores].sort().join(', ') || 'no stores declared'}`,
+            }));
+        }
+        if (memory.summarizeModel !== undefined && !models.has(memory.summarizeModel)) {
+            diagnostics.push(report.error({
+                code: IR_DIAGNOSTIC_CODES.memoryRef,
+                message: `the memory gate rejected "${memory.id}": summarizeModel names "${memory.summarizeModel}", which is not a declared model`,
+                path: ['memory', memory.id, 'summarizeModel'],
+                hint: `declared models: ${[...models].sort().join(', ') || 'none'}`,
+            }));
+        }
+        if (memory.kind === 'summary' && memory.summarizeModel === undefined) {
+            diagnostics.push(report.error({
+                code: IR_DIAGNOSTIC_CODES.memoryRef,
+                message: `the memory gate rejected "${memory.id}": kind is "summary" but no summarizeModel is declared, so nothing can produce the summary`,
+                path: ['memory', memory.id, 'summarizeModel'],
+                hint: 'name the model that summarizes, or use a window tier',
+            }));
+        }
+        if (PERSISTENT_KINDS.includes(memory.kind) &&
+            memory.store === undefined &&
+            (memory.backend === undefined || memory.backend === 'in-process')) {
+            diagnostics.push(report.error({
+                code: IR_DIAGNOSTIC_CODES.memoryRef,
+                message: `the memory gate rejected "${memory.id}": kind "${memory.kind}" outlives the run but names neither a store nor an external backend`,
+                path: ['memory', memory.id, 'store'],
+                hint: 'declare store or backend, or use a buffer/window tier',
+            }));
+        }
+    }
+    return { diagnostics, suppressed: NO_SUPPRESSIONS };
+}
+//# sourceMappingURL=memory.js.map

package/dist/gates/memory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"memory.js","sourceRoot":"","sources":["../../src/gates/memory.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,mBAAmB,EAAqB,MAAM,mBAAmB,CAAC;AAE3E,OAAO,EAAqC,eAAe,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE7F,uFAAuF;AACvF,MAAM,gBAAgB,GAAuC,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,CAAC,CAAC;AAEhG,MAAM,UAAU,cAAc,CAAC,EAAM,EAAE,OAAoB;IACzD,MAAM,WAAW,GAAmB,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAE3D,KAAK,MAAM,MAAM,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC/B,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5D,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,KAAK,CAAC;gBACX,IAAI,EAAE,mBAAmB,CAAC,SAAS;gBACnC,OAAO,EAAE,6BAA6B,MAAM,CAAC,EAAE,mBAAmB,MAAM,CAAC,KAAK,kCAAkC;gBAChH,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC;gBACpC,IAAI,EAAE,oBAAoB,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE;aACpE,CAAC,CACH,CAAC;QACJ,CAAC;QACD,IACE,MAAM,CAAC,OAAO,KAAK,SAAS;YAC5B,MAAM,CAAC,OAAO,KAAK,YAAY;YAC/B,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,OAAO,CAAC,EAC3B,CAAC;YACD,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,KAAK,CAAC;gBACX,IAAI,EAAE,mBAAmB,CAAC,SAAS;gBACnC,OAAO,EAAE,6BAA6B,MAAM,CAAC,EAAE,qBAAqB,MAAM,CAAC,OAAO,uDAAuD;gBACzI,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC;gBACtC,IAAI,EAAE,+BAA+B,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,oBAAoB,EAAE;aAC7F,CAAC,CACH,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;YAC9E,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,KAAK,CAAC;gBACX,IAAI,EAAE,mBAAmB,CAAC,SAAS;gBACnC,OAAO,EAAE,6BAA6B,MAAM,CAAC,EAAE,4BAA4B,MAAM,CAAC,cAAc,kCAAkC;gBAClI,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,gBAAgB,CAAC;gBAC7C,IAAI,EAAE,oBAAoB,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,EAAE;aACpE,CAAC,CACH,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;YACrE,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,KAAK,CAAC;gBACX,IAAI,EAAE,mBAAmB,CAAC,SAAS;gBACnC,OAAO,EAAE,6BAA6B,MAAM,CAAC,EAAE,4FAA4F;gBAC3I,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,gBAAgB,CAAC;gBAC7C,IAAI,EAAE,sDAAsD;aAC7D,CAAC,CACH,CAAC;QACJ,CAAC;QACD,IACE,gBAAgB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;YACtC,MAAM,CAAC,KAAK,KAAK,SAAS;YAC1B,CAAC,MAAM,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,OAAO,KAAK,YAAY,CAAC,EACjE,CAAC;YACD,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,KAAK,CAAC;gBACX,IAAI,EAAE,mBAAmB,CAAC,SAAS;gBACnC,OAAO,EAAE,6BAA6B,MAAM,CAAC,EAAE,YAAY,MAAM,CAAC,IAAI,sEAAsE;gBAC5I,IAAI,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC;gBACpC,IAAI,EAAE,uDAAuD;aAC9D,CAAC,CACH,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC;AACtD,CAAC"}

package/dist/gates/normalize.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Gate 2 — normalization.
+ *
+ * `normalize` is a total, pure, idempotent function that materializes every default
+ * into the IR, resolved from the top-level `observability` downwards. Its existence
+ * is what lets generated code never supply a default of its own: the gate re-runs it
+ * and reports anything the builder left implicit, so "the IR is normalized" is a
+ * checked property rather than a hope.
+ */
+import { type IR } from '../shapes.js';
+import { type GateOptions, type GateResult } from './contract.js';
+/**
+ * Materializes every default the builder may have left implicit. Applying it twice is
+ * a no-op: each rule only ever fills an absent value, and no rule depends on the order
+ * another ran in, so normalization is idempotent and order-independent.
+ */
+export declare function normalize(ir: IR): IR;
+/**
+ * The dot-paths at which two IR values disagree, so the gate can say *which* default
+ * is missing rather than only that the IR differs from its normalization. Keys present
+ * on one side only are reported, which is how an unmaterialized default is caught.
+ */
+export declare function diffPaths(before: unknown, after: unknown, path?: (string | number)[]): string[];
+export declare function normalizeGate(ir: IR, options: GateOptions): GateResult;
+export declare function isNormalized(ir: IR): boolean;
+//# sourceMappingURL=normalize.d.ts.map

package/dist/gates/normalize.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.d.ts","sourceRoot":"","sources":["../../src/gates/normalize.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAMH,OAAO,EAML,KAAK,EAAE,EAaR,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,UAAU,EAAkC,MAAM,eAAe,CAAC;AAMlG;;;;GAIG;AACH,wBAAgB,SAAS,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,CA0BpC;AA8FD;;;;GAIG;AACH,wBAAgB,SAAS,CACvB,MAAM,EAAE,OAAO,EACf,KAAK,EAAE,OAAO,EACd,IAAI,GAAE,CAAC,MAAM,GAAG,MAAM,CAAC,EAAO,GAC7B,MAAM,EAAE,CAkBV;AAMD,wBAAgB,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,GAAG,UAAU,CA0BtE;AAqED,wBAAgB,YAAY,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAE5C"}

package/dist/gates/normalize.js

@@ -0,0 +1,228 @@
+/**
+ * Gate 2 — normalization.
+ *
+ * `normalize` is a total, pure, idempotent function that materializes every default
+ * into the IR, resolved from the top-level `observability` downwards. Its existence
+ * is what lets generated code never supply a default of its own: the gate re-runs it
+ * and reports anything the builder left implicit, so "the IR is normalized" is a
+ * checked property rather than a hope.
+ */
+import { DEFAULT_EVAL_MAX_REGRESSION, DEFAULT_EVAL_SAMPLES, sensitiveNames } from '../build.js';
+import { catalogModel } from '../catalog/index.js';
+import { IR_DIAGNOSTIC_CODES } from '../diagnostics.js';
+import { canonicalJson } from '../serialize.js';
+import { DEFAULT_MAX_CONTEXT_TOKENS, DEFAULT_OBSERVABILITY, DEFAULT_RUNTIME, INDEX_METRICS, isIndexMetric, modelIdentity, PHASE_0_PROVIDERS, pipelineIdentity, promptIdentity, toolIdentity, } from '../shapes.js';
+import { reporter } from './contract.js';
+const SUPPRESSED = [];
+/**
+ * Materializes every default the builder may have left implicit. Applying it twice is
+ * a no-op: each rule only ever fills an absent value, and no rule depends on the order
+ * another ran in, so normalization is idempotent and order-independent.
+ */
+export function normalize(ir) {
+    const normalized = structuredClone(ir);
+    const observability = normalizeObservability(normalized.observability, sensitiveNames(normalized));
+    normalized.observability = observability;
+    normalized.runtime = { ...DEFAULT_RUNTIME, ...normalized.runtime };
+    normalized.models = normalized.models.map(normalizeModel);
+    normalized.prompts = normalized.prompts.map((prompt) => ({
+        ...prompt,
+        identity: promptIdentity(prompt.id, prompt.version),
+        params: prompt.params ?? {},
+        examples: prompt.examples ?? [],
+        guardrails: prompt.guardrails ?? [],
+        evals: prompt.evals ?? [],
+        traits: prompt.traits ?? [],
+    }));
+    normalized.tools = normalized.tools.map(normalizeTool);
+    normalized.pipelines = normalized.pipelines.map((pipeline) => normalizePipeline(pipeline, observability));
+    normalized.evals = normalized.evals.map(normalizeEval);
+    return normalized;
+}
+function normalizeObservability(raw, inherited) {
+    return {
+        trace: raw?.trace ?? DEFAULT_OBSERVABILITY.trace,
+        redact: [...(raw?.redact ?? inherited)],
+    };
+}
+function normalizeModel(model) {
+    return {
+        ...model,
+        identity: modelIdentity(model.id),
+        capabilities: [...model.capabilities],
+        params: model.params ?? {},
+        limits: {
+            ...model.limits,
+            contextTokens: model.limits?.contextTokens ?? DEFAULT_MAX_CONTEXT_TOKENS,
+        },
+        fallbacks: [...(model.fallbacks ?? [])],
+        traits: model.traits ?? [],
+    };
+}
+function normalizeTool(tool) {
+    return {
+        ...tool,
+        identity: toolIdentity(tool.id),
+        requiresConfirmation: tool.requiresConfirmation || tool.sideEffects === 'destructive',
+        traits: tool.traits ?? [],
+    };
+}
+function normalizePipeline(pipeline, inherited) {
+    return {
+        ...pipeline,
+        identity: pipelineIdentity(pipeline.id),
+        steps: pipeline.steps.map(normalizeStep),
+        errorPolicy: {
+            retries: pipeline.errorPolicy?.retries ?? 0,
+            fallback: pipeline.errorPolicy?.fallback,
+            deadLetter: pipeline.errorPolicy?.deadLetter,
+        },
+        observability: normalizeObservability(pipeline.observability, inherited.redact),
+    };
+}
+function normalizeStep(step) {
+    // The kinds that carry no `input` map: `rerank`, `guard` and `agent` are leaves with a
+    // scalar operand each, so materializing an empty `input` on them would emit a field the
+    // IR schema forbids.
+    if (step.kind === 'emit' ||
+        step.kind === 'retrieve' ||
+        step.kind === 'reduce' ||
+        step.kind === 'rerank' ||
+        step.kind === 'guard' ||
+        step.kind === 'agent') {
+        return step;
+    }
+    if (step.kind === 'branch') {
+        return {
+            ...step,
+            // biome-ignore lint/suspicious/noThenProperty: the branch shape names its taken arm `then`.
+            then: step.then.map(normalizeStep),
+            ...(step.else === undefined ? {} : { else: step.else.map(normalizeStep) }),
+        };
+    }
+    if (step.kind === 'parallel') {
+        return { ...step, branches: step.branches.map((arm) => arm.map(normalizeStep)) };
+    }
+    if (step.kind === 'map')
+        return { ...step, step: normalizeStep(step.step) };
+    return { ...step, input: step.input ?? {} };
+}
+function normalizeEval(evalShape) {
+    return {
+        ...evalShape,
+        dataset: { ...evalShape.dataset },
+        metrics: [...evalShape.metrics],
+        gate: {
+            ci: evalShape.gate.ci,
+            maxRegression: evalShape.gate.maxRegression ?? DEFAULT_EVAL_MAX_REGRESSION,
+            samples: evalShape.gate.samples ?? DEFAULT_EVAL_SAMPLES,
+            ...(evalShape.gate.minMean === undefined ? {} : { minMean: evalShape.gate.minMean }),
+        },
+        traits: evalShape.traits ?? [],
+    };
+}
+/**
+ * The dot-paths at which two IR values disagree, so the gate can say *which* default
+ * is missing rather than only that the IR differs from its normalization. Keys present
+ * on one side only are reported, which is how an unmaterialized default is caught.
+ */
+export function diffPaths(before, after, path = []) {
+    if (before === after)
+        return [];
+    if (Array.isArray(before) && Array.isArray(after)) {
+        const length = Math.max(before.length, after.length);
+        const found = [];
+        for (let index = 0; index < length; index += 1) {
+            found.push(...diffPaths(before[index], after[index], [...path, index]));
+        }
+        return found;
+    }
+    if (isRecord(before) && isRecord(after)) {
+        const found = [];
+        for (const key of new Set([...Object.keys(before), ...Object.keys(after)])) {
+            found.push(...diffPaths(before[key], after[key], [...path, key]));
+        }
+        return found;
+    }
+    return path.length === 0 ? [] : [path.join('.')];
+}
+function isRecord(value) {
+    return typeof value === 'object' && value !== null && !Array.isArray(value);
+}
+export function normalizeGate(ir, options) {
+    const diagnostics = [];
+    const report = reporter(options);
+    const normalized = normalize(ir);
+    const missing = diffPaths(ir, normalized);
+    if (missing.length > 0) {
+        diagnostics.push(report.error({
+            code: IR_DIAGNOSTIC_CODES.normalizationIncomplete,
+            message: `the normalize gate rejected this IR: ${missing.length} value(s) were left implicit for the generator to invent, at ${missing.join(', ')}`,
+            path: [],
+            hint: 'every default is materialized during the build, so a generator never supplies one',
+        }));
+    }
+    for (const model of normalized.models) {
+        checkModel(model, diagnostics, report);
+    }
+    for (const retriever of normalized.retrievers) {
+        checkRetriever(retriever, normalized, diagnostics, report);
+    }
+    return { diagnostics, suppressed: SUPPRESSED };
+}
+function checkModel(model, diagnostics, report) {
+    if (!PHASE_0_PROVIDERS.includes(model.provider)) {
+        diagnostics.push(report.error({
+            code: IR_DIAGNOSTIC_CODES.providerUnsupported,
+            message: `the normalize gate rejected this model: provider "${model.provider}" is not one of the providers Phase 0 serves (${PHASE_0_PROVIDERS.join(', ')})`,
+            path: ['models', model.id, 'provider'],
+        }));
+    }
+    const limit = model.limits?.maxOutputTokens ?? catalogModel(model.modelId)?.limits?.maxOutputTokens;
+    const requested = model.params?.maxTokens;
+    if (limit === undefined || requested === undefined || requested <= limit)
+        return;
+    diagnostics.push(report.error({
+        code: IR_DIAGNOSTIC_CODES.paramExceedsLimit,
+        message: `the normalize gate rejected these params: model "${model.id}" requests maxTokens ${requested}, above the catalog limit of ${limit}`,
+        path: ['models', model.id, 'params', 'maxTokens'],
+        hint: 'lower the request, or pin a model whose limits allow it',
+    }));
+}
+/**
+ * A retriever's declarations have to agree with the model that embeds for it, and with
+ * the metric vocabulary. Neither is a value a generator could resolve on its own: a
+ * store whose width differs from the embedder's holds vectors a runtime cannot index,
+ * and a metric outside the vocabulary names a distance no adapter computes.
+ *
+ * The dimension rule compares only when the embedding model's width is *known* -- which
+ * it is when the model appears in the offline catalog. With one side undeclared there is
+ * nothing to be inconsistent with, so the store's own declaration stands as the only
+ * claim in the IR.
+ */
+function checkRetriever(retriever, ir, diagnostics, report) {
+    if (!isIndexMetric(retriever.index.metric)) {
+        diagnostics.push(report.error({
+            code: IR_DIAGNOSTIC_CODES.indexMetricUnknown,
+            message: `the normalize gate rejected this index: metric "${retriever.index.metric}" is not one of ${INDEX_METRICS.join(', ')}`,
+            path: ['retrievers', retriever.id, 'index', 'metric'],
+            hint: 'declare a metric from the vocabulary, or extend it deliberately',
+        }));
+    }
+    const embedding = ir.embeddings.find((entry) => entry.id === retriever.embedModel);
+    const store = ir.stores.find((entry) => entry.id === retriever.store);
+    if (embedding?.dimensions === undefined || store?.dimensions === undefined)
+        return;
+    if (embedding.dimensions === store.dimensions)
+        return;
+    diagnostics.push(report.error({
+        code: IR_DIAGNOSTIC_CODES.dimensionMismatch,
+        message: `the normalize gate rejected this store: "${store.id}" declares ${store.dimensions} dimensions, but embedding model "${embedding.id}" produces ${embedding.dimensions}`,
+        path: ['stores', store.id, 'dimensions'],
+        hint: "declare the store at the embedding model's width, or embed with a model that matches it",
+    }));
+}
+export function isNormalized(ir) {
+    return canonicalJson(ir) === canonicalJson(normalize(ir));
+}
+//# sourceMappingURL=normalize.js.map

package/dist/gates/normalize.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"normalize.js","sourceRoot":"","sources":["../../src/gates/normalize.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,2BAA2B,EAAE,oBAAoB,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAChG,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAqB,MAAM,mBAAmB,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EACL,0BAA0B,EAC1B,qBAAqB,EACrB,eAAe,EAEf,aAAa,EAEb,aAAa,EAEb,aAAa,EAEb,iBAAiB,EAEjB,gBAAgB,EAChB,cAAc,EAId,YAAY,GACb,MAAM,cAAc,CAAC;AACtB,OAAO,EAAqC,QAAQ,EAAwB,MAAM,eAAe,CAAC;AAElG,MAAM,UAAU,GAAsB,EAAE,CAAC;AAIzC;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,EAAM;IAC9B,MAAM,UAAU,GAAG,eAAe,CAAC,EAAE,CAAO,CAAC;IAC7C,MAAM,aAAa,GAAG,sBAAsB,CAC1C,UAAU,CAAC,aAAa,EACxB,cAAc,CAAC,UAAU,CAAC,CAC3B,CAAC;IAEF,UAAU,CAAC,aAAa,GAAG,aAAa,CAAC;IACzC,UAAU,CAAC,OAAO,GAAG,EAAE,GAAG,eAAe,EAAE,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;IACnE,UAAU,CAAC,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IAC1D,UAAU,CAAC,OAAO,GAAG,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACvD,GAAG,MAAM;QACT,QAAQ,EAAE,cAAc,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,OAAO,CAAC;QACnD,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE;QAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ,IAAI,EAAE;QAC/B,UAAU,EAAE,MAAM,CAAC,UAAU,IAAI,EAAE;QACnC,KAAK,EAAE,MAAM,CAAC,KAAK,IAAI,EAAE;QACzB,MAAM,EAAE,MAAM,CAAC,MAAM,IAAI,EAAE;KAC5B,CAAC,CAAC,CAAC;IACJ,UAAU,CAAC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IACvD,UAAU,CAAC,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAC3D,iBAAiB,CAAC,QAAQ,EAAE,aAAa,CAAC,CAC3C,CAAC;IACF,UAAU,CAAC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;IAEvD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,sBAAsB,CAC7B,GAAmC,EACnC,SAA4B;IAE5B,OAAO;QACL,KAAK,EAAE,GAAG,EAAE,KAAK,IAAI,qBAAqB,CAAC,KAAK;QAChD,MAAM,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,MAAM,IAAI,SAAS,CAAC,CAAC;KACxC,CAAC;AACJ,CAAC;AAED,SAAS,cAAc,CAAC,KAAiB;IACvC,OAAO;QACL,GAAG,KAAK;QACR,QAAQ,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC;QACrC,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,EAAE;QAC1B,MAAM,EAAE;YACN,GAAG,KAAK,CAAC,MAAM;YACf,aAAa,EAAE,KAAK,CAAC,MAAM,EAAE,aAAa,IAAI,0BAA0B;SACzE;QACD,SAAS,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;QACvC,MAAM,EAAE,KAAK,CAAC,MAAM,IAAI,EAAE;KAC3B,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAe;IACpC,OAAO;QACL,GAAG,IAAI;QACP,QAAQ,EAAE,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/B,oBAAoB,EAAE,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAC,WAAW,KAAK,aAAa;QACrF,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,EAAE;KAC1B,CAAC;AACJ,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAuB,EAAE,SAA6B;IAC/E,OAAO;QACL,GAAG,QAAQ;QACX,QAAQ,EAAE,gBAAgB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,KAAK,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,aAAa,CAAC;QACxC,WAAW,EAAE;YACX,OAAO,EAAE,QAAQ,CAAC,WAAW,EAAE,OAAO,IAAI,CAAC;YAC3C,QAAQ,EAAE,QAAQ,CAAC,WAAW,EAAE,QAAQ;YACxC,UAAU,EAAE,QAAQ,CAAC,WAAW,EAAE,UAAU;SAC7C;QACD,aAAa,EAAE,sBAAsB,CAAC,QAAQ,CAAC,aAAa,EAAE,SAAS,CAAC,MAAM,CAAC;KAChF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,IAAe;IACpC,uFAAuF;IACvF,wFAAwF;IACxF,qBAAqB;IACrB,IACE,IAAI,CAAC,IAAI,KAAK,MAAM;QACpB,IAAI,CAAC,IAAI,KAAK,UAAU;QACxB,IAAI,CAAC,IAAI,KAAK,QAAQ;QACtB,IAAI,CAAC,IAAI,KAAK,QAAQ;QACtB,IAAI,CAAC,IAAI,KAAK,OAAO;QACrB,IAAI,CAAC,IAAI,KAAK,OAAO,EACrB,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,OAAO;YACL,GAAG,IAAI;YACP,4FAA4F;YAC5F,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC;YAClC,GAAG,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;SAC3E,CAAC;IACJ,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC7B,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC;IACnF,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,EAAE,GAAG,IAAI,EAAE,IAAI,EAAE,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;IAC5E,OAAO,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC;AAC9C,CAAC;AAED,SAAS,aAAa,CAAC,SAAoB;IACzC,OAAO;QACL,GAAG,SAAS;QACZ,OAAO,EAAE,EAAE,GAAG,SAAS,CAAC,OAAO,EAAE;QACjC,OAAO,EAAE,CAAC,GAAG,SAAS,CAAC,OAAO,CAAC;QAC/B,IAAI,EAAE;YACJ,EAAE,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE;YACrB,aAAa,EAAE,SAAS,CAAC,IAAI,CAAC,aAAa,IAAI,2BAA2B;YAC1E,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,IAAI,oBAAoB;YACvD,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;SACrF;QACD,MAAM,EAAE,SAAS,CAAC,MAAM,IAAI,EAAE;KAC/B,CAAC;AACJ,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CACvB,MAAe,EACf,KAAc,EACd,IAAI,GAAwB,EAAE;IAE9B,IAAI,MAAM,KAAK,KAAK;QAAE,OAAO,EAAE,CAAC;IAChC,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACrD,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/C,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,KAAK,MAAM,GAAG,IAAI,IAAI,GAAG,CAAC,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YAC3E,KAAK,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;QACpE,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;AACnD,CAAC;AAED,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC9E,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,EAAM,EAAE,OAAoB;IACxD,MAAM,WAAW,GAAmB,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IAEjC,MAAM,UAAU,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,SAAS,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;IAC1C,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,KAAK,CAAC;YACX,IAAI,EAAE,mBAAmB,CAAC,uBAAuB;YACjD,OAAO,EAAE,wCAAwC,OAAO,CAAC,MAAM,gEAAgE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YACnJ,IAAI,EAAE,EAAE;YACR,IAAI,EAAE,mFAAmF;SAC1F,CAAC,CACH,CAAC;IACJ,CAAC;IAED,KAAK,MAAM,KAAK,IAAI,UAAU,CAAC,MAAM,EAAE,CAAC;QACtC,UAAU,CAAC,KAAK,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IACzC,CAAC;IAED,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,cAAc,CAAC,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,CAAC,CAAC;IAC7D,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,CAAC;AACjD,CAAC;AAED,SAAS,UAAU,CAAC,KAAiB,EAAE,WAA2B,EAAE,MAAgB;IAClF,IAAI,CAAE,iBAAuC,CAAC,QAAQ,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvE,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,KAAK,CAAC;YACX,IAAI,EAAE,mBAAmB,CAAC,mBAAmB;YAC7C,OAAO,EAAE,qDAAqD,KAAK,CAAC,QAAQ,iDAAiD,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAC5J,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,UAAU,CAAC;SACvC,CAAC,CACH,CAAC;IACJ,CAAC;IAED,MAAM,KAAK,GACT,KAAK,CAAC,MAAM,EAAE,eAAe,IAAI,YAAY,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,eAAe,CAAC;IACxF,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,EAAE,SAAS,CAAC;IAC1C,IAAI,KAAK,KAAK,SAAS,IAAI,SAAS,KAAK,SAAS,IAAI,SAAS,IAAI,KAAK;QAAE,OAAO;IACjF,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,KAAK,CAAC;QACX,IAAI,EAAE,mBAAmB,CAAC,iBAAiB;QAC3C,OAAO,EAAE,oDAAoD,KAAK,CAAC,EAAE,wBAAwB,SAAS,gCAAgC,KAAK,EAAE;QAC7I,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC;QACjD,IAAI,EAAE,yDAAyD;KAChE,CAAC,CACH,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,cAAc,CACrB,SAAyB,EACzB,EAAM,EACN,WAA2B,EAC3B,MAAgB;IAEhB,IAAI,CAAC,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,KAAK,CAAC;YACX,IAAI,EAAE,mBAAmB,CAAC,kBAAkB;YAC5C,OAAO,EAAE,mDAAmD,SAAS,CAAC,KAAK,CAAC,MAAM,mBAAmB,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;YAC/H,IAAI,EAAE,CAAC,YAAY,EAAE,SAAS,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,CAAC;YACrD,IAAI,EAAE,iEAAiE;SACxE,CAAC,CACH,CAAC;IACJ,CAAC;IAED,MAAM,SAAS,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,CAAC,UAAU,CAAC,CAAC;IACnF,MAAM,KAAK,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC;IACtE,IAAI,SAAS,EAAE,UAAU,KAAK,SAAS,IAAI,KAAK,EAAE,UAAU,KAAK,SAAS;QAAE,OAAO;IACnF,IAAI,SAAS,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;QAAE,OAAO;IACtD,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,KAAK,CAAC;QACX,IAAI,EAAE,mBAAmB,CAAC,iBAAiB;QAC3C,OAAO,EAAE,4CAA4C,KAAK,CAAC,EAAE,cAAc,KAAK,CAAC,UAAU,qCAAqC,SAAS,CAAC,EAAE,cAAc,SAAS,CAAC,UAAU,EAAE;QAChL,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,YAAY,CAAC;QACxC,IAAI,EAAE,yFAAyF;KAChG,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,EAAM;IACjC,OAAO,aAAa,CAAC,EAAE,CAAC,KAAK,aAAa,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC;AAC5D,CAAC"}

package/dist/gates/orchestration.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Orchestration — one gate, `orchestration/deepagents`.
+ *
+ * An agent that delegates its loop to a framework is a different kind of dependency
+ * from one AID runs itself: the framework's behaviour is no longer described by the
+ * IR, so the version has to be pinned in the spec or the build is not reproducible, and
+ * the loop has to be able to call tools or the framework has nothing to drive. Both
+ * failures are cheap to state and expensive to discover, so neither is a warning.
+ *
+ * The gate reads the model's declared capability rather than a catalog: a model whose
+ * capability set lives in the IR is what the capability gate negotiates with, and the
+ * two must not disagree.
+ */
+import type { IR } from '../shapes.js';
+import { type GateOptions, type GateResult } from './contract.js';
+export declare function orchestrationDeepagentsGate(ir: IR, options: GateOptions): GateResult;
+//# sourceMappingURL=orchestration.d.ts.map

package/dist/gates/orchestration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestration.d.ts","sourceRoot":"","sources":["../../src/gates/orchestration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,UAAU,EAA6B,MAAM,eAAe,CAAC;AAE7F,wBAAgB,2BAA2B,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,GAAG,UAAU,CAkCpF"}

package/dist/gates/orchestration.js

@@ -0,0 +1,46 @@
+/**
+ * Orchestration — one gate, `orchestration/deepagents`.
+ *
+ * An agent that delegates its loop to a framework is a different kind of dependency
+ * from one AID runs itself: the framework's behaviour is no longer described by the
+ * IR, so the version has to be pinned in the spec or the build is not reproducible, and
+ * the loop has to be able to call tools or the framework has nothing to drive. Both
+ * failures are cheap to state and expensive to discover, so neither is a warning.
+ *
+ * The gate reads the model's declared capability rather than a catalog: a model whose
+ * capability set lives in the IR is what the capability gate negotiates with, and the
+ * two must not disagree.
+ */
+import { IR_DIAGNOSTIC_CODES } from '../diagnostics.js';
+import { NO_SUPPRESSIONS, reporter } from './contract.js';
+export function orchestrationDeepagentsGate(ir, options) {
+    const diagnostics = [];
+    const report = reporter(options);
+    const models = new Map(ir.models.map((model) => [model.id, model]));
+    for (const agent of ir.agents) {
+        if (agent.engine !== 'deepagents')
+            continue;
+        if (agent.engineVersion === undefined || agent.engineVersion.trim() === '') {
+            diagnostics.push(report.error({
+                code: IR_DIAGNOSTIC_CODES.orchestrationDeepagents,
+                message: `the orchestration gate rejected "${agent.id}": engine is "deepagents" but no engineVersion is pinned, so the generated app would depend on whatever the framework resolves to`,
+                path: ['agents', agent.id, 'engineVersion'],
+                hint: 'pin the framework version in engineVersion',
+            }));
+        }
+        const model = models.get(agent.model);
+        // An unresolved model is `agents/refs-resolve`'s diagnostic; do not double-report.
+        if (model === undefined)
+            continue;
+        if (model.capabilities.includes('tool-calling'))
+            continue;
+        diagnostics.push(report.error({
+            code: IR_DIAGNOSTIC_CODES.orchestrationDeepagents,
+            message: `the orchestration gate rejected "${agent.id}": engine "deepagents" drives a tool-calling loop, but its model "${model.id}" does not declare the "tool-calling" capability`,
+            path: ['agents', agent.id, 'model'],
+            hint: 'bind a model that declares tool-calling, or use engine: native',
+        }));
+    }
+    return { diagnostics, suppressed: NO_SUPPRESSIONS };
+}
+//# sourceMappingURL=orchestration.js.map

package/dist/gates/orchestration.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestration.js","sourceRoot":"","sources":["../../src/gates/orchestration.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,mBAAmB,EAAqB,MAAM,mBAAmB,CAAC;AAE3E,OAAO,EAAqC,eAAe,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE7F,MAAM,UAAU,2BAA2B,CAAC,EAAM,EAAE,OAAoB;IACtE,MAAM,WAAW,GAAmB,EAAE,CAAC;IACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAEpE,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,YAAY;YAAE,SAAS;QAE5C,IAAI,KAAK,CAAC,aAAa,KAAK,SAAS,IAAI,KAAK,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YAC3E,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,KAAK,CAAC;gBACX,IAAI,EAAE,mBAAmB,CAAC,uBAAuB;gBACjD,OAAO,EAAE,oCAAoC,KAAK,CAAC,EAAE,mIAAmI;gBACxL,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,eAAe,CAAC;gBAC3C,IAAI,EAAE,4CAA4C;aACnD,CAAC,CACH,CAAC;QACJ,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACtC,mFAAmF;QACnF,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,IAAI,KAAK,CAAC,YAAY,CAAC,QAAQ,CAAC,cAAc,CAAC;YAAE,SAAS;QAC1D,WAAW,CAAC,IAAI,CACd,MAAM,CAAC,KAAK,CAAC;YACX,IAAI,EAAE,mBAAmB,CAAC,uBAAuB;YACjD,OAAO,EAAE,oCAAoC,KAAK,CAAC,EAAE,qEAAqE,KAAK,CAAC,EAAE,kDAAkD;YACpL,IAAI,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC;YACnC,IAAI,EAAE,gEAAgE;SACvE,CAAC,CACH,CAAC;IACJ,CAAC;IAED,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,eAAe,EAAE,CAAC;AACtD,CAAC"}

package/dist/gates/referential.d.ts

@@ -0,0 +1,12 @@
+/**
+ * Gate 1 — referential integrity (§7.1).
+ *
+ * Every reference resolves, and resolves to the right *kind*: a `tool` step naming
+ * a prompt is an error, not a lookup miss. Bindings are defined before use and
+ * unique within one pipeline scope, prompt placeholders and variables agree, and
+ * a model's fallback chain terminates.
+ */
+import type { IR } from '../shapes.js';
+import { type GateOptions, type GateResult } from './contract.js';
+export declare function referentialGate(ir: IR, options: GateOptions): GateResult;
+//# sourceMappingURL=referential.d.ts.map

package/dist/gates/referential.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"referential.d.ts","sourceRoot":"","sources":["../../src/gates/referential.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,KAAK,EAAE,EAAE,EAAqD,MAAM,cAAc,CAAC;AAC1F,OAAO,EAAE,KAAK,WAAW,EAAE,KAAK,UAAU,EAAkC,MAAM,eAAe,CAAC;AAkClG,wBAAgB,eAAe,CAAC,EAAE,EAAE,EAAE,EAAE,OAAO,EAAE,WAAW,GAAG,UAAU,CA0BxE"}